runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457409-1307659175/watcher-3457409-1307659175 -o /tmp/evaluation-result-3457409-1307659175/solver-3457409-1307659175 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457409-1307659175.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.72 4.69 5.37 2/195 12521
/proc/meminfo: memFree=31695364/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 1242 0 0 0 0 0 0 0 24 0 2 0 610108864 31268864 962 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 7634 963 736 9 0 385 0
[pid=12521/tid=12522] ppid=12519 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) S 12519 12521 11597 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 610108865 31268864 963 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268655738503 0 2147483391 0 16784584 18446744071699199166 0 0 -1 0 0 0 0
[startup+0.029754 s]
/proc/loadavg: 3.72 4.69 5.37 2/195 12521
/proc/meminfo: memFree=31695364/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 10804 0 1 0 1 1 0 0 24 0 10 0 610108864 10705932288 10504 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2613753 10504 1515 9 0 2604501 0
[pid=12521/tid=12522] ppid=12519 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 9683 0 1 0 1 0 0 0 25 0 10 0 610108865 10705932288 10504 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 47554899312033 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.104783 s]
/proc/loadavg: 3.72 4.69 5.37 2/195 12521
/proc/meminfo: memFree=31695364/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10540492 CPUtime=0.11 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 13192 0 1 0 10 1 0 0 24 0 18 0 610108864 10793463808 12856 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2635123 12856 2107 9 0 2625857 0
[pid=12521/tid=12522] ppid=12519 vsize=10540492 CPUtime=0.09 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 11236 0 1 0 8 1 0 0 18 0 18 0 610108865 10793463808 12856 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 46912496214648 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540492
[startup+0.300764 s]
/proc/loadavg: 3.72 4.69 5.37 2/195 12521
/proc/meminfo: memFree=31695364/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10541808 CPUtime=0.47 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 20367 0 1 0 45 2 0 0 24 0 18 0 610108864 10794811392 19453 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2635452 19455 2199 9 0 2626186 0
[pid=12521/tid=12522] ppid=12519 vsize=10541808 CPUtime=0.29 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 17370 0 1 0 27 2 0 0 18 0 18 0 610108865 10794811392 19457 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 46912505560937 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541808
[startup+0.700655 s]
/proc/loadavg: 3.72 4.69 5.37 2/195 12521
/proc/meminfo: memFree=31695364/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10545556 CPUtime=0.92 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 43420 0 1 0 87 5 0 0 24 0 18 0 610108864 10798649344 42276 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2636389 42278 2203 9 0 2627123 0
[pid=12521/tid=12522] ppid=12519 vsize=10545556 CPUtime=0.69 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 39399 0 1 0 64 5 0 0 18 0 18 0 610108865 10798649344 42279 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10545556
[startup+1.50154 s]
/proc/loadavg: 3.74 4.68 5.37 3/213 12540
/proc/meminfo: memFree=31128424/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10547936 CPUtime=2.04 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 106096 0 1 0 191 13 0 0 24 0 18 0 610108864 10801086464 102545 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2636984 102548 2211 9 0 2627718 0
[pid=12521/tid=12522] ppid=12519 vsize=10547936 CPUtime=1.49 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 96174 0 1 0 138 11 0 0 19 0 18 0 610108865 10801086464 102550 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 46912505643394 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12521/tid=12524] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12524/stat : 12524 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102555 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12525] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12525/stat : 12525 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102555 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12526] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12526/stat : 12526 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102558 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12527] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12527/stat : 12527 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102560 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12528] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12528/stat : 12528 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102561 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12529] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12529/stat : 12529 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102563 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12530] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12530/stat : 12530 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102565 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12531] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12531/stat : 12531 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 102566 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12532] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12532/stat : 12532 (java) S 12519 12521 11597 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 610108867 10801086464 102568 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478720 0 0 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12533] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12533/stat : 12533 (java) S 12519 12521 11597 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 610108868 10801086464 102570 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12534] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12534/stat : 12534 (java) S 12519 12521 11597 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 610108868 10801086464 102571 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12535] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12535/stat : 12535 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108870 10801086464 102573 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672485809 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12536] ppid=12519 vsize=10547936 CPUtime=0.3 cores=0,2,4,6
/proc/12521/task/12536/stat : 12536 (java) S 12519 12521 11597 0 -1 4202560 6002 0 0 0 29 1 0 0 17 0 18 0 610108870 10801086464 102575 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 2 0 0 0
[pid=12521/tid=12537] ppid=12519 vsize=10547936 CPUtime=0.23 cores=0,2,4,6
/proc/12521/task/12537/stat : 12537 (java) S 12519 12521 11597 0 -1 4202560 2776 0 0 0 23 0 0 0 15 0 18 0 610108870 10801086464 102576 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 4 0 0 0
[pid=12521/tid=12538] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12538/stat : 12538 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108870 10801086464 102578 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12539] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12539/stat : 12539 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 610108870 10801086464 102580 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478720 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 10547936
Solver just ended. Dumping a history of the last processes samples
[startup+1.90147 s]
/proc/loadavg: 3.74 4.68 5.37 3/213 12540
/proc/meminfo: memFree=31128424/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10547936 CPUtime=2.44 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 133351 0 1 0 227 17 0 0 24 0 18 0 610108864 10801086464 129800 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2636984 129803 2211 9 0 2627718 0
[pid=12521/tid=12522] ppid=12519 vsize=10547936 CPUtime=1.88 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 123429 0 1 0 173 15 0 0 20 0 18 0 610108865 10801086464 129805 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 46912505602805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12521/tid=12524] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12524/stat : 12524 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129806 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12525] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12525/stat : 12525 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129806 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12526] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12526/stat : 12526 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129808 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12527] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12527/stat : 12527 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129809 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12528] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12528/stat : 12528 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129811 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12529] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12529/stat : 12529 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129813 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12530] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12530/stat : 12530 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129820 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12531] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12531/stat : 12531 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 129820 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12532] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12532/stat : 12532 (java) S 12519 12521 11597 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 610108867 10801086464 129820 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478720 0 0 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12533] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12533/stat : 12533 (java) S 12519 12521 11597 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 610108868 10801086464 129820 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12534] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12534/stat : 12534 (java) S 12519 12521 11597 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 610108868 10801086464 129820 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12535] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12535/stat : 12535 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108870 10801086464 129820 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672485809 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12536] ppid=12519 vsize=10547936 CPUtime=0.3 cores=0,2,4,6
/proc/12521/task/12536/stat : 12536 (java) S 12519 12521 11597 0 -1 4202560 6002 0 0 0 29 1 0 0 17 0 18 0 610108870 10801086464 129823 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 2 0 0 0
[pid=12521/tid=12537] ppid=12519 vsize=10547936 CPUtime=0.23 cores=0,2,4,6
/proc/12521/task/12537/stat : 12537 (java) S 12519 12521 11597 0 -1 4202560 2776 0 0 0 23 0 0 0 15 0 18 0 610108870 10801086464 129826 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 4 0 0 0
[pid=12521/tid=12538] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12538/stat : 12538 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108870 10801086464 129827 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12539] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12539/stat : 12539 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 610108870 10801086464 129829 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478720 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 10547936
[startup+2.3014 s]
/proc/loadavg: 3.74 4.68 5.37 3/213 12540
/proc/meminfo: memFree=30288572/32951124 swapFree=67055708/67111528
[pid=12521] ppid=12519 vsize=10547936 CPUtime=2.93 cores=0,2,4,6
/proc/12521/stat : 12521 (java) S 12519 12521 11597 0 -1 4202496 153280 0 1 0 274 19 0 0 24 0 18 0 610108864 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12521/statm: 2636984 149729 2224 9 0 2627718 0
[pid=12521/tid=12522] ppid=12519 vsize=10547936 CPUtime=2.29 cores=0,2,4,6
/proc/12521/task/12522/stat : 12522 (java) R 12519 12521 11597 0 -1 4202560 143302 0 1 0 211 18 0 0 21 0 18 0 610108865 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 46912505215748 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12521/tid=12524] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12524/stat : 12524 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12525] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12525/stat : 12525 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12526] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12526/stat : 12526 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12527] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12527/stat : 12527 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12528] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12528/stat : 12528 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12529] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12529/stat : 12529 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12530] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12530/stat : 12530 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12531] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12531/stat : 12531 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108866 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12532] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12532/stat : 12532 (java) S 12519 12521 11597 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 610108867 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478720 0 0 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12533] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12533/stat : 12533 (java) S 12519 12521 11597 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 610108868 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12534] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12534/stat : 12534 (java) S 12519 12521 11597 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 610108868 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12535] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12535/stat : 12535 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108870 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672485809 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12536] ppid=12519 vsize=10547936 CPUtime=0.34 cores=0,2,4,6
/proc/12521/task/12536/stat : 12536 (java) R 12519 12521 11597 0 -1 4202560 6006 0 0 0 33 1 0 0 15 0 18 0 610108870 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 47554900925958 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12521/tid=12537] ppid=12519 vsize=10547936 CPUtime=0.28 cores=0,2,4,6
/proc/12521/task/12537/stat : 12537 (java) R 12519 12521 11597 0 -1 4202560 2823 0 0 0 28 0 0 0 15 0 18 0 610108870 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 47554898477817 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12521/tid=12538] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12538/stat : 12538 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 610108870 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478105 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
[pid=12521/tid=12539] ppid=12519 vsize=10547936 CPUtime=0 cores=0,2,4,6
/proc/12521/task/12539/stat : 12539 (java) S 12519 12521 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 610108870 10801086464 149729 33554432000 1073741824 1073778376 140735516464048 18446744073709551615 268672478720 0 4 0 16800975 18446604453958830016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 10547936
Child status: 20
Real time (s): 2.36578
CPU time (s): 3.05053
CPU user time (s): 2.82657
CPU system time (s): 0.223965
CPU usage (%): 128.944
Max. virtual memory (cumulated for all children) (KiB): 10547936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.82657
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153802
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 257
involuntary context switches= 32
runsolver used 0.005999 second user time and 0.012998 second system time
The end