runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386024-1305581796/watcher-3386024-1305581796 -o /tmp/evaluation-result-3386024-1305581796/solver-3386024-1305581796 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386024-1305581796.cnf -threads=4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=19868 CPUtime=0 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 821 0 0 0 0 0 0 0 25 0 1 0 669777375 20344832 622 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10566/statm: 4967 624 296 106 0 470 0
[pid=10566/tid=10567] ppid=10564 vsize=54136 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669777377 55435264 1564 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=54136 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669777377 55435264 1564 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=54136 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 669777377 55435264 1564 33554432000 4194304 4625164 140737471782544 18446744073709551615 212682707176 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0755001 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=188732 CPUtime=0.16 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 3786 0 0 0 16 0 0 0 25 0 4 0 669777375 193261568 2285 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10566/statm: 47183 2287 338 106 0 42686 0
[pid=10566/tid=10567] ppid=10564 vsize=188732 CPUtime=0.05 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 528 0 0 0 5 0 0 0 25 0 4 0 669777377 193261568 2287 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=188732 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 261 0 0 0 0 0 0 0 25 0 4 0 669777377 193261568 2287 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=188732 CPUtime=0.04 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 807 0 0 0 4 0 0 0 25 0 4 0 669777377 193261568 2287 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 188732
[startup+0.117514 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=189100 CPUtime=0.28 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) D 10564 10566 10092 0 -1 4202496 4155 0 0 0 28 0 0 0 25 0 4 0 669777375 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 47275 2350 338 106 0 42778 0
[pid=10566/tid=10567] ppid=10564 vsize=189100 CPUtime=0.09 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 557 0 0 0 9 0 0 0 25 0 4 0 669777377 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=189100 CPUtime=0.04 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 477 0 0 0 4 0 0 0 25 0 4 0 669777377 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=189100 CPUtime=0.05 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 920 0 0 0 5 0 0 0 25 0 4 0 669777377 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687372399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 189100
[startup+0.300316 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=190396 CPUtime=0.82 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 5649 0 0 0 82 0 0 0 25 0 4 0 669777375 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511956 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 47599 2691 338 106 0 43102 0
[pid=10566/tid=10567] ppid=10564 vsize=190396 CPUtime=0.27 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 903 0 0 0 27 0 0 0 25 0 4 0 669777377 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=190396 CPUtime=0.17 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 559 0 0 0 17 0 0 0 25 0 4 0 669777377 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=190396 CPUtime=0.1 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1762 0 0 0 10 0 0 0 25 0 4 0 669777377 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4552367 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 190396
[startup+0.700243 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=191472 CPUtime=2.02 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 7866 0 0 0 202 0 0 0 25 0 4 0 669777375 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 47868 3288 338 106 0 43371 0
[pid=10566/tid=10567] ppid=10564 vsize=191472 CPUtime=0.67 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1156 0 0 0 67 0 0 0 25 0 4 0 669777377 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=191472 CPUtime=0.37 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 908 0 0 0 37 0 0 0 25 0 4 0 669777377 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4353037 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=191472 CPUtime=0.29 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 3350 0 0 0 29 0 0 0 25 0 4 0 669777377 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4551213 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 191472
[startup+1.5011 s]
/proc/loadavg: 9.94 10.03 10.06 11/519 10570
/proc/meminfo: memFree=13317028/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=192960 CPUtime=4.41 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 12457 0 0 0 440 1 0 0 25 0 4 0 669777375 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512740 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 48240 4751 342 106 0 43743 0
[pid=10566/tid=10567] ppid=10564 vsize=192960 CPUtime=1.45 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2388 0 0 0 145 0 0 0 25 0 4 0 669777377 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=192960 CPUtime=0.78 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1008 0 0 0 78 0 0 0 25 0 4 0 669777377 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=192960 CPUtime=0.69 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 6233 0 0 0 69 0 0 0 25 0 4 0 669777377 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 192960
[startup+3.10081 s]
/proc/loadavg: 9.94 10.03 10.06 11/519 10570
/proc/meminfo: memFree=13308472/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=198772 CPUtime=9.19 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 16513 0 0 0 917 2 0 0 25 0 4 0 669777375 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 49693 7603 376 106 0 45196 0
[pid=10566/tid=10567] ppid=10564 vsize=198772 CPUtime=2.25 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 3295 0 0 0 225 0 0 0 25 0 4 0 669777377 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=198772 CPUtime=2.38 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2916 0 0 0 238 0 0 0 25 0 4 0 669777377 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=198772 CPUtime=1.5 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 7109 0 0 0 149 1 0 0 25 0 4 0 669777377 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 198772
[startup+6.30022 s]
/proc/loadavg: 9.95 10.03 10.06 11/519 10570
/proc/meminfo: memFree=13286520/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=208992 CPUtime=18.74 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 22244 0 0 0 1871 3 0 0 25 0 4 0 669777375 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 52248 11207 387 106 0 47751 0
[pid=10566/tid=10567] ppid=10564 vsize=208992 CPUtime=3.81 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 4589 0 0 0 381 0 0 0 25 0 4 0 669777377 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=208992 CPUtime=5.58 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 4683 0 0 0 558 0 0 0 25 0 4 0 669777377 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=208992 CPUtime=3.14 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 8923 0 0 0 313 1 0 0 25 0 4 0 669777377 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4552383 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.74
Current children cumulated vsize (KiB) 208992
[startup+12.7011 s]
/proc/loadavg: 9.95 10.03 10.06 11/519 10571
/proc/meminfo: memFree=13254504/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=290416 CPUtime=37.82 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 30485 0 0 0 3778 4 0 0 25 0 4 0 669777375 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512747 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 72604 16383 390 106 0 68107 0
[pid=10566/tid=10567] ppid=10564 vsize=290416 CPUtime=7 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 7484 0 0 0 700 0 0 0 25 0 4 0 669777377 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=290416 CPUtime=10.48 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 6813 0 0 0 1047 1 0 0 25 0 4 0 669777377 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=290416 CPUtime=7.83 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 10886 0 0 0 782 1 0 0 25 0 4 0 669777377 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.82
Current children cumulated vsize (KiB) 290416
[startup+25.5007 s]
/proc/loadavg: 10.03 10.04 10.06 11/519 10571
/proc/meminfo: memFree=13188044/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=305696 CPUtime=75.99 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 71420 0 0 0 7588 11 0 0 25 0 4 0 669777375 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 4519388 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 76424 23602 349 106 0 71927 0
[pid=10566/tid=10567] ppid=10564 vsize=305696 CPUtime=13.51 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 11620 0 0 0 1349 2 0 0 25 0 4 0 669777377 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=305696 CPUtime=23.27 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 11150 0 0 0 2326 1 0 0 25 0 4 0 669777377 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=305696 CPUtime=14.13 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 43025 0 0 0 1407 6 0 0 25 0 4 0 669777377 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687324364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 75.99
Current children cumulated vsize (KiB) 305696
[startup+51.1011 s]
/proc/loadavg: 10.08 10.05 10.06 11/519 10572
/proc/meminfo: memFree=13086948/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=330860 CPUtime=152.34 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 124804 0 0 0 15212 22 0 0 25 0 4 0 669777375 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 82715 36783 408 106 0 78218 0
[pid=10566/tid=10567] ppid=10564 vsize=330860 CPUtime=34.05 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 25723 0 0 0 3398 7 0 0 25 0 4 0 669777377 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=330860 CPUtime=38.39 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 16818 0 0 0 3837 2 0 0 25 0 4 0 669777377 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=330860 CPUtime=29.65 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 74812 0 0 0 2954 11 0 0 25 0 4 0 669777377 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.34
Current children cumulated vsize (KiB) 330860
[startup+102.32 s]
/proc/loadavg: 10.03 10.04 10.06 11/519 10573
/proc/meminfo: memFree=12938504/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=374236 CPUtime=305.1 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 332584 0 0 0 30455 55 0 0 25 0 4 0 669777375 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511973 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 93559 57159 509 106 0 89062 0
[pid=10566/tid=10567] ppid=10564 vsize=374236 CPUtime=74.46 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 41053 0 0 0 7435 11 0 0 25 0 4 0 669777377 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=374236 CPUtime=74.67 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 25516 0 0 0 7463 4 0 0 25 0 4 0 669777377 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=374236 CPUtime=55.39 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 255419 0 0 0 5502 37 0 0 25 0 4 0 669777377 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 305.1
Current children cumulated vsize (KiB) 374236
[startup+162.301 s]
################
# More data... #
################
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 838600 0 0 0 26594 123 0 0 25 0 4 0 669777377 804454400 129726 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (KiB) 785600
[startup+462.301 s]
/proc/loadavg: 10.31 10.18 10.11 11/519 10583
/proc/meminfo: memFree=12334788/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=851136 CPUtime=1378.85 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1372432 0 0 0 137669 216 0 0 25 0 4 0 669777375 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512057 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 212784 139234 1889 106 0 208287 0
[pid=10566/tid=10567] ppid=10564 vsize=851136 CPUtime=304.86 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 92749 0 0 0 30462 24 0 0 25 0 4 0 669777377 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=851136 CPUtime=348.91 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 58617 0 0 0 34880 11 0 0 25 0 4 0 669777377 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=851136 CPUtime=300.09 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1154205 0 0 0 29841 168 0 0 25 0 4 0 669777377 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1378.85
Current children cumulated vsize (KiB) 851136
[startup+522.3 s]
/proc/loadavg: 10.15 10.16 10.10 11/519 10584
/proc/meminfo: memFree=12246236/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=896196 CPUtime=1557.82 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1694801 0 0 0 155521 261 0 0 25 0 4 0 669777375 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 224049 150708 2382 106 0 219552 0
[pid=10566/tid=10567] ppid=10564 vsize=896196 CPUtime=334.41 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 93852 0 0 0 33417 24 0 0 25 0 4 0 669777377 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4375208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=896196 CPUtime=407.89 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 59379 0 0 0 40778 11 0 0 25 0 4 0 669777377 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=896196 CPUtime=330.54 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1465807 0 0 0 32842 212 0 0 25 0 4 0 669777377 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1557.82
Current children cumulated vsize (KiB) 896196
[startup+582.3 s]
/proc/loadavg: 10.18 10.16 10.10 11/519 10586
/proc/meminfo: memFree=12187692/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=896196 CPUtime=1736.78 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1921702 0 0 0 173387 291 0 0 25 0 4 0 669777375 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 224049 154660 2296 106 0 219552 0
[pid=10566/tid=10567] ppid=10564 vsize=896196 CPUtime=364.71 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 94813 0 0 0 36447 24 0 0 25 0 4 0 669777377 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=896196 CPUtime=466.25 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60473 0 0 0 46613 12 0 0 25 0 4 0 669777377 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=896196 CPUtime=360.84 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1684394 0 0 0 35844 240 0 0 25 0 4 0 669777377 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1736.78
Current children cumulated vsize (KiB) 896196
[startup+642.3 s]
/proc/loadavg: 10.10 10.14 10.09 11/519 10587
/proc/meminfo: memFree=12129028/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=896196 CPUtime=1915.78 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1961893 0 0 0 191282 296 0 0 25 0 4 0 669777375 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 224049 159642 2183 106 0 219552 0
[pid=10566/tid=10567] ppid=10564 vsize=896196 CPUtime=394.85 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95229 0 0 0 39461 24 0 0 25 0 4 0 669777377 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=896196 CPUtime=496.81 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60473 0 0 0 49669 12 0 0 25 0 4 0 669777377 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=896196 CPUtime=419.14 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1718698 0 0 0 41670 244 0 0 25 0 4 0 669777377 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1915.78
Current children cumulated vsize (KiB) 896196
[startup+702.3 s]
/proc/loadavg: 10.18 10.15 10.10 11/519 10589
/proc/meminfo: memFree=12073580/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2094.73 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2372183 0 0 0 209118 355 0 0 25 0 4 0 669777375 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 164293 2193 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=430.52 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95466 0 0 0 43028 24 0 0 25 0 4 0 669777377 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=526.6 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60474 0 0 0 52648 12 0 0 25 0 4 0 669777377 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=472.63 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2114507 0 0 0 46962 301 0 0 25 0 4 0 669777377 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2094.73
Current children cumulated vsize (KiB) 918848
[startup+762.32 s]
/proc/loadavg: 10.24 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12014668/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2273.74 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2732868 0 0 0 226965 409 0 0 25 0 4 0 669777375 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169787 2190 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=467.74 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95666 0 0 0 46749 25 0 0 25 0 4 0 669777377 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=565.77 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56565 12 0 0 25 0 4 0 669777377 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=515.23 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2469018 0 0 0 51170 353 0 0 25 0 4 0 669777377 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2273.74
Current children cumulated vsize (KiB) 918848
Solver just ended. Dumping a history of the last processes samples
[startup+763.1 s]
/proc/loadavg: 10.24 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12014668/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2276.08 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2739415 0 0 0 227198 410 0 0 25 0 4 0 669777375 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169135 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=468.14 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95666 0 0 0 46789 25 0 0 25 0 4 0 669777377 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=566.15 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56603 12 0 0 25 0 4 0 669777377 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=516.01 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2475557 0 0 0 51247 354 0 0 25 0 4 0 669777377 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2276.08
Current children cumulated vsize (KiB) 918848
[startup+764.701 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12010824/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2280.84 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2753186 0 0 0 227672 412 0 0 25 0 4 0 669777375 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169402 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=468.94 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46869 25 0 0 25 0 4 0 669777377 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=566.92 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56680 12 0 0 25 0 4 0 669777377 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=517.61 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2489273 0 0 0 51404 357 0 0 25 0 4 0 669777377 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547248 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2280.84
Current children cumulated vsize (KiB) 918848
[startup+765.101 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12010824/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2282.04 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2756462 0 0 0 227791 413 0 0 25 0 4 0 669777375 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169926 2188 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=469.14 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46889 25 0 0 25 0 4 0 669777377 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=567.12 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56700 12 0 0 25 0 4 0 669777377 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=518 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2492507 0 0 0 51443 357 0 0 25 0 4 0 669777377 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2282.04
Current children cumulated vsize (KiB) 918848
[startup+765.501 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12008716/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2283.26 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2760842 0 0 0 227913 413 0 0 25 0 4 0 669777375 940900352 169338 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169339 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=469.29 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46904 25 0 0 25 0 4 0 669777377 940900352 169680 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=567.37 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56725 12 0 0 25 0 4 0 669777377 940900352 169680 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=518.42 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2497223 0 0 0 51485 357 0 0 25 0 4 0 669777377 940900352 169680 33554432000 4194304 4625164 140737471782544 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2283.26
Current children cumulated vsize (KiB) 918848
[startup+765.62 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12008716/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2283.58 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2762017 0 0 0 227945 413 0 0 25 0 4 0 669777375 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169682 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=469.3 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46905 25 0 0 25 0 4 0 669777377 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687333169 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=567.47 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56735 12 0 0 25 0 4 0 669777377 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=518.52 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2498020 0 0 0 51494 358 0 0 25 0 4 0 669777377 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2283.58
Current children cumulated vsize (KiB) 918848
Child status: 10
Real time (s): 765.662
CPU time (s): 2283.65
CPU user time (s): 2279.49
CPU system time (s): 4.16837
CPU usage (%): 298.259
Max. virtual memory (cumulated for all children) (KiB): 918848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2279.49
system time used= 4.16837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2762030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1229
involuntary context switches= 19481
runsolver used 3.82242 second user time and 9.28359 second system time
The end