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-4116430-1466949496/watcher-4116430-1466949496 -o /tmp/evaluation-result-4116430-1466949496/solver-4116430-1466949496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116430-1466949496.opb
pid=18879
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: 4.47 4.37 4.19 5/197 18882
/proc/meminfo: memFree=27079324/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18882/stat : 18882 (java) D 18879 18882 18126 0 -1 4202496 521 0 0 0 0 0 0 0 20 0 1 0 27988918 9515008 175 33554432000 1073741824 1073778376 140734408743328 140734408726056 266435642256 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2323 175 133 9 0 71 0
[startup+0.100061 s]
/proc/loadavg: 4.47 4.37 4.19 5/197 18882
/proc/meminfo: memFree=27079324/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 4426 0 1 0 8 1 0 0 20 0 18 0 27988918 9787879424 6048 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200224 s]
/proc/loadavg: 4.47 4.37 4.19 5/197 18882
/proc/meminfo: memFree=27079324/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 4715 0 1 0 23 1 0 0 20 0 18 0 27988918 9787879424 6796 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2389619 6796 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300224 s]
/proc/loadavg: 4.47 4.37 4.19 5/197 18882
/proc/meminfo: memFree=27079324/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 5835 0 1 0 47 1 0 0 20 0 18 0 27988918 9787879424 8985 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2389619 8985 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700203 s]
/proc/loadavg: 4.47 4.37 4.19 5/197 18882
/proc/meminfo: memFree=27079324/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 17459 0 1 0 180 4 0 0 20 0 22 0 27988918 10060525568 26131 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 26131 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732
[startup+1.50088 s]
/proc/loadavg: 4.47 4.37 4.19 8/219 18904
/proc/meminfo: memFree=26953264/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 21801 0 1 0 478 7 0 0 20 0 22 0 27988918 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 48540 2292 9 0 2446860 0
[pid=18882/tid=18884] ppid=18879 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18882 18126 0 -1 4202560 2439 0 1 0 42 2 0 0 20 0 22 0 27988919 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353298113400 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18885] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18882 18126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353142164264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18886] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353141111464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18887] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18882 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353140059176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18888] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353139006376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18889] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18882 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353137953064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18890] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353136900264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18891] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353135847976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18892] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18882 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353134795176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18893] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18882 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353122384616 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18894] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18882 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353121330680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18895] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18882 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353120278280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18896] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353119226768 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18897] ppid=18879 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/18882/task/18897/stat : 18897 (java) R 18879 18882 18126 0 -1 4202560 8065 0 0 0 120 1 0 0 20 0 22 0 27988924 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353118173368 140353300586069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18898] ppid=18879 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/18882/task/18898/stat : 18898 (java) R 18879 18882 18126 0 -1 4202560 9891 0 0 0 110 2 0 0 20 0 22 0 27988924 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353117120568 140353304073352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18899] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18899/stat : 18899 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353116068472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18900] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18900/stat : 18900 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353115015880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18901] ppid=18879 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/18882/task/18901/stat : 18901 (java) R 18879 18882 18126 0 -1 4202560 20 0 0 0 99 0 0 0 20 0 22 0 27988966 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353113542264 140353170550348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18902] ppid=18879 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/18882/task/18902/stat : 18902 (java) R 18879 18882 18126 0 -1 4202560 75 0 0 0 96 2 0 0 20 0 22 0 27988966 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353112490232 140353171376491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18903] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18903/stat : 18903 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353111439016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18904] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18904/stat : 18904 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 48540 33554432000 1073741824 1073778376 140734408743328 140353110386216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 4.59 4.40 4.20 5/219 18904
/proc/meminfo: memFree=26872648/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=8.45 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 23126 0 1 0 829 16 0 0 20 0 22 0 27988918 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 86495 2292 9 0 2446860 0
[pid=18882/tid=18884] ppid=18879 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18882 18126 0 -1 4202560 2439 0 1 0 42 2 0 0 20 0 22 0 27988919 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353298113400 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18885] ppid=18879 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) R 18879 18882 18126 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353142164440 140353300584113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18886] ppid=18879 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) R 18879 18882 18126 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353141111464 140353301869708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18887] ppid=18879 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) R 18879 18882 18126 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353140059352 140353305009068 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18888] ppid=18879 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) R 18879 18882 18126 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353139006552 140353300584137 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18889] ppid=18879 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) R 18879 18882 18126 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353137953064 140353302288512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18890] ppid=18879 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) R 18879 18882 18126 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353136900440 140353300584129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18891] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) R 18879 18882 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353135847976 266439013436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18892] ppid=18879 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) R 18879 18882 18126 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 27988920 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353134795176 140353305009068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18893] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18882 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353122383496 266439013436 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18894] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18882 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353121330680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18895] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18882 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353120278280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18896] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353119226768 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18897] ppid=18879 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/18882/task/18897/stat : 18897 (java) S 18879 18882 18126 0 -1 4202560 8065 0 0 0 130 1 0 0 20 0 22 0 27988924 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353118173368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18898] ppid=18879 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/18882/task/18898/stat : 18898 (java) S 18879 18882 18126 0 -1 4202560 11001 0 0 0 129 3 0 0 20 0 22 0 27988924 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353117120568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18899] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18899/stat : 18899 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353116068472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18900] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18900/stat : 18900 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353115015880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18901] ppid=18879 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/18882/task/18901/stat : 18901 (java) S 18879 18882 18126 0 -1 4202560 20 0 0 0 251 0 0 0 20 0 22 0 27988966 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353113541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18902] ppid=18879 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/18882/task/18902/stat : 18902 (java) S 18879 18882 18126 0 -1 4202560 128 0 0 0 245 4 0 0 20 0 22 0 27988966 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353112488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18903] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18903/stat : 18903 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353111439016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18904] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18904/stat : 18904 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 86495 33554432000 1073741824 1073778376 140734408743328 140353110386216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 9824732
[startup+6.30091 s]
/proc/loadavg: 4.59 4.40 4.20 5/219 18904
/proc/meminfo: memFree=26456724/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=15.01 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 23958 0 1 0 1475 26 0 0 20 0 22 0 27988918 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 157090 2292 9 0 2446860 0
[pid=18882/tid=18884] ppid=18879 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18882 18126 0 -1 4202560 2439 0 1 0 42 2 0 0 20 0 22 0 27988919 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353298113400 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18885] ppid=18879 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18882 18126 0 -1 4202560 81 0 0 0 6 2 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353142164264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18886] ppid=18879 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18882 18126 0 -1 4202560 55 0 0 0 5 1 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353141111464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18887] ppid=18879 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18882 18126 0 -1 4202560 74 0 0 0 5 3 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353140059176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18888] ppid=18879 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18882 18126 0 -1 4202560 40 0 0 0 5 1 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353139006376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18889] ppid=18879 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18882 18126 0 -1 4202560 51 0 0 0 6 2 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353137953064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18890] ppid=18879 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18882 18126 0 -1 4202560 112 0 0 0 4 2 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353136900264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18891] ppid=18879 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18882 18126 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353135847976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18892] ppid=18879 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18882 18126 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 22 0 27988920 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353134795176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18893] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18882 18126 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353122384616 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18894] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18882 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353121330680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18895] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18882 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353120278280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18896] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 157090 33554432000 1073741824 1073778376 140734408743328 140353119226768 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18897] ppid=18879 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.35 4.26 4.20 5/219 19084
/proc/meminfo: memFree=23929836/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=1649.06 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 31782 0 1 0 164723 183 0 0 20 0 22 0 27988918 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 864636 2301 9 0 2446860 0
[pid=18882/tid=18884] ppid=18879 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18882 18126 0 -1 4202560 2442 0 1 0 45 3 0 0 20 0 22 0 27988919 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353298113400 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18885] ppid=18879 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18882 18126 0 -1 4202560 490 0 0 0 105 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353142164264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18886] ppid=18879 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18882 18126 0 -1 4202560 484 0 0 0 77 14 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353141111464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18887] ppid=18879 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18882 18126 0 -1 4202560 584 0 0 0 100 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353140059176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18888] ppid=18879 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18882 18126 0 -1 4202560 413 0 0 0 83 11 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353139006376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18889] ppid=18879 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18882 18126 0 -1 4202560 463 0 0 0 94 14 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353137953064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18890] ppid=18879 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18882 18126 0 -1 4202560 560 0 0 0 105 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353136900264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18891] ppid=18879 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18882 18126 0 -1 4202560 473 0 0 0 93 13 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353135847976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18892] ppid=18879 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18882 18126 0 -1 4202560 558 0 0 0 98 15 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353134795176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18893] ppid=18879 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18882 18126 0 -1 4202560 1890 0 0 0 186 5 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353122384616 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18894] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18882 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353121330680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18895] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18882 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353120278280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18896] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353119226768 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18897] ppid=18879 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/18882/task/18897/stat : 18897 (java) S 18879 18882 18126 0 -1 4202560 9474 0 0 0 160 1 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353118173368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18898] ppid=18879 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/18882/task/18898/stat : 18898 (java) S 18879 18882 18126 0 -1 4202560 11018 0 0 0 136 3 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353117120568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18899] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18899/stat : 18899 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353116068472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18900] ppid=18879 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/18882/task/18900/stat : 18900 (java) S 18879 18882 18126 0 -1 4202560 47 0 0 0 11 16 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353115015880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18901] ppid=18879 vsize=9824732 CPUtime=817.52 cores=1,3,5,7
/proc/18882/task/18901/stat : 18901 (java) R 18879 18882 18126 0 -1 4202560 48 0 0 0 81738 14 0 0 20 0 22 0 27988966 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353113534832 140353171399289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18902] ppid=18879 vsize=9824732 CPUtime=817.29 cores=1,3,5,7
/proc/18882/task/18902/stat : 18902 (java) R 18879 18882 18126 0 -1 4202560 1574 0 0 0 81679 50 0 0 20 0 22 0 27988966 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353112489056 140353171456649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18903] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18903/stat : 18903 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353111439016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18904] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18904/stat : 18904 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353110386216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1649.06
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.26 4.26 4.19 5/218 19085
/proc/meminfo: memFree=23747108/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=1769.05 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 31786 0 1 0 176721 184 0 0 20 0 22 0 27988918 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 864636 2301 9 0 2446860 0
[pid=18882/tid=18884] ppid=18879 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18882 18126 0 -1 4202560 2442 0 1 0 45 3 0 0 20 0 22 0 27988919 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353298113400 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18885] ppid=18879 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18882 18126 0 -1 4202560 490 0 0 0 105 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353142164264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18886] ppid=18879 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18882 18126 0 -1 4202560 484 0 0 0 77 14 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353141111464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18887] ppid=18879 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18882 18126 0 -1 4202560 584 0 0 0 100 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353140059176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18888] ppid=18879 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18882 18126 0 -1 4202560 413 0 0 0 83 11 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353139006376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18889] ppid=18879 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18882 18126 0 -1 4202560 463 0 0 0 94 14 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353137953064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18890] ppid=18879 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18882 18126 0 -1 4202560 560 0 0 0 105 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353136900264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18891] ppid=18879 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18882 18126 0 -1 4202560 473 0 0 0 93 13 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353135847976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18892] ppid=18879 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18882 18126 0 -1 4202560 558 0 0 0 98 15 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353134795176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18893] ppid=18879 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18882 18126 0 -1 4202560 1890 0 0 0 186 5 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353122384616 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18894] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18882 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353121330680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18895] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18882 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353120278280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18896] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353119226768 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18897] ppid=18879 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/18882/task/18897/stat : 18897 (java) S 18879 18882 18126 0 -1 4202560 9474 0 0 0 160 1 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353118173368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18898] ppid=18879 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/18882/task/18898/stat : 18898 (java) S 18879 18882 18126 0 -1 4202560 11018 0 0 0 136 3 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353117120568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18899] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18899/stat : 18899 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353116068472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18900] ppid=18879 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/18882/task/18900/stat : 18900 (java) S 18879 18882 18126 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353115015880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18901] ppid=18879 vsize=9824732 CPUtime=877.53 cores=1,3,5,7
/proc/18882/task/18901/stat : 18901 (java) R 18879 18882 18126 0 -1 4202560 48 0 0 0 87738 15 0 0 20 0 22 0 27988966 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353113534832 140353171274075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18902] ppid=18879 vsize=9824732 CPUtime=877.27 cores=1,3,5,7
/proc/18882/task/18902/stat : 18902 (java) R 18879 18882 18126 0 -1 4202560 1574 0 0 0 87675 52 0 0 20 0 22 0 27988966 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353112489056 140353171839948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18903] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18903/stat : 18903 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353111439016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18904] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18904/stat : 18904 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353110386216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1769.05
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.801 s]
/proc/loadavg: 4.28 4.26 4.19 6/219 19087
/proc/meminfo: memFree=23738292/32872528 swapFree=1437460/1543748
[pid=18882] ppid=18879 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18882 18126 0 -1 4202496 31786 0 1 0 179819 185 0 0 20 0 22 0 27988918 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140734408734464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18882/statm: 2456183 864636 2301 9 0 2446860 0
[pid=18882/tid=18884] ppid=18879 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18882 18126 0 -1 4202560 2442 0 1 0 45 3 0 0 20 0 22 0 27988919 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353298113400 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18885] ppid=18879 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18882 18126 0 -1 4202560 490 0 0 0 105 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353142164264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18886] ppid=18879 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18882 18126 0 -1 4202560 484 0 0 0 77 14 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353141111464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18887] ppid=18879 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18882 18126 0 -1 4202560 584 0 0 0 100 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353140059176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18888] ppid=18879 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18882 18126 0 -1 4202560 413 0 0 0 83 11 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353139006376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18889] ppid=18879 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18882 18126 0 -1 4202560 463 0 0 0 94 14 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353137953064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18890] ppid=18879 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18882 18126 0 -1 4202560 560 0 0 0 105 18 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353136900264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18882/tid=18891] ppid=18879 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18882 18126 0 -1 4202560 473 0 0 0 93 13 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353135847976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18892] ppid=18879 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18882 18126 0 -1 4202560 558 0 0 0 98 15 0 0 20 0 22 0 27988920 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353134795176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18893] ppid=18879 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18882 18126 0 -1 4202560 1890 0 0 0 186 5 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353122384616 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18894] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18882 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353121330680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18895] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18882 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27988921 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353120278280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18896] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353119226768 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18897] ppid=18879 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/18882/task/18897/stat : 18897 (java) S 18879 18882 18126 0 -1 4202560 9474 0 0 0 160 1 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353118173368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18898] ppid=18879 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/18882/task/18898/stat : 18898 (java) S 18879 18882 18126 0 -1 4202560 11018 0 0 0 136 3 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353117120568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18899] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18899/stat : 18899 (java) S 18879 18882 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353116068472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18882/tid=18900] ppid=18879 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/18882/task/18900/stat : 18900 (java) S 18879 18882 18126 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 27988924 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353115015880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18901] ppid=18879 vsize=9824732 CPUtime=893.03 cores=1,3,5,7
/proc/18882/task/18901/stat : 18901 (java) R 18879 18882 18126 0 -1 4202560 48 0 0 0 89288 15 0 0 20 0 22 0 27988966 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353113534832 140353171274075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18902] ppid=18879 vsize=9824732 CPUtime=892.76 cores=1,3,5,7
/proc/18882/task/18902/stat : 18902 (java) R 18879 18882 18126 0 -1 4202560 1574 0 0 0 89224 52 0 0 20 0 22 0 27988966 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353112489056 140353171839894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18882/tid=18903] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18903/stat : 18903 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353111439016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18882/tid=18904] ppid=18879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18904/stat : 18904 (java) S 18879 18882 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27988967 10060525568 864636 33554432000 1073741824 1073778376 140734408743328 140353110386216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 18882 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 897.852
CPU time (s): 1800.64
CPU user time (s): 1798.27
CPU system time (s): 2.37164
CPU usage (%): 200.55
Max. virtual memory (cumulated for all children) (KiB): 9825092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 2.37164
maximum resident set size= 3458660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31822
page faults= 1
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22471
involuntary context switches= 24250
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59284 second user time and 5.65414 second system time
The end