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-3718147-1338250507/watcher-3718147-1338250507 -o /tmp/evaluation-result-3718147-1338250507/solver-3718147-1338250507 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718147-1338250507.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 360
/proc/meminfo: memFree=30660952/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/360/stat : 360 (java) D 358 360 30566 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 291178093 278528 33 33554432000 1073741824 1073778376 140734589614512 140734589611688 219504799015 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/360/statm: 68 33 25 9 0 25 0
[startup+0.0388101 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 360
/proc/meminfo: memFree=30660952/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 3012 0 1 0 1 0 0 0 20 0 13 0 291178093 9446973440 3201 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2306390 3203 1665 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 360
/proc/meminfo: memFree=30660952/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 4332 0 1 0 8 1 0 0 20 0 18 0 291178093 9787817984 5016 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2389604 5018 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416
[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 360
/proc/meminfo: memFree=30660952/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 6363 0 1 0 49 1 0 0 20 0 19 0 291178093 9855979520 6812 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 6812 2223 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980
[startup+0.706338 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 360
/proc/meminfo: memFree=30660952/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=1.02 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 6794 0 1 0 100 2 0 0 20 0 19 0 291178093 9855979520 10146 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 10146 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9624980
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 1.91 5/213 443
/proc/meminfo: memFree=30600036/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=1.85 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 6822 0 1 0 183 2 0 0 20 0 19 0 291178093 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 13232 2259 9 0 2396937 0
[pid=360/tid=362] ppid=358 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/360/task/362/stat : 362 (java) R 358 360 30566 0 -1 4202560 2510 0 1 0 142 2 0 0 20 0 19 0 291178094 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574958215440 140574830415691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=360/tid=369] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/369/stat : 369 (java) S 358 360 30566 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574802230312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=370] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/370/stat : 370 (java) S 358 360 30566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574801177512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=371] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/371/stat : 371 (java) S 358 360 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574800124712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=372] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/372/stat : 372 (java) S 358 360 30566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574799071912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=373] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/373/stat : 373 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574798019112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1040 0 0 0 15 0 0 0 20 0 19 0 291178099 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2014 0 0 0 19 0 0 0 20 0 19 0 291178099 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 13232 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9624980
[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 443
/proc/meminfo: memFree=30551428/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=3.47 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 6836 0 1 0 344 3 0 0 20 0 19 0 291178093 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 14772 2259 9 0 2396937 0
[pid=360/tid=362] ppid=358 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/360/task/362/stat : 362 (java) R 358 360 30566 0 -1 4202560 2510 0 1 0 301 2 0 0 20 0 19 0 291178094 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574958215656 140574830421607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=360/tid=369] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/369/stat : 369 (java) S 358 360 30566 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574802230312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=370] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/370/stat : 370 (java) S 358 360 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574801177512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=371] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/371/stat : 371 (java) S 358 360 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574800124712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=372] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/372/stat : 372 (java) S 358 360 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574799071912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=373] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/373/stat : 373 (java) S 358 360 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574798019112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291178096 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1041 0 0 0 15 0 0 0 20 0 19 0 291178099 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.2 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2016 0 0 0 20 0 0 0 20 0 19 0 291178099 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 14772 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 9624980
[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 443
/proc/meminfo: memFree=30518496/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=6.71 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 6863 0 1 0 667 4 0 0 20 0 19 0 291178093 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 17228 2260 9 0 2396937 0
[pid=360/tid=362] ppid=358 vsize=9624980 CPUtime=6.19 cores=0,2,4,6
/proc/360/task/362/stat : 362 (java) R 358 360 30566 0 -1 4202560 2514 0 1 0 617 2 0 0 20 0 19 0 291178094 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574958215440 140574830601439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=360/tid=369] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/369/stat : 369 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574802230312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=370] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/370/stat : 370 (java) S 358 360 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574801177512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=371] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/371/stat : 371 (java) S 358 360 30566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574800124712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=372] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/372/stat : 372 (java) S 358 360 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574799071912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=373] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/373/stat : 373 (java) S 358 360 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574798019112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291178095 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 291178096 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1042 0 0 0 16 0 0 0 20 0 19 0 291178099 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2022 0 0 0 22 0 0 0 20 0 19 0 291178099 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 17228 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9624980
[startup+12.7006 s]
################
# More data... #
################
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 215 0 0 0 51 3 0 0 20 0 19 0 291178095 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 198 0 0 0 50 3 0 0 20 0 19 0 291178095 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 365 0 0 0 45 2 0 0 20 0 19 0 291178095 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=2.8 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 133 0 0 0 277 3 0 0 20 0 19 0 291178096 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1042 0 0 0 16 0 0 0 20 0 19 0 291178099 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2171 0 0 0 24 0 0 0 20 0 19 0 291178099 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 95 0 0 0 30 28 0 0 20 0 19 0 291178099 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 79213 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.5
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/213 458
/proc/meminfo: memFree=29706072/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=1725.55 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 8692 0 1 0 172508 47 0 0 20 0 19 0 291178093 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 79725 2261 9 0 2396937 0
[pid=360/tid=362] ppid=358 vsize=9624980 CPUtime=1717.97 cores=0,2,4,6
/proc/360/task/362/stat : 362 (java) R 358 360 30566 0 -1 4202560 2629 0 1 0 171764 33 0 0 20 0 19 0 291178094 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574958215440 140574830415888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=360/tid=369] ppid=358 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/360/task/369/stat : 369 (java) S 358 360 30566 0 -1 4202560 280 0 0 0 52 4 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574802230312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=370] ppid=358 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/360/task/370/stat : 370 (java) S 358 360 30566 0 -1 4202560 56 0 0 0 49 2 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574801177512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=371] ppid=358 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/360/task/371/stat : 371 (java) S 358 360 30566 0 -1 4202560 162 0 0 0 49 3 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574800124712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=372] ppid=358 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/360/task/372/stat : 372 (java) S 358 360 30566 0 -1 4202560 72 0 0 0 44 3 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574799071912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=373] ppid=358 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/360/task/373/stat : 373 (java) S 358 360 30566 0 -1 4202560 90 0 0 0 48 3 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574798019112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 215 0 0 0 52 3 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 198 0 0 0 52 3 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 365 0 0 0 46 2 0 0 20 0 19 0 291178095 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=2.85 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 135 0 0 0 282 3 0 0 20 0 19 0 291178096 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1042 0 0 0 16 0 0 0 20 0 19 0 291178099 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2171 0 0 0 24 0 0 0 20 0 19 0 291178099 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 99 0 0 0 31 30 0 0 20 0 19 0 291178099 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 79725 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.55
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/213 459
/proc/meminfo: memFree=29663752/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=1785.62 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 8707 0 1 0 178515 47 0 0 20 0 19 0 291178093 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 80244 2261 9 0 2396937 0
[pid=360/tid=362] ppid=358 vsize=9624980 CPUtime=1777.89 cores=0,2,4,6
/proc/360/task/362/stat : 362 (java) R 358 360 30566 0 -1 4202560 2631 0 1 0 177755 34 0 0 20 0 19 0 291178094 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574958215440 140574830393975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=360/tid=369] ppid=358 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/360/task/369/stat : 369 (java) S 358 360 30566 0 -1 4202560 287 0 0 0 55 4 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574802230312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=370] ppid=358 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/360/task/370/stat : 370 (java) S 358 360 30566 0 -1 4202560 56 0 0 0 50 2 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574801177512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=371] ppid=358 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/360/task/371/stat : 371 (java) S 358 360 30566 0 -1 4202560 162 0 0 0 49 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574800124712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=372] ppid=358 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/360/task/372/stat : 372 (java) S 358 360 30566 0 -1 4202560 72 0 0 0 45 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574799071912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=373] ppid=358 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/360/task/373/stat : 373 (java) S 358 360 30566 0 -1 4202560 90 0 0 0 48 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574798019112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 215 0 0 0 53 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 198 0 0 0 53 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 365 0 0 0 48 2 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=2.91 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 137 0 0 0 288 3 0 0 20 0 19 0 291178096 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1042 0 0 0 16 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2171 0 0 0 24 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 103 0 0 0 33 30 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 519
/proc/meminfo: memFree=30263388/32873648 swapFree=7116/7116
[pid=360] ppid=358 vsize=9624980 CPUtime=1800 cores=0,2,4,6
/proc/360/stat : 360 (java) S 358 360 30566 0 -1 4202496 8710 0 1 0 179952 48 0 0 20 0 19 0 291178093 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140735286578704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/360/statm: 2406245 80244 2261 9 0 2396937 0
[pid=360/tid=362] ppid=358 vsize=9624980 CPUtime=1792.12 cores=0,2,4,6
/proc/360/task/362/stat : 362 (java) R 358 360 30566 0 -1 4202560 2632 0 1 0 179178 34 0 0 20 0 19 0 291178094 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574958215440 140574830383485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=360/tid=369] ppid=358 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/360/task/369/stat : 369 (java) S 358 360 30566 0 -1 4202560 287 0 0 0 55 4 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574802230312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=370] ppid=358 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/360/task/370/stat : 370 (java) S 358 360 30566 0 -1 4202560 56 0 0 0 51 2 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574801177512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=360/tid=371] ppid=358 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/360/task/371/stat : 371 (java) S 358 360 30566 0 -1 4202560 162 0 0 0 52 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574800124712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=372] ppid=358 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/360/task/372/stat : 372 (java) S 358 360 30566 0 -1 4202560 72 0 0 0 46 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574799071912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=373] ppid=358 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/360/task/373/stat : 373 (java) S 358 360 30566 0 -1 4202560 90 0 0 0 51 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574798019112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=374] ppid=358 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/360/task/374/stat : 374 (java) S 358 360 30566 0 -1 4202560 215 0 0 0 55 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574796966312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=375] ppid=358 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/360/task/375/stat : 375 (java) S 358 360 30566 0 -1 4202560 198 0 0 0 54 3 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574795913512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=376] ppid=358 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/360/task/376/stat : 376 (java) S 358 360 30566 0 -1 4202560 365 0 0 0 50 2 0 0 20 0 19 0 291178095 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574794860712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=360/tid=377] ppid=358 vsize=9624980 CPUtime=2.96 cores=0,2,4,6
/proc/360/task/377/stat : 377 (java) S 358 360 30566 0 -1 4202560 139 0 0 0 292 4 0 0 20 0 19 0 291178096 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574782450664 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=378] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/378/stat : 378 (java) S 358 360 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178096 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574781396728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=379] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/379/stat : 379 (java) S 358 360 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178097 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574780343816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=380] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/380/stat : 380 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574779292304 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=381] ppid=358 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/360/task/381/stat : 381 (java) S 358 360 30566 0 -1 4202560 1042 0 0 0 16 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574778239416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=382] ppid=358 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/360/task/382/stat : 382 (java) S 358 360 30566 0 -1 4202560 2171 0 0 0 24 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574777186616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=383] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/383/stat : 383 (java) S 358 360 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574776134008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=360/tid=384] ppid=358 vsize=9624980 CPUtime=0.64 cores=0,2,4,6
/proc/360/task/384/stat : 384 (java) S 358 360 30566 0 -1 4202560 103 0 0 0 34 30 0 0 20 0 19 0 291178099 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574775081416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=360/tid=385] ppid=358 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/360/task/385/stat : 385 (java) S 358 360 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178109 9855979520 80244 33554432000 1073741824 1073778376 140735286587568 140574774027944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.65
CPU time (s): 1800.84
CPU user time (s): 1799.79
CPU system time (s): 1.05184
CPU usage (%): 100.233
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 1.05184
maximum resident set size= 321148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8755
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40254
involuntary context switches= 28210
runsolver used 6.59 second user time and 14.6728 second system time
The end