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-3687943-1337877618/watcher-3687943-1337877618 -o /tmp/evaluation-result-3687943-1337877618/solver-3687943-1337877618 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687943-1337877618.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (java) R 18243 18245 16961 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 253885929 278528 33 33554432000 1073741824 1073778376 140733536568720 140735866216920 251043867829 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 68 33 25 9 0 25 0
[startup+0.0899679 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 4329 0 1 0 8 0 0 0 20 0 18 0 253885929 9787813888 5512 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2389603 5512 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.100187 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 4446 0 1 0 10 1 0 0 20 0 18 0 253885929 9787813888 6102 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2389603 6102 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300176 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 5858 0 1 0 49 1 0 0 20 0 18 0 253885929 9787813888 12085 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2389603 12085 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412
[startup+0.700173 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 9938 0 1 0 121 3 0 0 20 0 19 0 253885929 9855975424 38091 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 38091 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9624976
[startup+1.50075 s]
/proc/loadavg: 1.96 1.99 1.96 3/214 18264
/proc/meminfo: memFree=28388036/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 12111 0 1 0 242 7 0 0 20 0 19 0 253885929 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 49068 2263 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2515 0 1 0 140 3 0 0 20 0 19 0 253885930 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117226749448 140117084350299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 4017 0 0 0 40 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 4248 0 0 0 50 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9624976
[startup+3.10074 s]
/proc/loadavg: 1.96 1.99 1.96 3/214 18264
/proc/meminfo: memFree=28305972/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=4.24 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 12550 0 1 0 414 10 0 0 20 0 19 0 253885929 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 62253 2275 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=2.8 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2517 0 1 0 277 3 0 0 20 0 19 0 253885930 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117226750216 140117084310150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 45 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 109 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 104 0 0 0 18 0 0 0 20 0 19 0 253885932 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 4021 0 0 0 45 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 4249 0 0 0 54 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9624976
[startup+6.30077 s]
/proc/loadavg: 2.12 2.03 1.97 3/214 18264
/proc/meminfo: memFree=28285628/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=7.52 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 12588 0 1 0 742 10 0 0 20 0 19 0 253885929 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 64777 2275 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=5.51 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2522 0 1 0 548 3 0 0 20 0 19 0 253885930 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117226750376 140117084492096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 73 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 100 0 0 0 3 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 112 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 47 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 109 0 0 0 66 0 0 0 20 0 19 0 253885932 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 4022 0 0 0 45 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 4249 0 0 0 58 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 121 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 121 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 134 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=20.6 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 223 0 0 0 2056 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 95 0 0 0 18 28 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.89
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 18358
/proc/meminfo: memFree=28225204/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1732.06 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 29766 0 1 0 173146 60 0 0 20 0 19 0 253885929 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 144360 2276 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1698.18 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2718 0 1 0 169788 30 0 0 20 0 19 0 253885930 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117226750256 140117084602084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 312 0 0 0 120 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 381 0 0 0 122 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 388 0 0 0 119 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 409 0 0 0 129 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 305 0 0 0 127 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 123 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 125 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 136 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=21.1 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 227 0 0 0 2106 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 99 0 0 0 20 29 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1732.06
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 18358
/proc/meminfo: memFree=28175436/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1792.33 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 29778 0 1 0 179172 61 0 0 20 0 19 0 253885929 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 144360 2276 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1757.33 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2722 0 1 0 175702 31 0 0 20 0 19 0 253885930 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117226750256 140117084429779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 312 0 0 0 126 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 381 0 0 0 128 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 388 0 0 0 122 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 409 0 0 0 134 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 305 0 0 0 133 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 127 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 129 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 140 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=21.83 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 231 0 0 0 2179 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 103 0 0 0 20 29 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1792.33
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 18361
/proc/meminfo: memFree=28174652/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 29778 0 1 0 179943 61 0 0 20 0 19 0 253885929 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 144360 2276 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1765.04 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2722 0 1 0 176473 31 0 0 20 0 19 0 253885930 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117226750256 140117084602100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 312 0 0 0 126 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 381 0 0 0 128 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 388 0 0 0 122 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 409 0 0 0 134 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 305 0 0 0 133 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 127 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 129 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 140 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=21.83 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 231 0 0 0 2179 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 103 0 0 0 20 29 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1790.05
CPU time (s): 1800.71
CPU user time (s): 1799.57
CPU system time (s): 1.14183
CPU usage (%): 100.595
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 1.14183
maximum resident set size= 577596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29818
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42871
involuntary context switches= 26798
runsolver used 6.12007 second user time and 14.2028 second system time
The end