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-3689209-1337889887/watcher-3689209-1337889887 -o /tmp/evaluation-result-3689209-1337889887/solver-3689209-1337889887 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689209-1337889887.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25343/stat : 25343 (java) R 25341 25343 23489 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 255114667 23793664 717 33554432000 1073741824 1073778376 140737179541872 140737179530936 217401309264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 5809 717 531 9 0 128 0
[startup+0.017213 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 2271 0 1 0 0 0 0 0 20 0 10 0 255114667 9233014784 2972 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2254154 2980 1116 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100187 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 4422 0 1 0 10 1 0 0 20 0 18 0 255114667 9787813888 6089 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2389603 6089 2130 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300171 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 6169 0 1 0 48 2 0 0 20 0 18 0 255114667 9787813888 9305 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2389603 9305 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412
[startup+0.700184 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9558412 CPUtime=1.29 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 9512 0 1 0 124 5 0 0 20 0 18 0 255114667 9787813888 41561 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2389603 41561 2253 9 0 2380296 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9558412
[startup+1.5007 s]
/proc/loadavg: 1.87 1.97 1.99 5/213 25362
/proc/meminfo: memFree=28581872/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=2.65 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 13067 0 1 0 259 6 0 0 20 0 19 0 255114667 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 43023 2266 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 2514 0 1 0 143 3 0 0 20 0 19 0 255114667 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320576680168 140320424465108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 255114669 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5158 0 0 0 56 1 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4101 0 0 0 53 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9624976
[startup+3.1007 s]
/proc/loadavg: 1.87 1.97 1.99 3/213 25362
/proc/meminfo: memFree=28546552/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=4.4 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 13148 0 1 0 433 7 0 0 20 0 19 0 255114667 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 52279 2283 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 2517 0 1 0 292 3 0 0 20 0 19 0 255114667 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320576680344 140320424379378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 101 0 0 0 8 0 0 0 20 0 19 0 255114669 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5162 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4109 0 0 0 60 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 9624976
[startup+6.30068 s]
/proc/loadavg: 1.88 1.97 1.99 3/213 25362
/proc/meminfo: memFree=28539928/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=7.65 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 13206 0 1 0 758 7 0 0 20 0 19 0 255114667 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 53356 2283 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 2518 0 1 0 601 3 0 0 20 0 19 0 255114667 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320576680224 140320424390109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 127 0 0 0 18 0 0 0 20 0 19 0 255114669 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4120 0 0 0 65 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=3.65 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1337 0 0 0 359 6 0 0 20 0 19 0 255114668 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=3.68 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1596 0 0 0 363 5 0 0 20 0 19 0 255114668 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=3.77 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2023 0 0 0 369 8 0 0 20 0 19 0 255114668 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=7.73 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 586 0 0 0 766 7 0 0 20 0 19 0 255114669 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 94 0 0 0 22 28 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1685
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/213 25378
/proc/meminfo: memFree=28227436/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=1746.1 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 28707 0 1 0 174504 106 0 0 20 0 19 0 255114667 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 80246 2284 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1704.88 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 3588 0 1 0 170453 35 0 0 20 0 19 0 255114667 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320576679264 140320424464468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=4.09 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 1476 0 0 0 401 8 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=3.89 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 1423 0 0 0 380 9 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 1677 0 0 0 394 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=3.77 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 1229 0 0 0 370 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=3.88 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 2695 0 0 0 381 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1392 0 0 0 378 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1814 0 0 0 380 5 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=3.98 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2083 0 0 0 390 8 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=7.96 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 759 0 0 0 789 7 0 0 20 0 19 0 255114669 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 98 0 0 0 23 29 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1746.1
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/212 25436
/proc/meminfo: memFree=26993004/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 31251 0 1 0 179899 111 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 85913 2284 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1757.37 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 3627 0 1 0 175701 36 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320576679384 140320424389472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=4.28 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 1719 0 0 0 419 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=4.06 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 1671 0 0 0 396 10 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=4.18 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 2025 0 0 0 411 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=3.95 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 1354 0 0 0 388 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=4.03 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 2878 0 0 0 396 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1771 0 0 0 394 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=4.05 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 2631 0 0 0 399 6 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=4.17 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2223 0 0 0 408 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=8.07 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 779 0 0 0 799 8 0 0 20 0 19 0 255114669 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 100 0 0 0 23 30 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1775.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/212 25436
/proc/meminfo: memFree=26993004/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 31251 0 1 0 179899 111 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 85913 2284 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1757.37 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 3627 0 1 0 175701 36 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320576679384 140320424389472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=4.28 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 1719 0 0 0 419 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=4.06 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 1671 0 0 0 396 10 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=4.18 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 2025 0 0 0 411 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=3.95 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 1354 0 0 0 388 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=4.03 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 2878 0 0 0 396 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1771 0 0 0 394 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=4.05 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 2631 0 0 0 399 6 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=4.17 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2223 0 0 0 408 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=8.07 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 779 0 0 0 799 8 0 0 20 0 19 0 255114669 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 100 0 0 0 23 30 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1775.35
CPU time (s): 1800.31
CPU user time (s): 1798.8
CPU system time (s): 1.51177
CPU usage (%): 101.406
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.51177
maximum resident set size= 431404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62752
involuntary context switches= 82917
runsolver used 6.22005 second user time and 15.0937 second system time
The end