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-3744591-1338812667/watcher-3744591-1338812667 -o /tmp/evaluation-result-3744591-1338812667/solver-3744591-1338812667 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3744591-1338812667.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.02 1.66 1.82 4/193 4459
/proc/meminfo: memFree=31823024/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 347393541 24780800 867 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 6050 867 654 9 0 385 0
[pid=4459/tid=4460] ppid=4457 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 2 0 347393542 91889664 879 33554432000 1073741824 1073778376 140734046389168 140734046378232 139847006171792 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0447689 s]
/proc/loadavg: 1.02 1.66 1.82 4/193 4459
/proc/meminfo: memFree=31823024/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 3698 0 1 0 3 0 0 0 20 0 13 0 347393541 2371293184 4906 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 578929 4906 1708 9 0 569630 0
[pid=4459/tid=4460] ppid=4457 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2516 0 1 0 2 0 0 0 20 0 13 0 347393542 2371293184 4906 33554432000 1073741824 1073778376 140734046389168 139846998479088 271790957837 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100289 s]
/proc/loadavg: 1.02 1.66 1.82 4/193 4459
/proc/meminfo: memFree=31823024/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 4683 0 1 0 10 0 0 0 20 0 18 0 347393541 2712133632 6401 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 662142 6401 2109 9 0 652835 0
[pid=4459/tid=4460] ppid=4457 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2732 0 1 0 7 0 0 0 20 0 18 0 347393542 2712133632 6401 33554432000 1073741824 1073778376 140734046389168 139846998481608 271790947384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.3002 s]
/proc/loadavg: 1.02 1.66 1.82 4/193 4459
/proc/meminfo: memFree=31823024/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2648568 CPUtime=0.56 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 8935 0 1 0 54 2 0 0 20 0 18 0 347393541 2712133632 14067 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 662142 14068 2222 9 0 652835 0
[pid=4459/tid=4460] ppid=4457 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2753 0 1 0 27 0 0 0 20 0 18 0 347393542 2712133632 14076 33554432000 1073741824 1073778376 140734046389168 139846998474784 139846836742235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2648568
[startup+0.700272 s]
/proc/loadavg: 1.02 1.66 1.82 4/193 4459
/proc/meminfo: memFree=31823024/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2648568 CPUtime=1.53 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 14139 0 1 0 150 3 0 0 20 0 18 0 347393541 2712133632 42133 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 662142 42133 2234 9 0 652835 0
[pid=4459/tid=4460] ppid=4457 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2803 0 1 0 66 1 0 0 20 0 18 0 347393542 2712133632 42133 33554432000 1073741824 1073778376 140734046389168 139846998474784 271790957837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 2648568
[startup+1.50069 s]
/proc/loadavg: 1.02 1.66 1.82 3/212 4478
/proc/meminfo: memFree=31364996/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2648568 CPUtime=2.65 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 14436 0 1 0 250 15 0 0 20 0 18 0 347393541 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 662142 113344 2250 9 0 652835 0
[pid=4459/tid=4460] ppid=4457 vsize=2648568 CPUtime=1.37 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2910 0 1 0 132 5 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846998474880 139846836740119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) S 4457 4459 3993 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846982933160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) S 4457 4459 3993 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846981880616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) S 4457 4459 3993 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846980828072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) S 4457 4459 3993 0 -1 4202560 52 0 0 0 7 2 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846979775528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) S 4457 4459 3993 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846978721960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 18 0 347393542 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347393543 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347393544 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347393544 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347393546 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2648568 CPUtime=0.41 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4215 0 0 0 41 0 0 0 20 0 18 0 347393546 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2648568 CPUtime=0.41 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5936 0 0 0 40 1 0 0 20 0 18 0 347393546 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347393546 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347393546 2712133632 113344 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 2648568
[startup+3.1007 s]
/proc/loadavg: 1.02 1.66 1.82 3/189 4505
/proc/meminfo: memFree=31322916/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2715132 CPUtime=4.95 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 14716 0 1 0 472 23 0 0 20 0 19 0 347393541 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 678783 131334 2272 9 0 669476 0
[pid=4459/tid=4460] ppid=4457 vsize=2715132 CPUtime=2.87 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2922 0 1 0 282 5 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846998482232 139846837060233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) S 4457 4459 3993 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846982933160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) S 4457 4459 3993 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846981880616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) S 4457 4459 3993 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846980828072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) S 4457 4459 3993 0 -1 4202560 83 0 0 0 12 4 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846979775528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) S 4457 4459 3993 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846978721960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 51 0 0 0 6 2 0 0 20 0 19 0 347393542 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393543 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4294 0 0 0 63 0 0 0 20 0 19 0 347393546 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5940 0 0 0 60 2 0 0 20 0 19 0 347393546 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 131334 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 1.10 1.66 1.83 3/212 4592
/proc/meminfo: memFree=31052608/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2715132 CPUtime=8.77 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 14819 0 1 0 853 24 0 0 20 0 19 0 347393541 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 678783 133840 2272 9 0 669476 0
[pid=4459/tid=4460] ppid=4457 vsize=2715132 CPUtime=5.88 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 2927 0 1 0 583 5 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846998482360 139846837266734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) S 4457 4459 3993 0 -1 4202560 44 0 0 0 10 2 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846982933160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) S 4457 4459 3993 0 -1 4202560 51 0 0 0 18 3 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846981880616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) S 4457 4459 3993 0 -1 4202560 58 0 0 0 22 2 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846980828072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) S 4457 4459 3993 0 -1 4202560 93 0 0 0 18 4 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846979775528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) S 4457 4459 3993 0 -1 4202560 47 0 0 0 14 2 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846978721960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 57 0 0 0 17 2 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 45 0 0 0 14 2 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 67 0 0 0 14 2 0 0 20 0 19 0 347393542 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 347393543 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4294 0 0 0 68 0 0 0 20 0 19 0 347393546 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5940 0 0 0 60 2 0 0 20 0 19 0 347393546 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 133840 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=4459/tid=4467] ppid=4457 vsize=2715132 CPUtime=3.83 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 394 0 0 0 374 9 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2715132 CPUtime=3.94 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 399 0 0 0 384 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2715132 CPUtime=3.86 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 405 0 0 0 376 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 7371 0 0 0 109 7 0 0 20 0 19 0 347393543 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4302 0 0 0 74 0 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5946 0 0 0 69 2 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 97 0 0 0 35 42 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4535] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4535/stat : 4535 (java) S 4457 4459 3993 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 347393768 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846836282664 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1686.06
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.05 1.99 1.93 3/213 4609
/proc/meminfo: memFree=29268284/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2715132 CPUtime=1746.72 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 25760 0 1 0 174545 127 0 0 20 0 19 0 347393541 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 678783 320126 2285 9 0 669476 0
[pid=4459/tid=4460] ppid=4457 vsize=2715132 CPUtime=1711.32 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 3583 0 1 0 171097 35 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846998482240 139846837240863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=2715132 CPUtime=4.01 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) S 4457 4459 3993 0 -1 4202560 411 0 0 0 390 11 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846982933160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=2715132 CPUtime=4.17 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) S 4457 4459 3993 0 -1 4202560 417 0 0 0 407 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846981880616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=2715132 CPUtime=4.16 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) S 4457 4459 3993 0 -1 4202560 408 0 0 0 406 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846980828072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=2715132 CPUtime=4.09 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) S 4457 4459 3993 0 -1 4202560 437 0 0 0 399 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846979775528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=2715132 CPUtime=4.04 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) S 4457 4459 3993 0 -1 4202560 400 0 0 0 395 9 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846978721960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=2715132 CPUtime=3.97 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 394 0 0 0 388 9 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2715132 CPUtime=4.05 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 399 0 0 0 395 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2715132 CPUtime=3.95 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 405 0 0 0 385 10 0 0 20 0 19 0 347393542 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2715132 CPUtime=1.17 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 7373 0 0 0 110 7 0 0 20 0 19 0 347393543 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4302 0 0 0 74 0 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5946 0 0 0 69 2 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2715132 CPUtime=0.8 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 99 0 0 0 36 44 0 0 20 0 19 0 347393546 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4535] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4535/stat : 4535 (java) S 4457 4459 3993 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 347393768 2780295168 320126 33554432000 1073741824 1073778376 140734046389168 139846836282664 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.72
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775 s]
/proc/loadavg: 2.02 1.99 1.93 3/213 4609
/proc/meminfo: memFree=29253248/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2715132 CPUtime=1800 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 29316 0 1 0 179870 130 0 0 20 0 19 0 347393541 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 678783 322685 2285 9 0 669476 0
[pid=4459/tid=4460] ppid=4457 vsize=2715132 CPUtime=1763.26 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 3601 0 1 0 176291 35 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846998483192 139846837181601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=2715132 CPUtime=4.09 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) S 4457 4459 3993 0 -1 4202560 411 0 0 0 398 11 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846982933160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=2715132 CPUtime=4.29 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) S 4457 4459 3993 0 -1 4202560 419 0 0 0 419 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846981880616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=2715132 CPUtime=4.24 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) S 4457 4459 3993 0 -1 4202560 409 0 0 0 414 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846980828072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=2715132 CPUtime=4.22 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) S 4457 4459 3993 0 -1 4202560 439 0 0 0 412 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846979775528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=2715132 CPUtime=4.16 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) S 4457 4459 3993 0 -1 4202560 401 0 0 0 407 9 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846978721960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=2715132 CPUtime=4.06 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 396 0 0 0 397 9 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2715132 CPUtime=4.15 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 400 0 0 0 405 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2715132 CPUtime=4.07 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 406 0 0 0 397 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2715132 CPUtime=1.67 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 10897 0 0 0 160 7 0 0 20 0 19 0 347393543 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4302 0 0 0 74 0 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5946 0 0 0 69 2 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 103 0 0 0 37 46 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4535] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4535/stat : 4535 (java) S 4457 4459 3993 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 347393768 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846836282664 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 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+1775 s]
/proc/loadavg: 2.02 1.99 1.93 3/213 4609
/proc/meminfo: memFree=29253248/32873648 swapFree=6860/6860
[pid=4459] ppid=4457 vsize=2715132 CPUtime=1800 cores=1,3,5,7
/proc/4459/stat : 4459 (java) S 4457 4459 3993 0 -1 4202496 29316 0 1 0 179870 130 0 0 20 0 19 0 347393541 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 140734046380304 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4459/statm: 678783 322685 2285 9 0 669476 0
[pid=4459/tid=4460] ppid=4457 vsize=2715132 CPUtime=1763.26 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) R 4457 4459 3993 0 -1 4202560 3601 0 1 0 176291 35 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846998483192 139846837181601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=2715132 CPUtime=4.09 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) S 4457 4459 3993 0 -1 4202560 411 0 0 0 398 11 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846982933160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=2715132 CPUtime=4.29 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) S 4457 4459 3993 0 -1 4202560 419 0 0 0 419 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846981880616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=2715132 CPUtime=4.24 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) S 4457 4459 3993 0 -1 4202560 409 0 0 0 414 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846980828072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=2715132 CPUtime=4.22 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) S 4457 4459 3993 0 -1 4202560 439 0 0 0 412 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846979775528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=2715132 CPUtime=4.16 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) S 4457 4459 3993 0 -1 4202560 401 0 0 0 407 9 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846978721960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=2715132 CPUtime=4.06 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) S 4457 4459 3993 0 -1 4202560 396 0 0 0 397 9 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846977669416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=2715132 CPUtime=4.15 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) S 4457 4459 3993 0 -1 4202560 400 0 0 0 405 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846976616872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=2715132 CPUtime=4.07 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) S 4457 4459 3993 0 -1 4202560 406 0 0 0 397 10 0 0 20 0 19 0 347393542 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846975564328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=2715132 CPUtime=1.67 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) S 4457 4459 3993 0 -1 4202560 10897 0 0 0 160 7 0 0 20 0 19 0 347393543 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846963153512 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) S 4457 4459 3993 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846962099832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) S 4457 4459 3993 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347393544 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846961047176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846959995920 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) S 4457 4459 3993 0 -1 4202560 4302 0 0 0 74 0 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846958942264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) S 4457 4459 3993 0 -1 4202560 5946 0 0 0 69 2 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846957889720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) S 4457 4459 3993 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846956837368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4459/tid=4477] ppid=4457 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/4459/task/4477/stat : 4477 (java) S 4457 4459 3993 0 -1 4202560 103 0 0 0 37 46 0 0 20 0 19 0 347393546 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846955785032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4459/tid=4535] ppid=4457 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4535/stat : 4535 (java) S 4457 4459 3993 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 347393768 2780295168 322685 33554432000 1073741824 1073778376 140734046389168 139846836282664 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1775.05
CPU time (s): 1800.83
CPU user time (s): 1798.99
CPU system time (s): 1.84172
CPU usage (%): 101.452
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.84172
maximum resident set size= 1304824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29366
page faults= 1
swaps= 0
block input operations= 168
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57776
involuntary context switches= 68332
runsolver used 6.29104 second user time and 14.7018 second system time
The end