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-4110381-1466347178/watcher-4110381-1466347178 -o /tmp/evaluation-result-4110381-1466347178/solver-4110381-1466347178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466341797-18607 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110381-1466347178.wbo
pid=23108
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.20 2.28 3/196 23111
/proc/meminfo: memFree=30324268/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/23111/stat : 23111 (java) R 23108 23111 18590 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 36763240 9445376 96 33554432000 1073741824 1073778376 140735758587024 140735758584152 211449591657 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2290 86 64 9 0 38 0
[startup+0.100208 s]
/proc/loadavg: 2.02 2.20 2.28 3/196 23111
/proc/meminfo: memFree=30324268/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 36763240 9787879424 6048 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200312 s]
/proc/loadavg: 2.02 2.20 2.28 3/196 23111
/proc/meminfo: memFree=30324268/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 4756 0 1 0 22 1 0 0 20 0 18 0 36763240 9787879424 6834 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2389619 6834 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300183 s]
/proc/loadavg: 2.02 2.20 2.28 3/196 23111
/proc/meminfo: memFree=30324268/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 5702 0 1 0 45 2 0 0 20 0 18 0 36763240 9787879424 8390 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2389619 8390 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700259 s]
/proc/loadavg: 2.02 2.20 2.28 3/196 23111
/proc/meminfo: memFree=30324268/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 9362 0 1 0 130 5 0 0 20 0 19 0 36763240 10060525568 13661 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 13661 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9824732
[startup+1.50078 s]
/proc/loadavg: 2.02 2.20 2.28 2/215 23136
/proc/meminfo: memFree=30244732/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 14653 0 1 0 184 9 0 0 20 0 19 0 36763240 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 19360 2273 9 0 2446860 0
[pid=23111/tid=23113] ppid=23108 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23111/task/23113/stat : 23113 (java) S 23108 23111 18590 0 -1 4202560 2465 0 1 0 33 2 0 0 20 0 19 0 36763241 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534212957048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23114] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23114/stat : 23114 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534151686312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23115] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23115/stat : 23115 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534150633768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23116] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23116/stat : 23116 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534149581224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23117] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23117/stat : 23117 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534053812776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23118] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23118/stat : 23118 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534052760232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23119] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23119/stat : 23119 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534051707688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23120] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23120/stat : 23120 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534050655144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23121] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23121/stat : 23121 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534049602600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23122] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23122/stat : 23122 (java) S 23108 23111 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534037190760 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23123] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23123/stat : 23123 (java) S 23108 23111 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534036137080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23124] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23124/stat : 23124 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534035084424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23125] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23125/stat : 23125 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763246 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534034033168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23126] ppid=23108 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/23111/task/23126/stat : 23126 (java) S 23108 23111 18590 0 -1 4202560 6411 0 0 0 56 0 0 0 20 0 19 0 36763246 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534032980536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23127] ppid=23108 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/23111/task/23127/stat : 23127 (java) S 23108 23111 18590 0 -1 4202560 4431 0 0 0 57 0 0 0 20 0 19 0 36763246 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534031927992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23128] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23128/stat : 23128 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763246 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534030875640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23129] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23129/stat : 23129 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763247 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534029823304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23133] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23133/stat : 23133 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36763278 10060525568 19360 33554432000 1073741824 1073778376 140735758587024 140534025561256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 1.94 2.18 2.27 4/218 23142
/proc/meminfo: memFree=30202780/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 15561 0 1 0 344 16 0 0 20 0 19 0 36763240 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 33724 2276 9 0 2446860 0
[pid=23111/tid=23113] ppid=23108 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/23111/task/23113/stat : 23113 (java) S 23108 23111 18590 0 -1 4202560 2466 0 1 0 36 2 0 0 20 0 19 0 36763241 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534212957048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23114] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23114/stat : 23114 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534151686312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23115] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23115/stat : 23115 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534150633768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23116] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23116/stat : 23116 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534149581224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23117] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23117/stat : 23117 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534053812776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23118] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23118/stat : 23118 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534052760232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23119] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23119/stat : 23119 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534051707688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23120] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23120/stat : 23120 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534050655144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23121] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23121/stat : 23121 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534049602600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23122] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23122/stat : 23122 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534037190760 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23123] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23123/stat : 23123 (java) S 23108 23111 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534036137080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23124] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23124/stat : 23124 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534035084424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23125] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23125/stat : 23125 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763246 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534034033168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23126] ppid=23108 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/23111/task/23126/stat : 23126 (java) S 23108 23111 18590 0 -1 4202560 6425 0 0 0 84 0 0 0 20 0 19 0 36763246 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534032980536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23127] ppid=23108 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/23111/task/23127/stat : 23127 (java) S 23108 23111 18590 0 -1 4202560 5270 0 0 0 87 0 0 0 20 0 19 0 36763246 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534031927992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23128] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23128/stat : 23128 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763246 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534030875640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23129] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23129/stat : 23129 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763247 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534029823304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23133] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23133/stat : 23133 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36763278 10060525568 33724 33554432000 1073741824 1073778376 140735758587024 140534025561256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9824732
[startup+6.30083 s]
/proc/loadavg: 1.94 2.18 2.27 2/215 23160
/proc/meminfo: memFree=30131380/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=5.18 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 15663 0 1 0 493 25 0 0 20 0 19 0 36763240 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 45343 2290 9 0 2446860 0
[pid=23111/tid=23113] ppid=23108 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/23111/task/23113/stat : 23113 (java) S 23108 23111 18590 0 -1 4202560 2468 0 1 0 38 2 0 0 20 0 19 0 36763241 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534212957048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23114] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23114/stat : 23114 (java) S 23108 23111 18590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534151686312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23115] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23115/stat : 23115 (java) S 23108 23111 18590 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534150633768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23116] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23116/stat : 23116 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534149581224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23117] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23117/stat : 23117 (java) S 23108 23111 18590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36763242 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534053812776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23118] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23118/stat : 23118 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534052760232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23119] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23119/stat : 23119 (java) S 23108 23111 18590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534051707688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23120] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23120/stat : 23120 (java) S 23108 23111 18590 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534050655144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23121] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23121/stat : 23121 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36763243 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534049602600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23122] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23122/stat : 23122 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534037190760 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23123] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23123/stat : 23123 (java) S 23108 23111 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534036137080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23124] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23124/stat : 23124 (java) S 23108 23111 18590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36763244 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534035084424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23125] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23125/stat : 23125 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763246 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534034033168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23126] ppid=23108 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/23111/task/23126/stat : 23126 (java) S 23108 23111 18590 0 -1 4202560 6425 0 0 0 90 0 0 0 20 0 19 0 36763246 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534032980536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23127] ppid=23108 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/23111/task/23127/stat : 23127 (java) S 23108 23111 18590 0 -1 4202560 5270 0 0 0 95 0 0 0 20 0 19 0 36763246 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534031927992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23128] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23128/stat : 23128 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763246 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534030875640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23129] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23129/stat : 23129 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36763247 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534029823304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23133] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23133/stat : 23133 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36763278 10060525568 45343 33554432000 1073741824 1073778376 140735758587024 140534025561256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 9824732
################
# More data... #
################
[pid=23111/tid=23243] ppid=23108 vsize=9824732 CPUtime=1618.49 cores=1,3,5,7
/proc/23111/task/23243/stat : 23243 (java) R 23108 23111 18590 0 -1 4202560 1047 0 0 0 161803 46 0 0 20 0 21 0 36765458 10060525568 1131766 33554432000 1073741824 1073778376 140735758587024 140534028717328 140534153492958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23244] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23244/stat : 23244 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36765460 10060525568 1131766 33554432000 1073741824 1073778376 140735758587024 140534027666472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1689.27
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 1.53 1.99 2.11 2/190 23342
/proc/meminfo: memFree=26705552/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=1750.71 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 35366 0 1 0 174628 443 0 0 20 0 21 0 36763240 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 1156562 2302 9 0 2446860 0
[pid=23111/tid=23113] ppid=23108 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/23111/task/23113/stat : 23113 (java) S 23108 23111 18590 0 -1 4202560 2522 0 1 0 94 26 0 0 20 0 21 0 36763241 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534212957160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23114] ppid=23108 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/23111/task/23114/stat : 23114 (java) S 23108 23111 18590 0 -1 4202560 968 0 0 0 502 35 0 0 20 0 21 0 36763242 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534151686312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23115] ppid=23108 vsize=9824732 CPUtime=6 cores=1,3,5,7
/proc/23111/task/23115/stat : 23115 (java) S 23108 23111 18590 0 -1 4202560 1257 0 0 0 564 36 0 0 20 0 21 0 36763242 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534150633768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23116] ppid=23108 vsize=9824732 CPUtime=6.06 cores=1,3,5,7
/proc/23111/task/23116/stat : 23116 (java) S 23108 23111 18590 0 -1 4202560 1004 0 0 0 569 37 0 0 20 0 21 0 36763242 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534149581224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23117] ppid=23108 vsize=9824732 CPUtime=5.76 cores=1,3,5,7
/proc/23111/task/23117/stat : 23117 (java) S 23108 23111 18590 0 -1 4202560 837 0 0 0 540 36 0 0 20 0 21 0 36763242 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534053812776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23118] ppid=23108 vsize=9824732 CPUtime=6.17 cores=1,3,5,7
/proc/23111/task/23118/stat : 23118 (java) S 23108 23111 18590 0 -1 4202560 1426 0 0 0 576 41 0 0 20 0 21 0 36763243 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534052760232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23119] ppid=23108 vsize=9824732 CPUtime=5.85 cores=1,3,5,7
/proc/23111/task/23119/stat : 23119 (java) S 23108 23111 18590 0 -1 4202560 1066 0 0 0 548 37 0 0 20 0 21 0 36763243 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534051707688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23120] ppid=23108 vsize=9824732 CPUtime=6.39 cores=1,3,5,7
/proc/23111/task/23120/stat : 23120 (java) S 23108 23111 18590 0 -1 4202560 1217 0 0 0 601 38 0 0 20 0 21 0 36763243 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534050655144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23121] ppid=23108 vsize=9824732 CPUtime=5.63 cores=1,3,5,7
/proc/23111/task/23121/stat : 23121 (java) S 23108 23111 18590 0 -1 4202560 921 0 0 0 525 38 0 0 20 0 21 0 36763243 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534049602600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23122] ppid=23108 vsize=9824732 CPUtime=13.5 cores=1,3,5,7
/proc/23111/task/23122/stat : 23122 (java) S 23108 23111 18590 0 -1 4202560 5103 0 0 0 1341 9 0 0 20 0 21 0 36763244 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534037190760 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23123] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23123/stat : 23123 (java) S 23108 23111 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36763244 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534036137080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23124] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23124/stat : 23124 (java) S 23108 23111 18590 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 21 0 36763244 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534035084424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23125] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23125/stat : 23125 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36763246 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534034033168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23126] ppid=23108 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/23111/task/23126/stat : 23126 (java) S 23108 23111 18590 0 -1 4202560 10489 0 0 0 162 2 0 0 20 0 21 0 36763246 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534032980536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23127] ppid=23108 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/23111/task/23127/stat : 23127 (java) S 23108 23111 18590 0 -1 4202560 5280 0 0 0 109 0 0 0 20 0 21 0 36763246 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534031927992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23128] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23128/stat : 23128 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36763246 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534030875640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23129] ppid=23108 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/23111/task/23129/stat : 23129 (java) S 23108 23111 18590 0 -1 4202560 99 0 0 0 23 27 0 0 20 0 21 0 36763247 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534029823304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23133] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23133/stat : 23133 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36763278 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534025561256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23243] ppid=23108 vsize=9824732 CPUtime=1674.28 cores=1,3,5,7
/proc/23111/task/23243/stat : 23243 (java) R 23108 23111 18590 0 -1 4202560 1050 0 0 0 167381 47 0 0 20 0 21 0 36765458 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534028717344 140534153403559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23244] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23244/stat : 23244 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36765460 10060525568 1156562 33554432000 1073741824 1073778376 140735758587024 140534027666472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1750.71
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1770.1 s]
/proc/loadavg: 1.31 1.86 2.06 2/190 23343
/proc/meminfo: memFree=26705572/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 35407 0 1 0 179558 444 0 0 20 0 21 0 36763240 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 1156593 2302 9 0 2446860 0
[pid=23111/tid=23113] ppid=23108 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/23111/task/23113/stat : 23113 (java) S 23108 23111 18590 0 -1 4202560 2523 0 1 0 95 26 0 0 20 0 21 0 36763241 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534212957160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23114] ppid=23108 vsize=9824732 CPUtime=5.61 cores=1,3,5,7
/proc/23111/task/23114/stat : 23114 (java) S 23108 23111 18590 0 -1 4202560 969 0 0 0 526 35 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534151686312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23115] ppid=23108 vsize=9824732 CPUtime=6.25 cores=1,3,5,7
/proc/23111/task/23115/stat : 23115 (java) S 23108 23111 18590 0 -1 4202560 1263 0 0 0 588 37 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534150633768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23116] ppid=23108 vsize=9824732 CPUtime=6.32 cores=1,3,5,7
/proc/23111/task/23116/stat : 23116 (java) S 23108 23111 18590 0 -1 4202560 1011 0 0 0 595 37 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534149581224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23117] ppid=23108 vsize=9824732 CPUtime=6.01 cores=1,3,5,7
/proc/23111/task/23117/stat : 23117 (java) S 23108 23111 18590 0 -1 4202560 843 0 0 0 565 36 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534053812776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23118] ppid=23108 vsize=9824732 CPUtime=6.43 cores=1,3,5,7
/proc/23111/task/23118/stat : 23118 (java) S 23108 23111 18590 0 -1 4202560 1431 0 0 0 602 41 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534052760232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23119] ppid=23108 vsize=9824732 CPUtime=6.1 cores=1,3,5,7
/proc/23111/task/23119/stat : 23119 (java) S 23108 23111 18590 0 -1 4202560 1071 0 0 0 573 37 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534051707688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23120] ppid=23108 vsize=9824732 CPUtime=6.62 cores=1,3,5,7
/proc/23111/task/23120/stat : 23120 (java) S 23108 23111 18590 0 -1 4202560 1219 0 0 0 624 38 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534050655144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23121] ppid=23108 vsize=9824732 CPUtime=5.95 cores=1,3,5,7
/proc/23111/task/23121/stat : 23121 (java) S 23108 23111 18590 0 -1 4202560 924 0 0 0 557 38 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534049602600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23122] ppid=23108 vsize=9824732 CPUtime=13.51 cores=1,3,5,7
/proc/23111/task/23122/stat : 23122 (java) S 23108 23111 18590 0 -1 4202560 5105 0 0 0 1342 9 0 0 20 0 21 0 36763244 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534037190760 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23123] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23123/stat : 23123 (java) S 23108 23111 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36763244 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534036137080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23124] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23124/stat : 23124 (java) S 23108 23111 18590 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 21 0 36763244 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534035084424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23125] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23125/stat : 23125 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534034033168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23126] ppid=23108 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/23111/task/23126/stat : 23126 (java) S 23108 23111 18590 0 -1 4202560 10489 0 0 0 162 2 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534032980536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23127] ppid=23108 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/23111/task/23127/stat : 23127 (java) S 23108 23111 18590 0 -1 4202560 5280 0 0 0 109 0 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534031927992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23128] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23128/stat : 23128 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534030875640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23129] ppid=23108 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/23111/task/23129/stat : 23129 (java) S 23108 23111 18590 0 -1 4202560 101 0 0 0 23 28 0 0 20 0 21 0 36763247 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534029823304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23133] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23133/stat : 23133 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36763278 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534025561256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23243] ppid=23108 vsize=9824732 CPUtime=1721.54 cores=1,3,5,7
/proc/23111/task/23243/stat : 23243 (java) R 23108 23111 18590 0 -1 4202560 1051 0 0 0 172106 48 0 0 20 0 21 0 36765458 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534028717168 140534153433269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23244] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23244/stat : 23244 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36765460 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534027666472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 23111 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1770.1 s]
/proc/loadavg: 1.31 1.86 2.06 2/190 23343
/proc/meminfo: memFree=26705572/32872528 swapFree=496868/529572
[pid=23111] ppid=23108 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/23111/stat : 23111 (java) S 23108 23111 18590 0 -1 4202496 35407 0 1 0 179558 444 0 0 20 0 21 0 36763240 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140735758578160 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23111/statm: 2456183 1156593 2302 9 0 2446860 0
[pid=23111/tid=23113] ppid=23108 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/23111/task/23113/stat : 23113 (java) S 23108 23111 18590 0 -1 4202560 2523 0 1 0 95 26 0 0 20 0 21 0 36763241 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534212957160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23114] ppid=23108 vsize=9824732 CPUtime=5.61 cores=1,3,5,7
/proc/23111/task/23114/stat : 23114 (java) S 23108 23111 18590 0 -1 4202560 969 0 0 0 526 35 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534151686312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23115] ppid=23108 vsize=9824732 CPUtime=6.25 cores=1,3,5,7
/proc/23111/task/23115/stat : 23115 (java) S 23108 23111 18590 0 -1 4202560 1263 0 0 0 588 37 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534150633768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23116] ppid=23108 vsize=9824732 CPUtime=6.32 cores=1,3,5,7
/proc/23111/task/23116/stat : 23116 (java) S 23108 23111 18590 0 -1 4202560 1011 0 0 0 595 37 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534149581224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23117] ppid=23108 vsize=9824732 CPUtime=6.01 cores=1,3,5,7
/proc/23111/task/23117/stat : 23117 (java) S 23108 23111 18590 0 -1 4202560 843 0 0 0 565 36 0 0 20 0 21 0 36763242 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534053812776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23118] ppid=23108 vsize=9824732 CPUtime=6.43 cores=1,3,5,7
/proc/23111/task/23118/stat : 23118 (java) S 23108 23111 18590 0 -1 4202560 1431 0 0 0 602 41 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534052760232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23119] ppid=23108 vsize=9824732 CPUtime=6.1 cores=1,3,5,7
/proc/23111/task/23119/stat : 23119 (java) S 23108 23111 18590 0 -1 4202560 1071 0 0 0 573 37 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534051707688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23120] ppid=23108 vsize=9824732 CPUtime=6.62 cores=1,3,5,7
/proc/23111/task/23120/stat : 23120 (java) S 23108 23111 18590 0 -1 4202560 1219 0 0 0 624 38 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534050655144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23121] ppid=23108 vsize=9824732 CPUtime=5.95 cores=1,3,5,7
/proc/23111/task/23121/stat : 23121 (java) S 23108 23111 18590 0 -1 4202560 924 0 0 0 557 38 0 0 20 0 21 0 36763243 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534049602600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23122] ppid=23108 vsize=9824732 CPUtime=13.51 cores=1,3,5,7
/proc/23111/task/23122/stat : 23122 (java) S 23108 23111 18590 0 -1 4202560 5105 0 0 0 1342 9 0 0 20 0 21 0 36763244 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534037190760 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23123] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23123/stat : 23123 (java) S 23108 23111 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36763244 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534036137080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23124] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23124/stat : 23124 (java) S 23108 23111 18590 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 21 0 36763244 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534035084424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23111/tid=23125] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23125/stat : 23125 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534034033168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23126] ppid=23108 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/23111/task/23126/stat : 23126 (java) S 23108 23111 18590 0 -1 4202560 10489 0 0 0 162 2 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534032980536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23127] ppid=23108 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/23111/task/23127/stat : 23127 (java) S 23108 23111 18590 0 -1 4202560 5280 0 0 0 109 0 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534031927992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23128] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23128/stat : 23128 (java) S 23108 23111 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36763246 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534030875640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23111/tid=23129] ppid=23108 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/23111/task/23129/stat : 23129 (java) S 23108 23111 18590 0 -1 4202560 101 0 0 0 23 28 0 0 20 0 21 0 36763247 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534029823304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23133] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23133/stat : 23133 (java) S 23108 23111 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36763278 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534025561256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23111/tid=23243] ppid=23108 vsize=9824732 CPUtime=1721.54 cores=1,3,5,7
/proc/23111/task/23243/stat : 23243 (java) R 23108 23111 18590 0 -1 4202560 1051 0 0 0 172106 48 0 0 20 0 21 0 36765458 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534028717168 140534153433269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23111/tid=23244] ppid=23108 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23111/task/23244/stat : 23244 (java) S 23108 23111 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36765460 10060525568 1156593 33554432000 1073741824 1073778376 140735758587024 140534027666472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1770.14
CPU time (s): 1800.77
CPU user time (s): 1795.8
CPU system time (s): 4.97224
CPU usage (%): 101.73
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.8
system time used= 4.97224
maximum resident set size= 4626464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35438
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76572
involuntary context switches= 55794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5914 second user time and 14.6328 second system time
The end