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-3710146-1338149401/watcher-3710146-1338149401 -o /tmp/evaluation-result-3710146-1338149401/solver-3710146-1338149401 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710146-1338149401.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: 1.99 1.98 1.99 3/195 28347
/proc/meminfo: memFree=28769328/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28347/stat : 28347 (java) D 28345 28347 24682 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 281065058 9515008 183 33554432000 1073741824 1073778376 140735739663072 140735739654104 223651643061 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2323 183 140 9 0 71 0
[startup+0.0888781 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28347
/proc/meminfo: memFree=28769328/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 3331 0 1 0 5 0 0 0 20 0 18 0 281065058 9787842560 4538 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2389610 4538 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440
[startup+0.100253 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28347
/proc/meminfo: memFree=28769328/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 3482 0 1 0 6 0 0 0 20 0 18 0 281065058 9787842560 4689 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2389610 4690 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440
[startup+0.300219 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28347
/proc/meminfo: memFree=28769328/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9559180 CPUtime=0.46 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 6200 0 1 0 44 2 0 0 20 0 18 0 281065058 9788600320 9131 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2389795 9141 2223 9 0 2380481 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9559180
[startup+0.700234 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28347
/proc/meminfo: memFree=28769328/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 10921 0 1 0 138 4 0 0 20 0 19 0 281065058 9856004096 27320 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 27320 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625004
[startup+1.50073 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 28366
/proc/meminfo: memFree=28660684/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=2.54 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 11019 0 1 0 247 7 0 0 20 0 19 0 281065058 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 38126 2283 9 0 2396937 0
[pid=28347/tid=28349] ppid=28345 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/28347/task/28349/stat : 28349 (java) R 28345 28347 24682 0 -1 4202560 2558 0 1 0 135 3 0 0 20 0 19 0 281065059 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891705385384 139891531444965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28350/stat : 28350 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891666877096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28351/stat : 28351 (java) S 28345 28347 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891665824552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28352/stat : 28352 (java) S 28345 28347 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891664772008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28353/stat : 28353 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891663719464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28354/stat : 28354 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891662665896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891660560808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 281065063 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891528682088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 53 1 0 0 20 0 19 0 281065066 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2701 0 0 0 45 0 0 0 20 0 19 0 281065066 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 38126 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9625004
[startup+3.10071 s]
/proc/loadavg: 1.99 1.98 1.99 4/214 28366
/proc/meminfo: memFree=28620780/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=4.23 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 11035 0 1 0 416 7 0 0 20 0 19 0 281065058 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 39160 2283 9 0 2396937 0
[pid=28347/tid=28349] ppid=28345 vsize=9625004 CPUtime=2.91 cores=0,2,4,6
/proc/28347/task/28349/stat : 28349 (java) R 28345 28347 24682 0 -1 4202560 2559 0 1 0 287 4 0 0 20 0 19 0 281065059 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891705385224 139891531532370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28350/stat : 28350 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891666877096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28351/stat : 28351 (java) S 28345 28347 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891665824552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28352/stat : 28352 (java) S 28345 28347 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891664772008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28347/task/28353/stat : 28353 (java) S 28345 28347 24682 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891663719464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28354/stat : 28354 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891662665896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891660560808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) S 28345 28347 24682 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 37 0 0 0 9 0 0 0 20 0 19 0 281065063 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891528682088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 55 1 0 0 20 0 19 0 281065066 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2702 0 0 0 49 0 0 0 20 0 19 0 281065066 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 39160 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9625004
[startup+6.3007 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 28366
/proc/meminfo: memFree=28616372/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=7.48 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 11210 0 1 0 741 7 0 0 20 0 19 0 281065058 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 39010 2283 9 0 2396937 0
[pid=28347/tid=28349] ppid=28345 vsize=9625004 CPUtime=5.93 cores=0,2,4,6
/proc/28347/task/28349/stat : 28349 (java) R 28345 28347 24682 0 -1 4202560 2563 0 1 0 589 4 0 0 20 0 19 0 281065059 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891705385264 139891531621856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28350/stat : 28350 (java) S 28345 28347 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891666877096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28351/stat : 28351 (java) S 28345 28347 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891665824552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28352/stat : 28352 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891664772008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28347/task/28353/stat : 28353 (java) S 28345 28347 24682 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891663719464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28354/stat : 28354 (java) S 28345 28347 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891662665896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891660560808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) S 28345 28347 24682 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 281065062 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 38 0 0 0 26 0 0 0 20 0 19 0 281065063 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891528682088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 55 1 0 0 20 0 19 0 281065066 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2863 0 0 0 54 0 0 0 20 0 19 0 281065066 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 39010 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=3.76 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 1407 0 0 0 369 7 0 0 20 0 19 0 281065062 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=3.49 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 1601 0 0 0 344 5 0 0 20 0 19 0 281065062 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891660560808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=3.63 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) S 28345 28347 24682 0 -1 4202560 1454 0 0 0 356 7 0 0 20 0 19 0 281065062 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=11.95 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 385 0 0 0 1186 9 0 0 20 0 19 0 281065063 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891528682088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 55 1 0 0 20 0 19 0 281065066 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2885 0 0 0 56 0 0 0 20 0 19 0 281065066 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 93 0 0 0 13 20 0 0 20 0 19 0 281065066 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 98544 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1623.75
Current children cumulated vsize (KiB) 9625004
[startup+1662.3 s]
/proc/loadavg: 1.91 1.98 1.99 3/192 28388
/proc/meminfo: memFree=28665796/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=1684.49 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 23412 0 1 0 168366 83 0 0 20 0 19 0 281065058 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 94985 2284 9 0 2396937 0
[pid=28347/tid=28349] ppid=28345 vsize=9625004 CPUtime=1640.92 cores=0,2,4,6
/proc/28347/task/28349/stat : 28349 (java) R 28345 28347 24682 0 -1 4202560 3154 0 1 0 164060 32 0 0 20 0 19 0 281065059 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891705384288 139891531533109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=9625004 CPUtime=3.94 cores=0,2,4,6
/proc/28347/task/28350/stat : 28350 (java) S 28345 28347 24682 0 -1 4202560 2019 0 0 0 386 8 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891666877096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=9625004 CPUtime=3.52 cores=0,2,4,6
/proc/28347/task/28351/stat : 28351 (java) S 28345 28347 24682 0 -1 4202560 1375 0 0 0 345 7 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891665824552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/28347/task/28352/stat : 28352 (java) S 28345 28347 24682 0 -1 4202560 775 0 0 0 380 6 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891664772008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=9625004 CPUtime=4.03 cores=0,2,4,6
/proc/28347/task/28353/stat : 28353 (java) S 28345 28347 24682 0 -1 4202560 973 0 0 0 396 7 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891663719464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=9625004 CPUtime=3.59 cores=0,2,4,6
/proc/28347/task/28354/stat : 28354 (java) S 28345 28347 24682 0 -1 4202560 1613 0 0 0 352 7 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891662665896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=3.89 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 1407 0 0 0 382 7 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=3.62 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 1601 0 0 0 356 6 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891660560808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=3.8 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) S 28345 28347 24682 0 -1 4202560 1454 0 0 0 373 7 0 0 20 0 19 0 281065062 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=12.3 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 388 0 0 0 1221 9 0 0 20 0 19 0 281065063 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891528682088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 55 1 0 0 20 0 19 0 281065066 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2885 0 0 0 56 0 0 0 20 0 19 0 281065066 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 95 0 0 0 14 21 0 0 20 0 19 0 281065066 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 94985 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1684.49
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 28438
/proc/meminfo: memFree=28511992/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=1745.2 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 23452 0 1 0 174435 85 0 0 20 0 19 0 281065058 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 95414 2284 9 0 2396937 0
[pid=28347/tid=28349] ppid=28345 vsize=9625004 CPUtime=1700.33 cores=0,2,4,6
/proc/28347/task/28349/stat : 28349 (java) R 28345 28347 24682 0 -1 4202560 3172 0 1 0 170000 33 0 0 20 0 19 0 281065059 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891705384256 139891531621499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=9625004 CPUtime=4.08 cores=0,2,4,6
/proc/28347/task/28350/stat : 28350 (java) S 28345 28347 24682 0 -1 4202560 2019 0 0 0 400 8 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891666877096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=9625004 CPUtime=3.63 cores=0,2,4,6
/proc/28347/task/28351/stat : 28351 (java) S 28345 28347 24682 0 -1 4202560 1377 0 0 0 356 7 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891665824552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=9625004 CPUtime=4.04 cores=0,2,4,6
/proc/28347/task/28352/stat : 28352 (java) S 28345 28347 24682 0 -1 4202560 779 0 0 0 397 7 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891664772008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=9625004 CPUtime=4.14 cores=0,2,4,6
/proc/28347/task/28353/stat : 28353 (java) S 28345 28347 24682 0 -1 4202560 975 0 0 0 407 7 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891663719464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=9625004 CPUtime=3.72 cores=0,2,4,6
/proc/28347/task/28354/stat : 28354 (java) S 28345 28347 24682 0 -1 4202560 1616 0 0 0 365 7 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891662665896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=4.02 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 1407 0 0 0 395 7 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=3.72 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 1601 0 0 0 366 6 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891660560808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=3.9 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) S 28345 28347 24682 0 -1 4202560 1454 0 0 0 382 8 0 0 20 0 19 0 281065062 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=12.61 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 395 0 0 0 1252 9 0 0 20 0 19 0 281065063 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891528682088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 55 1 0 0 20 0 19 0 281065066 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2885 0 0 0 56 0 0 0 20 0 19 0 281065066 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 99 0 0 0 15 21 0 0 20 0 19 0 281065066 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 95414 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1745.2
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.6 s]
/proc/loadavg: 1.98 1.98 1.99 7/213 28438
/proc/meminfo: memFree=28481072/32873844 swapFree=6856/6856
[pid=28347] ppid=28345 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/28347/stat : 28347 (java) S 28345 28347 24682 0 -1 4202496 23486 0 1 0 179921 87 0 0 20 0 19 0 281065058 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 140737014545696 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28347/statm: 2406251 91647 2284 9 0 2396937 0
[pid=28347/tid=28349] ppid=28345 vsize=9625004 CPUtime=1754 cores=0,2,4,6
/proc/28347/task/28349/stat : 28349 (java) S 28345 28347 24682 0 -1 4202560 3196 0 1 0 175366 34 0 0 20 0 19 0 281065059 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891705384056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=9625004 CPUtime=4.2 cores=0,2,4,6
/proc/28347/task/28350/stat : 28350 (java) S 28345 28347 24682 0 -1 4202560 2019 0 0 0 412 8 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891666877096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=9625004 CPUtime=3.74 cores=0,2,4,6
/proc/28347/task/28351/stat : 28351 (java) S 28345 28347 24682 0 -1 4202560 1377 0 0 0 367 7 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891665824552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=9625004 CPUtime=4.14 cores=0,2,4,6
/proc/28347/task/28352/stat : 28352 (java) S 28345 28347 24682 0 -1 4202560 779 0 0 0 407 7 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891664771976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=9625004 CPUtime=4.25 cores=0,2,4,6
/proc/28347/task/28353/stat : 28353 (java) S 28345 28347 24682 0 -1 4202560 975 0 0 0 418 7 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891663719464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=9625004 CPUtime=3.82 cores=0,2,4,6
/proc/28347/task/28354/stat : 28354 (java) R 28345 28347 24682 0 -1 4202560 1616 0 0 0 375 7 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891662665896 223655015484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=9625004 CPUtime=4.17 cores=0,2,4,6
/proc/28347/task/28355/stat : 28355 (java) S 28345 28347 24682 0 -1 4202560 1407 0 0 0 410 7 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891661613352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=9625004 CPUtime=3.84 cores=0,2,4,6
/proc/28347/task/28356/stat : 28356 (java) S 28345 28347 24682 0 -1 4202560 1601 0 0 0 378 6 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891660560664 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=9625004 CPUtime=3.97 cores=0,2,4,6
/proc/28347/task/28357/stat : 28357 (java) R 28345 28347 24682 0 -1 4202560 1454 0 0 0 389 8 0 0 20 0 19 0 281065062 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891659508264 223655015484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=9625004 CPUtime=12.95 cores=0,2,4,6
/proc/28347/task/28358/stat : 28358 (java) S 28345 28347 24682 0 -1 4202560 401 0 0 0 1285 10 0 0 20 0 19 0 281065063 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891528680968 223655015484 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28359/stat : 28359 (java) S 28345 28347 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891527628408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28360/stat : 28360 (java) S 28345 28347 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281065063 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891526575752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28361/stat : 28361 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891525524496 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28362/stat : 28362 (java) S 28345 28347 24682 0 -1 4202560 4487 0 0 0 55 1 0 0 20 0 19 0 281065066 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891524470840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/28347/task/28363/stat : 28363 (java) S 28345 28347 24682 0 -1 4202560 2885 0 0 0 56 0 0 0 20 0 19 0 281065066 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891523418296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28364/stat : 28364 (java) S 28345 28347 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281065066 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891522365944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/28347/task/28365/stat : 28365 (java) S 28345 28347 24682 0 -1 4202560 103 0 0 0 17 22 0 0 20 0 19 0 281065066 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891521313608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28347/task/28366/stat : 28366 (java) S 28345 28347 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281065115 9856004096 91647 33554432000 1073741824 1073778376 140737014554560 139891520259368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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
Child status: 143
Real time (s): 1776.65
CPU time (s): 1800.92
CPU user time (s): 1799.53
CPU system time (s): 1.39179
CPU usage (%): 101.366
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 1.39179
maximum resident set size= 398872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23526
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56419
involuntary context switches= 68813
runsolver used 7.2289 second user time and 12.4751 second system time
The end