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-4116406-1466961153/watcher-4116406-1466961153 -o /tmp/evaluation-result-4116406-1466961153/solver-4116406-1466961153 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116406-1466961153.opb
pid=21114
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.25 4.25 4.24 4/197 21117
/proc/meminfo: memFree=27132752/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21117/stat : 21117 (java) D 21114 21117 18126 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 29154612 9515008 183 33554432000 1073741824 1073778376 140736437440688 140736437431720 266435641013 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/21117/statm: 2323 183 140 9 0 71 0
[startup+0.100061 s]
/proc/loadavg: 4.25 4.25 4.24 4/197 21117
/proc/meminfo: memFree=27132752/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 4464 0 1 0 8 1 0 0 20 0 18 0 29154612 9787879424 5587 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2389619 5587 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200215 s]
/proc/loadavg: 4.25 4.25 4.24 4/197 21117
/proc/meminfo: memFree=27132752/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 4756 0 1 0 23 1 0 0 20 0 18 0 29154612 9787879424 6339 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2389619 6339 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300222 s]
/proc/loadavg: 4.25 4.25 4.24 4/197 21117
/proc/meminfo: memFree=27132752/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 5904 0 1 0 45 2 0 0 20 0 18 0 29154612 9787879424 7923 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2389619 7923 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700197 s]
/proc/loadavg: 4.25 4.25 4.24 4/197 21117
/proc/meminfo: memFree=27132752/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 12694 0 1 0 166 4 0 0 20 0 22 0 29154612 10060525568 22926 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 22926 2268 9 0 2446860 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.25 4.25 4.24 7/219 21139
/proc/meminfo: memFree=26987964/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 25680 0 1 0 472 8 0 0 20 0 22 0 29154612 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 47390 2292 9 0 2446860 0
[pid=21117/tid=21119] ppid=21114 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/21117/task/21119/stat : 21119 (java) S 21114 21117 18126 0 -1 4202560 2527 0 1 0 47 1 0 0 20 0 22 0 29154613 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021647442808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21120] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21120/stat : 21120 (java) S 21114 21117 18126 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021491169704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21121] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21121/stat : 21121 (java) S 21114 21117 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021490117160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21122] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21122/stat : 21122 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021489064104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21123] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21123/stat : 21123 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021488011560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21124] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21124/stat : 21124 (java) S 21114 21117 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021486959528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21125] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21125/stat : 21125 (java) S 21114 21117 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021485906984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21126] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21126/stat : 21126 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021484853928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21127] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21127/stat : 21127 (java) S 21114 21117 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29154614 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021483801384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21128] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21128/stat : 21128 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021471603048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21129] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21129/stat : 21129 (java) S 21114 21117 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021470549368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21130] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21130/stat : 21130 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021469496200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21131] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21131/stat : 21131 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021468444944 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21132] ppid=21114 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/21117/task/21132/stat : 21132 (java) R 21114 21117 18126 0 -1 4202560 12711 0 0 0 117 2 0 0 20 0 22 0 29154618 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021467380232 140021649051505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21133] ppid=21114 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/21117/task/21133/stat : 21133 (java) R 21114 21117 18126 0 -1 4202560 9037 0 0 0 118 3 0 0 20 0 22 0 29154618 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021466326456 140021651536561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21134] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21134/stat : 21134 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021465287416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21135] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21135/stat : 21135 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021464235080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21136] ppid=21114 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/21117/task/21136/stat : 21136 (java) R 21114 21117 18126 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 22 0 29154664 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021463170976 140021520342861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21137] ppid=21114 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/21117/task/21137/stat : 21137 (java) R 21114 21117 18126 0 -1 4202560 74 0 0 0 91 0 0 0 20 0 22 0 29154664 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021462126912 140021520384207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21138] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21138/stat : 21138 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021461074728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21139] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21139/stat : 21139 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 47390 33554432000 1073741824 1073778376 140735108244704 140021460022184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.23 4.25 4.24 5/219 21139
/proc/meminfo: memFree=26909216/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=9.01 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 32593 0 1 0 882 19 0 0 20 0 22 0 29154612 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 88176 2292 9 0 2446860 0
[pid=21117/tid=21119] ppid=21114 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/21117/task/21119/stat : 21119 (java) S 21114 21117 18126 0 -1 4202560 2527 0 1 0 47 1 0 0 20 0 22 0 29154613 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021647442808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21120] ppid=21114 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21117/task/21120/stat : 21120 (java) S 21114 21117 18126 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021491169704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21121] ppid=21114 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21117/task/21121/stat : 21121 (java) S 21114 21117 18126 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021490117160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21122] ppid=21114 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21117/task/21122/stat : 21122 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021489064104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21123] ppid=21114 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21117/task/21123/stat : 21123 (java) S 21114 21117 18126 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021488011560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21124] ppid=21114 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21117/task/21124/stat : 21124 (java) S 21114 21117 18126 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021486959528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21125] ppid=21114 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21117/task/21125/stat : 21125 (java) S 21114 21117 18126 0 -1 4202560 20 0 0 0 2 2 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021485906984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21126] ppid=21114 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21117/task/21126/stat : 21126 (java) S 21114 21117 18126 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021484853928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21127] ppid=21114 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21117/task/21127/stat : 21127 (java) S 21114 21117 18126 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 29154614 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021483801384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21128] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21128/stat : 21128 (java) S 21114 21117 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021471603048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21129] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21129/stat : 21129 (java) S 21114 21117 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021470549368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21130] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21130/stat : 21130 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021469496200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21131] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21131/stat : 21131 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021468444944 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21132] ppid=21114 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/21117/task/21132/stat : 21132 (java) S 21114 21117 18126 0 -1 4202560 18632 0 0 0 164 3 0 0 20 0 22 0 29154618 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021467392824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21133] ppid=21114 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/21117/task/21133/stat : 21133 (java) S 21114 21117 18126 0 -1 4202560 9671 0 0 0 165 3 0 0 20 0 22 0 29154618 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021466340280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21134] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21134/stat : 21134 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021465287416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21135] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21135/stat : 21135 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021464235080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21136] ppid=21114 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/21117/task/21136/stat : 21136 (java) R 21114 21117 18126 0 -1 4202560 24 0 0 0 232 0 0 0 20 0 22 0 29154664 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021463179872 140021520331316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21137] ppid=21114 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/21117/task/21137/stat : 21137 (java) R 21114 21117 18126 0 -1 4202560 126 0 0 0 235 3 0 0 20 0 22 0 29154664 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021462126296 140021520307388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21138] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21138/stat : 21138 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021461074728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21139] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21139/stat : 21139 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 88176 33554432000 1073741824 1073778376 140735108244704 140021460022184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.01
Current children cumulated vsize (KiB) 9824732
[startup+6.30102 s]
/proc/loadavg: 4.23 4.25 4.24 5/219 21139
/proc/meminfo: memFree=26500576/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=15.58 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 33444 0 1 0 1528 30 0 0 20 0 22 0 29154612 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 156207 2292 9 0 2446860 0
[pid=21117/tid=21119] ppid=21114 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/21117/task/21119/stat : 21119 (java) S 21114 21117 18126 0 -1 4202560 2527 0 1 0 47 1 0 0 20 0 22 0 29154613 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021647442808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21120] ppid=21114 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/21117/task/21120/stat : 21120 (java) S 21114 21117 18126 0 -1 4202560 140 0 0 0 7 3 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021491169704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21121] ppid=21114 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21117/task/21121/stat : 21121 (java) S 21114 21117 18126 0 -1 4202560 120 0 0 0 4 2 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021490117160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21122] ppid=21114 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21117/task/21122/stat : 21122 (java) S 21114 21117 18126 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021489064104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21123] ppid=21114 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21117/task/21123/stat : 21123 (java) S 21114 21117 18126 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021488011560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21124] ppid=21114 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21117/task/21124/stat : 21124 (java) S 21114 21117 18126 0 -1 4202560 115 0 0 0 5 2 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021486959528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21125] ppid=21114 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21117/task/21125/stat : 21125 (java) S 21114 21117 18126 0 -1 4202560 124 0 0 0 5 2 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021485906984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21126] ppid=21114 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21117/task/21126/stat : 21126 (java) S 21114 21117 18126 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021484853928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21127] ppid=21114 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/21117/task/21127/stat : 21127 (java) S 21114 21117 18126 0 -1 4202560 51 0 0 0 6 3 0 0 20 0 22 0 29154614 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021483801384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21128] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21128/stat : 21128 (java) S 21114 21117 18126 0 -1 4202560 452 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021471603048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21129] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21129/stat : 21129 (java) S 21114 21117 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021470549368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21130] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21130/stat : 21130 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021469496200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21131] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21131/stat : 21131 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 156207 33554432000 1073741824 1073778376 140735108244704 140021468444944 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21132] ppid=21114 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.35 4.25 4.23 5/219 21227
/proc/meminfo: memFree=23739556/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=1772.9 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 43683 0 1 0 177074 216 0 0 20 0 22 0 29154612 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 944881 2301 9 0 2446860 0
[pid=21117/tid=21119] ppid=21114 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/21117/task/21119/stat : 21119 (java) S 21114 21117 18126 0 -1 4202560 2529 0 1 0 50 3 0 0 20 0 22 0 29154613 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021647442808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21120] ppid=21114 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/21117/task/21120/stat : 21120 (java) S 21114 21117 18126 0 -1 4202560 861 0 0 0 206 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021491169704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21121] ppid=21114 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/21117/task/21121/stat : 21121 (java) S 21114 21117 18126 0 -1 4202560 647 0 0 0 218 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021490117160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21122] ppid=21114 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/21117/task/21122/stat : 21122 (java) S 21114 21117 18126 0 -1 4202560 674 0 0 0 205 20 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021489064104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21123] ppid=21114 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/21117/task/21123/stat : 21123 (java) S 21114 21117 18126 0 -1 4202560 811 0 0 0 206 20 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021488011560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21124] ppid=21114 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/21117/task/21124/stat : 21124 (java) S 21114 21117 18126 0 -1 4202560 760 0 0 0 214 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021486959528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21125] ppid=21114 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/21117/task/21125/stat : 21125 (java) S 21114 21117 18126 0 -1 4202560 656 0 0 0 200 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021485906984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21126] ppid=21114 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/21117/task/21126/stat : 21126 (java) S 21114 21117 18126 0 -1 4202560 645 0 0 0 206 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021484853928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21127] ppid=21114 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/21117/task/21127/stat : 21127 (java) S 21114 21117 18126 0 -1 4202560 560 0 0 0 211 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021483801384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21128] ppid=21114 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/21117/task/21128/stat : 21128 (java) S 21114 21117 18126 0 -1 4202560 2236 0 0 0 305 8 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021471603048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21129] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21129/stat : 21129 (java) S 21114 21117 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021470549368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21130] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21130/stat : 21130 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021469496200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21131] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21131/stat : 21131 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021468444944 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21132] ppid=21114 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/21117/task/21132/stat : 21132 (java) S 21114 21117 18126 0 -1 4202560 20235 0 0 0 207 4 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021467392824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21133] ppid=21114 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/21117/task/21133/stat : 21133 (java) S 21114 21117 18126 0 -1 4202560 9674 0 0 0 169 3 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021466340280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21134] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21134/stat : 21134 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021465287416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21135] ppid=21114 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21117/task/21135/stat : 21135 (java) S 21114 21117 18126 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021464235080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21136] ppid=21114 vsize=9824732 CPUtime=873.57 cores=1,3,5,7
/proc/21117/task/21136/stat : 21136 (java) R 21114 21117 18126 0 -1 4202560 84 0 0 0 87340 17 0 0 20 0 22 0 29154664 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021463171056 140021520424563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21137] ppid=21114 vsize=9824732 CPUtime=873.57 cores=1,3,5,7
/proc/21117/task/21137/stat : 21137 (java) R 21114 21117 18126 0 -1 4202560 1994 0 0 0 87306 51 0 0 20 0 22 0 29154664 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021462125984 140021521142625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21138] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21138/stat : 21138 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021461074728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21139] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21139/stat : 21139 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021460022184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1772.9
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.901 s]
/proc/loadavg: 4.27 4.24 4.23 5/219 21228
/proc/meminfo: memFree=23463020/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 43685 0 1 0 179792 217 0 0 20 0 22 0 29154612 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 944881 2301 9 0 2446860 0
[pid=21117/tid=21119] ppid=21114 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/21117/task/21119/stat : 21119 (java) S 21114 21117 18126 0 -1 4202560 2529 0 1 0 50 3 0 0 20 0 22 0 29154613 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021647442808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21120] ppid=21114 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/21117/task/21120/stat : 21120 (java) S 21114 21117 18126 0 -1 4202560 861 0 0 0 206 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021491169704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21121] ppid=21114 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/21117/task/21121/stat : 21121 (java) S 21114 21117 18126 0 -1 4202560 647 0 0 0 218 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021490117160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21122] ppid=21114 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/21117/task/21122/stat : 21122 (java) S 21114 21117 18126 0 -1 4202560 674 0 0 0 205 20 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021489064104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21123] ppid=21114 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/21117/task/21123/stat : 21123 (java) S 21114 21117 18126 0 -1 4202560 811 0 0 0 206 20 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021488011560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21124] ppid=21114 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/21117/task/21124/stat : 21124 (java) S 21114 21117 18126 0 -1 4202560 760 0 0 0 214 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021486959528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21125] ppid=21114 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/21117/task/21125/stat : 21125 (java) S 21114 21117 18126 0 -1 4202560 656 0 0 0 200 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021485906984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21126] ppid=21114 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/21117/task/21126/stat : 21126 (java) S 21114 21117 18126 0 -1 4202560 645 0 0 0 206 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021484853928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21127] ppid=21114 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/21117/task/21127/stat : 21127 (java) S 21114 21117 18126 0 -1 4202560 560 0 0 0 211 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021483801384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21128] ppid=21114 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/21117/task/21128/stat : 21128 (java) S 21114 21117 18126 0 -1 4202560 2236 0 0 0 305 8 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021471603048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21129] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21129/stat : 21129 (java) S 21114 21117 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021470549368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21130] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21130/stat : 21130 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021469496200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21131] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21131/stat : 21131 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021468444944 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21132] ppid=21114 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/21117/task/21132/stat : 21132 (java) S 21114 21117 18126 0 -1 4202560 20235 0 0 0 207 4 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021467392824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21133] ppid=21114 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/21117/task/21133/stat : 21133 (java) S 21114 21117 18126 0 -1 4202560 9674 0 0 0 169 3 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021466340280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21134] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21134/stat : 21134 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021465287416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21135] ppid=21114 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21117/task/21135/stat : 21135 (java) S 21114 21117 18126 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021464235080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21136] ppid=21114 vsize=9824732 CPUtime=887.17 cores=1,3,5,7
/proc/21117/task/21136/stat : 21136 (java) R 21114 21117 18126 0 -1 4202560 84 0 0 0 88700 17 0 0 20 0 22 0 29154664 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021463171056 140021520331569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21137] ppid=21114 vsize=9824732 CPUtime=887.15 cores=1,3,5,7
/proc/21117/task/21137/stat : 21137 (java) R 21114 21117 18126 0 -1 4202560 1994 0 0 0 88664 51 0 0 20 0 22 0 29154664 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021462125984 140021520452401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21138] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21138/stat : 21138 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021461074728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21139] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21139/stat : 21139 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021460022184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 21117 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+895.901 s]
/proc/loadavg: 4.27 4.24 4.23 5/219 21228
/proc/meminfo: memFree=23463020/32872528 swapFree=1437460/1543748
[pid=21117] ppid=21114 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/21117/stat : 21117 (java) S 21114 21117 18126 0 -1 4202496 43685 0 1 0 179792 217 0 0 20 0 22 0 29154612 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140735108235840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21117/statm: 2456183 944881 2301 9 0 2446860 0
[pid=21117/tid=21119] ppid=21114 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/21117/task/21119/stat : 21119 (java) S 21114 21117 18126 0 -1 4202560 2529 0 1 0 50 3 0 0 20 0 22 0 29154613 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021647442808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21120] ppid=21114 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/21117/task/21120/stat : 21120 (java) S 21114 21117 18126 0 -1 4202560 861 0 0 0 206 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021491169704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21121] ppid=21114 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/21117/task/21121/stat : 21121 (java) S 21114 21117 18126 0 -1 4202560 647 0 0 0 218 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021490117160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21122] ppid=21114 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/21117/task/21122/stat : 21122 (java) S 21114 21117 18126 0 -1 4202560 674 0 0 0 205 20 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021489064104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21123] ppid=21114 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/21117/task/21123/stat : 21123 (java) S 21114 21117 18126 0 -1 4202560 811 0 0 0 206 20 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021488011560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21124] ppid=21114 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/21117/task/21124/stat : 21124 (java) S 21114 21117 18126 0 -1 4202560 760 0 0 0 214 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021486959528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21125] ppid=21114 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/21117/task/21125/stat : 21125 (java) S 21114 21117 18126 0 -1 4202560 656 0 0 0 200 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021485906984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21126] ppid=21114 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/21117/task/21126/stat : 21126 (java) S 21114 21117 18126 0 -1 4202560 645 0 0 0 206 18 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021484853928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21127] ppid=21114 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/21117/task/21127/stat : 21127 (java) S 21114 21117 18126 0 -1 4202560 560 0 0 0 211 17 0 0 20 0 22 0 29154614 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021483801384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21128] ppid=21114 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/21117/task/21128/stat : 21128 (java) S 21114 21117 18126 0 -1 4202560 2236 0 0 0 305 8 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021471603048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21129] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21129/stat : 21129 (java) S 21114 21117 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021470549368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21130] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21130/stat : 21130 (java) S 21114 21117 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29154615 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021469496200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21131] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21131/stat : 21131 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021468444944 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21132] ppid=21114 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/21117/task/21132/stat : 21132 (java) S 21114 21117 18126 0 -1 4202560 20235 0 0 0 207 4 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021467392824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21117/tid=21133] ppid=21114 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/21117/task/21133/stat : 21133 (java) S 21114 21117 18126 0 -1 4202560 9674 0 0 0 169 3 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021466340280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21134] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21134/stat : 21134 (java) S 21114 21117 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021465287416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21135] ppid=21114 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21117/task/21135/stat : 21135 (java) S 21114 21117 18126 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 29154618 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021464235080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21136] ppid=21114 vsize=9824732 CPUtime=887.17 cores=1,3,5,7
/proc/21117/task/21136/stat : 21136 (java) R 21114 21117 18126 0 -1 4202560 84 0 0 0 88700 17 0 0 20 0 22 0 29154664 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021463171056 140021520331569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21117/tid=21137] ppid=21114 vsize=9824732 CPUtime=887.15 cores=1,3,5,7
/proc/21117/task/21137/stat : 21137 (java) R 21114 21117 18126 0 -1 4202560 1994 0 0 0 88664 51 0 0 20 0 22 0 29154664 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021462125984 140021520452401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21117/tid=21138] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21138/stat : 21138 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021461074728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21117/tid=21139] ppid=21114 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21117/task/21139/stat : 21139 (java) S 21114 21117 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29154665 10060525568 944881 33554432000 1073741824 1073778376 140735108244704 140021460022184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 895.971
CPU time (s): 1800.72
CPU user time (s): 1798
CPU system time (s): 2.72159
CPU usage (%): 200.98
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.72159
maximum resident set size= 3780364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43720
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= 23843
involuntary context switches= 26236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84611 second user time and 7.47186 second system time
The end