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-3688603-1337885125/watcher-3688603-1337885125 -o /tmp/evaluation-result-3688603-1337885125/solver-3688603-1337885125 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688603-1337885125.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.02 2.00 3/194 11033
/proc/meminfo: memFree=28337792/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11033/stat : 11033 (java) D 11031 11033 8709 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254637309 9515008 182 33554432000 1073741824 1073778376 140733534499360 140733534490392 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11033/statm: 2323 182 140 9 0 71 0
[startup+0.0530039 s]
/proc/loadavg: 2.05 2.02 2.00 3/194 11033
/proc/meminfo: memFree=28337792/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 3061 0 1 0 2 0 0 0 20 0 13 0 254637309 9446973440 3758 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2306390 3758 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100319 s]
/proc/loadavg: 2.05 2.02 2.00 3/194 11033
/proc/meminfo: memFree=28337792/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 4285 0 1 0 8 1 0 0 20 0 18 0 254637309 9787813888 5484 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2389603 5484 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300284 s]
/proc/loadavg: 2.05 2.02 2.00 3/194 11033
/proc/meminfo: memFree=28337792/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 5210 0 1 0 43 1 0 0 20 0 18 0 254637309 9787813888 7685 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2389603 7685 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700303 s]
/proc/loadavg: 2.05 2.02 2.00 3/194 11033
/proc/meminfo: memFree=28337792/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9558412 CPUtime=1.58 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13204 0 1 0 154 4 0 0 20 0 18 0 254637309 9787813888 29882 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2389603 29882 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9558412
[startup+1.50078 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 11052
/proc/meminfo: memFree=28220644/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9624976 CPUtime=2.75 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13437 0 1 0 271 4 0 0 20 0 19 0 254637309 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2406244 31464 2255 9 0 2396937 0
[pid=11033/tid=11035] ppid=11031 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/11033/task/11035/stat : 11035 (java) R 11031 11033 8709 0 -1 4202560 2495 0 1 0 142 3 0 0 20 0 19 0 254637311 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140329153540504 140329014395774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11036] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11036/stat : 11036 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328996862888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11037] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11037/stat : 11037 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328995810344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11038] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11038/stat : 11038 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328994757288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11039] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11039/stat : 11039 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328993704744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11040] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11040/stat : 11040 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328992651688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11041] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11041/stat : 11041 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328991599144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11042] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11042/stat : 11042 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328990546088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11043] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11043/stat : 11043 (java) S 11031 11033 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328989493544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11044] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11044/stat : 11044 (java) S 11031 11033 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328977296232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11045] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11045/stat : 11045 (java) S 11031 11033 8709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328976242552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11046] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11046/stat : 11046 (java) S 11031 11033 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328975189384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11047] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11047/stat : 11047 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328974138128 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5123 0 0 0 61 0 0 0 20 0 19 0 254637316 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4619 0 0 0 64 0 0 0 20 0 19 0 254637316 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 31464 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 9624976
[startup+3.10078 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 11052
/proc/meminfo: memFree=28220396/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9624976 CPUtime=4.35 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13439 0 1 0 431 4 0 0 20 0 19 0 254637309 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2406244 31465 2255 9 0 2396937 0
[pid=11033/tid=11035] ppid=11031 vsize=9624976 CPUtime=3.05 cores=1,3,5,7
/proc/11033/task/11035/stat : 11035 (java) R 11031 11033 8709 0 -1 4202560 2496 0 1 0 302 3 0 0 20 0 19 0 254637311 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140329153538496 140329014388918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11036] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11036/stat : 11036 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328996862888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11037] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11037/stat : 11037 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328995810344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11038] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11038/stat : 11038 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328994757288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11039] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11039/stat : 11039 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328993704744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11040] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11040/stat : 11040 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328992651688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11041] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11041/stat : 11041 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328991599144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11042] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11042/stat : 11042 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328990546088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11043] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11043/stat : 11043 (java) S 11031 11033 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328989493544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11044] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11044/stat : 11044 (java) S 11031 11033 8709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328977296232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11045] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11045/stat : 11045 (java) S 11031 11033 8709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328976242552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11046] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11046/stat : 11046 (java) S 11031 11033 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328975189384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11047] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11047/stat : 11047 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328974138128 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5123 0 0 0 62 0 0 0 20 0 19 0 254637316 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4619 0 0 0 64 0 0 0 20 0 19 0 254637316 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 31465 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9624976
[startup+6.30079 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 11052
/proc/meminfo: memFree=28219900/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9624976 CPUtime=7.57 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13440 0 1 0 752 5 0 0 20 0 19 0 254637309 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2406244 31449 2255 9 0 2396937 0
[pid=11033/tid=11035] ppid=11031 vsize=9624976 CPUtime=6.25 cores=1,3,5,7
/proc/11033/task/11035/stat : 11035 (java) R 11031 11033 8709 0 -1 4202560 2497 0 1 0 622 3 0 0 20 0 19 0 254637311 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140329153540536 140329014388771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11036] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11036/stat : 11036 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328996862888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11037] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11037/stat : 11037 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328995810344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11038] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11038/stat : 11038 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328994757288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11039] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11039/stat : 11039 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328993704744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11040] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11040/stat : 11040 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328992651688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11041] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11041/stat : 11041 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328991599144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11042] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11042/stat : 11042 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328990546088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11043] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11043/stat : 11043 (java) S 11031 11033 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254637312 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328989493544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11044] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11044/stat : 11044 (java) S 11031 11033 8709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328977296232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11045] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11045/stat : 11045 (java) S 11031 11033 8709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328976242552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11046] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11046/stat : 11046 (java) S 11031 11033 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328975189384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11047] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11047/stat : 11047 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328974138128 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5123 0 0 0 62 0 0 0 20 0 19 0 254637316 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4619 0 0 0 64 0 0 0 20 0 19 0 254637316 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 31449 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5182 0 0 0 73 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4630 0 0 0 68 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 99 0 0 0 38 49 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.77
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11149
/proc/meminfo: memFree=28265600/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9624976 CPUtime=1784.83 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13827 0 1 0 178391 92 0 0 20 0 19 0 254637309 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2406244 51066 2283 9 0 2396937 0
[pid=11033/tid=11035] ppid=11031 vsize=9624976 CPUtime=1775.53 cores=1,3,5,7
/proc/11033/task/11035/stat : 11035 (java) R 11031 11033 8709 0 -1 4202560 2518 0 1 0 177523 30 0 0 20 0 19 0 254637311 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140329153540384 140329014424631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11036] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11036/stat : 11036 (java) S 11031 11033 8709 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328996862888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11037] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11037/stat : 11037 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328995810344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11038] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11038/stat : 11038 (java) S 11031 11033 8709 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328994757288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11039] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11039/stat : 11039 (java) S 11031 11033 8709 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328993704744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11040] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11040/stat : 11040 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328992651688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11041] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11041/stat : 11041 (java) S 11031 11033 8709 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328991599144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11042] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11042/stat : 11042 (java) S 11031 11033 8709 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328990546088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11043] ppid=11031 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/11033/task/11043/stat : 11043 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328989493544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11044] ppid=11031 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/11033/task/11044/stat : 11044 (java) S 11031 11033 8709 0 -1 4202560 97 0 0 0 160 6 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328977296232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11045] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11045/stat : 11045 (java) S 11031 11033 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328976242552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11046] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11046/stat : 11046 (java) S 11031 11033 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328975189384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11047] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11047/stat : 11047 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328974138128 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5182 0 0 0 73 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4630 0 0 0 68 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 103 0 0 0 40 51 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.83
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11149
/proc/meminfo: memFree=28265476/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13827 0 1 0 179911 93 0 0 20 0 19 0 254637309 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2406244 51066 2283 9 0 2396937 0
[pid=11033/tid=11035] ppid=11031 vsize=9624976 CPUtime=1790.7 cores=1,3,5,7
/proc/11033/task/11035/stat : 11035 (java) R 11031 11033 8709 0 -1 4202560 2518 0 1 0 179039 31 0 0 20 0 19 0 254637311 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140329153540384 140329014395785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11036] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11036/stat : 11036 (java) S 11031 11033 8709 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328996862888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11037] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11037/stat : 11037 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328995810344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11038] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11038/stat : 11038 (java) S 11031 11033 8709 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328994757288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11039] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11039/stat : 11039 (java) S 11031 11033 8709 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328993704744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11040] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11040/stat : 11040 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328992651688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11041] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11041/stat : 11041 (java) S 11031 11033 8709 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328991599144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11042] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11042/stat : 11042 (java) S 11031 11033 8709 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328990546088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11043] ppid=11031 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/11033/task/11043/stat : 11043 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328989493544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11044] ppid=11031 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/11033/task/11044/stat : 11044 (java) S 11031 11033 8709 0 -1 4202560 97 0 0 0 160 6 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328977296232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11045] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11045/stat : 11045 (java) S 11031 11033 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328976242552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11046] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11046/stat : 11046 (java) S 11031 11033 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328975189384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11047] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11047/stat : 11047 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328974138128 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5182 0 0 0 73 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4630 0 0 0 68 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 103 0 0 0 40 51 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11149
/proc/meminfo: memFree=28265476/32873844 swapFree=6592/6592
[pid=11033] ppid=11031 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/11033/stat : 11033 (java) S 11031 11033 8709 0 -1 4202496 13827 0 1 0 179911 93 0 0 20 0 19 0 254637309 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140736855307104 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11033/statm: 2406244 51066 2283 9 0 2396937 0
[pid=11033/tid=11035] ppid=11031 vsize=9624976 CPUtime=1790.7 cores=1,3,5,7
/proc/11033/task/11035/stat : 11035 (java) R 11031 11033 8709 0 -1 4202560 2518 0 1 0 179039 31 0 0 20 0 19 0 254637311 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140329153540384 140329014395785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11036] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11036/stat : 11036 (java) S 11031 11033 8709 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328996862888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11037] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11037/stat : 11037 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328995810344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11038] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11038/stat : 11038 (java) S 11031 11033 8709 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328994757288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11039] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11039/stat : 11039 (java) S 11031 11033 8709 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328993704744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11040] ppid=11031 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/11033/task/11040/stat : 11040 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 5 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328992651688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11041] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11041/stat : 11041 (java) S 11031 11033 8709 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328991599144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11042] ppid=11031 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11033/task/11042/stat : 11042 (java) S 11031 11033 8709 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328990546088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11043] ppid=11031 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/11033/task/11043/stat : 11043 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 254637312 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328989493544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11044] ppid=11031 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/11033/task/11044/stat : 11044 (java) S 11031 11033 8709 0 -1 4202560 97 0 0 0 160 6 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328977296232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11045] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11045/stat : 11045 (java) S 11031 11033 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328976242552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11046] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11046/stat : 11046 (java) S 11031 11033 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254637313 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328975189384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11047] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11047/stat : 11047 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328974138128 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11033/tid=11048] ppid=11031 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/11033/task/11048/stat : 11048 (java) S 11031 11033 8709 0 -1 4202560 5182 0 0 0 73 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328973084984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11033/tid=11049] ppid=11031 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/11033/task/11049/stat : 11049 (java) S 11031 11033 8709 0 -1 4202560 4630 0 0 0 68 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328972032440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11050] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11050/stat : 11050 (java) S 11031 11033 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328970979576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11033/tid=11051] ppid=11031 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/11033/task/11051/stat : 11051 (java) S 11031 11033 8709 0 -1 4202560 103 0 0 0 40 51 0 0 20 0 19 0 254637316 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328969927240 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11033/tid=11052] ppid=11031 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11033/task/11052/stat : 11052 (java) S 11031 11033 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254637382 9855975424 51066 33554432000 1073741824 1073778376 140736855315968 140328968873512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11033 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=310223
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=24844
# CPU time returned by wait4() is 1795.34
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.53
CPU time (s): 1800.04
CPU user time (s): 1799.11
CPU system time (s): 0.93
CPU usage (%): 100.139
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 1.02484
maximum resident set size= 206432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13863
page faults= 1
swaps= 0
block input operations= 240
block output operations= 1216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38483
involuntary context switches= 19479
runsolver used 7.67183 second user time and 15.2027 second system time
The end