runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103350-1466222301/watcher-4103350-1466222301 -o /tmp/evaluation-result-4103350-1466222301/solver-4103350-1466222301 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103350-1466222301.opb
pid=22036
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.11 4.18 4.22 4/197 22039
/proc/meminfo: memFree=25711436/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22039/stat : 22039 (java) D 22036 22039 15709 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 24278663 9515008 175 33554432000 1073741824 1073778376 140735971033664 140735971016392 217410519952 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/22039/statm: 2323 175 133 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 4.11 4.18 4.22 4/197 22039
/proc/meminfo: memFree=25711436/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 4334 0 1 0 6 1 0 0 20 0 18 0 24278663 9787879424 5455 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 5455 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200208 s]
/proc/loadavg: 4.11 4.18 4.22 4/197 22039
/proc/meminfo: memFree=25711436/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 4777 0 1 0 22 2 0 0 20 0 18 0 24278663 9787879424 11439 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 11439 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.30022 s]
/proc/loadavg: 4.11 4.18 4.22 4/197 22039
/proc/meminfo: memFree=25711436/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 6474 0 1 0 51 3 0 0 20 0 18 0 24278663 9787879424 14353 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 14353 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700246 s]
/proc/loadavg: 4.11 4.18 4.22 4/197 22039
/proc/meminfo: memFree=25711436/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=1.62 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 19113 0 1 0 156 6 0 0 20 0 18 0 24278663 9787879424 41514 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 41527 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476
[startup+1.50079 s]
/proc/loadavg: 4.11 4.18 4.22 11/215 22057
/proc/meminfo: memFree=25432260/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=2.9 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 20041 0 1 0 267 23 0 0 20 0 18 0 24278663 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 85753 2276 9 0 2380296 0
[pid=22039/tid=22041] ppid=22036 vsize=9558476 CPUtime=1.31 cores=0,2,4,6
/proc/22039/task/22041/stat : 22041 (java) R 22036 22039 15709 0 -1 4202560 2496 0 1 0 126 5 0 0 20 0 18 0 24278664 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131530895312 140131378285145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22042] ppid=22036 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/22039/task/22042/stat : 22042 (java) S 22036 22039 15709 0 -1 4202560 119 0 0 0 3 2 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131503356072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22043] ppid=22036 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/22039/task/22043/stat : 22043 (java) S 22036 22039 15709 0 -1 4202560 110 0 0 0 6 3 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131502303528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22044] ppid=22036 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/22039/task/22044/stat : 22044 (java) S 22036 22039 15709 0 -1 4202560 195 0 0 0 3 2 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131501250984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22045] ppid=22036 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/22039/task/22045/stat : 22045 (java) S 22036 22039 15709 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131500198440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22046] ppid=22036 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/22039/task/22046/stat : 22046 (java) S 22036 22039 15709 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131499145896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22047] ppid=22036 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/22039/task/22047/stat : 22047 (java) S 22036 22039 15709 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131498093352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22048] ppid=22036 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/22039/task/22048/stat : 22048 (java) S 22036 22039 15709 0 -1 4202560 113 0 0 0 2 2 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131497040808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22049] ppid=22036 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/22039/task/22049/stat : 22049 (java) S 22036 22039 15709 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 18 0 24278665 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140131366906920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22050] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22050/stat : 22050 (java) S 22036 22039 15709 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130883958888 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22051] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22051/stat : 22051 (java) S 22036 22039 15709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130882905208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22052] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22052/stat : 22052 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130881852552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22053] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22053/stat : 22053 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130880801296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22054] ppid=22036 vsize=9558476 CPUtime=0.59 cores=0,2,4,6
/proc/22039/task/22054/stat : 22054 (java) S 22036 22039 15709 0 -1 4202560 10097 0 0 0 57 2 0 0 20 0 18 0 24278670 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130879748664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22055] ppid=22036 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/22039/task/22055/stat : 22055 (java) S 22036 22039 15709 0 -1 4202560 5470 0 0 0 41 0 0 0 20 0 18 0 24278670 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130878696120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22056] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22056/stat : 22056 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130877643768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22057] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22057/stat : 22057 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 85753 33554432000 1073741824 1073778376 140735116233936 140130876591432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 9558476
[startup+3.1008 s]
/proc/loadavg: 4.02 4.16 4.21 4/215 22057
/proc/meminfo: memFree=25192484/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=5.38 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 21462 0 1 0 487 51 0 0 20 0 18 0 24278663 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 165059 2284 9 0 2380296 0
[pid=22039/tid=22041] ppid=22036 vsize=9558476 CPUtime=2 cores=0,2,4,6
/proc/22039/task/22041/stat : 22041 (java) R 22036 22039 15709 0 -1 4202560 2533 0 1 0 194 6 0 0 20 0 18 0 24278664 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131530895312 140131378603443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22042] ppid=22036 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/22039/task/22042/stat : 22042 (java) S 22036 22039 15709 0 -1 4202560 311 0 0 0 9 4 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131503356072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22043] ppid=22036 vsize=9558476 CPUtime=0.32 cores=0,2,4,6
/proc/22039/task/22043/stat : 22043 (java) S 22036 22039 15709 0 -1 4202560 346 0 0 0 23 9 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131502303528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22044] ppid=22036 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/22039/task/22044/stat : 22044 (java) S 22036 22039 15709 0 -1 4202560 313 0 0 0 15 4 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131501250984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22045] ppid=22036 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/22039/task/22045/stat : 22045 (java) S 22036 22039 15709 0 -1 4202560 71 0 0 0 11 4 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131500198440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22046] ppid=22036 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/22039/task/22046/stat : 22046 (java) S 22036 22039 15709 0 -1 4202560 88 0 0 0 16 4 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131499145896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22047] ppid=22036 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/22039/task/22047/stat : 22047 (java) S 22036 22039 15709 0 -1 4202560 86 0 0 0 12 4 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131498093352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22048] ppid=22036 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/22039/task/22048/stat : 22048 (java) S 22036 22039 15709 0 -1 4202560 293 0 0 0 9 4 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131497040808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22049] ppid=22036 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/22039/task/22049/stat : 22049 (java) S 22036 22039 15709 0 -1 4202560 141 0 0 0 22 8 0 0 20 0 18 0 24278665 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140131366906920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22050] ppid=22036 vsize=9558476 CPUtime=0.59 cores=0,2,4,6
/proc/22039/task/22050/stat : 22050 (java) S 22036 22039 15709 0 -1 4202560 460 0 0 0 59 0 0 0 20 0 18 0 24278667 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130883958888 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22051] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22051/stat : 22051 (java) S 22036 22039 15709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130882905208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22052] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22052/stat : 22052 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130881852552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22053] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22053/stat : 22053 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130880801296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22054] ppid=22036 vsize=9558476 CPUtime=0.59 cores=0,2,4,6
/proc/22039/task/22054/stat : 22054 (java) S 22036 22039 15709 0 -1 4202560 10097 0 0 0 57 2 0 0 20 0 18 0 24278670 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130879748664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22055] ppid=22036 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/22039/task/22055/stat : 22055 (java) S 22036 22039 15709 0 -1 4202560 5470 0 0 0 41 0 0 0 20 0 18 0 24278670 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130878696120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22056] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22056/stat : 22056 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130877643768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22057] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22057/stat : 22057 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 165059 33554432000 1073741824 1073778376 140735116233936 140130876591432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 9558476
[startup+6.3008 s]
/proc/loadavg: 4.02 4.16 4.21 4/215 22057
/proc/meminfo: memFree=24504860/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9558476 CPUtime=9.44 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 24043 0 1 0 869 75 0 0 20 0 18 0 24278663 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2389619 309024 2284 9 0 2380296 0
[pid=22039/tid=22041] ppid=22036 vsize=9558476 CPUtime=3.59 cores=0,2,4,6
/proc/22039/task/22041/stat : 22041 (java) R 22036 22039 15709 0 -1 4202560 2821 0 1 0 350 9 0 0 20 0 18 0 24278664 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131530895312 217413903629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22042] ppid=22036 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/22039/task/22042/stat : 22042 (java) S 22036 22039 15709 0 -1 4202560 386 0 0 0 20 7 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131503356072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22043] ppid=22036 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/22039/task/22043/stat : 22043 (java) S 22036 22039 15709 0 -1 4202560 424 0 0 0 40 11 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131502303528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22044] ppid=22036 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/22039/task/22044/stat : 22044 (java) S 22036 22039 15709 0 -1 4202560 770 0 0 0 19 6 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131501250984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22045] ppid=22036 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/22039/task/22045/stat : 22045 (java) S 22036 22039 15709 0 -1 4202560 143 0 0 0 24 7 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131500198440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22046] ppid=22036 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/22039/task/22046/stat : 22046 (java) S 22036 22039 15709 0 -1 4202560 468 0 0 0 22 6 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131499145896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22047] ppid=22036 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/22039/task/22047/stat : 22047 (java) S 22036 22039 15709 0 -1 4202560 158 0 0 0 23 6 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131498093352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22048] ppid=22036 vsize=9558476 CPUtime=0.33 cores=0,2,4,6
/proc/22039/task/22048/stat : 22048 (java) S 22036 22039 15709 0 -1 4202560 370 0 0 0 26 7 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131497040808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22049] ppid=22036 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/22039/task/22049/stat : 22049 (java) S 22036 22039 15709 0 -1 4202560 503 0 0 0 35 10 0 0 20 0 18 0 24278665 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140131366906920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22050] ppid=22036 vsize=9558476 CPUtime=1.9 cores=0,2,4,6
/proc/22039/task/22050/stat : 22050 (java) S 22036 22039 15709 0 -1 4202560 1180 0 0 0 186 4 0 0 20 0 18 0 24278667 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130883958888 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22051] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22051/stat : 22051 (java) S 22036 22039 15709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130882905208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22052] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22052/stat : 22052 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 24278667 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130881852552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22053] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22053/stat : 22053 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130880801296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22054] ppid=22036 vsize=9558476 CPUtime=0.62 cores=0,2,4,6
/proc/22039/task/22054/stat : 22054 (java) S 22036 22039 15709 0 -1 4202560 10097 0 0 0 60 2 0 0 20 0 18 0 24278670 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130879748664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22055] ppid=22036 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/22039/task/22055/stat : 22055 (java) S 22036 22039 15709 0 -1 4202560 5470 0 0 0 45 0 0 0 20 0 18 0 24278670 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130878696120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22056] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22056/stat : 22056 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130877643768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22057] ppid=22036 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22057/stat : 22057 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24278670 9787879424 309024 33554432000 1073741824 1073778376 140735116233936 140130876591432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 4.02 4.15 4.21 6/219 22061
/proc/meminfo: memFree=23792868/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9824732 CPUtime=21.54 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 26622 0 1 0 2004 150 0 0 20 0 22 0 24278663 10060525568 490533 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2456183 490533 2291 9 0 2446860 0
################
# More data... #
################
/proc/22039/task/22044/stat : 22044 (java) S 22036 22039 15709 0 -1 4202560 1515 0 0 0 800 43 0 0 20 0 22 0 24278665 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140131501250984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22045] ppid=22036 vsize=9824732 CPUtime=8.41 cores=0,2,4,6
/proc/22039/task/22045/stat : 22045 (java) S 22036 22039 15709 0 -1 4202560 1615 0 0 0 793 48 0 0 20 0 22 0 24278665 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140131500198440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22046] ppid=22036 vsize=9824732 CPUtime=8.54 cores=0,2,4,6
/proc/22039/task/22046/stat : 22046 (java) S 22036 22039 15709 0 -1 4202560 1452 0 0 0 812 42 0 0 20 0 22 0 24278665 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140131499145896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22047] ppid=22036 vsize=9824732 CPUtime=7.94 cores=0,2,4,6
/proc/22039/task/22047/stat : 22047 (java) S 22036 22039 15709 0 -1 4202560 1192 0 0 0 752 42 0 0 20 0 22 0 24278665 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140131498093352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22048] ppid=22036 vsize=9824732 CPUtime=8.92 cores=0,2,4,6
/proc/22039/task/22048/stat : 22048 (java) S 22036 22039 15709 0 -1 4202560 1411 0 0 0 841 51 0 0 20 0 22 0 24278665 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140131497040808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22049] ppid=22036 vsize=9824732 CPUtime=9.54 cores=0,2,4,6
/proc/22039/task/22049/stat : 22049 (java) S 22036 22039 15709 0 -1 4202560 1419 0 0 0 888 66 0 0 20 0 22 0 24278665 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140131366906920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22050] ppid=22036 vsize=9824732 CPUtime=9.81 cores=0,2,4,6
/proc/22039/task/22050/stat : 22050 (java) S 22036 22039 15709 0 -1 4202560 4149 0 0 0 971 10 0 0 20 0 22 0 24278667 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130883958888 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22051] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22051/stat : 22051 (java) S 22036 22039 15709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 24278667 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130882905208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22052] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22052/stat : 22052 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24278667 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130881852552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22053] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22053/stat : 22053 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24278670 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130880801296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22054] ppid=22036 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/22039/task/22054/stat : 22054 (java) S 22036 22039 15709 0 -1 4202560 10112 0 0 0 148 2 0 0 20 0 22 0 24278670 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130879748664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22055] ppid=22036 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22039/task/22055/stat : 22055 (java) S 22036 22039 15709 0 -1 4202560 5489 0 0 0 112 0 0 0 20 0 22 0 24278670 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130878696120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22056] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22056/stat : 22056 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24278670 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130877643768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22057] ppid=22036 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/22039/task/22057/stat : 22057 (java) S 22036 22039 15709 0 -1 4202560 47 0 0 0 12 13 0 0 20 0 22 0 24278670 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130876591432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22058] ppid=22036 vsize=9824732 CPUtime=785.85 cores=0,2,4,6
/proc/22039/task/22058/stat : 22058 (java) R 22036 22039 15709 0 -1 4202560 35 0 0 0 78573 12 0 0 20 0 22 0 24279659 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130875534528 140131379019569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22059] ppid=22036 vsize=9824732 CPUtime=785.75 cores=0,2,4,6
/proc/22039/task/22059/stat : 22059 (java) R 22036 22039 15709 0 -1 4202560 68 0 0 0 78563 12 0 0 20 0 22 0 24279659 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130874480624 140131379036221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22060] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22060/stat : 22060 (java) S 22036 22039 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24279679 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130873431080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22061] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22061/stat : 22061 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24279687 10060525568 1131364 33554432000 1073741824 1073778376 140735116233936 140130872378536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.65 4.45 4.30 5/218 22332
/proc/meminfo: memFree=21336884/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9824732 CPUtime=1785.79 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 35854 0 1 0 178135 444 0 0 20 0 22 0 24278663 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2456183 1139367 2298 9 0 2446860 0
[pid=22039/tid=22041] ppid=22036 vsize=9824732 CPUtime=6.76 cores=0,2,4,6
/proc/22039/task/22041/stat : 22041 (java) S 22036 22039 15709 0 -1 4202560 3375 0 1 0 663 13 0 0 20 0 22 0 24278664 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131530904440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22042] ppid=22036 vsize=9824732 CPUtime=8.62 cores=0,2,4,6
/proc/22039/task/22042/stat : 22042 (java) S 22036 22039 15709 0 -1 4202560 1426 0 0 0 818 44 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131503356072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22043] ppid=22036 vsize=9824732 CPUtime=9.35 cores=0,2,4,6
/proc/22039/task/22043/stat : 22043 (java) S 22036 22039 15709 0 -1 4202560 1184 0 0 0 882 53 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131502303528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22044] ppid=22036 vsize=9824732 CPUtime=8.93 cores=0,2,4,6
/proc/22039/task/22044/stat : 22044 (java) S 22036 22039 15709 0 -1 4202560 1532 0 0 0 849 44 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131501250984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22045] ppid=22036 vsize=9824732 CPUtime=8.75 cores=0,2,4,6
/proc/22039/task/22045/stat : 22045 (java) S 22036 22039 15709 0 -1 4202560 1634 0 0 0 826 49 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131500198440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22046] ppid=22036 vsize=9824732 CPUtime=8.93 cores=0,2,4,6
/proc/22039/task/22046/stat : 22046 (java) S 22036 22039 15709 0 -1 4202560 1465 0 0 0 851 42 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131499145896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22047] ppid=22036 vsize=9824732 CPUtime=8.37 cores=0,2,4,6
/proc/22039/task/22047/stat : 22047 (java) S 22036 22039 15709 0 -1 4202560 1206 0 0 0 794 43 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131498093352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22048] ppid=22036 vsize=9824732 CPUtime=9.37 cores=0,2,4,6
/proc/22039/task/22048/stat : 22048 (java) S 22036 22039 15709 0 -1 4202560 1421 0 0 0 886 51 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131497040808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22049] ppid=22036 vsize=9824732 CPUtime=9.89 cores=0,2,4,6
/proc/22039/task/22049/stat : 22049 (java) S 22036 22039 15709 0 -1 4202560 1433 0 0 0 922 67 0 0 20 0 22 0 24278665 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140131366906920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22050] ppid=22036 vsize=9824732 CPUtime=9.81 cores=0,2,4,6
/proc/22039/task/22050/stat : 22050 (java) S 22036 22039 15709 0 -1 4202560 4154 0 0 0 971 10 0 0 20 0 22 0 24278667 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130883958888 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22051] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22051/stat : 22051 (java) S 22036 22039 15709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 24278667 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130882905208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22052] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22052/stat : 22052 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24278667 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130881852552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22053] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22053/stat : 22053 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24278670 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130880801296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22054] ppid=22036 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/22039/task/22054/stat : 22054 (java) S 22036 22039 15709 0 -1 4202560 10112 0 0 0 148 2 0 0 20 0 22 0 24278670 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130879748664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22055] ppid=22036 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22039/task/22055/stat : 22055 (java) S 22036 22039 15709 0 -1 4202560 5489 0 0 0 112 0 0 0 20 0 22 0 24278670 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130878696120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22056] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22056/stat : 22056 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24278670 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130877643768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22057] ppid=22036 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/22039/task/22057/stat : 22057 (java) S 22036 22039 15709 0 -1 4202560 51 0 0 0 13 14 0 0 20 0 22 0 24278670 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130876591432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22058] ppid=22036 vsize=9824732 CPUtime=844.83 cores=0,2,4,6
/proc/22039/task/22058/stat : 22058 (java) R 22036 22039 15709 0 -1 4202560 36 0 0 0 84469 14 0 0 20 0 22 0 24279659 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130875534512 140131378861382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22059] ppid=22036 vsize=9824732 CPUtime=844.73 cores=0,2,4,6
/proc/22039/task/22059/stat : 22059 (java) R 22036 22039 15709 0 -1 4202560 69 0 0 0 84459 14 0 0 20 0 22 0 24279659 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130874480624 140131378838638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22060] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22060/stat : 22060 (java) S 22036 22039 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24279679 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130873431080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22061] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22061/stat : 22061 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24279687 10060525568 1139367 33554432000 1073741824 1073778376 140735116233936 140130872378536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.79
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+889.201 s]
/proc/loadavg: 4.60 4.45 4.30 5/219 22334
/proc/meminfo: memFree=21307328/32872528 swapFree=1534436/1655032
[pid=22039] ppid=22036 vsize=9824732 CPUtime=1800.11 cores=0,2,4,6
/proc/22039/stat : 22039 (java) S 22036 22039 15709 0 -1 4202496 35903 0 1 0 179564 447 0 0 20 0 22 0 24278663 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140735116225072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22039/statm: 2456183 1146704 2298 9 0 2446860 0
[pid=22039/tid=22041] ppid=22036 vsize=9824732 CPUtime=6.76 cores=0,2,4,6
/proc/22039/task/22041/stat : 22041 (java) S 22036 22039 15709 0 -1 4202560 3375 0 1 0 663 13 0 0 20 0 22 0 24278664 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131530904440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22042] ppid=22036 vsize=9824732 CPUtime=8.7 cores=0,2,4,6
/proc/22039/task/22042/stat : 22042 (java) S 22036 22039 15709 0 -1 4202560 1428 0 0 0 825 45 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131503356072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22043] ppid=22036 vsize=9824732 CPUtime=9.45 cores=0,2,4,6
/proc/22039/task/22043/stat : 22043 (java) S 22036 22039 15709 0 -1 4202560 1189 0 0 0 892 53 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131502303528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22044] ppid=22036 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/22039/task/22044/stat : 22044 (java) S 22036 22039 15709 0 -1 4202560 1548 0 0 0 861 45 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131501250984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22045] ppid=22036 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/22039/task/22045/stat : 22045 (java) S 22036 22039 15709 0 -1 4202560 1643 0 0 0 850 50 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131500198440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22046] ppid=22036 vsize=9824732 CPUtime=9.07 cores=0,2,4,6
/proc/22039/task/22046/stat : 22046 (java) S 22036 22039 15709 0 -1 4202560 1470 0 0 0 864 43 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131499145896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22047] ppid=22036 vsize=9824732 CPUtime=8.5 cores=0,2,4,6
/proc/22039/task/22047/stat : 22047 (java) S 22036 22039 15709 0 -1 4202560 1206 0 0 0 807 43 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131498093352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22048] ppid=22036 vsize=9824732 CPUtime=9.52 cores=0,2,4,6
/proc/22039/task/22048/stat : 22048 (java) S 22036 22039 15709 0 -1 4202560 1427 0 0 0 900 52 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131497040808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22049] ppid=22036 vsize=9824732 CPUtime=9.99 cores=0,2,4,6
/proc/22039/task/22049/stat : 22049 (java) S 22036 22039 15709 0 -1 4202560 1436 0 0 0 932 67 0 0 20 0 22 0 24278665 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140131366906920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22050] ppid=22036 vsize=9824732 CPUtime=9.81 cores=0,2,4,6
/proc/22039/task/22050/stat : 22050 (java) S 22036 22039 15709 0 -1 4202560 4156 0 0 0 971 10 0 0 20 0 22 0 24278667 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130883958888 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22051] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22051/stat : 22051 (java) S 22036 22039 15709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 24278667 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130882905208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22052] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22052/stat : 22052 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24278667 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130881852552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22053] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22053/stat : 22053 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24278670 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130880801296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22054] ppid=22036 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/22039/task/22054/stat : 22054 (java) S 22036 22039 15709 0 -1 4202560 10112 0 0 0 148 2 0 0 20 0 22 0 24278670 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130879748664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22055] ppid=22036 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22039/task/22055/stat : 22055 (java) S 22036 22039 15709 0 -1 4202560 5489 0 0 0 112 0 0 0 20 0 22 0 24278670 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130878696120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22039/tid=22056] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22056/stat : 22056 (java) S 22036 22039 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24278670 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130877643768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22057] ppid=22036 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/22039/task/22057/stat : 22057 (java) S 22036 22039 15709 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 24278670 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130876591432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22058] ppid=22036 vsize=9824732 CPUtime=851.44 cores=0,2,4,6
/proc/22039/task/22058/stat : 22058 (java) R 22036 22039 15709 0 -1 4202560 36 0 0 0 85130 14 0 0 20 0 22 0 24279659 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130875533648 140131378938051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22039/tid=22059] ppid=22036 vsize=9824732 CPUtime=851.33 cores=0,2,4,6
/proc/22039/task/22059/stat : 22059 (java) R 22036 22039 15709 0 -1 4202560 70 0 0 0 85119 14 0 0 20 0 22 0 24279659 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130874481744 140131378837992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22039/tid=22060] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22060/stat : 22060 (java) S 22036 22039 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24279679 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130873431080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22039/tid=22061] ppid=22036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22039/task/22061/stat : 22061 (java) S 22036 22039 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24279687 10060525568 1146704 33554432000 1073741824 1073778376 140735116233936 140130872378536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22039 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22039 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=129706
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=831265
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 889.257
CPU time (s): 1800.11
CPU user time (s): 1795.64
CPU system time (s): 4.47
CPU usage (%): 202.429
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.13
system time used= 4.83127
maximum resident set size= 4602524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35939
page faults= 1
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23593
involuntary context switches= 31680
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.581 second user time and 6.35703 second system time
The end