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-3458688-1307155427/watcher-3458688-1307155427 -o /tmp/evaluation-result-3458688-1307155427/solver-3458688-1307155427 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458688-1307155427.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.08 2.08 2.04 2/544 3788
/proc/meminfo: memFree=21999320/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 807958564 31268864 962 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 7634 962 736 9 0 385 0
[pid=3788/tid=3789] ppid=3786 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 7904 0 1 0 0 0 0 0 25 0 2 0 807958565 13850947584 8719 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.136316 s]
/proc/loadavg: 2.08 2.08 2.04 2/544 3788
/proc/meminfo: memFree=21999320/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13621772 CPUtime=0.15 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 16099 0 1 0 13 2 0 0 25 0 18 0 807958564 13948694528 15788 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3405443 15788 2137 9 0 3396177 0
[pid=3788/tid=3789] ppid=3786 vsize=13621772 CPUtime=0.11 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 14062 0 1 0 10 1 0 0 25 0 18 0 807958565 13948694528 15788 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13621772
[startup+0.200224 s]
/proc/loadavg: 2.08 2.08 2.04 2/544 3788
/proc/meminfo: memFree=21999320/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13621772 CPUtime=0.26 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 16647 0 1 0 24 2 0 0 25 0 18 0 807958564 13948694528 16303 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3405443 16304 2180 9 0 3396177 0
[pid=3788/tid=3789] ppid=3786 vsize=13621772 CPUtime=0.18 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 14452 0 1 0 17 1 0 0 25 0 18 0 807958565 13948694528 16304 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505219208 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) 13621772
[startup+0.300208 s]
/proc/loadavg: 2.08 2.08 2.04 2/544 3788
/proc/meminfo: memFree=21999320/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13623060 CPUtime=0.5 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 19031 0 1 0 47 3 0 0 25 0 18 0 807958564 13950013440 18297 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3405765 18298 2202 9 0 3396499 0
[pid=3788/tid=3789] ppid=3786 vsize=13623060 CPUtime=0.28 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 15775 0 1 0 26 2 0 0 25 0 18 0 807958565 13950013440 18298 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505546334 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623060
[startup+0.70117 s]
/proc/loadavg: 2.08 2.08 2.04 2/544 3788
/proc/meminfo: memFree=21999320/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13625808 CPUtime=1.15 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 57982 0 1 0 108 7 0 0 25 0 18 0 807958564 13952827392 55770 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406452 55775 2214 9 0 3397186 0
[pid=3788/tid=3789] ppid=3786 vsize=13625808 CPUtime=0.68 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 51765 0 1 0 62 6 0 0 25 0 18 0 807958565 13952827392 55778 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505614862 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13625808
[startup+1.50103 s]
/proc/loadavg: 2.08 2.08 2.04 4/562 3806
/proc/meminfo: memFree=21708280/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13626988 CPUtime=2.29 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 78304 0 1 0 218 11 0 0 25 0 19 0 807958564 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406747 76033 2234 9 0 3397481 0
[pid=3788/tid=3789] ppid=3786 vsize=13626988 CPUtime=1.48 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 71937 0 1 0 139 9 0 0 25 0 19 0 807958565 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505760565 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3788/tid=3791] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3791/stat : 3791 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3792] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3792/stat : 3792 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3793] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3793/stat : 3793 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3794] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3794/stat : 3794 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3795] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3795/stat : 3795 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3796] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 807958568 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807958568 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958568 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13626988 CPUtime=0.42 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 2717 0 0 0 42 0 0 0 18 0 19 0 807958570 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13626988 CPUtime=0.35 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2490 0 0 0 35 0 0 0 18 0 19 0 807958570 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3806] ppid=3786 vsize=13626988 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3806/stat : 3806 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807958570 13954035712 76033 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13626988
[startup+3.10074 s]
/proc/loadavg: 2.08 2.08 2.04 3/563 3807
/proc/meminfo: memFree=21698972/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13626836 CPUtime=4.04 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 79059 0 1 0 393 11 0 0 25 0 19 0 807958564 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406709 76577 2236 9 0 3397443 0
[pid=3788/tid=3789] ppid=3786 vsize=13626836 CPUtime=3.08 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 72468 0 1 0 299 9 0 0 25 0 19 0 807958565 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505856647 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3788/tid=3791] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3791/stat : 3791 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3792] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3792/stat : 3792 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3793] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3793/stat : 3793 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3794] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3794/stat : 3794 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3795] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3795/stat : 3795 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3796] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 807958568 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807958568 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958568 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13626836 CPUtime=0.48 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 2871 0 0 0 48 0 0 0 15 0 19 0 807958570 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13626836 CPUtime=0.45 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2559 0 0 0 45 0 0 0 15 0 19 0 807958570 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3806] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3806/stat : 3806 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807958570 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3807] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3807/stat : 3807 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958679 13953880064 76577 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 13626836
[startup+6.30118 s]
/proc/loadavg: 2.07 2.08 2.04 3/563 3807
/proc/meminfo: memFree=21694348/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13626836 CPUtime=7.25 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 80223 0 1 0 713 12 0 0 25 0 19 0 807958564 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406709 77387 2236 9 0 3397443 0
[pid=3788/tid=3789] ppid=3786 vsize=13626836 CPUtime=6.28 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 73629 0 1 0 618 10 0 0 25 0 19 0 807958565 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505798814 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3788/tid=3791] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3791/stat : 3791 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3792] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3792/stat : 3792 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3793] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3793/stat : 3793 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3794] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3794/stat : 3794 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3795] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3795/stat : 3795 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3796] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958567 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 807958568 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807958568 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958568 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13626836 CPUtime=0.49 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 2873 0 0 0 49 0 0 0 15 0 19 0 807958570 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13626836 CPUtime=0.45 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2560 0 0 0 45 0 0 0 16 0 19 0 807958570 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 77387 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=3788/tid=3796] ppid=3786 vsize=13626836 CPUtime=0.03 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 8579 0 0 0 2 1 0 0 18 0 19 0 807958567 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13626836 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 14875 0 0 0 2 2 0 0 18 0 19 0 807958567 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13626836 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 4099 0 0 0 3 1 0 0 18 0 19 0 807958567 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13626836 CPUtime=0.11 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 28504 0 0 0 9 2 0 0 15 0 19 0 807958568 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807958568 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807958568 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13626836 CPUtime=0.53 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 2899 0 0 0 53 0 0 0 15 0 19 0 807958570 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13626836 CPUtime=0.54 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2838 0 0 0 54 0 0 0 15 0 19 0 807958570 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3806] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3806/stat : 3806 (java) S 3786 3788 32714 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807958570 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3807] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3807/stat : 3807 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958679 13953880064 459427 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.51
Current children cumulated vsize (KiB) 13626836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/563 3911
/proc/meminfo: memFree=20987280/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13626836 CPUtime=1783.51 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 462678 0 1 0 178291 60 0 0 25 0 19 0 807958564 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406709 459431 2264 9 0 3397443 0
[pid=3788/tid=3789] ppid=3786 vsize=13626836 CPUtime=1782.15 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 399575 0 1 0 178164 51 0 0 25 0 19 0 807958565 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505839592 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3788/tid=3791] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3791/stat : 3791 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3792] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3792/stat : 3792 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3793] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3793/stat : 3793 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3794] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3794/stat : 3794 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3795] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3795/stat : 3795 (java) S 3786 3788 32714 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3796] ppid=3786 vsize=13626836 CPUtime=0.03 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 8579 0 0 0 2 1 0 0 18 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13626836 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 14875 0 0 0 2 2 0 0 18 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13626836 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 4099 0 0 0 3 1 0 0 18 0 19 0 807958567 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13626836 CPUtime=0.11 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 28504 0 0 0 9 2 0 0 15 0 19 0 807958568 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807958568 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807958568 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13626836 CPUtime=0.53 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 2901 0 0 0 53 0 0 0 15 0 19 0 807958570 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13626836 CPUtime=0.54 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2838 0 0 0 54 0 0 0 15 0 19 0 807958570 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3806] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3806/stat : 3806 (java) S 3786 3788 32714 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807958570 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3807] ppid=3786 vsize=13626836 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3807/stat : 3807 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958679 13953880064 459431 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (KiB) 13626836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/563 3912
/proc/meminfo: memFree=20978448/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13627500 CPUtime=1800.06 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 462923 0 1 0 179945 61 0 0 25 0 19 0 807958564 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406875 459575 2264 9 0 3397609 0
[pid=3788/tid=3789] ppid=3786 vsize=13627500 CPUtime=1798.67 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 399579 0 1 0 179816 51 0 0 25 0 19 0 807958565 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505839615 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3788/tid=3791] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3791/stat : 3791 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3792] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3792/stat : 3792 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3793] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3793/stat : 3793 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3794] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3794/stat : 3794 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3795] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3795/stat : 3795 (java) S 3786 3788 32714 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3796] ppid=3786 vsize=13627500 CPUtime=0.03 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 8579 0 0 0 2 1 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13627500 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 14875 0 0 0 2 2 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13627500 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 4099 0 0 0 3 1 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13627500 CPUtime=0.11 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 28505 0 0 0 9 2 0 0 15 0 19 0 807958568 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807958568 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807958568 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13627500 CPUtime=0.57 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 3141 0 0 0 57 0 0 0 15 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13627500 CPUtime=0.54 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2838 0 0 0 54 0 0 0 15 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3806] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3806/stat : 3806 (java) S 3786 3788 32714 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3807] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3807/stat : 3807 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958679 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13627500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/563 3912
/proc/meminfo: memFree=20978448/32951124 swapFree=64303760/67111528
[pid=3788] ppid=3786 vsize=13627500 CPUtime=1800.06 cores=1,3,5,7
/proc/3788/stat : 3788 (java) S 3786 3788 32714 0 -1 4202496 462923 0 1 0 179945 61 0 0 25 0 19 0 807958564 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3788/statm: 3406875 459575 2264 9 0 3397609 0
[pid=3788/tid=3789] ppid=3786 vsize=13627500 CPUtime=1798.67 cores=1,3,5,7
/proc/3788/task/3789/stat : 3789 (java) R 3786 3788 32714 0 -1 4202560 399579 0 1 0 179816 51 0 0 25 0 19 0 807958565 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 46912505839615 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3788/tid=3791] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3791/stat : 3791 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3792] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3792/stat : 3792 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3793] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3793/stat : 3793 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3794] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3794/stat : 3794 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3795] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3795/stat : 3795 (java) S 3786 3788 32714 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3796] ppid=3786 vsize=13627500 CPUtime=0.03 cores=1,3,5,7
/proc/3788/task/3796/stat : 3796 (java) S 3786 3788 32714 0 -1 4202560 8579 0 0 0 2 1 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3797] ppid=3786 vsize=13627500 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3797/stat : 3797 (java) S 3786 3788 32714 0 -1 4202560 14875 0 0 0 2 2 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3798] ppid=3786 vsize=13627500 CPUtime=0.04 cores=1,3,5,7
/proc/3788/task/3798/stat : 3798 (java) S 3786 3788 32714 0 -1 4202560 4099 0 0 0 3 1 0 0 18 0 19 0 807958567 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3799] ppid=3786 vsize=13627500 CPUtime=0.11 cores=1,3,5,7
/proc/3788/task/3799/stat : 3799 (java) S 3786 3788 32714 0 -1 4202560 28505 0 0 0 9 2 0 0 15 0 19 0 807958568 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 0 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3800] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3800/stat : 3800 (java) S 3786 3788 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807958568 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3801] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3801/stat : 3801 (java) S 3786 3788 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807958568 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3802] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3802/stat : 3802 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522121137 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3803] ppid=3786 vsize=13627500 CPUtime=0.57 cores=1,3,5,7
/proc/3788/task/3803/stat : 3803 (java) S 3786 3788 32714 0 -1 4202560 3141 0 0 0 57 0 0 0 15 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 1 0 0 0
[pid=3788/tid=3804] ppid=3786 vsize=13627500 CPUtime=0.54 cores=1,3,5,7
/proc/3788/task/3804/stat : 3804 (java) S 3786 3788 32714 0 -1 4202560 2838 0 0 0 54 0 0 0 15 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 7 0 0 0
[pid=3788/tid=3805] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3805/stat : 3805 (java) S 3786 3788 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522113433 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
[pid=3788/tid=3806] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3806/stat : 3806 (java) S 3786 3788 32714 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807958570 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 3 0 0 0
[pid=3788/tid=3807] ppid=3786 vsize=13627500 CPUtime=0 cores=1,3,5,7
/proc/3788/task/3807/stat : 3807 (java) S 3786 3788 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807958679 13954560000 459575 33554432000 1073741824 1073778376 140734073410192 18446744073709551615 233522114048 0 4 0 16800975 18446604464752622592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13627500
Child status: 143
Real time (s): 1798.91
CPU time (s): 1800.18
CPU user time (s): 1799.49
CPU system time (s): 0.688895
CPU usage (%): 100.07
Max. virtual memory (cumulated for all children) (KiB): 13628372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.688895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462952
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= 36765
involuntary context switches= 21875
runsolver used 8.98163 second user time and 22.2516 second system time
The end