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-4101250-1466213398/watcher-4101250-1466213398 -o /tmp/evaluation-result-4101250-1466213398/solver-4101250-1466213398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101250-1466213398.opb
pid=27055
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.93 4.17 4.15 4/198 27058
/proc/meminfo: memFree=29186984/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27058/stat : 27058 (java) D 27055 27058 22589 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 23385200 9515008 175 33554432000 1073741824 1073778376 140734722201472 140734722184200 211458802576 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2323 175 133 9 0 71 0
[startup+0.100114 s]
/proc/loadavg: 3.93 4.17 4.15 4/198 27058
/proc/meminfo: memFree=29186984/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 23385200 9787879424 6029 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2389619 6029 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200214 s]
/proc/loadavg: 3.93 4.17 4.15 4/198 27058
/proc/meminfo: memFree=29186984/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 4912 0 1 0 26 1 0 0 20 0 18 0 23385200 9787879424 6938 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2389619 6938 2206 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.30023 s]
/proc/loadavg: 3.93 4.17 4.15 4/198 27058
/proc/meminfo: memFree=29186984/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 6411 0 1 0 53 1 0 0 20 0 18 0 23385200 9787879424 10130 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2389619 10132 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700186 s]
/proc/loadavg: 3.93 4.17 4.15 4/198 27058
/proc/meminfo: memFree=29186984/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 16633 0 1 0 164 5 0 0 20 0 22 0 23385200 10060525568 32713 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 32713 2270 9 0 2446860 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824732
[startup+1.50093 s]
/proc/loadavg: 3.93 4.17 4.15 7/220 27080
/proc/meminfo: memFree=28996120/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=4.5 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 22036 0 1 0 438 12 0 0 20 0 22 0 23385200 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 56767 2287 9 0 2446860 0
[pid=27058/tid=27060] ppid=27055 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/27058/task/27060/stat : 27060 (java) S 27055 27058 22589 0 -1 4202560 2454 0 1 0 54 2 0 0 20 0 22 0 23385201 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513936876408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27061] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27061/stat : 27061 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513898367784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27062] ppid=27055 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27058/task/27062/stat : 27062 (java) S 27055 27058 22589 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513897314984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27063] ppid=27055 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/27058/task/27063/stat : 27063 (java) S 27055 27058 22589 0 -1 4202560 120 0 0 0 3 2 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513896262696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27064] ppid=27055 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27058/task/27064/stat : 27064 (java) S 27055 27058 22589 0 -1 4202560 99 0 0 0 2 2 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513895209896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27065] ppid=27055 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27058/task/27065/stat : 27065 (java) S 27055 27058 22589 0 -1 4202560 103 0 0 0 2 2 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513894156584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27066] ppid=27055 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27058/task/27066/stat : 27066 (java) S 27055 27058 22589 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513893103784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27067] ppid=27055 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27058/task/27067/stat : 27067 (java) S 27055 27058 22589 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513892051496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27068] ppid=27055 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27058/task/27068/stat : 27068 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 23385202 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513890998696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27069] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27069/stat : 27069 (java) S 27055 27058 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513761016552 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27070] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27070/stat : 27070 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513759962616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27071] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27071/stat : 27071 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513758910216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27072] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27072/stat : 27072 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513757858704 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27073] ppid=27055 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/27058/task/27073/stat : 27073 (java) S 27055 27058 22589 0 -1 4202560 10586 0 0 0 93 2 0 0 20 0 22 0 23385206 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513756805304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27074] ppid=27055 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/27058/task/27074/stat : 27074 (java) S 27055 27058 22589 0 -1 4202560 7114 0 0 0 101 2 0 0 20 0 22 0 23385206 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513755752504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27075] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27075/stat : 27075 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513754700408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27076] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27076/stat : 27076 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513753647816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27077] ppid=27055 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/27058/task/27077/stat : 27077 (java) R 27055 27058 22589 0 -1 4202560 31 0 0 0 82 0 0 0 20 0 22 0 23385259 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513752591752 140513764996760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27078] ppid=27055 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/27058/task/27078/stat : 27078 (java) R 27055 27058 22589 0 -1 4202560 46 0 0 0 81 0 0 0 20 0 22 0 23385259 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513751539496 140513764903195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27079] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27079/stat : 27079 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513750488744 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27080] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27080/stat : 27080 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 56767 33554432000 1073741824 1073778376 140734722201472 140513749435944 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 9824732
[startup+3.10092 s]
/proc/loadavg: 3.93 4.17 4.15 5/220 27080
/proc/meminfo: memFree=28834392/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=8.22 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 26610 0 1 0 802 20 0 0 20 0 22 0 23385200 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 97412 2291 9 0 2446860 0
[pid=27058/tid=27060] ppid=27055 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/27058/task/27060/stat : 27060 (java) S 27055 27058 22589 0 -1 4202560 2454 0 1 0 54 2 0 0 20 0 22 0 23385201 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513936876408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27061] ppid=27055 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27058/task/27061/stat : 27061 (java) S 27055 27058 22589 0 -1 4202560 41 0 0 0 6 0 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513898367784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27062] ppid=27055 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27058/task/27062/stat : 27062 (java) S 27055 27058 22589 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513897314984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27063] ppid=27055 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/27058/task/27063/stat : 27063 (java) S 27055 27058 22589 0 -1 4202560 126 0 0 0 5 2 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513896262696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27064] ppid=27055 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27058/task/27064/stat : 27064 (java) S 27055 27058 22589 0 -1 4202560 124 0 0 0 4 2 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513895209896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27065] ppid=27055 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27058/task/27065/stat : 27065 (java) S 27055 27058 22589 0 -1 4202560 111 0 0 0 4 2 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513894156584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27066] ppid=27055 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27058/task/27066/stat : 27066 (java) S 27055 27058 22589 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513893103784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27067] ppid=27055 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/27058/task/27067/stat : 27067 (java) S 27055 27058 22589 0 -1 4202560 134 0 0 0 5 2 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513892051496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27068] ppid=27055 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/27058/task/27068/stat : 27068 (java) S 27055 27058 22589 0 -1 4202560 52 0 0 0 7 2 0 0 20 0 22 0 23385202 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513890998696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27069] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27069/stat : 27069 (java) S 27055 27058 22589 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513761016552 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27070] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27070/stat : 27070 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513759962616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27071] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27071/stat : 27071 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513758910216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27072] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27072/stat : 27072 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513757858704 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27073] ppid=27055 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/27058/task/27073/stat : 27073 (java) S 27055 27058 22589 0 -1 4202560 14646 0 0 0 114 3 0 0 20 0 22 0 23385206 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513756805304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27074] ppid=27055 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/27058/task/27074/stat : 27074 (java) S 27055 27058 22589 0 -1 4202560 7272 0 0 0 115 2 0 0 20 0 22 0 23385206 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513755752504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27075] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27075/stat : 27075 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513754700408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27076] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27076/stat : 27076 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513753647816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27077] ppid=27055 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/27058/task/27077/stat : 27077 (java) R 27055 27058 22589 0 -1 4202560 42 0 0 0 233 0 0 0 20 0 22 0 23385259 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513752593304 140513764989446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27078] ppid=27055 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/27058/task/27078/stat : 27078 (java) R 27055 27058 22589 0 -1 4202560 91 0 0 0 230 2 0 0 20 0 22 0 23385259 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513751538096 140513764977374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27079] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27079/stat : 27079 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513750488744 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27080] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27080/stat : 27080 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 97412 33554432000 1073741824 1073778376 140734722201472 140513749435944 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 9824732
[startup+6.30094 s]
/proc/loadavg: 3.93 4.17 4.15 5/221 27083
/proc/meminfo: memFree=28551984/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=14.89 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 27666 0 1 0 1458 31 0 0 20 0 22 0 23385200 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 170249 2291 9 0 2446860 0
[pid=27058/tid=27060] ppid=27055 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/27058/task/27060/stat : 27060 (java) S 27055 27058 22589 0 -1 4202560 2454 0 1 0 54 2 0 0 20 0 22 0 23385201 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513936876408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27061] ppid=27055 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/27058/task/27061/stat : 27061 (java) S 27055 27058 22589 0 -1 4202560 178 0 0 0 8 1 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513898367784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27062] ppid=27055 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/27058/task/27062/stat : 27062 (java) S 27055 27058 22589 0 -1 4202560 56 0 0 0 9 2 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513897314984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27063] ppid=27055 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/27058/task/27063/stat : 27063 (java) S 27055 27058 22589 0 -1 4202560 140 0 0 0 8 2 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513896262696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27064] ppid=27055 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/27058/task/27064/stat : 27064 (java) S 27055 27058 22589 0 -1 4202560 136 0 0 0 6 2 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513895209896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27065] ppid=27055 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/27058/task/27065/stat : 27065 (java) S 27055 27058 22589 0 -1 4202560 218 0 0 0 8 3 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513894156584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27066] ppid=27055 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/27058/task/27066/stat : 27066 (java) S 27055 27058 22589 0 -1 4202560 130 0 0 0 9 3 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513893103784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27067] ppid=27055 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/27058/task/27067/stat : 27067 (java) S 27055 27058 22589 0 -1 4202560 217 0 0 0 7 2 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513892051496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27068] ppid=27055 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/27058/task/27068/stat : 27068 (java) S 27055 27058 22589 0 -1 4202560 62 0 0 0 9 3 0 0 20 0 22 0 23385202 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513890998696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27069] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27069/stat : 27069 (java) S 27055 27058 22589 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513761016552 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27070] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27070/stat : 27070 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513759962616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27071] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27071/stat : 27071 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513758910216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27072] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27072/stat : 27072 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 170249 33554432000 1073741824 1073778376 140734722201472 140513757858704 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27073] ppid=27055 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.08 4.18 4.17 6/219 27307
/proc/meminfo: memFree=22966328/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=1654.83 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 43541 0 1 0 165221 262 0 0 20 0 22 0 23385200 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 1092562 2300 9 0 2446860 0
[pid=27058/tid=27060] ppid=27055 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/27058/task/27060/stat : 27060 (java) S 27055 27058 22589 0 -1 4202560 2469 0 1 0 56 4 0 0 20 0 22 0 23385201 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513936876408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27061] ppid=27055 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/27058/task/27061/stat : 27061 (java) S 27055 27058 22589 0 -1 4202560 963 0 0 0 342 22 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513898367784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27062] ppid=27055 vsize=9824732 CPUtime=3.97 cores=1,3,5,7
/proc/27058/task/27062/stat : 27062 (java) S 27055 27058 22589 0 -1 4202560 729 0 0 0 373 24 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513897314984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27063] ppid=27055 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/27058/task/27063/stat : 27063 (java) S 27055 27058 22589 0 -1 4202560 1085 0 0 0 342 22 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513896262696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27064] ppid=27055 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/27058/task/27064/stat : 27064 (java) S 27055 27058 22589 0 -1 4202560 1121 0 0 0 384 24 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513895209896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27065] ppid=27055 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/27058/task/27065/stat : 27065 (java) S 27055 27058 22589 0 -1 4202560 963 0 0 0 421 28 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513894156584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27066] ppid=27055 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/27058/task/27066/stat : 27066 (java) S 27055 27058 22589 0 -1 4202560 835 0 0 0 329 22 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513893103784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27067] ppid=27055 vsize=9824732 CPUtime=4.2 cores=1,3,5,7
/proc/27058/task/27067/stat : 27067 (java) S 27055 27058 22589 0 -1 4202560 1165 0 0 0 396 24 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513892051496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27068] ppid=27055 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/27058/task/27068/stat : 27068 (java) S 27055 27058 22589 0 -1 4202560 677 0 0 0 377 28 0 0 20 0 22 0 23385202 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513890998696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27069] ppid=27055 vsize=9824732 CPUtime=7.3 cores=1,3,5,7
/proc/27058/task/27069/stat : 27069 (java) S 27055 27058 22589 0 -1 4202560 3043 0 0 0 723 7 0 0 20 0 22 0 23385203 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513761016552 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27070] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27070/stat : 27070 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513759962616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27071] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27071/stat : 27071 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513758910216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27072] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27072/stat : 27072 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513757858704 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27073] ppid=27055 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/27058/task/27073/stat : 27073 (java) S 27055 27058 22589 0 -1 4202560 19433 0 0 0 197 4 0 0 20 0 22 0 23385206 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513756805304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27074] ppid=27055 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/27058/task/27074/stat : 27074 (java) S 27055 27058 22589 0 -1 4202560 7277 0 0 0 124 2 0 0 20 0 22 0 23385206 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513755752504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27075] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27075/stat : 27075 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513754700408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27076] ppid=27055 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/27058/task/27076/stat : 27076 (java) S 27055 27058 22589 0 -1 4202560 47 0 0 0 12 19 0 0 20 0 22 0 23385206 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513753647816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27077] ppid=27055 vsize=9824732 CPUtime=806.03 cores=1,3,5,7
/proc/27058/task/27077/stat : 27077 (java) R 27055 27058 22589 0 -1 4202560 309 0 0 0 80580 23 0 0 20 0 22 0 23385259 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513752591408 140513765142405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27078] ppid=27055 vsize=9824732 CPUtime=805.98 cores=1,3,5,7
/proc/27058/task/27078/stat : 27078 (java) R 27055 27058 22589 0 -1 4202560 2160 0 0 0 80555 43 0 0 20 0 22 0 23385259 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513751539200 140513764977263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27079] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27079/stat : 27079 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513750488744 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27080] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27080/stat : 27080 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 1092562 33554432000 1073741824 1073778376 140734722201472 140513749435944 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1654.83
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.09 4.16 4.16 5/219 27385
/proc/meminfo: memFree=25538552/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=1776.8 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 43892 0 1 0 177406 274 0 0 20 0 22 0 23385200 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 1131119 2300 9 0 2446860 0
[pid=27058/tid=27060] ppid=27055 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/27058/task/27060/stat : 27060 (java) S 27055 27058 22589 0 -1 4202560 2471 0 1 0 56 4 0 0 20 0 22 0 23385201 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513936876408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27061] ppid=27055 vsize=9824732 CPUtime=4.2 cores=1,3,5,7
/proc/27058/task/27061/stat : 27061 (java) S 27055 27058 22589 0 -1 4202560 999 0 0 0 396 24 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513898367784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27062] ppid=27055 vsize=9824732 CPUtime=4.35 cores=1,3,5,7
/proc/27058/task/27062/stat : 27062 (java) S 27055 27058 22589 0 -1 4202560 748 0 0 0 411 24 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513897314984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27063] ppid=27055 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/27058/task/27063/stat : 27063 (java) S 27055 27058 22589 0 -1 4202560 1112 0 0 0 400 23 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513896262696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27064] ppid=27055 vsize=9824732 CPUtime=4.79 cores=1,3,5,7
/proc/27058/task/27064/stat : 27064 (java) S 27055 27058 22589 0 -1 4202560 1151 0 0 0 454 25 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513895209896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27065] ppid=27055 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/27058/task/27065/stat : 27065 (java) S 27055 27058 22589 0 -1 4202560 1010 0 0 0 472 29 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513894156584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27066] ppid=27055 vsize=9824732 CPUtime=3.83 cores=1,3,5,7
/proc/27058/task/27066/stat : 27066 (java) S 27055 27058 22589 0 -1 4202560 913 0 0 0 360 23 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513893103784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27067] ppid=27055 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/27058/task/27067/stat : 27067 (java) S 27055 27058 22589 0 -1 4202560 1191 0 0 0 460 25 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513892051496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27068] ppid=27055 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/27058/task/27068/stat : 27068 (java) S 27055 27058 22589 0 -1 4202560 749 0 0 0 404 28 0 0 20 0 22 0 23385202 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513890998696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27069] ppid=27055 vsize=9824732 CPUtime=7.31 cores=1,3,5,7
/proc/27058/task/27069/stat : 27069 (java) S 27055 27058 22589 0 -1 4202560 3049 0 0 0 724 7 0 0 20 0 22 0 23385203 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513761016552 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27070] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27070/stat : 27070 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513759962616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27071] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27071/stat : 27071 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513758910216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27072] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27072/stat : 27072 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513757858704 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27073] ppid=27055 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/27058/task/27073/stat : 27073 (java) S 27055 27058 22589 0 -1 4202560 19433 0 0 0 197 4 0 0 20 0 22 0 23385206 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513756805304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27074] ppid=27055 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/27058/task/27074/stat : 27074 (java) S 27055 27058 22589 0 -1 4202560 7277 0 0 0 124 2 0 0 20 0 22 0 23385206 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513755752504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27075] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27075/stat : 27075 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513754700408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27076] ppid=27055 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/27058/task/27076/stat : 27076 (java) S 27055 27058 22589 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 23385206 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513753647816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27077] ppid=27055 vsize=9824732 CPUtime=865.01 cores=1,3,5,7
/proc/27058/task/27077/stat : 27077 (java) R 27055 27058 22589 0 -1 4202560 311 0 0 0 86477 24 0 0 20 0 22 0 23385259 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513752592208 140513765142255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27078] ppid=27055 vsize=9824732 CPUtime=864.95 cores=1,3,5,7
/proc/27058/task/27078/stat : 27078 (java) R 27055 27058 22589 0 -1 4202560 2162 0 0 0 86451 44 0 0 20 0 22 0 23385259 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513751538480 140513765012028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27079] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27079/stat : 27079 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513750488744 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27080] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27080/stat : 27080 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 1131119 33554432000 1073741824 1073778376 140734722201472 140513749435944 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1776.8
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.801 s]
/proc/loadavg: 4.08 4.15 4.16 5/219 27386
/proc/meminfo: memFree=25515276/32872528 swapFree=496868/529572
[pid=27058] ppid=27055 vsize=9824732 CPUtime=1800.1 cores=1,3,5,7
/proc/27058/stat : 27058 (java) S 27055 27058 22589 0 -1 4202496 43932 0 1 0 179734 276 0 0 20 0 22 0 23385200 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140734722192608 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27058/statm: 2456183 1136755 2300 9 0 2446860 0
[pid=27058/tid=27060] ppid=27055 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/27058/task/27060/stat : 27060 (java) S 27055 27058 22589 0 -1 4202560 2471 0 1 0 56 4 0 0 20 0 22 0 23385201 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513936876408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27061] ppid=27055 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/27058/task/27061/stat : 27061 (java) S 27055 27058 22589 0 -1 4202560 1000 0 0 0 403 24 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513898367784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27062] ppid=27055 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/27058/task/27062/stat : 27062 (java) S 27055 27058 22589 0 -1 4202560 752 0 0 0 419 24 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513897314984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27063] ppid=27055 vsize=9824732 CPUtime=4.33 cores=1,3,5,7
/proc/27058/task/27063/stat : 27063 (java) S 27055 27058 22589 0 -1 4202560 1114 0 0 0 409 24 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513896262696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27064] ppid=27055 vsize=9824732 CPUtime=4.87 cores=1,3,5,7
/proc/27058/task/27064/stat : 27064 (java) S 27055 27058 22589 0 -1 4202560 1155 0 0 0 462 25 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513895209896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27065] ppid=27055 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/27058/task/27065/stat : 27065 (java) S 27055 27058 22589 0 -1 4202560 1011 0 0 0 481 29 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513894156584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27066] ppid=27055 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/27058/task/27066/stat : 27066 (java) S 27055 27058 22589 0 -1 4202560 914 0 0 0 363 23 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513893103784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27067] ppid=27055 vsize=9824732 CPUtime=4.97 cores=1,3,5,7
/proc/27058/task/27067/stat : 27067 (java) S 27055 27058 22589 0 -1 4202560 1198 0 0 0 471 26 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513892051496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27068] ppid=27055 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/27058/task/27068/stat : 27068 (java) S 27055 27058 22589 0 -1 4202560 767 0 0 0 413 28 0 0 20 0 22 0 23385202 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513890998696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27069] ppid=27055 vsize=9824732 CPUtime=7.31 cores=1,3,5,7
/proc/27058/task/27069/stat : 27069 (java) S 27055 27058 22589 0 -1 4202560 3049 0 0 0 724 7 0 0 20 0 22 0 23385203 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513761016552 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27070] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27070/stat : 27070 (java) S 27055 27058 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513759962616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27071] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27071/stat : 27071 (java) S 27055 27058 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23385203 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513758910216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27072] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27072/stat : 27072 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513757858704 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27073] ppid=27055 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/27058/task/27073/stat : 27073 (java) S 27055 27058 22589 0 -1 4202560 19433 0 0 0 197 4 0 0 20 0 22 0 23385206 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513756805304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27058/tid=27074] ppid=27055 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/27058/task/27074/stat : 27074 (java) S 27055 27058 22589 0 -1 4202560 7277 0 0 0 124 2 0 0 20 0 22 0 23385206 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513755752504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27075] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27075/stat : 27075 (java) S 27055 27058 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23385206 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513754700408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27058/tid=27076] ppid=27055 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/27058/task/27076/stat : 27076 (java) S 27055 27058 22589 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 23385206 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513753647816 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27077] ppid=27055 vsize=9824732 CPUtime=876.33 cores=1,3,5,7
/proc/27058/task/27077/stat : 27077 (java) R 27055 27058 22589 0 -1 4202560 312 0 0 0 87608 25 0 0 20 0 22 0 23385259 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513752592208 140513764989385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27078] ppid=27055 vsize=9824732 CPUtime=876.28 cores=1,3,5,7
/proc/27058/task/27078/stat : 27078 (java) R 27055 27058 22589 0 -1 4202560 2163 0 0 0 87584 44 0 0 20 0 22 0 23385259 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513751540856 140513765030205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27058/tid=27079] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27079/stat : 27079 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513750488744 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27058/tid=27080] ppid=27055 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27058/task/27080/stat : 27080 (java) S 27055 27058 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23385261 10060525568 1136755 33554432000 1073741824 1073778376 140734722201472 140513749435944 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 27058 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 893.873
CPU time (s): 1800.79
CPU user time (s): 1797.52
CPU system time (s): 3.2705
CPU usage (%): 201.459
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.52
system time used= 3.2705
maximum resident set size= 4547136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43967
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23585
involuntary context switches= 31032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74313 second user time and 7.52486 second system time
The end