runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4081364-1465231753/watcher-4081364-1465231753 -o /tmp/evaluation-result-4081364-1465231753/solver-4081364-1465231753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12333 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081364-1465231753.opb
pid=15027
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: 3.94 4.07 4.08 4/197 15030
/proc/meminfo: memFree=29102784/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (java) D 15027 15030 12316 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 105108536 9515008 183 33554432000 1073741824 1073778376 140733655270816 140733655261848 262962757301 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/15030/statm: 2323 183 140 9 0 71 0
[startup+0.100097 s]
/proc/loadavg: 3.94 4.07 4.08 4/197 15030
/proc/meminfo: memFree=29102784/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 4420 0 1 0 7 1 0 0 20 0 18 0 105108536 9787879424 6048 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200225 s]
/proc/loadavg: 3.94 4.07 4.08 4/197 15030
/proc/meminfo: memFree=29102784/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 5892 0 1 0 26 2 0 0 20 0 22 0 105108536 10060525568 8580 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 8580 2222 9 0 2446860 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732
[startup+0.300235 s]
/proc/loadavg: 3.94 4.07 4.08 4/197 15030
/proc/meminfo: memFree=29102784/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 9561 0 1 0 66 3 0 0 20 0 22 0 105108536 10060525568 11261 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 11261 2233 9 0 2446860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824732
[startup+0.700198 s]
/proc/loadavg: 3.94 4.07 4.08 4/197 15030
/proc/meminfo: memFree=29102784/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 20727 0 1 0 221 5 0 0 20 0 22 0 105108536 10060525568 24896 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 24896 2254 9 0 2446860 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9824732
[startup+1.50093 s]
/proc/loadavg: 3.94 4.07 4.08 7/219 15052
/proc/meminfo: memFree=28912316/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=4.95 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 27363 0 1 0 487 8 0 0 20 0 22 0 105108536 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 51547 2278 9 0 2446860 0
[pid=15030/tid=15032] ppid=15027 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/15030/task/15032/stat : 15032 (java) S 15027 15030 12316 0 -1 4202560 2425 0 1 0 11 2 0 0 20 0 22 0 105108537 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688868340600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15033] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15033/stat : 15033 (java) S 15027 15030 12316 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688840792360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15034] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15034/stat : 15034 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688839739560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15035] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15035/stat : 15035 (java) S 15027 15030 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688838687272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15036] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15036/stat : 15036 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688837634472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15037] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15037/stat : 15037 (java) S 15027 15030 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688836582184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15038] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15038/stat : 15038 (java) S 15027 15030 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688835529384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15039] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15039/stat : 15039 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688706022440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15040] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15040/stat : 15040 (java) S 15027 15030 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688704969640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15041] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15041/stat : 15041 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688222021864 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15042] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15042/stat : 15042 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688220967928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15043] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15043/stat : 15043 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688219915528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15044] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15044/stat : 15044 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688218864016 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15045] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/15030/task/15045/stat : 15045 (java) S 15027 15030 12316 0 -1 4202560 9745 0 0 0 105 2 0 0 20 0 22 0 105108542 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688217811640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15046] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/15030/task/15046/stat : 15046 (java) S 15027 15030 12316 0 -1 4202560 13747 0 0 0 105 2 0 0 20 0 22 0 105108542 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688216758840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15047] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15047/stat : 15047 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688215706744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15048] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15048/stat : 15048 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688214654152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15049] ppid=15027 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/15030/task/15049/stat : 15049 (java) R 15027 15030 12316 0 -1 4202560 32 0 0 0 130 0 0 0 20 0 22 0 105108553 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688213596640 140688717487535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15050] ppid=15027 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/15030/task/15050/stat : 15050 (java) R 15027 15030 12316 0 -1 4202560 104 0 0 0 128 2 0 0 20 0 22 0 105108553 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688212544480 140688717626908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15051] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15051/stat : 15051 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688211494056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15052] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15052/stat : 15052 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 51547 33554432000 1073741824 1073778376 140735993834496 140688210441256 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 3.94 4.07 4.08 5/219 15052
/proc/meminfo: memFree=28901456/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=8.18 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 27380 0 1 0 809 9 0 0 20 0 22 0 105108536 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 53596 2278 9 0 2446860 0
[pid=15030/tid=15032] ppid=15027 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/15030/task/15032/stat : 15032 (java) S 15027 15030 12316 0 -1 4202560 2425 0 1 0 11 2 0 0 20 0 22 0 105108537 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688868340600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15033] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15033/stat : 15033 (java) S 15027 15030 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688840792360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15034] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15034/stat : 15034 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688839739560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15035] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15035/stat : 15035 (java) S 15027 15030 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688838687272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15036] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15036/stat : 15036 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688837634472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15037] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15037/stat : 15037 (java) S 15027 15030 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688836582184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15038] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15038/stat : 15038 (java) S 15027 15030 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688835529384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15039] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15039/stat : 15039 (java) S 15027 15030 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688706022440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15040] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15040/stat : 15040 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688704969640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15041] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15041/stat : 15041 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688222021864 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15042] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15042/stat : 15042 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688220967928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15043] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15043/stat : 15043 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688219915528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15044] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15044/stat : 15044 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688218864016 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15045] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/15030/task/15045/stat : 15045 (java) S 15027 15030 12316 0 -1 4202560 9745 0 0 0 105 2 0 0 20 0 22 0 105108542 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688217811640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15046] ppid=15027 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/15030/task/15046/stat : 15046 (java) S 15027 15030 12316 0 -1 4202560 13747 0 0 0 107 2 0 0 20 0 22 0 105108542 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688216758840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15047] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15047/stat : 15047 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688215706744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15048] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15048/stat : 15048 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688214654152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15049] ppid=15027 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/15030/task/15049/stat : 15049 (java) R 15027 15030 12316 0 -1 4202560 32 0 0 0 288 0 0 0 20 0 22 0 105108553 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688213596640 140688717523628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15050] ppid=15027 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/15030/task/15050/stat : 15050 (java) R 15027 15030 12316 0 -1 4202560 106 0 0 0 286 2 0 0 20 0 22 0 105108553 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688212544608 140688717811140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15051] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15051/stat : 15051 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688211494056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15052] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15052/stat : 15052 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 53596 33554432000 1073741824 1073778376 140735993834496 140688210441256 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 3.95 4.07 4.08 5/219 15052
/proc/meminfo: memFree=28891532/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=14.59 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 27494 0 1 0 1446 13 0 0 20 0 22 0 105108536 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 58135 2278 9 0 2446860 0
[pid=15030/tid=15032] ppid=15027 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/15030/task/15032/stat : 15032 (java) S 15027 15030 12316 0 -1 4202560 2425 0 1 0 11 2 0 0 20 0 22 0 105108537 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688868340600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15033] ppid=15027 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/15030/task/15033/stat : 15033 (java) S 15027 15030 12316 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688840792360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15034] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15034/stat : 15034 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688839739560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15035] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15035/stat : 15035 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688838687272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15036] ppid=15027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/15030/task/15036/stat : 15036 (java) S 15027 15030 12316 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688837634472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15037] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15037/stat : 15037 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688836582184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15038] ppid=15027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/15030/task/15038/stat : 15038 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688835529384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15039] ppid=15027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/15030/task/15039/stat : 15039 (java) S 15027 15030 12316 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688706022440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15040] ppid=15027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/15030/task/15040/stat : 15040 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 105108538 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688704969640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15041] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15041/stat : 15041 (java) S 15027 15030 12316 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688222021864 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15042] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15042/stat : 15042 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688220967928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15043] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15043/stat : 15043 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688219915528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15044] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15044/stat : 15044 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 58135 33554432000 1073741824 1073778376 140735993834496 140688218864016 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15045] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.17 4.10 4.09 5/219 15167
/proc/meminfo: memFree=30760172/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=1647.92 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 34547 0 1 0 164689 103 0 0 20 0 22 0 105108536 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 105215 2287 9 0 2446860 0
[pid=15030/tid=15032] ppid=15027 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/15030/task/15032/stat : 15032 (java) S 15027 15030 12316 0 -1 4202560 2426 0 1 0 14 3 0 0 20 0 22 0 105108537 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688868340600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15033] ppid=15027 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/15030/task/15033/stat : 15033 (java) S 15027 15030 12316 0 -1 4202560 299 0 0 0 58 7 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688840792360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15034] ppid=15027 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/15030/task/15034/stat : 15034 (java) S 15027 15030 12316 0 -1 4202560 308 0 0 0 58 6 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688839739560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15035] ppid=15027 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/15030/task/15035/stat : 15035 (java) S 15027 15030 12316 0 -1 4202560 631 0 0 0 59 6 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688838687272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15036] ppid=15027 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/15030/task/15036/stat : 15036 (java) S 15027 15030 12316 0 -1 4202560 361 0 0 0 61 6 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688837634472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15037] ppid=15027 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/15030/task/15037/stat : 15037 (java) S 15027 15030 12316 0 -1 4202560 596 0 0 0 60 7 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688836582184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15038] ppid=15027 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/15030/task/15038/stat : 15038 (java) S 15027 15030 12316 0 -1 4202560 317 0 0 0 55 6 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688835529384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15039] ppid=15027 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/15030/task/15039/stat : 15039 (java) S 15027 15030 12316 0 -1 4202560 344 0 0 0 55 5 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688706022440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15040] ppid=15027 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/15030/task/15040/stat : 15040 (java) S 15027 15030 12316 0 -1 4202560 610 0 0 0 64 7 0 0 20 0 22 0 105108538 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688704969640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15041] ppid=15027 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/15030/task/15041/stat : 15041 (java) S 15027 15030 12316 0 -1 4202560 295 0 0 0 20 22 0 0 20 0 22 0 105108540 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688222021864 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15042] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15042/stat : 15042 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688220967928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15043] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15043/stat : 15043 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688219915528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15044] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15044/stat : 15044 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688218864016 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15045] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/15030/task/15045/stat : 15045 (java) S 15027 15030 12316 0 -1 4202560 9745 0 0 0 105 2 0 0 20 0 22 0 105108542 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688217811640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15046] ppid=15027 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15030/task/15046/stat : 15046 (java) S 15027 15030 12316 0 -1 4202560 13752 0 0 0 114 2 0 0 20 0 22 0 105108542 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688216758840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15047] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15047/stat : 15047 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688215706744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15048] ppid=15027 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/15030/task/15048/stat : 15048 (java) S 15027 15030 12316 0 -1 4202560 49 0 0 0 12 19 0 0 20 0 22 0 105108542 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688214654152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15049] ppid=15027 vsize=9824732 CPUtime=819.82 cores=1,3,5,7
/proc/15030/task/15049/stat : 15049 (java) R 15027 15030 12316 0 -1 4202560 161 0 0 0 81966 16 0 0 20 0 22 0 105108553 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688213589776 140688717522499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15050] ppid=15027 vsize=9824732 CPUtime=819.98 cores=1,3,5,7
/proc/15030/task/15050/stat : 15050 (java) R 15027 15030 12316 0 -1 4202560 3387 0 0 0 81978 20 0 0 20 0 22 0 105108553 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688212544544 140688717564822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15051] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15051/stat : 15051 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688211494056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15052] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15052/stat : 15052 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 105215 33554432000 1073741824 1073778376 140735993834496 140688210441256 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1647.92
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.12 4.09 4.09 5/219 15168
/proc/meminfo: memFree=30776412/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=1767.94 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 35030 0 1 0 176688 106 0 0 20 0 22 0 105108536 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 105190 2287 9 0 2446860 0
[pid=15030/tid=15032] ppid=15027 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/15030/task/15032/stat : 15032 (java) S 15027 15030 12316 0 -1 4202560 2426 0 1 0 14 4 0 0 20 0 22 0 105108537 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688868340600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15033] ppid=15027 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/15030/task/15033/stat : 15033 (java) S 15027 15030 12316 0 -1 4202560 330 0 0 0 59 7 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688840792360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15034] ppid=15027 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/15030/task/15034/stat : 15034 (java) S 15027 15030 12316 0 -1 4202560 308 0 0 0 59 6 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688839739560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15035] ppid=15027 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/15030/task/15035/stat : 15035 (java) S 15027 15030 12316 0 -1 4202560 971 0 0 0 62 6 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688838687272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15036] ppid=15027 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/15030/task/15036/stat : 15036 (java) S 15027 15030 12316 0 -1 4202560 418 0 0 0 62 6 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688837634472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15037] ppid=15027 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/15030/task/15037/stat : 15037 (java) S 15027 15030 12316 0 -1 4202560 598 0 0 0 61 7 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688836582184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15038] ppid=15027 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/15030/task/15038/stat : 15038 (java) S 15027 15030 12316 0 -1 4202560 325 0 0 0 56 6 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688835529384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15039] ppid=15027 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/15030/task/15039/stat : 15039 (java) S 15027 15030 12316 0 -1 4202560 344 0 0 0 55 5 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688706022440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15040] ppid=15027 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/15030/task/15040/stat : 15040 (java) S 15027 15030 12316 0 -1 4202560 646 0 0 0 66 7 0 0 20 0 22 0 105108538 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688704969640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15041] ppid=15027 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/15030/task/15041/stat : 15041 (java) S 15027 15030 12316 0 -1 4202560 299 0 0 0 20 22 0 0 20 0 22 0 105108540 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688222021864 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15042] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15042/stat : 15042 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688220967928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15043] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15043/stat : 15043 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688219915528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15044] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15044/stat : 15044 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688218864016 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15045] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/15030/task/15045/stat : 15045 (java) S 15027 15030 12316 0 -1 4202560 9745 0 0 0 105 2 0 0 20 0 22 0 105108542 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688217811640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15046] ppid=15027 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15030/task/15046/stat : 15046 (java) S 15027 15030 12316 0 -1 4202560 13752 0 0 0 114 2 0 0 20 0 22 0 105108542 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688216758840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15047] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15047/stat : 15047 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688215706744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15048] ppid=15027 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/15030/task/15048/stat : 15048 (java) S 15027 15030 12316 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 105108542 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688214654152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15049] ppid=15027 vsize=9824732 CPUtime=879.77 cores=1,3,5,7
/proc/15030/task/15049/stat : 15049 (java) R 15027 15030 12316 0 -1 4202560 161 0 0 0 87960 17 0 0 20 0 22 0 105108553 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688213589776 140688717523413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15050] ppid=15027 vsize=9824732 CPUtime=879.95 cores=1,3,5,7
/proc/15030/task/15050/stat : 15050 (java) R 15027 15030 12316 0 -1 4202560 3390 0 0 0 87974 21 0 0 20 0 22 0 105108553 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688212544544 140688717564854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15051] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15051/stat : 15051 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688211494056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15052] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15052/stat : 15052 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 105190 33554432000 1073741824 1073778376 140735993834496 140688210441256 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.94
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.401 s]
/proc/loadavg: 4.10 4.09 4.08 5/219 15168
/proc/meminfo: memFree=30690836/32872528 swapFree=11320/319964
[pid=15030] ppid=15027 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/15030/stat : 15030 (java) S 15027 15030 12316 0 -1 4202496 35461 0 1 0 179912 107 0 0 20 0 22 0 105108536 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140735993825632 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15030/statm: 2456183 105608 2287 9 0 2446860 0
[pid=15030/tid=15032] ppid=15027 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/15030/task/15032/stat : 15032 (java) S 15027 15030 12316 0 -1 4202560 2426 0 1 0 14 4 0 0 20 0 22 0 105108537 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688868340600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15033] ppid=15027 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/15030/task/15033/stat : 15033 (java) S 15027 15030 12316 0 -1 4202560 574 0 0 0 62 7 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688840792360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15034] ppid=15027 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/15030/task/15034/stat : 15034 (java) S 15027 15030 12316 0 -1 4202560 363 0 0 0 61 6 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688839739560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15035] ppid=15027 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/15030/task/15035/stat : 15035 (java) S 15027 15030 12316 0 -1 4202560 980 0 0 0 63 6 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688838687272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15036] ppid=15027 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/15030/task/15036/stat : 15036 (java) S 15027 15030 12316 0 -1 4202560 508 0 0 0 65 6 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688837634472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15030/tid=15037] ppid=15027 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/15030/task/15037/stat : 15037 (java) S 15027 15030 12316 0 -1 4202560 616 0 0 0 63 7 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688836582184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15038] ppid=15027 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/15030/task/15038/stat : 15038 (java) S 15027 15030 12316 0 -1 4202560 325 0 0 0 59 6 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688835529384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15039] ppid=15027 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/15030/task/15039/stat : 15039 (java) S 15027 15030 12316 0 -1 4202560 344 0 0 0 56 5 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688706022440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15040] ppid=15027 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/15030/task/15040/stat : 15040 (java) S 15027 15030 12316 0 -1 4202560 646 0 0 0 67 7 0 0 20 0 22 0 105108538 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688704969640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15041] ppid=15027 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/15030/task/15041/stat : 15041 (java) S 15027 15030 12316 0 -1 4202560 308 0 0 0 20 22 0 0 20 0 22 0 105108540 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688222021864 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15042] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15042/stat : 15042 (java) S 15027 15030 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688220967928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15043] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15043/stat : 15043 (java) S 15027 15030 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105108540 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688219915528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15044] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15044/stat : 15044 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688218864016 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15045] ppid=15027 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/15030/task/15045/stat : 15045 (java) S 15027 15030 12316 0 -1 4202560 9745 0 0 0 105 2 0 0 20 0 22 0 105108542 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688217811640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15030/tid=15046] ppid=15027 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15030/task/15046/stat : 15046 (java) S 15027 15030 12316 0 -1 4202560 13752 0 0 0 114 2 0 0 20 0 22 0 105108542 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688216758840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15047] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15047/stat : 15047 (java) S 15027 15030 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105108542 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688215706744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15048] ppid=15027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/15030/task/15048/stat : 15048 (java) S 15027 15030 12316 0 -1 4202560 53 0 0 0 12 21 0 0 20 0 22 0 105108542 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688214654152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15049] ppid=15027 vsize=9824732 CPUtime=895.8 cores=1,3,5,7
/proc/15030/task/15049/stat : 15049 (java) R 15027 15030 12316 0 -1 4202560 161 0 0 0 89563 17 0 0 20 0 22 0 105108553 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688213596640 140688717522534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15030/tid=15050] ppid=15027 vsize=9824732 CPUtime=896 cores=1,3,5,7
/proc/15030/task/15050/stat : 15050 (java) R 15027 15030 12316 0 -1 4202560 3394 0 0 0 89579 21 0 0 20 0 22 0 105108553 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688212544592 140688717626877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15051] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15051/stat : 15051 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688211494056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15030/tid=15052] ppid=15027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15030/task/15052/stat : 15052 (java) S 15027 15030 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105108554 10060525568 105608 33554432000 1073741824 1073778376 140735993834496 140688210441256 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15030 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.442
CPU time (s): 1800.81
CPU user time (s): 1799.26
CPU system time (s): 1.55276
CPU usage (%): 200.437
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 1.55276
maximum resident set size= 518920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35504
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27159
involuntary context switches= 24082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82311 second user time and 7.39387 second system time
The end