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-4092274-1466086301/watcher-4092274-1466086301 -o /tmp/evaluation-result-4092274-1466086301/solver-4092274-1466086301 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466075234-14703 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092274-1466086301.wbo
pid=23113
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.08 2.16 2.15 3/196 23116
/proc/meminfo: memFree=27837796/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/23116/stat : 23116 (java) D 23113 23116 11396 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 10675502 2560000 46 33554432000 1073741824 1073778376 140735435922528 140735435919656 211449638183 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/23116/statm: 625 46 37 9 0 29 0
[startup+0.100061 s]
/proc/loadavg: 2.08 2.16 2.15 3/196 23116
/proc/meminfo: memFree=27837796/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 4240 0 1 0 6 1 0 0 20 0 18 0 10675502 9787879424 5352 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2389619 5354 2056 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200245 s]
/proc/loadavg: 2.08 2.16 2.15 3/196 23116
/proc/meminfo: memFree=27837796/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 4727 0 1 0 20 2 0 0 20 0 18 0 10675502 9787879424 6836 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2389619 6836 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300212 s]
/proc/loadavg: 2.08 2.16 2.15 3/196 23116
/proc/meminfo: memFree=27837796/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 5565 0 1 0 43 2 0 0 20 0 18 0 10675502 9787879424 8384 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2389619 8384 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700272 s]
/proc/loadavg: 2.08 2.16 2.15 3/196 23116
/proc/meminfo: memFree=27837796/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 10381 0 1 0 145 5 0 0 20 0 19 0 10675502 10060525568 13255 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 13255 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9824732
[startup+1.50078 s]
/proc/loadavg: 2.08 2.16 2.15 2/215 23141
/proc/meminfo: memFree=27775420/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 14824 0 1 0 194 10 0 0 20 0 19 0 10675502 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 19959 2273 9 0 2446860 0
[pid=23116/tid=23118] ppid=23113 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23116/task/23118/stat : 23118 (java) S 23113 23116 11396 0 -1 4202560 2443 0 1 0 33 2 0 0 20 0 19 0 10675504 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476319822712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23119] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23119/stat : 23119 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476308884008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23120] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23120/stat : 23120 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476307831208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23121] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23121/stat : 23121 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476306778408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23122] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23122/stat : 23122 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476305725608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23123] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23123/stat : 23123 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476304673832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23124] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23124/stat : 23124 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476303621032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23125] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23125/stat : 23125 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476302568232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23126] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23126/stat : 23126 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476155640488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23127] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23127/stat : 23127 (java) S 23113 23116 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10675506 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476143442408 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23128] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23128/stat : 23128 (java) S 23113 23116 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10675507 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476142388472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23129] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23129/stat : 23129 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10675507 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476141335560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23130] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23130/stat : 23130 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476140284048 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23131] ppid=23113 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/23116/task/23131/stat : 23131 (java) S 23113 23116 11396 0 -1 4202560 3290 0 0 0 59 0 0 0 20 0 19 0 10675509 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476139232184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23132] ppid=23113 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/23116/task/23132/stat : 23132 (java) S 23113 23116 11396 0 -1 4202560 7744 0 0 0 59 1 0 0 20 0 19 0 10675509 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476138179384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23133] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23133/stat : 23133 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476137126776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23134] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23134/stat : 23134 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476136074184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23138] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23138/stat : 23138 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10675540 10060525568 19959 33554432000 1073741824 1073778376 140736087353184 140476131861288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 1.99 2.14 2.14 2/215 23147
/proc/meminfo: memFree=27758184/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 17917 0 1 0 233 13 0 0 20 0 19 0 10675502 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 25114 2275 9 0 2446860 0
[pid=23116/tid=23118] ppid=23113 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/23116/task/23118/stat : 23118 (java) S 23113 23116 11396 0 -1 4202560 2447 0 1 0 35 2 0 0 20 0 19 0 10675504 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476319822712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23119] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23119/stat : 23119 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476308884008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23120] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23120/stat : 23120 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476307831208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23121] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23121/stat : 23121 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476306778408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23122] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23122/stat : 23122 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476305725608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23123] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23123/stat : 23123 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476304673832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23124] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23124/stat : 23124 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476303621032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23125] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23125/stat : 23125 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476302568232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23126] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23126/stat : 23126 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476155640488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23127] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23127/stat : 23127 (java) S 23113 23116 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10675506 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476143442408 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23128] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23128/stat : 23128 (java) S 23113 23116 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10675507 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476142388472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23129] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23129/stat : 23129 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10675507 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476141335560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23130] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23130/stat : 23130 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476140284048 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23131] ppid=23113 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/23116/task/23131/stat : 23131 (java) S 23113 23116 11396 0 -1 4202560 6340 0 0 0 79 0 0 0 20 0 19 0 10675509 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476139232184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23132] ppid=23113 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/23116/task/23132/stat : 23132 (java) S 23113 23116 11396 0 -1 4202560 7756 0 0 0 73 1 0 0 20 0 19 0 10675509 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476138179384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23133] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23133/stat : 23133 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476137126776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23134] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23134/stat : 23134 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476136074184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23138] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23138/stat : 23138 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10675540 10060525568 25114 33554432000 1073741824 1073778376 140736087353184 140476131861288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=10 pid=1811 uid=0 cmd=
[startup+6.3009 s]
/proc/loadavg: 1.99 2.14 2.14 4/218 23162
/proc/meminfo: memFree=27669468/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=5.55 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 18769 0 1 0 532 23 0 0 20 0 19 0 10675502 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 44561 2290 9 0 2446860 0
[pid=23116/tid=23118] ppid=23113 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/23116/task/23118/stat : 23118 (java) S 23113 23116 11396 0 -1 4202560 2450 0 1 0 37 2 0 0 20 0 19 0 10675504 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476319822712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23119] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23119/stat : 23119 (java) S 23113 23116 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476308884008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23120] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23120/stat : 23120 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476307831208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23121] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23121/stat : 23121 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476306778408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23122] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23122/stat : 23122 (java) S 23113 23116 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476305725608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23123] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23123/stat : 23123 (java) S 23113 23116 11396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476304673832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23124] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23124/stat : 23124 (java) S 23113 23116 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476303621032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23125] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23125/stat : 23125 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476302568232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23126] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23126/stat : 23126 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10675505 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476155640488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23127] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23127/stat : 23127 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10675506 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476143442408 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23128] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23128/stat : 23128 (java) S 23113 23116 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10675507 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476142388472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23129] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23129/stat : 23129 (java) S 23113 23116 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10675507 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476141335560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23130] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23130/stat : 23130 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476140284048 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23131] ppid=23113 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/23116/task/23131/stat : 23131 (java) S 23113 23116 11396 0 -1 4202560 7069 0 0 0 93 0 0 0 20 0 19 0 10675509 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476139232184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23132] ppid=23113 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/23116/task/23132/stat : 23132 (java) S 23113 23116 11396 0 -1 4202560 7766 0 0 0 95 2 0 0 20 0 19 0 10675509 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476138179384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23133] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23133/stat : 23133 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476137126776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23134] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23134/stat : 23134 (java) S 23113 23116 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10675509 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476136074184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23138] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23138/stat : 23138 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10675540 10060525568 44561 33554432000 1073741824 1073778376 140736087353184 140476131861288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.55
################
# More data... #
################
[pid=23116/tid=23285] ppid=23113 vsize=9824732 CPUtime=1504.21 cores=1,3,5,7
/proc/23116/task/23285/stat : 23285 (java) R 23113 23116 11396 0 -1 4202560 1443 0 0 0 150391 30 0 0 20 0 21 0 10689249 10060525568 1069012 33554432000 1073741824 1073778376 140736087353184 140476132913200 140476183980534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23286] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23286/stat : 23286 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10689261 10060525568 1069012 33554432000 1073741824 1073778376 140736087353184 140476135020072 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1692.08
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.18 2.18 2.17 3/218 23501
/proc/meminfo: memFree=25066304/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=1753.36 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 38458 0 1 0 174855 481 0 0 20 0 21 0 10675502 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 1069038 2302 9 0 2446860 0
[pid=23116/tid=23118] ppid=23113 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/23116/task/23118/stat : 23118 (java) S 23113 23116 11396 0 -1 4202560 2576 0 1 0 154 32 0 0 20 0 21 0 10675504 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476319822840 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23119] ppid=23113 vsize=9824732 CPUtime=5.52 cores=1,3,5,7
/proc/23116/task/23119/stat : 23119 (java) S 23113 23116 11396 0 -1 4202560 931 0 0 0 516 36 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476308884008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23120] ppid=23113 vsize=9824732 CPUtime=5.69 cores=1,3,5,7
/proc/23116/task/23120/stat : 23120 (java) S 23113 23116 11396 0 -1 4202560 784 0 0 0 532 37 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476307831208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23121] ppid=23113 vsize=9824732 CPUtime=5.64 cores=1,3,5,7
/proc/23116/task/23121/stat : 23121 (java) S 23113 23116 11396 0 -1 4202560 877 0 0 0 531 33 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476306778408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23122] ppid=23113 vsize=9824732 CPUtime=5.54 cores=1,3,5,7
/proc/23116/task/23122/stat : 23122 (java) S 23113 23116 11396 0 -1 4202560 1126 0 0 0 516 38 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476305725608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23123] ppid=23113 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/23116/task/23123/stat : 23123 (java) S 23113 23116 11396 0 -1 4202560 861 0 0 0 540 39 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476304673832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23124] ppid=23113 vsize=9824732 CPUtime=5.66 cores=1,3,5,7
/proc/23116/task/23124/stat : 23124 (java) S 23113 23116 11396 0 -1 4202560 884 0 0 0 524 42 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476303621032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23125] ppid=23113 vsize=9824732 CPUtime=5.45 cores=1,3,5,7
/proc/23116/task/23125/stat : 23125 (java) S 23113 23116 11396 0 -1 4202560 1069 0 0 0 508 37 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476302568232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23126] ppid=23113 vsize=9824732 CPUtime=5.83 cores=1,3,5,7
/proc/23116/task/23126/stat : 23126 (java) S 23113 23116 11396 0 -1 4202560 808 0 0 0 548 35 0 0 20 0 21 0 10675505 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476155640488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23127] ppid=23113 vsize=9824732 CPUtime=10.03 cores=1,3,5,7
/proc/23116/task/23127/stat : 23127 (java) S 23113 23116 11396 0 -1 4202560 4440 0 0 0 991 12 0 0 20 0 21 0 10675506 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476143442408 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23128] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23128/stat : 23128 (java) S 23113 23116 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10675507 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476142388472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23129] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23129/stat : 23129 (java) S 23113 23116 11396 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 21 0 10675507 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476141335560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23130] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23130/stat : 23130 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10675509 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476140284048 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23131] ppid=23113 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/23116/task/23131/stat : 23131 (java) S 23113 23116 11396 0 -1 4202560 12191 0 0 0 146 3 0 0 20 0 21 0 10675509 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476139232184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23132] ppid=23113 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/23116/task/23132/stat : 23132 (java) S 23113 23116 11396 0 -1 4202560 7789 0 0 0 128 2 0 0 20 0 21 0 10675509 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476138179384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23133] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23133/stat : 23133 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10675509 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476137126776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23134] ppid=23113 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/23116/task/23134/stat : 23134 (java) S 23113 23116 11396 0 -1 4202560 100 0 0 0 26 28 0 0 20 0 21 0 10675509 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476136074184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23138] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23138/stat : 23138 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10675540 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476131861288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23285] ppid=23113 vsize=9824732 CPUtime=1563.77 cores=1,3,5,7
/proc/23116/task/23285/stat : 23285 (java) R 23113 23116 11396 0 -1 4202560 1443 0 0 0 156346 31 0 0 20 0 21 0 10689249 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476132913096 140476183980528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23286] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23286/stat : 23286 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10689261 10060525568 1069038 33554432000 1073741824 1073778376 140736087353184 140476135020072 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.36
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1767.9 s]
/proc/loadavg: 2.26 2.20 2.17 10/217 23502
/proc/meminfo: memFree=25016892/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 38484 0 1 0 179523 483 0 0 20 0 21 0 10675502 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 1070076 2302 9 0 2446860 0
[pid=23116/tid=23118] ppid=23113 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/23116/task/23118/stat : 23118 (java) S 23113 23116 11396 0 -1 4202560 2578 0 1 0 154 33 0 0 20 0 21 0 10675504 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476319822840 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23119] ppid=23113 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/23116/task/23119/stat : 23119 (java) S 23113 23116 11396 0 -1 4202560 932 0 0 0 543 36 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476308884008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23120] ppid=23113 vsize=9824732 CPUtime=5.96 cores=1,3,5,7
/proc/23116/task/23120/stat : 23120 (java) S 23113 23116 11396 0 -1 4202560 786 0 0 0 559 37 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476307831208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23121] ppid=23113 vsize=9824732 CPUtime=5.89 cores=1,3,5,7
/proc/23116/task/23121/stat : 23121 (java) S 23113 23116 11396 0 -1 4202560 877 0 0 0 556 33 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476306778408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23122] ppid=23113 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/23116/task/23122/stat : 23122 (java) S 23113 23116 11396 0 -1 4202560 1128 0 0 0 541 38 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476305725608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23123] ppid=23113 vsize=9824732 CPUtime=5.9 cores=1,3,5,7
/proc/23116/task/23123/stat : 23123 (java) S 23113 23116 11396 0 -1 4202560 865 0 0 0 551 39 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476304673832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23124] ppid=23113 vsize=9824732 CPUtime=5.76 cores=1,3,5,7
/proc/23116/task/23124/stat : 23124 (java) S 23113 23116 11396 0 -1 4202560 885 0 0 0 534 42 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476303621032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23125] ppid=23113 vsize=9824732 CPUtime=5.58 cores=1,3,5,7
/proc/23116/task/23125/stat : 23125 (java) S 23113 23116 11396 0 -1 4202560 1073 0 0 0 521 37 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476302568232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23126] ppid=23113 vsize=9824732 CPUtime=5.92 cores=1,3,5,7
/proc/23116/task/23126/stat : 23126 (java) S 23113 23116 11396 0 -1 4202560 810 0 0 0 557 35 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476155640488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23127] ppid=23113 vsize=9824732 CPUtime=10.03 cores=1,3,5,7
/proc/23116/task/23127/stat : 23127 (java) S 23113 23116 11396 0 -1 4202560 4444 0 0 0 991 12 0 0 20 0 21 0 10675506 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476143442408 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23128] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23128/stat : 23128 (java) S 23113 23116 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10675507 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476142388472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23129] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23129/stat : 23129 (java) S 23113 23116 11396 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 21 0 10675507 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476141335560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23130] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23130/stat : 23130 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476140284048 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23131] ppid=23113 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/23116/task/23131/stat : 23131 (java) S 23113 23116 11396 0 -1 4202560 12191 0 0 0 146 3 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476139232184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23132] ppid=23113 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/23116/task/23132/stat : 23132 (java) S 23113 23116 11396 0 -1 4202560 7789 0 0 0 128 2 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476138179384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23133] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23133/stat : 23133 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476137126776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23134] ppid=23113 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/23116/task/23134/stat : 23134 (java) S 23113 23116 11396 0 -1 4202560 104 0 0 0 27 29 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476136074184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23138] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23138/stat : 23138 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10675540 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476131861288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23285] ppid=23113 vsize=9824732 CPUtime=1609 cores=1,3,5,7
/proc/23116/task/23285/stat : 23285 (java) R 23113 23116 11396 0 -1 4202560 1443 0 0 0 160868 32 0 0 20 0 21 0 10689249 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476132913080 140476183980507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23286] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23286/stat : 23286 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10689261 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476135020072 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 23116 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1767.9 s]
/proc/loadavg: 2.26 2.20 2.17 10/217 23502
/proc/meminfo: memFree=25016892/32872528 swapFree=496356/529060
[pid=23116] ppid=23113 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/23116/stat : 23116 (java) S 23113 23116 11396 0 -1 4202496 38484 0 1 0 179523 483 0 0 20 0 21 0 10675502 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140736087344320 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2456183 1070076 2302 9 0 2446860 0
[pid=23116/tid=23118] ppid=23113 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/23116/task/23118/stat : 23118 (java) S 23113 23116 11396 0 -1 4202560 2578 0 1 0 154 33 0 0 20 0 21 0 10675504 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476319822840 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23119] ppid=23113 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/23116/task/23119/stat : 23119 (java) S 23113 23116 11396 0 -1 4202560 932 0 0 0 543 36 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476308884008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23120] ppid=23113 vsize=9824732 CPUtime=5.96 cores=1,3,5,7
/proc/23116/task/23120/stat : 23120 (java) S 23113 23116 11396 0 -1 4202560 786 0 0 0 559 37 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476307831208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23121] ppid=23113 vsize=9824732 CPUtime=5.89 cores=1,3,5,7
/proc/23116/task/23121/stat : 23121 (java) S 23113 23116 11396 0 -1 4202560 877 0 0 0 556 33 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476306778408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23122] ppid=23113 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/23116/task/23122/stat : 23122 (java) S 23113 23116 11396 0 -1 4202560 1128 0 0 0 541 38 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476305725608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23123] ppid=23113 vsize=9824732 CPUtime=5.9 cores=1,3,5,7
/proc/23116/task/23123/stat : 23123 (java) S 23113 23116 11396 0 -1 4202560 865 0 0 0 551 39 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476304673832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23124] ppid=23113 vsize=9824732 CPUtime=5.76 cores=1,3,5,7
/proc/23116/task/23124/stat : 23124 (java) S 23113 23116 11396 0 -1 4202560 885 0 0 0 534 42 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476303621032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23125] ppid=23113 vsize=9824732 CPUtime=5.58 cores=1,3,5,7
/proc/23116/task/23125/stat : 23125 (java) S 23113 23116 11396 0 -1 4202560 1073 0 0 0 521 37 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476302568232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23126] ppid=23113 vsize=9824732 CPUtime=5.92 cores=1,3,5,7
/proc/23116/task/23126/stat : 23126 (java) S 23113 23116 11396 0 -1 4202560 810 0 0 0 557 35 0 0 20 0 21 0 10675505 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476155640488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23127] ppid=23113 vsize=9824732 CPUtime=10.03 cores=1,3,5,7
/proc/23116/task/23127/stat : 23127 (java) S 23113 23116 11396 0 -1 4202560 4444 0 0 0 991 12 0 0 20 0 21 0 10675506 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476143442408 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23128] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23128/stat : 23128 (java) S 23113 23116 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10675507 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476142388472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23129] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23129/stat : 23129 (java) S 23113 23116 11396 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 21 0 10675507 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476141335560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23130] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23130/stat : 23130 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476140284048 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23131] ppid=23113 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/23116/task/23131/stat : 23131 (java) S 23113 23116 11396 0 -1 4202560 12191 0 0 0 146 3 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476139232184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23116/tid=23132] ppid=23113 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/23116/task/23132/stat : 23132 (java) S 23113 23116 11396 0 -1 4202560 7789 0 0 0 128 2 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476138179384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23133] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23133/stat : 23133 (java) S 23113 23116 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476137126776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23134] ppid=23113 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/23116/task/23134/stat : 23134 (java) S 23113 23116 11396 0 -1 4202560 104 0 0 0 27 29 0 0 20 0 21 0 10675509 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476136074184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23116/tid=23138] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23138/stat : 23138 (java) S 23113 23116 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10675540 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476131861288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23116/tid=23285] ppid=23113 vsize=9824732 CPUtime=1609 cores=1,3,5,7
/proc/23116/task/23285/stat : 23285 (java) R 23113 23116 11396 0 -1 4202560 1443 0 0 0 160868 32 0 0 20 0 21 0 10689249 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476132913080 140476183980507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23116/tid=23286] ppid=23113 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23116/task/23286/stat : 23286 (java) S 23113 23116 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10689261 10060525568 1070076 33554432000 1073741824 1073778376 140736087353184 140476135020072 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1767.95
CPU time (s): 1800.7
CPU user time (s): 1795.39
CPU system time (s): 5.31319
CPU usage (%): 101.852
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.39
system time used= 5.31319
maximum resident set size= 4280380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38510
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76904
involuntary context switches= 45077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4531 second user time and 12.5241 second system time
The end