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-3458630-1307151785/watcher-3458630-1307151785 -o /tmp/evaluation-result-3458630-1307151785/solver-3458630-1307151785 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458630-1307151785.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.05 2.01 2/506 15416
/proc/meminfo: memFree=21360844/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 559369819 36646912 1018 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 8947 1018 782 9 0 386 0
[pid=15416/tid=15417] ppid=15414 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 7099 0 1 0 0 0 0 0 25 0 2 0 559369820 13850947584 7915 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0964579 s]
/proc/loadavg: 2.15 2.05 2.01 2/506 15416
/proc/meminfo: memFree=21360844/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13622388 CPUtime=0.09 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 15466 0 1 0 8 1 0 0 25 0 18 0 559369819 13949325312 15163 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3405597 15164 2092 9 0 3396331 0
[pid=15416/tid=15417] ppid=15414 vsize=13622388 CPUtime=0.08 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 13571 0 1 0 7 1 0 0 18 0 18 0 559369820 13949325312 15165 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 47526525898757 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622388
[startup+0.100723 s]
/proc/loadavg: 2.15 2.05 2.01 2/506 15416
/proc/meminfo: memFree=21360844/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13622388 CPUtime=0.1 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 15550 0 1 0 9 1 0 0 25 0 18 0 559369819 13949325312 15247 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3405597 15247 2092 9 0 3396331 0
[pid=15416/tid=15417] ppid=15414 vsize=13622388 CPUtime=0.08 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 13653 0 1 0 7 1 0 0 18 0 18 0 559369820 13949325312 15247 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 47526526766562 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622388
[startup+0.415735 s]
/proc/loadavg: 2.15 2.05 2.01 2/506 15416
/proc/meminfo: memFree=21360844/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13631928 CPUtime=0.76 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 34907 0 1 0 72 4 0 0 25 0 18 0 559369819 13959094272 32828 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3407982 32831 2204 9 0 3398716 0
[pid=15416/tid=15417] ppid=15414 vsize=13631928 CPUtime=0.4 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 28226 0 1 0 37 3 0 0 18 0 18 0 559369820 13959094272 32832 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505579659 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 13631928
[startup+0.700681 s]
/proc/loadavg: 2.15 2.05 2.01 2/506 15416
/proc/meminfo: memFree=21360844/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13631928 CPUtime=1.05 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 59766 0 1 0 97 8 0 0 25 0 18 0 559369819 13959094272 57687 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3407982 57687 2204 9 0 3398716 0
[pid=15416/tid=15417] ppid=15414 vsize=13631928 CPUtime=0.68 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 53081 0 1 0 61 7 0 0 18 0 18 0 559369820 13959094272 57687 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505656995 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13631928
[startup+1.50149 s]
/proc/loadavg: 2.13 2.05 2.01 3/524 15434
/proc/meminfo: memFree=20992020/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13632956 CPUtime=2.15 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 114237 0 1 0 200 15 0 0 25 0 19 0 559369819 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3408239 111499 2219 9 0 3398973 0
[pid=15416/tid=15417] ppid=15414 vsize=13632956 CPUtime=1.49 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 105948 0 1 0 135 14 0 0 20 0 19 0 559369820 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505228560 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15416/tid=15419] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15420] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15421] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15422] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15423] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111499 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15424] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 559369823 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 559369823 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 559369823 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13632956 CPUtime=0.34 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) R 15414 15416 13328 0 -1 4202560 3166 0 0 0 34 0 0 0 16 0 19 0 559369825 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 47526526012377 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13632956 CPUtime=0.31 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) R 15414 15416 13328 0 -1 4202560 3965 0 0 0 31 0 0 0 16 0 19 0 559369825 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 47526529446272 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15434] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15434/stat : 15434 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 559369826 13960146944 111500 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13632956
[startup+3.10123 s]
/proc/loadavg: 2.13 2.05 2.01 3/525 15435
/proc/meminfo: memFree=20914016/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13632956 CPUtime=3.86 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 116141 0 1 0 370 16 0 0 25 0 19 0 559369819 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3408239 113402 2223 9 0 3398973 0
[pid=15416/tid=15417] ppid=15414 vsize=13632956 CPUtime=3.08 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 107829 0 1 0 294 14 0 0 25 0 19 0 559369820 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505879654 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15416/tid=15419] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15420] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15421] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15422] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15423] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15424] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369822 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 559369823 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 559369823 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 559369823 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13632956 CPUtime=0.39 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) S 15414 15416 13328 0 -1 4202560 3172 0 0 0 39 0 0 0 15 0 19 0 559369825 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13632956 CPUtime=0.36 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) S 15414 15416 13328 0 -1 4202560 3979 0 0 0 36 0 0 0 15 0 19 0 559369825 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15434] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15434/stat : 15434 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 559369826 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15435] ppid=15414 vsize=13632956 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15435/stat : 15435 (java) S 15414 15416 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 559369959 13960146944 113402 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 13632956
[startup+6.30068 s]
/proc/loadavg: 2.13 2.05 2.01 3/525 15435
/proc/meminfo: memFree=20896728/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13630980 CPUtime=7.21 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 145363 0 1 0 701 20 0 0 25 0 19 0 559369819 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3407745 142336 2252 9 0 3398479 0
[pid=15416/tid=15417] ppid=15414 vsize=13630980 CPUtime=6.11 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 111083 0 1 0 596 15 0 0 18 0 19 0 559369820 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505833666 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15416/tid=15419] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15420] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15421] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15422] ppid=15414 vsize=13630980 CPUtime=0.01 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15416 13328 0 -1 4202560 1135 0 0 0 1 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15423] ppid=15414 vsize=13630980 CPUtime=0.01 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15416 13328 0 -1 4202560 3151 0 0 0 1 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15424] ppid=15414 vsize=13630980 CPUtime=0.02 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 3551 0 0 0 2 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13630980 CPUtime=0.03 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 3070 0 0 0 3 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13630980 CPUtime=0.01 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1270 0 0 0 1 0 0 0 18 0 19 0 559369822 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13630980 CPUtime=0.13 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 13764 0 0 0 12 1 0 0 16 0 19 0 559369823 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13630980 CPUtime=0.44 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) S 15414 15416 13328 0 -1 4202560 3199 0 0 0 43 1 0 0 16 0 19 0 559369825 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13630980 CPUtime=0.37 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) S 15414 15416 13328 0 -1 4202560 3985 0 0 0 37 0 0 0 15 0 19 0 559369825 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 142336 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=15416/tid=15424] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 3591 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13630980 CPUtime=0.14 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 3624 0 0 0 14 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13630980 CPUtime=0.11 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1766 0 0 0 11 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13630980 CPUtime=20.95 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 20292 0 0 0 2091 4 0 0 15 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13630980 CPUtime=0.52 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) S 15414 15416 13328 0 -1 4202560 3244 0 0 0 51 1 0 0 15 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13630980 CPUtime=0.4 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) S 15414 15416 13328 0 -1 4202560 3987 0 0 0 40 0 0 0 16 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15434] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15434/stat : 15434 (java) S 15414 15416 13328 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 559369826 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15435] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15435/stat : 15435 (java) S 15414 15416 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 559369959 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1663.84
Current children cumulated vsize (KiB) 13630980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 4/525 16005
/proc/meminfo: memFree=20675660/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13630980 CPUtime=1723.85 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 154553 0 1 0 172358 27 0 0 25 0 19 0 559369819 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3407745 151099 2253 9 0 3398479 0
[pid=15416/tid=15417] ppid=15414 vsize=13630980 CPUtime=1700.06 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 111313 0 1 0 169989 17 0 0 25 0 19 0 559369820 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505833604 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15416/tid=15419] ppid=15414 vsize=13630980 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15416 13328 0 -1 4202560 255 0 0 0 10 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15420] ppid=15414 vsize=13630980 CPUtime=0.11 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15416 13328 0 -1 4202560 408 0 0 0 11 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15421] ppid=15414 vsize=13630980 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15416 13328 0 -1 4202560 397 0 0 0 10 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15422] ppid=15414 vsize=13630980 CPUtime=0.14 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15416 13328 0 -1 4202560 1235 0 0 0 14 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15423] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15416 13328 0 -1 4202560 3187 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15424] ppid=15414 vsize=13630980 CPUtime=0.13 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 3591 0 0 0 13 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13630980 CPUtime=0.15 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 3624 0 0 0 15 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13630980 CPUtime=0.11 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1766 0 0 0 11 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13630980 CPUtime=21.79 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 20296 0 0 0 2175 4 0 0 15 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13630980 CPUtime=0.52 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) S 15414 15416 13328 0 -1 4202560 3244 0 0 0 51 1 0 0 15 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13630980 CPUtime=0.4 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) S 15414 15416 13328 0 -1 4202560 3987 0 0 0 40 0 0 0 16 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15434] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15434/stat : 15434 (java) S 15414 15416 13328 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 559369826 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15435] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15435/stat : 15435 (java) S 15414 15416 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 559369959 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.85
Current children cumulated vsize (KiB) 13630980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/525 16007
/proc/meminfo: memFree=20675256/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13630980 CPUtime=1783.87 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 154565 0 1 0 178360 27 0 0 25 0 19 0 559369819 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3407745 151099 2253 9 0 3398479 0
[pid=15416/tid=15417] ppid=15414 vsize=13630980 CPUtime=1759.31 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 111321 0 1 0 175914 17 0 0 25 0 19 0 559369820 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505833707 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15416/tid=15419] ppid=15414 vsize=13630980 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15416 13328 0 -1 4202560 255 0 0 0 10 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15420] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15416 13328 0 -1 4202560 408 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15421] ppid=15414 vsize=13630980 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15416 13328 0 -1 4202560 397 0 0 0 10 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15422] ppid=15414 vsize=13630980 CPUtime=0.14 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15416 13328 0 -1 4202560 1235 0 0 0 14 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15423] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15416 13328 0 -1 4202560 3187 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15424] ppid=15414 vsize=13630980 CPUtime=0.13 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 3591 0 0 0 13 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13630980 CPUtime=0.15 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 3624 0 0 0 15 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1766 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13630980 CPUtime=22.54 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 20298 0 0 0 2250 4 0 0 15 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13630980 CPUtime=0.52 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) S 15414 15416 13328 0 -1 4202560 3244 0 0 0 51 1 0 0 15 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13630980 CPUtime=0.4 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) S 15414 15416 13328 0 -1 4202560 3987 0 0 0 40 0 0 0 16 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15434] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15434/stat : 15434 (java) S 15414 15416 13328 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 559369826 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15435] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15435/stat : 15435 (java) S 15414 15416 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 559369959 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.87
Current children cumulated vsize (KiB) 13630980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.5 s]
/proc/loadavg: 2.00 2.03 2.00 4/525 16007
/proc/meminfo: memFree=20675376/32951124 swapFree=46575304/67111528
[pid=15416] ppid=15414 vsize=13630980 CPUtime=1800.09 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15416 13328 0 -1 4202496 154571 0 1 0 179982 27 0 0 25 0 19 0 559369819 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15416/statm: 3407745 151099 2253 9 0 3398479 0
[pid=15416/tid=15417] ppid=15414 vsize=13630980 CPUtime=1775.36 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15416 13328 0 -1 4202560 111323 0 1 0 177519 17 0 0 25 0 19 0 559369820 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 46912505808481 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15416/tid=15419] ppid=15414 vsize=13630980 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15416 13328 0 -1 4202560 255 0 0 0 10 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15420] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15416 13328 0 -1 4202560 408 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15421] ppid=15414 vsize=13630980 CPUtime=0.11 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15416 13328 0 -1 4202560 397 0 0 0 11 0 0 0 16 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15422] ppid=15414 vsize=13630980 CPUtime=0.14 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15416 13328 0 -1 4202560 1235 0 0 0 14 0 0 0 16 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15423] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15416 13328 0 -1 4202560 3187 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15424] ppid=15414 vsize=13630980 CPUtime=0.13 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15416 13328 0 -1 4202560 3591 0 0 0 13 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15425] ppid=15414 vsize=13630980 CPUtime=0.15 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15416 13328 0 -1 4202560 3624 0 0 0 15 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15426] ppid=15414 vsize=13630980 CPUtime=0.12 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15416 13328 0 -1 4202560 1766 0 0 0 12 0 0 0 15 0 19 0 559369822 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15427] ppid=15414 vsize=13630980 CPUtime=22.72 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15416 13328 0 -1 4202560 20300 0 0 0 2268 4 0 0 15 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 0 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15428] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15416 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15429] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15416 13328 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 559369823 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15430] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672485809 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15431] ppid=15414 vsize=13630980 CPUtime=0.52 cores=0,2,4,6
/proc/15416/task/15431/stat : 15431 (java) S 15414 15416 13328 0 -1 4202560 3244 0 0 0 51 1 0 0 15 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 2 0 0 0
[pid=15416/tid=15432] ppid=15414 vsize=13630980 CPUtime=0.4 cores=0,2,4,6
/proc/15416/task/15432/stat : 15432 (java) S 15414 15416 13328 0 -1 4202560 3987 0 0 0 40 0 0 0 16 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
[pid=15416/tid=15433] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15433/stat : 15433 (java) S 15414 15416 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559369825 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478105 0 4 0 16800975 18446604451050230016 0 0 -1 4 0 0 0
[pid=15416/tid=15434] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15434/stat : 15434 (java) S 15414 15416 13328 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 559369826 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 0 0 0 0
[pid=15416/tid=15435] ppid=15414 vsize=13630980 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15435/stat : 15435 (java) S 15414 15416 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 559369959 13958123520 151099 33554432000 1073741824 1073778376 140736586159568 18446744073709551615 268672478720 0 4 0 16800975 18446604451050230016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13630980
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): 1798.59
CPU time (s): 1800.18
CPU user time (s): 1799.87
CPU system time (s): 0.306953
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 13632956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.306953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154606
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= 43729
involuntary context switches= 8335
runsolver used 9.42457 second user time and 19.854 second system time
The end