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-3718265-1338259102/watcher-3718265-1338259102 -o /tmp/evaluation-result-3718265-1338259102/solver-3718265-1338259102 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718265-1338259102.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4320
/proc/meminfo: memFree=30797704/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/4320/stat : 4320 (java) R 4318 4320 28718 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 292036943 23793664 709 33554432000 1073741824 1073778376 140736009533376 140736009522440 271778354301 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 5809 709 524 9 0 128 0
[startup+0.06847 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4320
/proc/meminfo: memFree=30797704/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9558416 CPUtime=0.06 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 3283 0 1 0 5 1 0 0 20 0 18 0 292036943 9787817984 4492 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2389604 4492 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416
[startup+0.100325 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4320
/proc/meminfo: memFree=30797704/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 4353 0 1 0 9 1 0 0 20 0 18 0 292036943 9787817984 5556 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2389604 5556 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300159 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4320
/proc/meminfo: memFree=30797704/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 8948 0 1 0 49 2 0 0 20 0 19 0 292036943 9855979520 9208 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 9208 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624980
[startup+0.700106 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4320
/proc/meminfo: memFree=30797704/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=1.15 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 10351 0 1 0 112 3 0 0 20 0 19 0 292036943 9855979520 9873 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 9873 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9624980
[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4339
/proc/meminfo: memFree=30760652/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=2.01 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 10411 0 1 0 198 3 0 0 20 0 19 0 292036943 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 11973 2265 9 0 2396937 0
[pid=4320/tid=4322] ppid=4318 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/4320/task/4322/stat : 4322 (java) R 4318 4320 28718 0 -1 4202560 2460 0 1 0 144 1 0 0 20 0 19 0 292036944 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259920662816 140259757566678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4323] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4323/stat : 4323 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259882155048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4324] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4324/stat : 4324 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259881102248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4325] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4325/stat : 4325 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259880049448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4326] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4326/stat : 4326 (java) S 4318 4320 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259878996648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4327] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4327/stat : 4327 (java) S 4318 4320 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259877943848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3454 0 0 0 22 0 0 0 20 0 19 0 292036949 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3251 0 0 0 27 0 0 0 20 0 19 0 292036949 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 11973 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9624980
[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4339
/proc/meminfo: memFree=30756556/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=3.65 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 10427 0 1 0 362 3 0 0 20 0 19 0 292036943 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 12497 2266 9 0 2396937 0
[pid=4320/tid=4322] ppid=4318 vsize=9624980 CPUtime=3.02 cores=0,2,4,6
/proc/4320/task/4322/stat : 4322 (java) R 4318 4320 28718 0 -1 4202560 2462 0 1 0 300 2 0 0 20 0 19 0 292036944 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259920662936 140259757653235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4323] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4323/stat : 4323 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259882155048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4324] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4324/stat : 4324 (java) S 4318 4320 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259881102248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4325] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4325/stat : 4325 (java) S 4318 4320 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259880049448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4326] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4326/stat : 4326 (java) S 4318 4320 28718 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259878996648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4327] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4327/stat : 4327 (java) S 4318 4320 28718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259877943848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 292036946 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3457 0 0 0 25 0 0 0 20 0 19 0 292036949 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3251 0 0 0 27 0 0 0 20 0 19 0 292036949 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 12497 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9624980
[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4339
/proc/meminfo: memFree=30756440/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=6.88 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 10436 0 1 0 685 3 0 0 20 0 19 0 292036943 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 12338 2266 9 0 2396937 0
[pid=4320/tid=4322] ppid=4318 vsize=9624980 CPUtime=6.16 cores=0,2,4,6
/proc/4320/task/4322/stat : 4322 (java) R 4318 4320 28718 0 -1 4202560 2467 0 1 0 614 2 0 0 20 0 19 0 292036944 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259920663032 140259757654399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4323] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4323/stat : 4323 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259882155048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4324] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4324/stat : 4324 (java) S 4318 4320 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259881102248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4325] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4325/stat : 4325 (java) S 4318 4320 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259880049448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4326] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4326/stat : 4326 (java) S 4318 4320 28718 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259878996648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4327] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4327/stat : 4327 (java) S 4318 4320 28718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259877943848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036945 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 30 0 0 0 8 0 0 0 20 0 19 0 292036946 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3457 0 0 0 25 0 0 0 20 0 19 0 292036949 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3251 0 0 0 28 0 0 0 20 0 19 0 292036949 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 12338 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9624980
[startup+12.7006 s]
################
# More data... #
################
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 250 0 0 0 71 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0.78 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 142 0 0 0 78 0 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 267 0 0 0 71 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=8.4 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 156 0 0 0 837 3 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3457 0 0 0 25 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3255 0 0 0 29 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 99 0 0 0 38 28 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1727.12
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/189 4404
/proc/meminfo: memFree=30883516/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=1787.23 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 12682 0 1 0 178679 44 0 0 20 0 19 0 292036943 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 50139 2267 9 0 2396937 0
[pid=4320/tid=4322] ppid=4318 vsize=9624980 CPUtime=1771.83 cores=0,2,4,6
/proc/4320/task/4322/stat : 4322 (java) R 4318 4320 28718 0 -1 4202560 2674 0 1 0 177153 30 0 0 20 0 19 0 292036944 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259920662816 140259757653053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4323] ppid=4318 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4320/task/4323/stat : 4323 (java) S 4318 4320 28718 0 -1 4202560 298 0 0 0 69 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259882155048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4324] ppid=4318 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4320/task/4324/stat : 4324 (java) S 4318 4320 28718 0 -1 4202560 143 0 0 0 69 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259881102248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4325] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4325/stat : 4325 (java) S 4318 4320 28718 0 -1 4202560 459 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259880049448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4326] ppid=4318 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4320/task/4326/stat : 4326 (java) S 4318 4320 28718 0 -1 4202560 144 0 0 0 70 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259878996648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4327] ppid=4318 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/4320/task/4327/stat : 4327 (java) S 4318 4320 28718 0 -1 4202560 150 0 0 0 68 1 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259877943848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 250 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 142 0 0 0 80 0 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 267 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=8.62 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 160 0 0 0 859 3 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3457 0 0 0 25 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3255 0 0 0 29 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 103 0 0 0 39 30 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1787.23
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 1.00 1.04 1.35 2/189 4404
/proc/meminfo: memFree=30883640/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=1800.05 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 12682 0 1 0 179961 44 0 0 20 0 19 0 292036943 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 50139 2267 9 0 2396937 0
[pid=4320/tid=4322] ppid=4318 vsize=9624980 CPUtime=1784.65 cores=0,2,4,6
/proc/4320/task/4322/stat : 4322 (java) R 4318 4320 28718 0 -1 4202560 2674 0 1 0 178434 31 0 0 20 0 19 0 292036944 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259920662816 140259757817908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4323] ppid=4318 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4320/task/4323/stat : 4323 (java) S 4318 4320 28718 0 -1 4202560 298 0 0 0 69 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259882155048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4324] ppid=4318 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4320/task/4324/stat : 4324 (java) S 4318 4320 28718 0 -1 4202560 143 0 0 0 69 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259881102248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4325] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4325/stat : 4325 (java) S 4318 4320 28718 0 -1 4202560 459 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259880049448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4326] ppid=4318 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4320/task/4326/stat : 4326 (java) S 4318 4320 28718 0 -1 4202560 144 0 0 0 70 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259878996648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4327] ppid=4318 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/4320/task/4327/stat : 4327 (java) S 4318 4320 28718 0 -1 4202560 150 0 0 0 68 1 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259877943848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 250 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 142 0 0 0 80 0 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 267 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=8.62 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 160 0 0 0 859 3 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3457 0 0 0 25 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3255 0 0 0 29 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 103 0 0 0 39 30 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.1 s]
/proc/loadavg: 1.00 1.04 1.35 2/189 4404
/proc/meminfo: memFree=30883640/32873648 swapFree=6852/6852
[pid=4320] ppid=4318 vsize=9624980 CPUtime=1800.05 cores=0,2,4,6
/proc/4320/stat : 4320 (java) S 4318 4320 28718 0 -1 4202496 12682 0 1 0 179961 44 0 0 20 0 19 0 292036943 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140736009524512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4320/statm: 2406245 50139 2267 9 0 2396937 0
[pid=4320/tid=4322] ppid=4318 vsize=9624980 CPUtime=1784.65 cores=0,2,4,6
/proc/4320/task/4322/stat : 4322 (java) R 4318 4320 28718 0 -1 4202560 2674 0 1 0 178434 31 0 0 20 0 19 0 292036944 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259920662816 140259757817908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4323] ppid=4318 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4320/task/4323/stat : 4323 (java) S 4318 4320 28718 0 -1 4202560 298 0 0 0 69 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259882155048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4324] ppid=4318 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4320/task/4324/stat : 4324 (java) S 4318 4320 28718 0 -1 4202560 143 0 0 0 69 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259881102248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4325] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4325/stat : 4325 (java) S 4318 4320 28718 0 -1 4202560 459 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259880049448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4326] ppid=4318 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4320/task/4326/stat : 4326 (java) S 4318 4320 28718 0 -1 4202560 144 0 0 0 70 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259878996648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4327] ppid=4318 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/4320/task/4327/stat : 4327 (java) S 4318 4320 28718 0 -1 4202560 150 0 0 0 68 1 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259877943848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4320/tid=4328] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4328/stat : 4328 (java) S 4318 4320 28718 0 -1 4202560 250 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259876891048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4329] ppid=4318 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/4320/task/4329/stat : 4329 (java) S 4318 4320 28718 0 -1 4202560 142 0 0 0 80 0 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259875838248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4330] ppid=4318 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/4320/task/4330/stat : 4330 (java) S 4318 4320 28718 0 -1 4202560 267 0 0 0 74 2 0 0 20 0 19 0 292036945 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259757123752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4331] ppid=4318 vsize=9624980 CPUtime=8.62 cores=0,2,4,6
/proc/4320/task/4331/stat : 4331 (java) S 4318 4320 28718 0 -1 4202560 160 0 0 0 859 3 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259744926696 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4332] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4332/stat : 4332 (java) S 4318 4320 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259743872760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4333] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4333/stat : 4333 (java) S 4318 4320 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292036946 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259742819848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4334] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4334/stat : 4334 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259741768336 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4335] ppid=4318 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4320/task/4335/stat : 4335 (java) S 4318 4320 28718 0 -1 4202560 3457 0 0 0 25 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259002149304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4336] ppid=4318 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/4320/task/4336/stat : 4336 (java) S 4318 4320 28718 0 -1 4202560 3255 0 0 0 29 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259001096504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4320/tid=4337] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4337/stat : 4337 (java) S 4318 4320 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140259000043896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4320/tid=4338] ppid=4318 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/4320/task/4338/stat : 4338 (java) S 4318 4320 28718 0 -1 4202560 103 0 0 0 39 30 0 0 20 0 19 0 292036949 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258998991304 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4320/tid=4339] ppid=4318 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4320/task/4339/stat : 4339 (java) S 4318 4320 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292036963 9855979520 50139 33554432000 1073741824 1073778376 140736009533376 140258997937832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980
Child status: 143
Real time (s): 1795.16
CPU time (s): 1800.78
CPU user time (s): 1799.87
CPU system time (s): 0.913861
CPU usage (%): 100.313
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.913861
maximum resident set size= 204812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12726
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43412
involuntary context switches= 21315
runsolver used 5.8831 second user time and 15.4017 second system time
The end