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-3731882-1338742154/watcher-3731882-1338742154 -o /tmp/evaluation-result-3731882-1338742154/solver-3731882-1338742154 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731882-1338742154.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12418
/proc/meminfo: memFree=29944892/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12418/stat : 12418 (java6) R 12416 12418 2614 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340340305 9515008 182 33554432000 1073741824 1073778376 140733397417424 140733397400152 240565173941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12418/statm: 2323 182 140 9 0 71 0
[startup+0.0529691 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12418
/proc/meminfo: memFree=29944892/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 3678 0 1 0 2 0 0 0 20 0 13 0 340340305 2371293184 4885 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 578929 4885 1696 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716
[startup+0.100343 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12418
/proc/meminfo: memFree=29944892/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 4080 0 1 0 6 1 0 0 20 0 18 0 340340305 2712133632 5798 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 662142 5799 1933 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12418
/proc/meminfo: memFree=29944892/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2648568 CPUtime=0.47 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 6309 0 1 0 45 2 0 0 20 0 18 0 340340305 2712133632 9418 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 662142 9418 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2648568
[startup+0.700318 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12418
/proc/meminfo: memFree=29944892/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=1.36 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 10412 0 1 0 132 4 0 0 20 0 19 0 340340305 2780295168 23043 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 23043 2243 9 0 669476 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 2715132
[startup+1.50084 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12437
/proc/meminfo: memFree=29793680/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=2.24 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 10652 0 1 0 216 8 0 0 20 0 19 0 340340305 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 67081 2249 9 0 669476 0
[pid=12418/tid=12420] ppid=12416 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/12418/task/12420/stat : 12420 (java) R 12416 12418 2614 0 -1 4202560 2870 0 1 0 140 6 0 0 20 0 19 0 340340306 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889414081880 139889249684101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12421] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12421/stat : 12421 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889398532904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12422] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12422/stat : 12422 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889397480104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12423] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12423/stat : 12423 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889396427816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12424] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12424/stat : 12424 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889395375016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12425] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12425/stat : 12425 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889394321704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12426] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12426/stat : 12426 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889393268904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12427] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12427/stat : 12427 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889392216616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12428] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12428/stat : 12428 (java) S 12416 12418 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889391163816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12429] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12429/stat : 12429 (java) S 12416 12418 2614 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889378753256 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12430] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12430/stat : 12430 (java) S 12416 12418 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889377699320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12431] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12431/stat : 12431 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889376646920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12432] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12432/stat : 12432 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889375595408 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3939 0 0 0 35 1 0 0 20 0 19 0 340340312 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2648 0 0 0 37 0 0 0 20 0 19 0 340340312 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 67081 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 2715132
[startup+3.10085 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12437
/proc/meminfo: memFree=29577648/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=3.91 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 10734 0 1 0 381 10 0 0 20 0 19 0 340340305 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 93725 2263 9 0 669476 0
[pid=12418/tid=12420] ppid=12416 vsize=2715132 CPUtime=3.04 cores=1,3,5,7
/proc/12418/task/12420/stat : 12420 (java) R 12416 12418 2614 0 -1 4202560 2924 0 1 0 296 8 0 0 20 0 19 0 340340306 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889414083288 139889249713662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12421] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12421/stat : 12421 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889398532904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12422] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12422/stat : 12422 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889397480104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12423] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12423/stat : 12423 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889396427816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12424] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12424/stat : 12424 (java) S 12416 12418 2614 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889395375016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12425] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12425/stat : 12425 (java) S 12416 12418 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889394321704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12426] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12426/stat : 12426 (java) S 12416 12418 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889393268904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12427] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12427/stat : 12427 (java) S 12416 12418 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889392216616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12428] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12428/stat : 12428 (java) S 12416 12418 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889391163816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12429] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12429/stat : 12429 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889378753256 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12430] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12430/stat : 12430 (java) S 12416 12418 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889377699320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12431] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12431/stat : 12431 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889376646920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12432] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12432/stat : 12432 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889375595408 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3939 0 0 0 37 2 0 0 20 0 19 0 340340312 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2648 0 0 0 39 0 0 0 20 0 19 0 340340312 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 93725 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 2715132
[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12437
/proc/meminfo: memFree=29563064/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=7.15 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 10760 0 1 0 703 12 0 0 20 0 19 0 340340305 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 97294 2263 9 0 669476 0
[pid=12418/tid=12420] ppid=12416 vsize=2715132 CPUtime=6.21 cores=1,3,5,7
/proc/12418/task/12420/stat : 12420 (java) R 12416 12418 2614 0 -1 4202560 2927 0 1 0 613 8 0 0 20 0 19 0 340340306 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889414081936 139889249717219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12421] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12421/stat : 12421 (java) S 12416 12418 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889398532904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12422] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12422/stat : 12422 (java) S 12416 12418 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889397480104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12423] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12423/stat : 12423 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889396427816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12424] ppid=12416 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/12418/task/12424/stat : 12424 (java) S 12416 12418 2614 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889395375016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12425] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12425/stat : 12425 (java) S 12416 12418 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889394321704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12426] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12426/stat : 12426 (java) S 12416 12418 2614 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889393268904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12427] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12427/stat : 12427 (java) S 12416 12418 2614 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889392216616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12428] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12428/stat : 12428 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340308 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889391163816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12429] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12429/stat : 12429 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889378753256 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12430] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12430/stat : 12430 (java) S 12416 12418 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889377699320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12431] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12431/stat : 12431 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889376646920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12432] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12432/stat : 12432 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889375595408 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3939 0 0 0 37 2 0 0 20 0 19 0 340340312 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2648 0 0 0 39 0 0 0 20 0 19 0 340340312 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 97294 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 2715132
[startup+12.7009 s]
################
# More data... #
################
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3940 0 0 0 39 2 0 0 20 0 19 0 340340312 2780295168 205997 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2945 0 0 0 43 0 0 0 20 0 19 0 340340312 2780295168 205997 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 205997 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 99 0 0 0 50 49 0 0 20 0 19 0 340340312 2780295168 205997 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 205997 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.32
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 12590
/proc/meminfo: memFree=29141212/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=1788.46 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 12275 0 1 0 178722 124 0 0 20 0 19 0 340340305 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 207534 2263 9 0 669476 0
[pid=12418/tid=12420] ppid=12416 vsize=2715132 CPUtime=1775.74 cores=1,3,5,7
/proc/12418/task/12420/stat : 12420 (java) R 12416 12418 2614 0 -1 4202560 3027 0 1 0 177538 36 0 0 20 0 19 0 340340306 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889414081936 139889249684101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12421] ppid=12416 vsize=2715132 CPUtime=0.79 cores=1,3,5,7
/proc/12418/task/12421/stat : 12421 (java) S 12416 12418 2614 0 -1 4202560 141 0 0 0 72 7 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889398532904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12422] ppid=12416 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/12418/task/12422/stat : 12422 (java) S 12416 12418 2614 0 -1 4202560 104 0 0 0 72 6 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889397480104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12423] ppid=12416 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/12418/task/12423/stat : 12423 (java) S 12416 12418 2614 0 -1 4202560 130 0 0 0 70 6 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889396427816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12424] ppid=12416 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/12418/task/12424/stat : 12424 (java) S 12416 12418 2614 0 -1 4202560 133 0 0 0 65 5 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889395375016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12425] ppid=12416 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/12418/task/12425/stat : 12425 (java) S 12416 12418 2614 0 -1 4202560 101 0 0 0 63 5 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889394321704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12426] ppid=12416 vsize=2715132 CPUtime=0.8 cores=1,3,5,7
/proc/12418/task/12426/stat : 12426 (java) S 12416 12418 2614 0 -1 4202560 135 0 0 0 74 6 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889393268904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12427] ppid=12416 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/12418/task/12427/stat : 12427 (java) S 12416 12418 2614 0 -1 4202560 122 0 0 0 77 6 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889392216616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12428] ppid=12416 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/12418/task/12428/stat : 12428 (java) S 12416 12418 2614 0 -1 4202560 114 0 0 0 72 5 0 0 20 0 19 0 340340308 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889391163816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12429] ppid=12416 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/12418/task/12429/stat : 12429 (java) S 12416 12418 2614 0 -1 4202560 98 0 0 0 2 3 0 0 20 0 19 0 340340309 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889378753256 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12430] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12430/stat : 12430 (java) S 12416 12418 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889377699320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12431] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12431/stat : 12431 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889376646920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12432] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12432/stat : 12432 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889375595408 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3940 0 0 0 39 2 0 0 20 0 19 0 340340312 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2945 0 0 0 43 0 0 0 20 0 19 0 340340312 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=1.03 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 103 0 0 0 52 51 0 0 20 0 19 0 340340312 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 207534 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.7 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 12590
/proc/meminfo: memFree=29137240/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=1800 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 12291 0 1 0 179875 125 0 0 20 0 19 0 340340305 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 208562 2263 9 0 669476 0
[pid=12418/tid=12420] ppid=12416 vsize=2715132 CPUtime=1787.07 cores=1,3,5,7
/proc/12418/task/12420/stat : 12420 (java) R 12416 12418 2614 0 -1 4202560 3028 0 1 0 178670 37 0 0 20 0 19 0 340340306 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889414081824 139889249684101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12421] ppid=12416 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/12418/task/12421/stat : 12421 (java) S 12416 12418 2614 0 -1 4202560 143 0 0 0 74 7 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889398532904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12422] ppid=12416 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/12418/task/12422/stat : 12422 (java) S 12416 12418 2614 0 -1 4202560 109 0 0 0 76 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889397480104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12423] ppid=12416 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/12418/task/12423/stat : 12423 (java) S 12416 12418 2614 0 -1 4202560 132 0 0 0 72 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889396427816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12424] ppid=12416 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/12418/task/12424/stat : 12424 (java) S 12416 12418 2614 0 -1 4202560 135 0 0 0 68 5 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889395375016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12425] ppid=12416 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/12418/task/12425/stat : 12425 (java) S 12416 12418 2614 0 -1 4202560 102 0 0 0 65 5 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889394321704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12426] ppid=12416 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/12418/task/12426/stat : 12426 (java) S 12416 12418 2614 0 -1 4202560 135 0 0 0 75 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889393268904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12427] ppid=12416 vsize=2715132 CPUtime=0.84 cores=1,3,5,7
/proc/12418/task/12427/stat : 12427 (java) S 12416 12418 2614 0 -1 4202560 123 0 0 0 78 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889392216616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12428] ppid=12416 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/12418/task/12428/stat : 12428 (java) S 12416 12418 2614 0 -1 4202560 114 0 0 0 73 5 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889391163816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12429] ppid=12416 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/12418/task/12429/stat : 12429 (java) S 12416 12418 2614 0 -1 4202560 100 0 0 0 2 3 0 0 20 0 19 0 340340309 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889378753256 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12430] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12430/stat : 12430 (java) S 12416 12418 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889377699320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12431] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12431/stat : 12431 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889376646920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12432] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12432/stat : 12432 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889375595408 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3940 0 0 0 39 2 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2945 0 0 0 43 0 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=1.04 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 103 0 0 0 53 51 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.7 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 12590
/proc/meminfo: memFree=29137240/32873844 swapFree=7116/7116
[pid=12418] ppid=12416 vsize=2715132 CPUtime=1800 cores=1,3,5,7
/proc/12418/stat : 12418 (java) S 12416 12418 2614 0 -1 4202496 12291 0 1 0 179875 125 0 0 20 0 19 0 340340305 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 140736212572544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12418/statm: 678783 208562 2263 9 0 669476 0
[pid=12418/tid=12420] ppid=12416 vsize=2715132 CPUtime=1787.07 cores=1,3,5,7
/proc/12418/task/12420/stat : 12420 (java) R 12416 12418 2614 0 -1 4202560 3028 0 1 0 178670 37 0 0 20 0 19 0 340340306 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889414081824 139889249684101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12421] ppid=12416 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/12418/task/12421/stat : 12421 (java) S 12416 12418 2614 0 -1 4202560 143 0 0 0 74 7 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889398532904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12422] ppid=12416 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/12418/task/12422/stat : 12422 (java) S 12416 12418 2614 0 -1 4202560 109 0 0 0 76 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889397480104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12423] ppid=12416 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/12418/task/12423/stat : 12423 (java) S 12416 12418 2614 0 -1 4202560 132 0 0 0 72 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889396427816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12424] ppid=12416 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/12418/task/12424/stat : 12424 (java) S 12416 12418 2614 0 -1 4202560 135 0 0 0 68 5 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889395375016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12425] ppid=12416 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/12418/task/12425/stat : 12425 (java) S 12416 12418 2614 0 -1 4202560 102 0 0 0 65 5 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889394321704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12426] ppid=12416 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/12418/task/12426/stat : 12426 (java) S 12416 12418 2614 0 -1 4202560 135 0 0 0 75 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889393268904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12427] ppid=12416 vsize=2715132 CPUtime=0.84 cores=1,3,5,7
/proc/12418/task/12427/stat : 12427 (java) S 12416 12418 2614 0 -1 4202560 123 0 0 0 78 6 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889392216616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12428] ppid=12416 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/12418/task/12428/stat : 12428 (java) S 12416 12418 2614 0 -1 4202560 114 0 0 0 73 5 0 0 20 0 19 0 340340308 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889391163816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12429] ppid=12416 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/12418/task/12429/stat : 12429 (java) S 12416 12418 2614 0 -1 4202560 100 0 0 0 2 3 0 0 20 0 19 0 340340309 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889378753256 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12430] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12430/stat : 12430 (java) S 12416 12418 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889377699320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12431] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12431/stat : 12431 (java) S 12416 12418 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340340309 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889376646920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12432] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12432/stat : 12432 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889375595408 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12433] ppid=12416 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/12418/task/12433/stat : 12433 (java) S 12416 12418 2614 0 -1 4202560 3940 0 0 0 39 2 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889374542008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12418/tid=12434] ppid=12416 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/12418/task/12434/stat : 12434 (java) S 12416 12418 2614 0 -1 4202560 2945 0 0 0 43 0 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889373489208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12418/tid=12435] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12435/stat : 12435 (java) S 12416 12418 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889372437112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12418/tid=12436] ppid=12416 vsize=2715132 CPUtime=1.04 cores=1,3,5,7
/proc/12418/task/12436/stat : 12436 (java) S 12416 12418 2614 0 -1 4202560 103 0 0 0 53 51 0 0 20 0 19 0 340340312 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889371384520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12418/tid=12437] ppid=12416 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12418/task/12437/stat : 12437 (java) S 12416 12418 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340340342 2780295168 208562 33554432000 1073741824 1073778376 140736212581408 139889370330536 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2715132
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12418 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=189241
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=531767
# CPU time returned by wait4() is 1795.72
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.8
CPU time (s): 1800
CPU user time (s): 1798.75
CPU system time (s): 1.25
CPU usage (%): 100.345
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 1.53177
maximum resident set size= 834404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12332
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= 40388
involuntary context switches= 21748
runsolver used 6.19206 second user time and 17.7523 second system time
The end