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-3710713-1338147924/watcher-3710713-1338147924 -o /tmp/evaluation-result-3710713-1338147924/solver-3710713-1338147924 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710713-1338147924.opb
running on 4 cores: 1,3,5,7
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: 1.91 2.01 1.99 5/194 26110
/proc/meminfo: memFree=31190652/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26110/stat : 26110 (java) R 26108 26110 22966 0 -1 4202496 681 0 0 0 0 0 0 0 20 0 1 0 280920893 23793664 409 33554432000 1073741824 1073778376 140733851913520 140733851902584 270109030963 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 5809 421 321 9 0 128 0
[startup+0.0364519 s]
/proc/loadavg: 1.91 2.01 1.99 5/194 26110
/proc/meminfo: memFree=31190652/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 3040 0 1 0 1 0 0 0 20 0 13 0 280920893 9446973440 3227 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2306390 3230 1682 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100263 s]
/proc/loadavg: 1.91 2.01 1.99 5/194 26110
/proc/meminfo: memFree=31190652/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 4319 0 1 0 9 1 0 0 20 0 18 0 280920893 9787842560 5527 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2389610 5527 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300192 s]
/proc/loadavg: 1.91 2.01 1.99 5/194 26110
/proc/meminfo: memFree=31190652/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 5321 0 1 0 44 1 0 0 20 0 18 0 280920893 9787842560 8380 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2389610 8380 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440
[startup+0.700302 s]
/proc/loadavg: 1.91 2.01 1.99 5/194 26110
/proc/meminfo: memFree=31190652/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 7443 0 1 0 97 5 0 0 20 0 19 0 280920893 9856004096 41242 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 41242 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9625004
[startup+1.50074 s]
/proc/loadavg: 1.91 2.01 1.99 3/213 26129
/proc/meminfo: memFree=31032848/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 8523 0 1 0 209 5 0 0 20 0 19 0 280920893 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 41417 2270 9 0 2396937 0
[pid=26110/tid=26112] ppid=26108 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/26110/task/26112/stat : 26112 (java) R 26108 26110 22966 0 -1 4202560 2623 0 1 0 142 4 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140137062351272 140137002720096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26113] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26113/stat : 26113 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140137001081128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26114] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26114/stat : 26114 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140137000028328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26115] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26115/stat : 26115 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136903555624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26116] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26116/stat : 26116 (java) S 26108 26110 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136902502824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26117] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26117/stat : 26117 (java) S 26108 26110 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136901450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26118] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26118/stat : 26118 (java) S 26108 26110 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136900397736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26119] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26119/stat : 26119 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136899345448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26120] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26120/stat : 26120 (java) S 26108 26110 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136898292648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26121] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26121/stat : 26121 (java) S 26108 26110 22966 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136886094056 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26122] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26122/stat : 26122 (java) S 26108 26110 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136885040120 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26123] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26123/stat : 26123 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136883987720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26124] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26124/stat : 26124 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136882936208 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 1929 0 0 0 28 0 0 0 20 0 19 0 280920899 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 2688 0 0 0 33 0 0 0 20 0 19 0 280920899 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 41417 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625004
[startup+3.10071 s]
/proc/loadavg: 1.91 2.01 1.99 3/213 26129
/proc/meminfo: memFree=30963032/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=3.99 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 12827 0 1 0 391 8 0 0 20 0 19 0 280920893 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 53976 2288 9 0 2396937 0
[pid=26110/tid=26112] ppid=26108 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/26110/task/26112/stat : 26112 (java) R 26108 26110 22966 0 -1 4202560 2624 0 1 0 296 4 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140137062351016 140137002648413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26113] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26113/stat : 26113 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140137001081128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26114] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26114/stat : 26114 (java) S 26108 26110 22966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140137000028328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26115] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26115/stat : 26115 (java) S 26108 26110 22966 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136903555624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26116] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26116/stat : 26116 (java) S 26108 26110 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136902502824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26117] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26117/stat : 26117 (java) S 26108 26110 22966 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136901450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26118] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26118/stat : 26118 (java) S 26108 26110 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136900397736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26119] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26119/stat : 26119 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136899345448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26120] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26120/stat : 26120 (java) S 26108 26110 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136898292648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26121] ppid=26108 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26110/task/26121/stat : 26121 (java) S 26108 26110 22966 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 19 0 280920896 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136886094056 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26122] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26122/stat : 26122 (java) S 26108 26110 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136885040120 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26123] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26123/stat : 26123 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136883987720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26124] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26124/stat : 26124 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136882936208 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 1929 0 0 0 29 0 0 0 20 0 19 0 280920899 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 6926 0 0 0 49 1 0 0 20 0 19 0 280920899 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 53976 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9625004
[startup+6.30072 s]
/proc/loadavg: 1.91 2.01 1.99 3/213 26129
/proc/meminfo: memFree=30848548/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=7.36 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 13244 0 1 0 722 14 0 0 20 0 19 0 280920893 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 67957 2288 9 0 2396937 0
[pid=26110/tid=26112] ppid=26108 vsize=9625004 CPUtime=6.08 cores=1,3,5,7
/proc/26110/task/26112/stat : 26112 (java) R 26108 26110 22966 0 -1 4202560 2626 0 1 0 604 4 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140137062351400 140137002648387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26113] ppid=26108 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/26110/task/26113/stat : 26113 (java) S 26108 26110 22966 0 -1 4202560 103 0 0 0 3 1 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140137001081128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26114] ppid=26108 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26110/task/26114/stat : 26114 (java) S 26108 26110 22966 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140137000028328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26115] ppid=26108 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26110/task/26115/stat : 26115 (java) S 26108 26110 22966 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136903555624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26116] ppid=26108 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/26110/task/26116/stat : 26116 (java) S 26108 26110 22966 0 -1 4202560 117 0 0 0 2 1 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136902502824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26117] ppid=26108 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26110/task/26117/stat : 26117 (java) S 26108 26110 22966 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136901450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26118] ppid=26108 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/26110/task/26118/stat : 26118 (java) S 26108 26110 22966 0 -1 4202560 114 0 0 0 1 2 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136900397736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26119] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26119/stat : 26119 (java) S 26108 26110 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136899345448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26120] ppid=26108 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26110/task/26120/stat : 26120 (java) S 26108 26110 22966 0 -1 4202560 94 0 0 0 0 2 0 0 20 0 19 0 280920894 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136898292648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26121] ppid=26108 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/26110/task/26121/stat : 26121 (java) S 26108 26110 22966 0 -1 4202560 109 0 0 0 8 0 0 0 20 0 19 0 280920896 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136886094056 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26122] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26122/stat : 26122 (java) S 26108 26110 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136885040120 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26123] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26123/stat : 26123 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136883987720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26124] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26124/stat : 26124 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136882936208 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 1929 0 0 0 31 0 0 0 20 0 19 0 280920899 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 6927 0 0 0 51 2 0 0 20 0 19 0 280920899 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 67957 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 2379 0 0 0 35 0 0 0 20 0 19 0 280920899 9856004096 263097 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 6945 0 0 0 66 2 0 0 20 0 19 0 280920899 9856004096 263097 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 263097 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 99 0 0 0 53 37 0 0 20 0 19 0 280920899 9856004096 263097 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 263097 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1730.48
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 26167
/proc/meminfo: memFree=29589428/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=1790.81 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 18420 0 1 0 178909 172 0 0 20 0 19 0 280920893 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 269769 2289 9 0 2396937 0
[pid=26110/tid=26112] ppid=26108 vsize=9625004 CPUtime=1766 cores=1,3,5,7
/proc/26110/task/26112/stat : 26112 (java) R 26108 26110 22966 0 -1 4202560 2775 0 1 0 176568 32 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137062351152 140137002648354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26113] ppid=26108 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/26110/task/26113/stat : 26113 (java) S 26108 26110 22966 0 -1 4202560 308 0 0 0 86 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137001081128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26114] ppid=26108 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/26110/task/26114/stat : 26114 (java) S 26108 26110 22966 0 -1 4202560 313 0 0 0 101 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137000028328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26115] ppid=26108 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/26110/task/26115/stat : 26115 (java) S 26108 26110 22966 0 -1 4202560 535 0 0 0 95 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136903555624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26116] ppid=26108 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/26110/task/26116/stat : 26116 (java) S 26108 26110 22966 0 -1 4202560 569 0 0 0 105 14 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136902502824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26117] ppid=26108 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/26110/task/26117/stat : 26117 (java) S 26108 26110 22966 0 -1 4202560 409 0 0 0 93 11 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136901450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26118] ppid=26108 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26110/task/26118/stat : 26118 (java) S 26108 26110 22966 0 -1 4202560 627 0 0 0 92 14 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136900397736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26119] ppid=26108 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/26110/task/26119/stat : 26119 (java) S 26108 26110 22966 0 -1 4202560 392 0 0 0 108 16 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136899345448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26120] ppid=26108 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26110/task/26120/stat : 26120 (java) S 26108 26110 22966 0 -1 4202560 659 0 0 0 94 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136898292648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26121] ppid=26108 vsize=9625004 CPUtime=9.04 cores=1,3,5,7
/proc/26110/task/26121/stat : 26121 (java) S 26108 26110 22966 0 -1 4202560 1226 0 0 0 900 4 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136886094056 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26122] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26122/stat : 26122 (java) S 26108 26110 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136885040120 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26123] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26123/stat : 26123 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136883987720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26124] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26124/stat : 26124 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136882936208 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 2379 0 0 0 35 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 6945 0 0 0 66 2 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 103 0 0 0 55 39 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.81
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26167
/proc/meminfo: memFree=29375072/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 18420 0 1 0 179830 173 0 0 20 0 19 0 280920893 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 269769 2289 9 0 2396937 0
[pid=26110/tid=26112] ppid=26108 vsize=9625004 CPUtime=1775.18 cores=1,3,5,7
/proc/26110/task/26112/stat : 26112 (java) R 26108 26110 22966 0 -1 4202560 2775 0 1 0 177486 32 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137062351152 140137002659773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26113] ppid=26108 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/26110/task/26113/stat : 26113 (java) S 26108 26110 22966 0 -1 4202560 308 0 0 0 86 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137001081128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26114] ppid=26108 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/26110/task/26114/stat : 26114 (java) S 26108 26110 22966 0 -1 4202560 313 0 0 0 101 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137000028328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26115] ppid=26108 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/26110/task/26115/stat : 26115 (java) S 26108 26110 22966 0 -1 4202560 535 0 0 0 95 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136903555624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26116] ppid=26108 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/26110/task/26116/stat : 26116 (java) S 26108 26110 22966 0 -1 4202560 569 0 0 0 105 14 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136902502824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26117] ppid=26108 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/26110/task/26117/stat : 26117 (java) S 26108 26110 22966 0 -1 4202560 409 0 0 0 93 11 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136901450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26118] ppid=26108 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26110/task/26118/stat : 26118 (java) S 26108 26110 22966 0 -1 4202560 627 0 0 0 92 14 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136900397736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26119] ppid=26108 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/26110/task/26119/stat : 26119 (java) S 26108 26110 22966 0 -1 4202560 392 0 0 0 108 16 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136899345448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26120] ppid=26108 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26110/task/26120/stat : 26120 (java) S 26108 26110 22966 0 -1 4202560 659 0 0 0 94 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136898292648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26121] ppid=26108 vsize=9625004 CPUtime=9.04 cores=1,3,5,7
/proc/26110/task/26121/stat : 26121 (java) S 26108 26110 22966 0 -1 4202560 1226 0 0 0 900 4 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136886094056 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26122] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26122/stat : 26122 (java) S 26108 26110 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136885040120 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26123] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26123/stat : 26123 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136883987720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26124] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26124/stat : 26124 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136882936208 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 2379 0 0 0 35 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 6945 0 0 0 66 2 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 103 0 0 0 55 39 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26167
/proc/meminfo: memFree=29375072/32873844 swapFree=6872/6872
[pid=26110] ppid=26108 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/26110/stat : 26110 (java) S 26108 26110 22966 0 -1 4202496 18420 0 1 0 179830 173 0 0 20 0 19 0 280920893 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140733851904656 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26110/statm: 2406251 269769 2289 9 0 2396937 0
[pid=26110/tid=26112] ppid=26108 vsize=9625004 CPUtime=1775.18 cores=1,3,5,7
/proc/26110/task/26112/stat : 26112 (java) R 26108 26110 22966 0 -1 4202560 2775 0 1 0 177486 32 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137062351152 140137002659773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26113] ppid=26108 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/26110/task/26113/stat : 26113 (java) S 26108 26110 22966 0 -1 4202560 308 0 0 0 86 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137001081128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26114] ppid=26108 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/26110/task/26114/stat : 26114 (java) S 26108 26110 22966 0 -1 4202560 313 0 0 0 101 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140137000028328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26115] ppid=26108 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/26110/task/26115/stat : 26115 (java) S 26108 26110 22966 0 -1 4202560 535 0 0 0 95 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136903555624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26116] ppid=26108 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/26110/task/26116/stat : 26116 (java) S 26108 26110 22966 0 -1 4202560 569 0 0 0 105 14 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136902502824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26117] ppid=26108 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/26110/task/26117/stat : 26117 (java) S 26108 26110 22966 0 -1 4202560 409 0 0 0 93 11 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136901450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26118] ppid=26108 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26110/task/26118/stat : 26118 (java) S 26108 26110 22966 0 -1 4202560 627 0 0 0 92 14 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136900397736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26119] ppid=26108 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/26110/task/26119/stat : 26119 (java) S 26108 26110 22966 0 -1 4202560 392 0 0 0 108 16 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136899345448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26110/tid=26120] ppid=26108 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26110/task/26120/stat : 26120 (java) S 26108 26110 22966 0 -1 4202560 659 0 0 0 94 12 0 0 20 0 19 0 280920894 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136898292648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26121] ppid=26108 vsize=9625004 CPUtime=9.04 cores=1,3,5,7
/proc/26110/task/26121/stat : 26121 (java) S 26108 26110 22966 0 -1 4202560 1226 0 0 0 900 4 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136886094056 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26122] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26122/stat : 26122 (java) S 26108 26110 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136885040120 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26123] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26123/stat : 26123 (java) S 26108 26110 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280920896 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136883987720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26124] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26124/stat : 26124 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136882936208 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26110/tid=26125] ppid=26108 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/26110/task/26125/stat : 26125 (java) S 26108 26110 22966 0 -1 4202560 2379 0 0 0 35 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136881883832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26126] ppid=26108 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/26110/task/26126/stat : 26126 (java) S 26108 26110 22966 0 -1 4202560 6945 0 0 0 66 2 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136880831032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26127] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26127/stat : 26127 (java) S 26108 26110 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136879778936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26110/tid=26128] ppid=26108 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/26110/task/26128/stat : 26128 (java) S 26108 26110 22966 0 -1 4202560 103 0 0 0 55 39 0 0 20 0 19 0 280920899 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136878726344 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26110/tid=26129] ppid=26108 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26110/task/26129/stat : 26129 (java) S 26108 26110 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280920961 9856004096 269769 33554432000 1073741824 1073778376 140733851913520 140136877671336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26110 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=378365
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=942704
# CPU time returned by wait4() is 1795.32
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.56
CPU time (s): 1800.03
CPU user time (s): 1798.3
CPU system time (s): 1.73
CPU usage (%): 100.473
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.38
system time used= 1.9427
maximum resident set size= 1079192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18454
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39596
involuntary context switches= 19973
runsolver used 6.68098 second user time and 15.9526 second system time
The end