runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458937-1307148732/watcher-3458937-1307148732 -o /tmp/evaluation-result-3458937-1307148732/solver-3458937-1307148732 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458937-1307148732.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.06 2.03 2/384 4367
/proc/meminfo: memFree=23746496/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4367/stat : 4367 (java) R 4365 4367 31984 0 -1 4202496 757 0 0 0 0 0 0 0 17 0 1 0 826475960 23580672 501 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4367/statm: 5757 512 385 9 0 124 0
[pid=4367/tid=4371] ppid=4365 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 1755 0 1 0 0 0 0 0 18 0 2 0 826475961 13833195520 2571 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.104342 s]
/proc/loadavg: 2.02 2.06 2.03 2/384 4367
/proc/meminfo: memFree=23746496/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13621672 CPUtime=0.1 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 15472 0 1 0 8 2 0 0 17 0 18 0 826475960 13948592128 15169 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3405418 15169 2092 9 0 3396152 0
[pid=4367/tid=4371] ppid=4365 vsize=13621672 CPUtime=0.08 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 13558 0 1 0 6 2 0 0 22 0 18 0 826475961 13948592128 15169 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505165403 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621672
[startup+0.200321 s]
/proc/loadavg: 2.02 2.06 2.03 2/384 4367
/proc/meminfo: memFree=23746496/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13622280 CPUtime=0.26 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 16632 0 1 0 24 2 0 0 17 0 18 0 826475960 13949214720 16289 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3405570 16290 2183 9 0 3396304 0
[pid=4367/tid=4371] ppid=4365 vsize=13622280 CPUtime=0.18 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 14236 0 1 0 16 2 0 0 22 0 18 0 826475961 13949214720 16290 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 47940986956627 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622280
[startup+0.300304 s]
/proc/loadavg: 2.02 2.06 2.03 2/384 4367
/proc/meminfo: memFree=23746496/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13623616 CPUtime=0.45 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 18175 0 1 0 43 2 0 0 17 0 18 0 826475960 13950582784 17754 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3405904 17755 2199 9 0 3396638 0
[pid=4367/tid=4371] ppid=4365 vsize=13623616 CPUtime=0.27 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 15379 0 1 0 25 2 0 0 22 0 18 0 826475961 13950582784 17755 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505584058 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13623616
[startup+0.700239 s]
/proc/loadavg: 2.02 2.06 2.03 2/384 4367
/proc/meminfo: memFree=23746496/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13623352 CPUtime=0.98 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 56827 0 1 0 91 7 0 0 17 0 18 0 826475960 13950312448 55461 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3405838 55466 2210 9 0 3396572 0
[pid=4367/tid=4371] ppid=4365 vsize=13623352 CPUtime=0.68 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 52061 0 1 0 62 6 0 0 23 0 18 0 826475961 13950312448 55469 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505608914 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 13623352
[startup+1.5011 s]
/proc/loadavg: 2.18 2.09 2.04 5/423 4431
/proc/meminfo: memFree=23307868/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13626352 CPUtime=2.07 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 61621 0 1 0 200 7 0 0 17 0 19 0 826475960 13953384448 60011 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3406588 60011 2231 9 0 3397322 0
[pid=4367/tid=4371] ppid=4365 vsize=13626352 CPUtime=1.47 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 55974 0 1 0 141 6 0 0 25 0 19 0 826475961 13953384448 60011 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505760571 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475963 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 826475964 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826475964 13953384448 60012 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 60013 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.26 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1281 0 0 0 26 0 0 0 16 0 19 0 826475966 13953384448 60013 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.32 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3206 0 0 0 32 0 0 0 15 0 19 0 826475966 13953384448 60013 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4390] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4390/stat : 4390 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475966 13953384448 60013 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4391] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4391/stat : 4391 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826475966 13953384448 60013 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4430] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4430/stat : 4430 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826476032 13953384448 60013 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 13626352
[startup+3.10082 s]
/proc/loadavg: 2.18 2.09 2.04 3/423 4431
/proc/meminfo: memFree=23260612/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13626352 CPUtime=3.8 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 76526 0 1 0 370 10 0 0 17 0 19 0 826475960 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3406588 74908 2259 9 0 3397322 0
[pid=4367/tid=4371] ppid=4365 vsize=13626352 CPUtime=3.03 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 60385 0 1 0 296 7 0 0 25 0 19 0 826475961 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505769795 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 31984 0 -1 4202560 276 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 31984 0 -1 4202560 644 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 2459 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 2052 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=0.03 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 5045 0 0 0 3 0 0 0 15 0 19 0 826475964 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.29 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1290 0 0 0 29 0 0 0 15 0 19 0 826475966 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.39 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3221 0 0 0 39 0 0 0 16 0 19 0 826475966 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4390] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4390/stat : 4390 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475966 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4391] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4391/stat : 4391 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826475966 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4430] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4430/stat : 4430 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826476032 13953384448 74908 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13626352
[startup+6.30125 s]
/proc/loadavg: 2.18 2.09 2.04 3/423 4431
/proc/meminfo: memFree=23048820/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13626352 CPUtime=7.07 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 92453 0 1 0 695 12 0 0 17 0 19 0 826475960 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3406588 90822 2259 9 0 3397322 0
[pid=4367/tid=4371] ppid=4365 vsize=13626352 CPUtime=6.15 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 60389 0 1 0 608 7 0 0 21 0 19 0 826475961 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505739552 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 31984 0 -1 4202560 2621 0 0 0 0 0 0 0 16 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 31984 0 -1 4202560 675 0 0 0 0 0 0 0 18 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=13626352 CPUtime=0.01 cores=1,3,5,7
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 31984 0 -1 4202560 2391 0 0 0 1 0 0 0 18 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=0.01 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 4548 0 0 0 1 0 0 0 18 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 2525 0 0 0 0 0 0 0 15 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 1816 0 0 0 0 0 0 0 15 0 19 0 826475963 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=0.09 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 11816 0 0 0 8 1 0 0 15 0 19 0 826475964 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.3 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1293 0 0 0 30 0 0 0 15 0 19 0 826475966 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.41 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3227 0 0 0 41 0 0 0 15 0 19 0 826475966 13953384448 90822 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=1.28 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 30871 0 0 0 124 4 0 0 15 0 19 0 826475963 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=1.38 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 16917 0 0 0 135 3 0 0 16 0 19 0 826475963 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=1.34 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 17956 0 0 0 132 2 0 0 16 0 19 0 826475963 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=10.41 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 119711 0 0 0 1028 13 0 0 15 0 19 0 826475964 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.31 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1293 0 0 0 31 0 0 0 15 0 19 0 826475966 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.57 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3252 0 0 0 57 0 0 0 15 0 19 0 826475966 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4390] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4390/stat : 4390 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475966 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4391] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4391/stat : 4391 (java) S 4365 4367 31984 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826475966 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4430] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4430/stat : 4430 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826476032 13953384448 395274 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1670.64
Current children cumulated vsize (KiB) 13626352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/423 4489
/proc/meminfo: memFree=20656416/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13626352 CPUtime=1730.82 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 397333 0 1 0 173024 58 0 0 17 0 19 0 826475960 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3406588 395303 2260 9 0 3397322 0
[pid=4367/tid=4371] ppid=4365 vsize=13626352 CPUtime=1708.24 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 99943 0 1 0 170810 14 0 0 25 0 19 0 826475961 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505714475 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=13626352 CPUtime=1.29 cores=1,3,5,7
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 31984 0 -1 4202560 19004 0 0 0 126 3 0 0 16 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=13626352 CPUtime=1.54 cores=1,3,5,7
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 31984 0 -1 4202560 23167 0 0 0 150 4 0 0 15 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=13626352 CPUtime=1.49 cores=1,3,5,7
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 31984 0 -1 4202560 23096 0 0 0 146 3 0 0 15 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=13626352 CPUtime=1.01 cores=1,3,5,7
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 31984 0 -1 4202560 11219 0 0 0 100 1 0 0 16 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=13626352 CPUtime=1.4 cores=1,3,5,7
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 31984 0 -1 4202560 29642 0 0 0 136 4 0 0 15 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=1.32 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 30871 0 0 0 128 4 0 0 15 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=1.38 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 16917 0 0 0 135 3 0 0 15 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=1.4 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 17964 0 0 0 138 2 0 0 16 0 19 0 826475963 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=10.75 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 119715 0 0 0 1062 13 0 0 15 0 19 0 826475964 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.31 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1293 0 0 0 31 0 0 0 15 0 19 0 826475966 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.57 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3252 0 0 0 57 0 0 0 15 0 19 0 826475966 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4390] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4390/stat : 4390 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475966 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4391] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4391/stat : 4391 (java) S 4365 4367 31984 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826475966 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4430] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4430/stat : 4430 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826476032 13953384448 395303 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.82
Current children cumulated vsize (KiB) 13626352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 4490
/proc/meminfo: memFree=20618296/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13626352 CPUtime=1791.02 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 397378 0 1 0 179044 58 0 0 17 0 19 0 826475960 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3406588 395339 2260 9 0 3397322 0
[pid=4367/tid=4371] ppid=4365 vsize=13626352 CPUtime=1767.82 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 99946 0 1 0 176767 15 0 0 25 0 19 0 826475961 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505760946 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=13626352 CPUtime=1.31 cores=1,3,5,7
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 31984 0 -1 4202560 19004 0 0 0 128 3 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=13626352 CPUtime=1.59 cores=1,3,5,7
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 31984 0 -1 4202560 23170 0 0 0 155 4 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=13626352 CPUtime=1.54 cores=1,3,5,7
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 31984 0 -1 4202560 23096 0 0 0 151 3 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=13626352 CPUtime=1.04 cores=1,3,5,7
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 31984 0 -1 4202560 11224 0 0 0 103 1 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=13626352 CPUtime=1.43 cores=1,3,5,7
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 31984 0 -1 4202560 29642 0 0 0 139 4 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=1.34 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 30871 0 0 0 130 4 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=1.43 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 16936 0 0 0 140 3 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=1.44 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 17973 0 0 0 142 2 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=11.08 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 119719 0 0 0 1095 13 0 0 15 0 19 0 826475964 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.31 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1293 0 0 0 31 0 0 0 15 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.57 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3252 0 0 0 57 0 0 0 15 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4390] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4390/stat : 4390 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4391] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4391/stat : 4391 (java) S 4365 4367 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4430] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4430/stat : 4430 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826476032 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.02
Current children cumulated vsize (KiB) 13626352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 4491
/proc/meminfo: memFree=20618280/32951124 swapFree=49244120/67111528
[pid=4367] ppid=4365 vsize=13626352 CPUtime=1800.02 cores=1,3,5,7
/proc/4367/stat : 4367 (java) S 4365 4367 31984 0 -1 4202496 397380 0 1 0 179944 58 0 0 17 0 19 0 826475960 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4367/statm: 3406588 395339 2260 9 0 3397322 0
[pid=4367/tid=4371] ppid=4365 vsize=13626352 CPUtime=1776.83 cores=1,3,5,7
/proc/4367/task/4371/stat : 4371 (java) R 4365 4367 31984 0 -1 4202560 99946 0 1 0 177668 15 0 0 25 0 19 0 826475961 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 46912505761082 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=13626352 CPUtime=1.31 cores=1,3,5,7
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 31984 0 -1 4202560 19004 0 0 0 128 3 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=13626352 CPUtime=1.59 cores=1,3,5,7
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 31984 0 -1 4202560 23170 0 0 0 155 4 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=13626352 CPUtime=1.54 cores=1,3,5,7
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 31984 0 -1 4202560 23096 0 0 0 151 3 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=13626352 CPUtime=1.04 cores=1,3,5,7
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 31984 0 -1 4202560 11224 0 0 0 103 1 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=13626352 CPUtime=1.43 cores=1,3,5,7
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 31984 0 -1 4202560 29642 0 0 0 139 4 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=13626352 CPUtime=1.34 cores=1,3,5,7
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 31984 0 -1 4202560 30871 0 0 0 130 4 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=13626352 CPUtime=1.43 cores=1,3,5,7
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 31984 0 -1 4202560 16936 0 0 0 140 3 0 0 16 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=13626352 CPUtime=1.44 cores=1,3,5,7
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 31984 0 -1 4202560 17973 0 0 0 142 2 0 0 15 0 19 0 826475963 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=13626352 CPUtime=11.08 cores=1,3,5,7
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 31984 0 -1 4202560 119719 0 0 0 1095 13 0 0 15 0 19 0 826475964 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 0 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475964 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4387] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4387/stat : 4387 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382780849 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4388] ppid=4365 vsize=13626352 CPUtime=0.31 cores=1,3,5,7
/proc/4367/task/4388/stat : 4388 (java) S 4365 4367 31984 0 -1 4202560 1293 0 0 0 31 0 0 0 15 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 3 0 0 0
[pid=4367/tid=4389] ppid=4365 vsize=13626352 CPUtime=0.57 cores=1,3,5,7
/proc/4367/task/4389/stat : 4389 (java) S 4365 4367 31984 0 -1 4202560 3252 0 0 0 57 0 0 0 15 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
[pid=4367/tid=4390] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4390/stat : 4390 (java) S 4365 4367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773145 0 4 0 16800975 18446604456387443584 0 0 -1 1 0 0 0
[pid=4367/tid=4391] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4391/stat : 4391 (java) S 4365 4367 31984 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826475966 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 5 0 0 0
[pid=4367/tid=4430] ppid=4365 vsize=13626352 CPUtime=0 cores=1,3,5,7
/proc/4367/task/4430/stat : 4430 (java) S 4365 4367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826476032 13953384448 395339 33554432000 1073741824 1073778376 140733940249568 18446744073709551615 218382773760 0 4 0 16800975 18446604456387443584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13626352
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): 1791.42
CPU time (s): 1800.19
CPU user time (s): 1799.54
CPU system time (s): 0.650901
CPU usage (%): 100.49
Max. virtual memory (cumulated for all children) (KiB): 13626352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.650901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397439
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40606
involuntary context switches= 7379
runsolver used 7.18391 second user time and 15.6616 second system time
The end