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-3689668-1337884124/watcher-3689668-1337884124 -o /tmp/evaluation-result-3689668-1337884124/solver-3689668-1337884124 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689668-1337884124.opb
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: 3.79 3.82 3.72 3/175 29966
/proc/meminfo: memFree=28970580/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=8 CPUtime=0 cores=0,2,4,6
/proc/29966/stat : 29966 (java) R 29964 29966 26250 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 254537233 8192 1 33554432000 0 0 0 140735509925256 215143312823 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 65 2 0 0 0 22 0
[startup+0.049982 s]
/proc/loadavg: 3.79 3.82 3.72 3/175 29966
/proc/meminfo: memFree=28970580/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 3085 0 1 0 2 0 0 0 20 0 13 0 254537233 9446973440 3271 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2306390 3271 1702 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100193 s]
/proc/loadavg: 3.79 3.82 3.72 3/175 29966
/proc/meminfo: memFree=28970580/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 4319 0 1 0 8 1 0 0 20 0 18 0 254537233 9787813888 5001 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2389603 5004 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300197 s]
/proc/loadavg: 3.79 3.82 3.72 3/175 29966
/proc/meminfo: memFree=28970580/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9558412 CPUtime=0.55 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 7173 0 1 0 54 1 0 0 20 0 18 0 254537233 9787813888 10335 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2389603 10335 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412
[startup+0.700178 s]
/proc/loadavg: 3.79 3.82 3.72 3/175 29966
/proc/meminfo: memFree=28970580/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 14355 0 1 0 159 5 0 0 20 0 22 0 254537233 10060460032 39569 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 39569 2251 9 0 2446860 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9824668
[startup+1.50081 s]
/proc/loadavg: 3.79 3.82 3.72 6/197 29991
/proc/meminfo: memFree=28818536/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=4.42 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 22017 0 1 0 435 7 0 0 20 0 22 0 254537233 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 46515 2272 9 0 2446860 0
[pid=29966/tid=29968] ppid=29964 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/29966/task/29968/stat : 29968 (java) S 29964 29966 26250 0 -1 4202560 2562 0 1 0 58 3 0 0 20 0 22 0 254537234 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566970303480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29969] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29969/stat : 29969 (java) S 29964 29966 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566814292264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29970] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29970/stat : 29970 (java) S 29964 29966 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566813239464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29971] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29971/stat : 29971 (java) S 29964 29966 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566812187176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29972] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29972/stat : 29972 (java) S 29964 29966 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566811134376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29973] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29973/stat : 29973 (java) S 29964 29966 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566810082088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29974] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29974/stat : 29974 (java) S 29964 29966 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566809029288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29975] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29975/stat : 29975 (java) S 29964 29966 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566807977000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29976] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29976/stat : 29976 (java) S 29964 29966 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254537235 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566806924200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29977] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29977/stat : 29977 (java) S 29964 29966 26250 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566794512616 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29978] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29978/stat : 29978 (java) S 29964 29966 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566793458680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29979] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29979/stat : 29979 (java) S 29964 29966 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566792406280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29980] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29980/stat : 29980 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566791354768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29981] ppid=29964 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/29966/task/29981/stat : 29981 (java) S 29964 29966 26250 0 -1 4202560 8283 0 0 0 95 2 0 0 20 0 22 0 254537240 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566790302392 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29982] ppid=29964 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/29966/task/29982/stat : 29982 (java) S 29964 29966 26250 0 -1 4202560 9744 0 0 0 104 2 0 0 20 0 22 0 254537240 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566789249592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29983] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29983/stat : 29983 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566788197496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29984] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29984/stat : 29984 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566787144904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29985] ppid=29964 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/29966/task/29985/stat : 29985 (java) R 29964 29966 26250 0 -1 4202560 32 0 0 0 81 0 0 0 20 0 22 0 254537298 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566786089928 140566842742747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29986] ppid=29964 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/29966/task/29986/stat : 29986 (java) R 29964 29966 26250 0 -1 4202560 82 0 0 0 81 0 0 0 20 0 22 0 254537298 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566785036056 140566842854013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29987] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29987/stat : 29987 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566783984808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29988] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29988/stat : 29988 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 46515 33554432000 1073741824 1073778376 140734621756768 140566782932008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 9824668
[startup+3.10073 s]
/proc/loadavg: 3.72 3.81 3.72 4/198 29994
/proc/meminfo: memFree=28795848/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=7.88 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 23975 0 1 0 774 14 0 0 20 0 22 0 254537233 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 74061 2285 9 0 2446860 0
[pid=29966/tid=29968] ppid=29964 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/29966/task/29968/stat : 29968 (java) S 29964 29966 26250 0 -1 4202560 2562 0 1 0 58 3 0 0 20 0 22 0 254537234 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566970303480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29969] ppid=29964 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29966/task/29969/stat : 29969 (java) S 29964 29966 26250 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566814292264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29970] ppid=29964 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29966/task/29970/stat : 29970 (java) S 29964 29966 26250 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566813239464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29971] ppid=29964 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29966/task/29971/stat : 29971 (java) S 29964 29966 26250 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566812187176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29972] ppid=29964 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29966/task/29972/stat : 29972 (java) S 29964 29966 26250 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566811134376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29973] ppid=29964 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29966/task/29973/stat : 29973 (java) S 29964 29966 26250 0 -1 4202560 106 0 0 0 3 1 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566810082088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29974] ppid=29964 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29966/task/29974/stat : 29974 (java) S 29964 29966 26250 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566809029288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29975] ppid=29964 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29966/task/29975/stat : 29975 (java) S 29964 29966 26250 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566807977000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29976] ppid=29964 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29966/task/29976/stat : 29976 (java) S 29964 29966 26250 0 -1 4202560 95 0 0 0 2 0 0 0 20 0 22 0 254537235 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566806924200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29977] ppid=29964 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/29966/task/29977/stat : 29977 (java) S 29964 29966 26250 0 -1 4202560 102 0 0 0 6 0 0 0 20 0 22 0 254537237 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566794512616 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29978] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29978/stat : 29978 (java) S 29964 29966 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566793458680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29979] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29979/stat : 29979 (java) S 29964 29966 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566792406280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29980] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29980/stat : 29980 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566791354768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29981] ppid=29964 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/29966/task/29981/stat : 29981 (java) S 29964 29966 26250 0 -1 4202560 9734 0 0 0 112 2 0 0 20 0 22 0 254537240 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566790302392 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29982] ppid=29964 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/29966/task/29982/stat : 29982 (java) S 29964 29966 26250 0 -1 4202560 9751 0 0 0 110 2 0 0 20 0 22 0 254537240 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566789249592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29983] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29983/stat : 29983 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566788197496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29984] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29984/stat : 29984 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566787144904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29985] ppid=29964 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/29966/task/29985/stat : 29985 (java) R 29964 29966 26250 0 -1 4202560 35 0 0 0 228 0 0 0 20 0 22 0 254537298 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566786089168 140566842743628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29986] ppid=29964 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/29966/task/29986/stat : 29986 (java) R 29964 29966 26250 0 -1 4202560 102 0 0 0 227 1 0 0 20 0 22 0 254537298 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566785036232 140566842717747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29987] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29987/stat : 29987 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566783984808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29988] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29988/stat : 29988 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 74061 33554432000 1073741824 1073778376 140734621756768 140566782932008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 9824668
[startup+6.3007 s]
/proc/loadavg: 3.72 3.81 3.72 6/221 30040
/proc/meminfo: memFree=28687020/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=14.42 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 24188 0 1 0 1426 16 0 0 20 0 22 0 254537233 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 99772 2286 9 0 2446860 0
[pid=29966/tid=29968] ppid=29964 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/29966/task/29968/stat : 29968 (java) S 29964 29966 26250 0 -1 4202560 2562 0 1 0 58 3 0 0 20 0 22 0 254537234 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566970303480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29969] ppid=29964 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/29966/task/29969/stat : 29969 (java) S 29964 29966 26250 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566814292264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29970] ppid=29964 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29966/task/29970/stat : 29970 (java) S 29964 29966 26250 0 -1 4202560 112 0 0 0 3 1 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566813239464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29971] ppid=29964 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29966/task/29971/stat : 29971 (java) S 29964 29966 26250 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566812187176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29972] ppid=29964 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29966/task/29972/stat : 29972 (java) S 29964 29966 26250 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566811134376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29973] ppid=29964 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/29966/task/29973/stat : 29973 (java) S 29964 29966 26250 0 -1 4202560 110 0 0 0 4 1 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566810082088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29974] ppid=29964 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/29966/task/29974/stat : 29974 (java) S 29964 29966 26250 0 -1 4202560 36 0 0 0 5 0 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566809029288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29975] ppid=29964 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29966/task/29975/stat : 29975 (java) S 29964 29966 26250 0 -1 4202560 94 0 0 0 3 0 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566807977000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29976] ppid=29964 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29966/task/29976/stat : 29976 (java) S 29964 29966 26250 0 -1 4202560 95 0 0 0 2 0 0 0 20 0 22 0 254537235 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566806924200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29977] ppid=29964 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/29966/task/29977/stat : 29977 (java) S 29964 29966 26250 0 -1 4202560 237 0 0 0 15 0 0 0 20 0 22 0 254537237 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566794512616 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29978] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29978/stat : 29978 (java) S 29964 29966 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566793458680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29979] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29979/stat : 29979 (java) S 29964 29966 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566792406280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29980] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29980/stat : 29980 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566791354768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29981] ppid=29964 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/29966/task/29981/stat : 29981 (java) S 29964 29966 26250 0 -1 4202560 9739 0 0 0 121 2 0 0 20 0 22 0 254537240 10060460032 99772 33554432000 1073741824 1073778376 140734621756768 140566790302392 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=29966/tid=29986] ppid=29964 vsize=9824668 CPUtime=714.23 cores=0,2,4,6
/proc/29966/task/29986/stat : 29986 (java) R 29964 29966 26250 0 -1 4202560 1121 0 0 0 71385 38 0 0 20 0 22 0 254537298 10060460032 812975 33554432000 1073741824 1073778376 140734621756768 140566785034200 140566842875766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29987] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29987/stat : 29987 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 812975 33554432000 1073741824 1073778376 140734621756768 140566783984808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29988] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29988/stat : 29988 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 812975 33554432000 1073741824 1073778376 140734621756768 140566782932008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1496.24
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.28 4.06 3.87 5/221 30049
/proc/meminfo: memFree=22655644/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=1614.44 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 37810 0 1 0 161180 264 0 0 20 0 22 0 254537233 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 854583 2286 9 0 2446860 0
[pid=29966/tid=29968] ppid=29964 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/29966/task/29968/stat : 29968 (java) S 29964 29966 26250 0 -1 4202560 2591 0 1 0 60 5 0 0 20 0 22 0 254537234 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566970303480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29969] ppid=29964 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/29966/task/29969/stat : 29969 (java) S 29964 29966 26250 0 -1 4202560 1229 0 0 0 288 29 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566814292264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29970] ppid=29964 vsize=9824668 CPUtime=3.01 cores=0,2,4,6
/proc/29966/task/29970/stat : 29970 (java) S 29964 29966 26250 0 -1 4202560 784 0 0 0 282 19 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566813239464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29971] ppid=29964 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/29966/task/29971/stat : 29971 (java) S 29964 29966 26250 0 -1 4202560 818 0 0 0 283 25 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566812187176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29972] ppid=29964 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/29966/task/29972/stat : 29972 (java) S 29964 29966 26250 0 -1 4202560 808 0 0 0 290 24 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566811134376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29973] ppid=29964 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/29966/task/29973/stat : 29973 (java) S 29964 29966 26250 0 -1 4202560 884 0 0 0 303 28 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566810082088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29974] ppid=29964 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/29966/task/29974/stat : 29974 (java) S 29964 29966 26250 0 -1 4202560 891 0 0 0 262 25 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566809029288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29975] ppid=29964 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/29966/task/29975/stat : 29975 (java) S 29964 29966 26250 0 -1 4202560 646 0 0 0 278 24 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566807977000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29976] ppid=29964 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/29966/task/29976/stat : 29976 (java) S 29964 29966 26250 0 -1 4202560 1017 0 0 0 283 26 0 0 20 0 22 0 254537235 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566806924200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29977] ppid=29964 vsize=9824668 CPUtime=44.03 cores=0,2,4,6
/proc/29966/task/29977/stat : 29977 (java) S 29964 29966 26250 0 -1 4202560 3281 0 0 0 4388 15 0 0 20 0 22 0 254537237 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566794512616 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29978] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29978/stat : 29978 (java) S 29964 29966 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566793458680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29979] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29979/stat : 29979 (java) S 29964 29966 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566792406280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29980] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29980/stat : 29980 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566791354768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29981] ppid=29964 vsize=9824668 CPUtime=1.5 cores=0,2,4,6
/proc/29966/task/29981/stat : 29981 (java) S 29964 29966 26250 0 -1 4202560 12571 0 0 0 148 2 0 0 20 0 22 0 254537240 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566790302392 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29982] ppid=29964 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/29966/task/29982/stat : 29982 (java) S 29964 29966 26250 0 -1 4202560 9793 0 0 0 141 2 0 0 20 0 22 0 254537240 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566789249592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29983] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29983/stat : 29983 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566788197496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29984] ppid=29964 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/29966/task/29984/stat : 29984 (java) S 29964 29966 26250 0 -1 4202560 47 0 0 0 15 17 0 0 20 0 22 0 254537240 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566787144904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29985] ppid=29964 vsize=9824668 CPUtime=771 cores=0,2,4,6
/proc/29966/task/29985/stat : 29985 (java) R 29964 29966 26250 0 -1 4202560 140 0 0 0 77086 14 0 0 20 0 22 0 254537298 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566786088224 140566842790435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29986] ppid=29964 vsize=9824668 CPUtime=770.93 cores=0,2,4,6
/proc/29966/task/29986/stat : 29986 (java) R 29964 29966 26250 0 -1 4202560 1122 0 0 0 77054 39 0 0 20 0 22 0 254537298 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566785034608 140566843239604 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29987] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29987/stat : 29987 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566783984808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29988] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29988/stat : 29988 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 854583 33554432000 1073741824 1073778376 140734621756768 140566782932008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1614.44
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.06 4.03 3.87 5/221 30050
/proc/meminfo: memFree=22482496/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=1733.7 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 38132 0 1 0 173091 279 0 0 20 0 22 0 254537233 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 883906 2287 9 0 2446860 0
[pid=29966/tid=29968] ppid=29964 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/29966/task/29968/stat : 29968 (java) S 29964 29966 26250 0 -1 4202560 2591 0 1 0 60 5 0 0 20 0 22 0 254537234 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566970303480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29969] ppid=29964 vsize=9824668 CPUtime=3.44 cores=0,2,4,6
/proc/29966/task/29969/stat : 29969 (java) S 29964 29966 26250 0 -1 4202560 1263 0 0 0 314 30 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566814292264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29970] ppid=29964 vsize=9824668 CPUtime=3.2 cores=0,2,4,6
/proc/29966/task/29970/stat : 29970 (java) S 29964 29966 26250 0 -1 4202560 807 0 0 0 300 20 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566813239464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29971] ppid=29964 vsize=9824668 CPUtime=3.34 cores=0,2,4,6
/proc/29966/task/29971/stat : 29971 (java) S 29964 29966 26250 0 -1 4202560 841 0 0 0 308 26 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566812187176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29972] ppid=29964 vsize=9824668 CPUtime=3.43 cores=0,2,4,6
/proc/29966/task/29972/stat : 29972 (java) S 29964 29966 26250 0 -1 4202560 814 0 0 0 319 24 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566811134376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29973] ppid=29964 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/29966/task/29973/stat : 29973 (java) S 29964 29966 26250 0 -1 4202560 915 0 0 0 334 29 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566810082088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29974] ppid=29964 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/29966/task/29974/stat : 29974 (java) S 29964 29966 26250 0 -1 4202560 920 0 0 0 287 27 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566809029288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29975] ppid=29964 vsize=9824668 CPUtime=3.32 cores=0,2,4,6
/proc/29966/task/29975/stat : 29975 (java) S 29964 29966 26250 0 -1 4202560 673 0 0 0 307 25 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566807977000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29976] ppid=29964 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/29966/task/29976/stat : 29976 (java) S 29964 29966 26250 0 -1 4202560 1058 0 0 0 300 28 0 0 20 0 22 0 254537235 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566806924200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29977] ppid=29964 vsize=9824668 CPUtime=45.8 cores=0,2,4,6
/proc/29966/task/29977/stat : 29977 (java) S 29964 29966 26250 0 -1 4202560 3375 0 0 0 4564 16 0 0 20 0 22 0 254537237 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566794512616 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29978] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29978/stat : 29978 (java) S 29964 29966 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566793458680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29979] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29979/stat : 29979 (java) S 29964 29966 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566792406280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29980] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29980/stat : 29980 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566791354768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29981] ppid=29964 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/29966/task/29981/stat : 29981 (java) S 29964 29966 26250 0 -1 4202560 12575 0 0 0 150 2 0 0 20 0 22 0 254537240 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566790302392 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29982] ppid=29964 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/29966/task/29982/stat : 29982 (java) S 29964 29966 26250 0 -1 4202560 9793 0 0 0 141 2 0 0 20 0 22 0 254537240 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566789249592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29983] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29983/stat : 29983 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566788197496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29984] ppid=29964 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/29966/task/29984/stat : 29984 (java) S 29964 29966 26250 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 254537240 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566787144904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29985] ppid=29964 vsize=9824668 CPUtime=828.67 cores=0,2,4,6
/proc/29966/task/29985/stat : 29985 (java) R 29964 29966 26250 0 -1 4202560 145 0 0 0 82851 16 0 0 20 0 22 0 254537298 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566786087392 140566842692632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29986] ppid=29964 vsize=9824668 CPUtime=828.61 cores=0,2,4,6
/proc/29966/task/29986/stat : 29986 (java) R 29964 29966 26250 0 -1 4202560 1123 0 0 0 82821 40 0 0 20 0 22 0 254537298 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566785035312 140566843238822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29987] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29987/stat : 29987 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566783984808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29988] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29988/stat : 29988 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 883906 33554432000 1073741824 1073778376 140734621756768 140566782932008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1733.7
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.201 s]
/proc/loadavg: 4.03 4.02 3.88 5/221 30050
/proc/meminfo: memFree=22363216/32873844 swapFree=7364/7364
[pid=29966] ppid=29964 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6
/proc/29966/stat : 29966 (java) S 29964 29966 26250 0 -1 4202496 38328 0 1 0 179715 289 0 0 20 0 22 0 254537233 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140734621747904 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29966/statm: 2456167 909037 2287 9 0 2446860 0
[pid=29966/tid=29968] ppid=29964 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/29966/task/29968/stat : 29968 (java) S 29964 29966 26250 0 -1 4202560 2592 0 1 0 60 5 0 0 20 0 22 0 254537234 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566970303480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29969] ppid=29964 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/29966/task/29969/stat : 29969 (java) S 29964 29966 26250 0 -1 4202560 1278 0 0 0 322 31 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566814292264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29970] ppid=29964 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/29966/task/29970/stat : 29970 (java) S 29964 29966 26250 0 -1 4202560 826 0 0 0 306 21 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566813239464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29971] ppid=29964 vsize=9824668 CPUtime=3.42 cores=0,2,4,6
/proc/29966/task/29971/stat : 29971 (java) S 29964 29966 26250 0 -1 4202560 854 0 0 0 316 26 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566812187176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29972] ppid=29964 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/29966/task/29972/stat : 29972 (java) S 29964 29966 26250 0 -1 4202560 826 0 0 0 328 25 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566811134376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29973] ppid=29964 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/29966/task/29973/stat : 29973 (java) S 29964 29966 26250 0 -1 4202560 938 0 0 0 343 31 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566810082088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29974] ppid=29964 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/29966/task/29974/stat : 29974 (java) S 29964 29966 26250 0 -1 4202560 936 0 0 0 296 27 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566809029288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29975] ppid=29964 vsize=9824668 CPUtime=3.38 cores=0,2,4,6
/proc/29966/task/29975/stat : 29975 (java) S 29964 29966 26250 0 -1 4202560 683 0 0 0 312 26 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566807977000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29976] ppid=29964 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/29966/task/29976/stat : 29976 (java) S 29964 29966 26250 0 -1 4202560 1095 0 0 0 311 30 0 0 20 0 22 0 254537235 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566806924200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29977] ppid=29964 vsize=9824668 CPUtime=47.64 cores=0,2,4,6
/proc/29966/task/29977/stat : 29977 (java) S 29964 29966 26250 0 -1 4202560 3421 0 0 0 4747 17 0 0 20 0 22 0 254537237 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566794512616 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29978] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29978/stat : 29978 (java) S 29964 29966 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566793458680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29979] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29979/stat : 29979 (java) S 29964 29966 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254537237 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566792406280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29980] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29980/stat : 29980 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566791354768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29981] ppid=29964 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/29966/task/29981/stat : 29981 (java) S 29964 29966 26250 0 -1 4202560 12575 0 0 0 150 2 0 0 20 0 22 0 254537240 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566790302392 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29982] ppid=29964 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/29966/task/29982/stat : 29982 (java) S 29964 29966 26250 0 -1 4202560 9793 0 0 0 141 2 0 0 20 0 22 0 254537240 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566789249592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29983] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29983/stat : 29983 (java) S 29964 29966 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254537240 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566788197496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29966/tid=29984] ppid=29964 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/29966/task/29984/stat : 29984 (java) S 29964 29966 26250 0 -1 4202560 53 0 0 0 16 19 0 0 20 0 22 0 254537240 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566787144904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29985] ppid=29964 vsize=9824668 CPUtime=860.56 cores=0,2,4,6
/proc/29966/task/29985/stat : 29985 (java) R 29964 29966 26250 0 -1 4202560 146 0 0 0 86039 17 0 0 20 0 22 0 254537298 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566786088224 140566842900095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29966/tid=29986] ppid=29964 vsize=9824668 CPUtime=860.48 cores=0,2,4,6
/proc/29966/task/29986/stat : 29986 (java) R 29964 29966 26250 0 -1 4202560 1124 0 0 0 86007 41 0 0 20 0 22 0 254537298 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566785034496 140566843200412 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29966/tid=29987] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29987/stat : 29987 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566783984808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29966/tid=29988] ppid=29964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29966/task/29988/stat : 29988 (java) S 29964 29966 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254537300 10060460032 909037 33554432000 1073741824 1073778376 140734621756768 140566782932008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 916.284
CPU time (s): 1800.64
CPU user time (s): 1797.27
CPU system time (s): 3.37349
CPU usage (%): 196.516
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.27
system time used= 3.37349
maximum resident set size= 3636284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38363
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25789
involuntary context switches= 39987
runsolver used 3.50147 second user time and 8.13276 second system time
The end