runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689873-1337893858/watcher-3689873-1337893858 -o /tmp/evaluation-result-3689873-1337893858/solver-3689873-1337893858 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689873-1337893858.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: 2.00 2.00 2.00 3/193 23106
/proc/meminfo: memFree=27709380/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/23106/stat : 23106 (java) D 23104 23106 20334 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 255514349 278528 33 33554432000 1073741824 1073778376 140736653457344 140736653454520 235365559591 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 68 33 25 9 0 25 0
[startup+0.0384581 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 23106
/proc/meminfo: memFree=27709380/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 2771 0 1 0 1 0 0 0 20 0 10 0 255514349 9233014784 3471 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2254154 3472 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 23106
/proc/meminfo: memFree=27709380/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 3357 0 1 0 6 0 0 0 20 0 18 0 255514349 9787813888 4566 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2389603 4568 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 23106
/proc/meminfo: memFree=27709380/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 6140 0 1 0 45 1 0 0 20 0 18 0 255514349 9787813888 10507 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2389603 10507 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700214 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 23106
/proc/meminfo: memFree=27709380/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9558412 CPUtime=1.28 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 11259 0 1 0 122 6 0 0 20 0 18 0 255514349 9787813888 46379 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2389603 46379 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9558412
[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 4/212 23125
/proc/meminfo: memFree=27533144/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9624976 CPUtime=2.72 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 12696 0 1 0 265 7 0 0 20 0 19 0 255514349 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2406244 46382 2264 9 0 2396937 0
[pid=23106/tid=23108] ppid=23104 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/23106/task/23108/stat : 23108 (java) R 23104 23106 20334 0 -1 4202560 2528 0 1 0 138 3 0 0 20 0 19 0 255514351 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611428347192 140611273937336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23109] ppid=23104 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23106/task/23109/stat : 23109 (java) S 23104 23106 20334 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611400801064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23110] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23110/stat : 23110 (java) S 23104 23106 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611399748264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23111] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23111/stat : 23111 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611398695976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23112] ppid=23104 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23106/task/23112/stat : 23112 (java) S 23104 23106 20334 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611397643176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23113] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23113/stat : 23113 (java) S 23104 23106 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611396589864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4102 0 0 0 59 2 0 0 20 0 19 0 255514357 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4746 0 0 0 51 0 0 0 20 0 19 0 255514357 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 46382 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 9624976
[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 23125
/proc/meminfo: memFree=27531640/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9624976 CPUtime=4.34 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 12698 0 1 0 427 7 0 0 20 0 19 0 255514349 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2406244 46383 2265 9 0 2396937 0
[pid=23106/tid=23108] ppid=23104 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/23106/task/23108/stat : 23108 (java) R 23104 23106 20334 0 -1 4202560 2529 0 1 0 297 3 0 0 20 0 19 0 255514351 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611428346432 140611274262135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23109] ppid=23104 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23106/task/23109/stat : 23109 (java) S 23104 23106 20334 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611400801064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23110] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23110/stat : 23110 (java) S 23104 23106 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611399748264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23111] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23111/stat : 23111 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611398695976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23112] ppid=23104 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23106/task/23112/stat : 23112 (java) S 23104 23106 20334 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611397643176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23113] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23113/stat : 23113 (java) S 23104 23106 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611396589864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4103 0 0 0 60 2 0 0 20 0 19 0 255514357 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4746 0 0 0 52 0 0 0 20 0 19 0 255514357 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 46383 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9624976
[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23125
/proc/meminfo: memFree=27532400/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9624976 CPUtime=7.55 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 12718 0 1 0 748 7 0 0 20 0 19 0 255514349 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2406244 46102 2268 9 0 2396937 0
[pid=23106/tid=23108] ppid=23104 vsize=9624976 CPUtime=6.2 cores=0,2,4,6
/proc/23106/task/23108/stat : 23108 (java) R 23104 23106 20334 0 -1 4202560 2530 0 1 0 617 3 0 0 20 0 19 0 255514351 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611428348312 140611274075453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23109] ppid=23104 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23106/task/23109/stat : 23109 (java) S 23104 23106 20334 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611400801064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23110] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23110/stat : 23110 (java) S 23104 23106 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611399748264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23111] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23111/stat : 23111 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611398695976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23112] ppid=23104 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23106/task/23112/stat : 23112 (java) S 23104 23106 20334 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611397643176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23113] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23113/stat : 23113 (java) S 23104 23106 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611396589864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255514352 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4122 0 0 0 61 2 0 0 20 0 19 0 255514357 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4746 0 0 0 52 0 0 0 20 0 19 0 255514357 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 46102 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 193 0 0 0 29 2 0 0 20 0 19 0 255514352 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 92 0 0 0 33 3 0 0 20 0 19 0 255514352 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 134 0 0 0 27 2 0 0 20 0 19 0 255514352 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=5.36 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 223 0 0 0 534 2 0 0 20 0 19 0 255514354 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4223 0 0 0 78 2 0 0 20 0 19 0 255514357 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4749 0 0 0 55 0 0 0 20 0 19 0 255514357 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 95 0 0 0 17 11 0 0 20 0 19 0 255514357 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 90570 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.57
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/211 23196
/proc/meminfo: memFree=26201868/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9624976 CPUtime=1725.67 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 14178 0 1 0 172532 35 0 0 20 0 19 0 255514349 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2406244 90587 2282 9 0 2396937 0
[pid=23106/tid=23108] ppid=23104 vsize=9624976 CPUtime=1715.96 cores=0,2,4,6
/proc/23106/task/23108/stat : 23108 (java) R 23104 23106 20334 0 -1 4202560 2596 0 1 0 171566 30 0 0 20 0 19 0 255514351 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611428348192 140611274262140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23109] ppid=23104 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/23106/task/23109/stat : 23109 (java) S 23104 23106 20334 0 -1 4202560 86 0 0 0 31 3 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611400801064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23110] ppid=23104 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/23106/task/23110/stat : 23110 (java) S 23104 23106 20334 0 -1 4202560 166 0 0 0 31 2 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611399748264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23111] ppid=23104 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23106/task/23111/stat : 23111 (java) S 23104 23106 20334 0 -1 4202560 201 0 0 0 35 2 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611398695976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23112] ppid=23104 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/23106/task/23112/stat : 23112 (java) S 23104 23106 20334 0 -1 4202560 164 0 0 0 31 3 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611397643176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23113] ppid=23104 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/23106/task/23113/stat : 23113 (java) S 23104 23106 20334 0 -1 4202560 68 0 0 0 28 2 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611396589864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 193 0 0 0 30 2 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 92 0 0 0 34 3 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 134 0 0 0 29 2 0 0 20 0 19 0 255514352 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=5.55 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 227 0 0 0 553 2 0 0 20 0 19 0 255514354 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4223 0 0 0 78 2 0 0 20 0 19 0 255514357 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4749 0 0 0 55 0 0 0 20 0 19 0 255514357 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 99 0 0 0 18 12 0 0 20 0 19 0 255514357 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 90587 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.67
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/212 23199
/proc/meminfo: memFree=25642576/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9624976 CPUtime=1785.69 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 14193 0 1 0 178534 35 0 0 20 0 19 0 255514349 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2406244 90595 2282 9 0 2396937 0
[pid=23106/tid=23108] ppid=23104 vsize=9624976 CPUtime=1775.85 cores=0,2,4,6
/proc/23106/task/23108/stat : 23108 (java) R 23104 23106 20334 0 -1 4202560 2597 0 1 0 177555 30 0 0 20 0 19 0 255514351 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611428348192 140611274262189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23109] ppid=23104 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/23106/task/23109/stat : 23109 (java) S 23104 23106 20334 0 -1 4202560 86 0 0 0 32 3 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611400801064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23110] ppid=23104 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/23106/task/23110/stat : 23110 (java) S 23104 23106 20334 0 -1 4202560 166 0 0 0 32 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611399748264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23111] ppid=23104 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23106/task/23111/stat : 23111 (java) S 23104 23106 20334 0 -1 4202560 201 0 0 0 35 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611398695976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23112] ppid=23104 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/23106/task/23112/stat : 23112 (java) S 23104 23106 20334 0 -1 4202560 166 0 0 0 32 3 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611397643176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23113] ppid=23104 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23106/task/23113/stat : 23113 (java) S 23104 23106 20334 0 -1 4202560 74 0 0 0 29 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611396589864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 193 0 0 0 31 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 92 0 0 0 35 3 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 134 0 0 0 29 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=5.64 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 229 0 0 0 562 2 0 0 20 0 19 0 255514354 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4223 0 0 0 78 2 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4749 0 0 0 55 0 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 103 0 0 0 18 12 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.69
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 1.99 2.00 1.99 3/212 23199
/proc/meminfo: memFree=25642576/32873844 swapFree=7104/7104
[pid=23106] ppid=23104 vsize=9624976 CPUtime=1800.01 cores=0,2,4,6
/proc/23106/stat : 23106 (java) S 23104 23106 20334 0 -1 4202496 14193 0 1 0 179965 36 0 0 20 0 19 0 255514349 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140733434546960 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23106/statm: 2406244 90595 2282 9 0 2396937 0
[pid=23106/tid=23108] ppid=23104 vsize=9624976 CPUtime=1790.16 cores=0,2,4,6
/proc/23106/task/23108/stat : 23108 (java) R 23104 23106 20334 0 -1 4202560 2597 0 1 0 178985 31 0 0 20 0 19 0 255514351 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611428348192 140611274262108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23109] ppid=23104 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/23106/task/23109/stat : 23109 (java) S 23104 23106 20334 0 -1 4202560 86 0 0 0 32 3 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611400801064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23110] ppid=23104 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/23106/task/23110/stat : 23110 (java) S 23104 23106 20334 0 -1 4202560 166 0 0 0 32 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611399748264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23111] ppid=23104 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23106/task/23111/stat : 23111 (java) S 23104 23106 20334 0 -1 4202560 201 0 0 0 35 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611398695976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23112] ppid=23104 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/23106/task/23112/stat : 23112 (java) S 23104 23106 20334 0 -1 4202560 166 0 0 0 32 3 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611397643176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23106/tid=23113] ppid=23104 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23106/task/23113/stat : 23113 (java) S 23104 23106 20334 0 -1 4202560 74 0 0 0 29 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611396589864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23114] ppid=23104 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/23106/task/23114/stat : 23114 (java) S 23104 23106 20334 0 -1 4202560 193 0 0 0 31 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611395537064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23115] ppid=23104 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23106/task/23115/stat : 23115 (java) S 23104 23106 20334 0 -1 4202560 92 0 0 0 35 3 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611394484776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23116] ppid=23104 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23106/task/23116/stat : 23116 (java) S 23104 23106 20334 0 -1 4202560 134 0 0 0 29 2 0 0 20 0 19 0 255514352 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140611393431976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23117] ppid=23104 vsize=9624976 CPUtime=5.64 cores=0,2,4,6
/proc/23106/task/23117/stat : 23117 (java) S 23104 23106 20334 0 -1 4202560 229 0 0 0 562 2 0 0 20 0 19 0 255514354 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610781551336 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23118] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23118/stat : 23118 (java) S 23104 23106 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610780497400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23119] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23119/stat : 23119 (java) S 23104 23106 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255514354 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610779445000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23120] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23120/stat : 23120 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610778393488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23106/tid=23121] ppid=23104 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/23106/task/23121/stat : 23121 (java) S 23104 23106 20334 0 -1 4202560 4223 0 0 0 78 2 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610777340088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23122] ppid=23104 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23106/task/23122/stat : 23122 (java) S 23104 23106 20334 0 -1 4202560 4749 0 0 0 55 0 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610776287288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23123] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23123/stat : 23123 (java) S 23104 23106 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610775235192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23106/tid=23124] ppid=23104 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/23106/task/23124/stat : 23124 (java) S 23104 23106 20334 0 -1 4202560 103 0 0 0 18 12 0 0 20 0 19 0 255514357 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610774182600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23106/tid=23125] ppid=23104 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23106/task/23125/stat : 23125 (java) S 23104 23106 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255514447 9855975424 90595 33554432000 1073741824 1073778376 140733434555824 140610773128616 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.66
CPU time (s): 1800.55
CPU user time (s): 1799.75
CPU system time (s): 0.801878
CPU usage (%): 100.216
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.801878
maximum resident set size= 362524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14231
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39991
involuntary context switches= 7955
runsolver used 6.05308 second user time and 12.6911 second system time
The end