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-3718029-1338254819/watcher-3718029-1338254819 -o /tmp/evaluation-result-3718029-1338254819/solver-3718029-1338254819 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718029-1338254819.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.05 2.01 3/195 10317
/proc/meminfo: memFree=31630628/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10317/stat : 10317 (java) D 10315 10317 6458 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291606760 9515008 182 33554432000 1073741824 1073778376 140737241070640 140737241061672 213419638453 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/10317/statm: 2323 182 140 9 0 71 0
[startup+0.05767 s]
/proc/loadavg: 2.04 2.05 2.01 3/195 10317
/proc/meminfo: memFree=31630628/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 3077 0 1 0 3 0 0 0 20 0 13 0 291606760 9446973440 3775 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2306390 3775 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100336 s]
/proc/loadavg: 2.04 2.05 2.01 3/195 10317
/proc/meminfo: memFree=31630628/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 4307 0 1 0 9 1 0 0 20 0 18 0 291606760 9787817984 5488 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2389604 5488 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300185 s]
/proc/loadavg: 2.04 2.05 2.01 3/195 10317
/proc/meminfo: memFree=31630628/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 6472 0 1 0 47 1 0 0 20 0 19 0 291606760 9855979520 8238 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 8238 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980
[startup+0.700159 s]
/proc/loadavg: 2.04 2.05 2.01 3/195 10317
/proc/meminfo: memFree=31630628/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=1.22 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 8381 0 1 0 120 2 0 0 20 0 19 0 291606760 9855979520 9172 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 9172 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9624980
[startup+1.50065 s]
/proc/loadavg: 2.11 2.07 2.01 4/214 10336
/proc/meminfo: memFree=31589840/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=2.07 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 8445 0 1 0 204 3 0 0 20 0 19 0 291606760 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 12293 2272 9 0 2396937 0
[pid=10317/tid=10319] ppid=10315 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/10317/task/10319/stat : 10319 (java) R 10315 10317 6458 0 -1 4202560 2456 0 1 0 143 1 0 0 20 0 19 0 291606761 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277557612920 140277407246496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10320] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10320/stat : 10320 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277530065320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10321] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10321/stat : 10321 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277529012776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10322] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10322/stat : 10322 (java) S 10315 10317 6458 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277527959720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10323] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10323/stat : 10323 (java) S 10315 10317 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277526907176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10324] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10324/stat : 10324 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277525855144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10325] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10325/stat : 10325 (java) S 10315 10317 6458 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277395794984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10326] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10326/stat : 10326 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277394741928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10327] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10327/stat : 10327 (java) S 10315 10317 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140277393689384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10328] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10328/stat : 10328 (java) S 10315 10317 6458 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291606763 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276910741864 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10329] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10329/stat : 10329 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276909688184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10330] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10330/stat : 10330 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276908635016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10331] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10331/stat : 10331 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276907583760 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2514 0 0 0 26 0 0 0 20 0 19 0 291606766 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2232 0 0 0 29 0 0 0 20 0 19 0 291606766 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 12293 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9624980
[startup+3.10054 s]
/proc/loadavg: 2.11 2.07 2.01 3/214 10336
/proc/meminfo: memFree=31587544/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=3.73 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 8489 0 1 0 370 3 0 0 20 0 19 0 291606760 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 13328 2272 9 0 2396937 0
[pid=10317/tid=10319] ppid=10315 vsize=9624980 CPUtime=3 cores=1,3,5,7
/proc/10317/task/10319/stat : 10319 (java) R 10315 10317 6458 0 -1 4202560 2457 0 1 0 299 1 0 0 20 0 19 0 291606761 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277557612832 140277407296732 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10320] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10320/stat : 10320 (java) S 10315 10317 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277530065320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10321] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10321/stat : 10321 (java) S 10315 10317 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277529012776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10322] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10322/stat : 10322 (java) S 10315 10317 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277527959720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10323] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10323/stat : 10323 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277526907176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10324] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10324/stat : 10324 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277525855144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10325] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10325/stat : 10325 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277395794984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10326] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10326/stat : 10326 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277394741928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10327] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10327/stat : 10327 (java) S 10315 10317 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140277393689384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10328] ppid=10315 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/10317/task/10328/stat : 10328 (java) S 10315 10317 6458 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 291606763 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276910741864 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10329] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10329/stat : 10329 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276909688184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10330] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10330/stat : 10330 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276908635016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10331] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10331/stat : 10331 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276907583760 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2540 0 0 0 28 0 0 0 20 0 19 0 291606766 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2233 0 0 0 32 0 0 0 20 0 19 0 291606766 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 13328 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9624980
[startup+6.30066 s]
/proc/loadavg: 2.11 2.07 2.01 3/214 10336
/proc/meminfo: memFree=31583076/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=6.97 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 8506 0 1 0 694 3 0 0 20 0 19 0 291606760 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 13248 2273 9 0 2396937 0
[pid=10317/tid=10319] ppid=10315 vsize=9624980 CPUtime=6.14 cores=1,3,5,7
/proc/10317/task/10319/stat : 10319 (java) R 10315 10317 6458 0 -1 4202560 2460 0 1 0 613 1 0 0 20 0 19 0 291606761 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277557612832 140277407483380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10320] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10320/stat : 10320 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277530065320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10321] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10321/stat : 10321 (java) S 10315 10317 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277529012776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10322] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10322/stat : 10322 (java) S 10315 10317 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277527959720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10323] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10323/stat : 10323 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277526907176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10324] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10324/stat : 10324 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277525855144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10325] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10325/stat : 10325 (java) S 10315 10317 6458 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277395794984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10326] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10326/stat : 10326 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277394741928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10327] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10327/stat : 10327 (java) S 10315 10317 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291606762 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140277393689384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10328] ppid=10315 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/10317/task/10328/stat : 10328 (java) S 10315 10317 6458 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 291606763 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276910741864 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10329] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10329/stat : 10329 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276909688184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10330] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10330/stat : 10330 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276908635016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10331] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10331/stat : 10331 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276907583760 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2541 0 0 0 28 0 0 0 20 0 19 0 291606766 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2234 0 0 0 35 0 0 0 20 0 19 0 291606766 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 13248 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 9624980
[startup+12.7007 s]
################
# More data... #
################
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2541 0 0 0 28 0 0 0 20 0 19 0 291606766 9855979520 46823 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2343 0 0 0 38 0 0 0 20 0 19 0 291606766 9855979520 46823 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 46823 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 101 0 0 0 23 22 0 0 20 0 19 0 291606766 9855979520 46823 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 46823 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.86
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 12116
/proc/meminfo: memFree=30585824/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=1786.99 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 10806 0 1 0 178651 48 0 0 20 0 19 0 291606760 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 48359 2274 9 0 2396937 0
[pid=10317/tid=10319] ppid=10315 vsize=9624980 CPUtime=1768.64 cores=1,3,5,7
/proc/10317/task/10319/stat : 10319 (java) R 10315 10317 6458 0 -1 4202560 2621 0 1 0 176826 38 0 0 20 0 19 0 291606761 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277557612832 140277407321424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10320] ppid=10315 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/10317/task/10320/stat : 10320 (java) S 10315 10317 6458 0 -1 4202560 297 0 0 0 62 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277530065320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10321] ppid=10315 vsize=9624980 CPUtime=0.81 cores=1,3,5,7
/proc/10317/task/10321/stat : 10321 (java) S 10315 10317 6458 0 -1 4202560 357 0 0 0 79 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277529012776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10322] ppid=10315 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/10317/task/10322/stat : 10322 (java) S 10315 10317 6458 0 -1 4202560 233 0 0 0 65 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277527959720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10323] ppid=10315 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10317/task/10323/stat : 10323 (java) S 10315 10317 6458 0 -1 4202560 128 0 0 0 70 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277526907176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10324] ppid=10315 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/10317/task/10324/stat : 10324 (java) S 10315 10317 6458 0 -1 4202560 220 0 0 0 63 3 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277525855144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10325] ppid=10315 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/10317/task/10325/stat : 10325 (java) S 10315 10317 6458 0 -1 4202560 268 0 0 0 65 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277395794984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10326] ppid=10315 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10317/task/10326/stat : 10326 (java) S 10315 10317 6458 0 -1 4202560 222 0 0 0 72 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277394741928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10327] ppid=10315 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/10317/task/10327/stat : 10327 (java) S 10315 10317 6458 0 -1 4202560 116 0 0 0 66 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277393689384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10328] ppid=10315 vsize=9624980 CPUtime=7.3 cores=1,3,5,7
/proc/10317/task/10328/stat : 10328 (java) S 10315 10317 6458 0 -1 4202560 177 0 0 0 728 2 0 0 20 0 19 0 291606763 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276910741864 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10329] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10329/stat : 10329 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276909688184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10330] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10330/stat : 10330 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276908635016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10331] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10331/stat : 10331 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276907583760 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2541 0 0 0 28 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2343 0 0 0 38 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.99
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 12116
/proc/meminfo: memFree=30585576/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=1800.01 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 10808 0 1 0 179952 49 0 0 20 0 19 0 291606760 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 48359 2274 9 0 2396937 0
[pid=10317/tid=10319] ppid=10315 vsize=9624980 CPUtime=1781.61 cores=1,3,5,7
/proc/10317/task/10319/stat : 10319 (java) R 10315 10317 6458 0 -1 4202560 2621 0 1 0 178122 39 0 0 20 0 19 0 291606761 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277557612832 140277407442662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10320] ppid=10315 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/10317/task/10320/stat : 10320 (java) S 10315 10317 6458 0 -1 4202560 297 0 0 0 62 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277530065320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10321] ppid=10315 vsize=9624980 CPUtime=0.81 cores=1,3,5,7
/proc/10317/task/10321/stat : 10321 (java) S 10315 10317 6458 0 -1 4202560 357 0 0 0 79 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277529012776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10322] ppid=10315 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/10317/task/10322/stat : 10322 (java) S 10315 10317 6458 0 -1 4202560 233 0 0 0 65 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277527959720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10323] ppid=10315 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10317/task/10323/stat : 10323 (java) S 10315 10317 6458 0 -1 4202560 128 0 0 0 70 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277526907176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10324] ppid=10315 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/10317/task/10324/stat : 10324 (java) S 10315 10317 6458 0 -1 4202560 220 0 0 0 63 3 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277525855144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10325] ppid=10315 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/10317/task/10325/stat : 10325 (java) S 10315 10317 6458 0 -1 4202560 268 0 0 0 65 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277395794984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10326] ppid=10315 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10317/task/10326/stat : 10326 (java) S 10315 10317 6458 0 -1 4202560 222 0 0 0 72 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277394741928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10327] ppid=10315 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/10317/task/10327/stat : 10327 (java) S 10315 10317 6458 0 -1 4202560 116 0 0 0 66 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277393689384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10328] ppid=10315 vsize=9624980 CPUtime=7.3 cores=1,3,5,7
/proc/10317/task/10328/stat : 10328 (java) S 10315 10317 6458 0 -1 4202560 177 0 0 0 728 2 0 0 20 0 19 0 291606763 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276910741864 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10329] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10329/stat : 10329 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276909688184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10330] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10330/stat : 10330 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276908635016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10331] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10331/stat : 10331 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276907583760 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2541 0 0 0 28 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2343 0 0 0 38 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 105 0 0 0 24 23 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 12116
/proc/meminfo: memFree=30585576/32873844 swapFree=6608/6608
[pid=10317] ppid=10315 vsize=9624980 CPUtime=1800.01 cores=1,3,5,7
/proc/10317/stat : 10317 (java) S 10315 10317 6458 0 -1 4202496 10808 0 1 0 179952 49 0 0 20 0 19 0 291606760 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140735437082400 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10317/statm: 2406245 48359 2274 9 0 2396937 0
[pid=10317/tid=10319] ppid=10315 vsize=9624980 CPUtime=1781.61 cores=1,3,5,7
/proc/10317/task/10319/stat : 10319 (java) R 10315 10317 6458 0 -1 4202560 2621 0 1 0 178122 39 0 0 20 0 19 0 291606761 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277557612832 140277407442662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10320] ppid=10315 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/10317/task/10320/stat : 10320 (java) S 10315 10317 6458 0 -1 4202560 297 0 0 0 62 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277530065320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10321] ppid=10315 vsize=9624980 CPUtime=0.81 cores=1,3,5,7
/proc/10317/task/10321/stat : 10321 (java) S 10315 10317 6458 0 -1 4202560 357 0 0 0 79 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277529012776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10322] ppid=10315 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/10317/task/10322/stat : 10322 (java) S 10315 10317 6458 0 -1 4202560 233 0 0 0 65 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277527959720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10323] ppid=10315 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10317/task/10323/stat : 10323 (java) S 10315 10317 6458 0 -1 4202560 128 0 0 0 70 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277526907176 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10324] ppid=10315 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/10317/task/10324/stat : 10324 (java) S 10315 10317 6458 0 -1 4202560 220 0 0 0 63 3 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277525855144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10325] ppid=10315 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/10317/task/10325/stat : 10325 (java) S 10315 10317 6458 0 -1 4202560 268 0 0 0 65 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277395794984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10317/tid=10326] ppid=10315 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/10317/task/10326/stat : 10326 (java) S 10315 10317 6458 0 -1 4202560 222 0 0 0 72 0 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277394741928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10327] ppid=10315 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/10317/task/10327/stat : 10327 (java) S 10315 10317 6458 0 -1 4202560 116 0 0 0 66 2 0 0 20 0 19 0 291606762 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140277393689384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10328] ppid=10315 vsize=9624980 CPUtime=7.3 cores=1,3,5,7
/proc/10317/task/10328/stat : 10328 (java) S 10315 10317 6458 0 -1 4202560 177 0 0 0 728 2 0 0 20 0 19 0 291606763 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276910741864 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10329] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10329/stat : 10329 (java) S 10315 10317 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276909688184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10330] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10330/stat : 10330 (java) S 10315 10317 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291606764 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276908635016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10331] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10331/stat : 10331 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276907583760 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10332] ppid=10315 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/10317/task/10332/stat : 10332 (java) S 10315 10317 6458 0 -1 4202560 2541 0 0 0 28 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276906531640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10317/tid=10333] ppid=10315 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/10317/task/10333/stat : 10333 (java) S 10315 10317 6458 0 -1 4202560 2343 0 0 0 38 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276905479096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10334] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10334/stat : 10334 (java) S 10315 10317 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276904426232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10317/tid=10335] ppid=10315 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/10317/task/10335/stat : 10335 (java) S 10315 10317 6458 0 -1 4202560 105 0 0 0 24 23 0 0 20 0 19 0 291606766 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276903373896 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10317/tid=10336] ppid=10315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/10317/task/10336/stat : 10336 (java) S 10315 10317 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291606788 9855979520 48359 33554432000 1073741824 1073778376 140735437091264 140276902319144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624980
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10317 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=52110
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=892864
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.36
CPU time (s): 1800.01
CPU user time (s): 1799.52
CPU system time (s): 0.49
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.892864
maximum resident set size= 193592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10852
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41934
involuntary context switches= 22628
runsolver used 5.99109 second user time and 15.0327 second system time
The end