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-4080521-1465280373/watcher-4080521-1465280373 -o /tmp/evaluation-result-4080521-1465280373/solver-4080521-1465280373 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23732 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080521-1465280373.opb
pid=24204
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.07 4.15 4.00 3/197 24207
/proc/meminfo: memFree=27096992/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/24207/stat : 24207 (java) D 24204 24207 23715 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 109970495 2560000 46 33554432000 1073741824 1073778376 140734777402928 140734777400056 214360485159 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 625 46 37 9 0 29 0
[startup+0.100122 s]
/proc/loadavg: 4.07 4.15 4.00 3/197 24207
/proc/meminfo: memFree=27096992/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 4382 0 1 0 8 1 0 0 20 0 18 0 109970495 9787879424 5498 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2389619 5498 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200279 s]
/proc/loadavg: 4.07 4.15 4.00 3/197 24207
/proc/meminfo: memFree=27096992/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 5568 0 1 0 25 1 0 0 20 0 18 0 109970495 9787879424 7383 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2389619 7383 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300225 s]
/proc/loadavg: 4.07 4.15 4.00 3/197 24207
/proc/meminfo: memFree=27096992/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 7381 0 1 0 53 2 0 0 20 0 18 0 109970495 9787879424 10749 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2389619 10749 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700177 s]
/proc/loadavg: 4.07 4.15 4.00 3/197 24207
/proc/meminfo: memFree=27096992/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9558476 CPUtime=1.58 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 20698 0 1 0 154 4 0 0 20 0 18 0 109970495 9787879424 39888 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2389619 39888 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.07 4.15 4.00 7/219 24229
/proc/meminfo: memFree=26919624/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9824732 CPUtime=4.67 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 26464 0 1 0 460 7 0 0 20 0 22 0 109970495 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2456183 52420 2281 9 0 2446860 0
[pid=24207/tid=24209] ppid=24204 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24204 24207 23715 0 -1 4202560 2467 0 1 0 74 2 0 0 20 0 22 0 109970495 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794296128376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24210] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794139216040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24211] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24204 24207 23715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794138163496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24212] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794137110952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24213] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24204 24207 23715 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794136058408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24214] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24204 24207 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794135005864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24215] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24204 24207 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794133953320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24216] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24204 24207 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794132900776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24217] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24204 24207 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794131848232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24218] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24204 24207 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794119649384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24219] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794118595704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24220] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794117543048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24221] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794116491792 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24222] ppid=24204 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/24207/task/24222/stat : 24222 (java) R 24204 24207 23715 0 -1 4202560 13982 0 0 0 116 3 0 0 20 0 22 0 109970501 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794115426400 139794300245436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24223] ppid=24204 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/24207/task/24223/stat : 24223 (java) R 24204 24207 23715 0 -1 4202560 8563 0 0 0 124 2 0 0 20 0 22 0 109970501 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794114372456 139794300222180 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24224] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24224/stat : 24224 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794113334264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24225] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24225/stat : 24225 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794112281928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24226] ppid=24204 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/24207/task/24226/stat : 24226 (java) R 24204 24207 23715 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 22 0 109970574 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794111225680 139794157056192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24227] ppid=24204 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/24207/task/24227/stat : 24227 (java) R 24204 24207 23715 0 -1 4202560 40 0 0 0 67 0 0 0 20 0 22 0 109970574 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794110171816 139794157082316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24228] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24228/stat : 24228 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794109121576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24229] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24229/stat : 24229 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 52420 33554432000 1073741824 1073778376 140734777402928 139794108069032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 9824732
[startup+3.10091 s]
/proc/loadavg: 4.07 4.15 4.00 5/219 24229
/proc/meminfo: memFree=26899944/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9824732 CPUtime=8.52 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 26518 0 1 0 843 9 0 0 20 0 22 0 109970495 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2456183 56117 2288 9 0 2446860 0
[pid=24207/tid=24209] ppid=24204 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24204 24207 23715 0 -1 4202560 2467 0 1 0 74 2 0 0 20 0 22 0 109970495 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794296128376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24210] ppid=24204 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24204 24207 23715 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794139216040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24211] ppid=24204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24204 24207 23715 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794138163496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24212] ppid=24204 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24204 24207 23715 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794137110952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24213] ppid=24204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24204 24207 23715 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794136058408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24214] ppid=24204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24204 24207 23715 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794135005864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24215] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794133953320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24216] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24204 24207 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794132900776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24217] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970497 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794131848232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24218] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24204 24207 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794119649384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24219] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794118595704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24220] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794117543048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24221] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794116491792 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24222] ppid=24204 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/24207/task/24222/stat : 24222 (java) S 24204 24207 23715 0 -1 4202560 13992 0 0 0 148 3 0 0 20 0 22 0 109970501 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794115439160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24223] ppid=24204 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/24207/task/24223/stat : 24223 (java) S 24204 24207 23715 0 -1 4202560 8567 0 0 0 152 2 0 0 20 0 22 0 109970501 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794114386616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24224] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24224/stat : 24224 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794113334264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24225] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24225/stat : 24225 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794112281928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24226] ppid=24204 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/24207/task/24226/stat : 24226 (java) R 24204 24207 23715 0 -1 4202560 20 0 0 0 223 0 0 0 20 0 22 0 109970574 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794111226120 139794157110908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24227] ppid=24204 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/24207/task/24227/stat : 24227 (java) R 24204 24207 23715 0 -1 4202560 41 0 0 0 224 0 0 0 20 0 22 0 109970574 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794110173096 139794157287091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24228] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24228/stat : 24228 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794109121576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24229] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24229/stat : 24229 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 56117 33554432000 1073741824 1073778376 140734777402928 139794108069032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 9824732
[startup+6.30094 s]
/proc/loadavg: 4.07 4.15 4.00 5/219 24229
/proc/meminfo: memFree=26775496/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9824732 CPUtime=15.2 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 26763 0 1 0 1506 14 0 0 20 0 22 0 109970495 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2456183 91298 2292 9 0 2446860 0
[pid=24207/tid=24209] ppid=24204 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24204 24207 23715 0 -1 4202560 2467 0 1 0 74 2 0 0 20 0 22 0 109970495 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794296128376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24210] ppid=24204 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24204 24207 23715 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794139216040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24211] ppid=24204 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24204 24207 23715 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794138163496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24212] ppid=24204 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24204 24207 23715 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794137110952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24213] ppid=24204 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794136058408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24214] ppid=24204 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24204 24207 23715 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794135005864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24215] ppid=24204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794133953320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24216] ppid=24204 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24204 24207 23715 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794132900776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24217] ppid=24204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24204 24207 23715 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 109970497 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794131848232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24218] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24204 24207 23715 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794119649384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24219] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794118595704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24220] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794117543048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24221] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 91298 33554432000 1073741824 1073778376 140734777402928 139794116491792 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24222] ppid=24204 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.14 4.23 4.12 5/219 24320
/proc/meminfo: memFree=23021068/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9824732 CPUtime=1653.09 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 36454 0 1 0 165095 214 0 0 20 0 22 0 109970495 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2456183 967774 2301 9 0 2446860 0
[pid=24207/tid=24209] ppid=24204 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24204 24207 23715 0 -1 4202560 2482 0 1 0 76 4 0 0 20 0 22 0 109970495 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794296128376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24210] ppid=24204 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24204 24207 23715 0 -1 4202560 842 0 0 0 336 18 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794139216040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24211] ppid=24204 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24204 24207 23715 0 -1 4202560 810 0 0 0 325 21 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794138163496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24212] ppid=24204 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24204 24207 23715 0 -1 4202560 794 0 0 0 270 21 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794137110952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24213] ppid=24204 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24204 24207 23715 0 -1 4202560 644 0 0 0 263 19 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794136058408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24214] ppid=24204 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24204 24207 23715 0 -1 4202560 707 0 0 0 288 21 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794135005864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24215] ppid=24204 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24204 24207 23715 0 -1 4202560 645 0 0 0 284 16 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794133953320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24216] ppid=24204 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24204 24207 23715 0 -1 4202560 585 0 0 0 276 19 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794132900776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24217] ppid=24204 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24204 24207 23715 0 -1 4202560 651 0 0 0 270 19 0 0 20 0 22 0 109970497 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794131848232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24218] ppid=24204 vsize=9824732 CPUtime=6.38 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24204 24207 23715 0 -1 4202560 2582 0 0 0 632 6 0 0 20 0 22 0 109970498 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794119649384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24219] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794118595704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24220] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794117543048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24221] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794116491792 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24222] ppid=24204 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/24207/task/24222/stat : 24222 (java) S 24204 24207 23715 0 -1 4202560 14440 0 0 0 217 3 0 0 20 0 22 0 109970501 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794115439160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24223] ppid=24204 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/24207/task/24223/stat : 24223 (java) S 24204 24207 23715 0 -1 4202560 8574 0 0 0 169 2 0 0 20 0 22 0 109970501 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794114386616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24224] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24224/stat : 24224 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794113334264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24225] ppid=24204 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/24207/task/24225/stat : 24225 (java) S 24204 24207 23715 0 -1 4202560 47 0 0 0 17 17 0 0 20 0 22 0 109970501 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794112281928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24226] ppid=24204 vsize=9824732 CPUtime=808.59 cores=1,3,5,7
/proc/24207/task/24226/stat : 24226 (java) R 24204 24207 23715 0 -1 4202560 71 0 0 0 80844 15 0 0 20 0 22 0 109970574 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794111224096 139794157035112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24227] ppid=24204 vsize=9824732 CPUtime=808.56 cores=1,3,5,7
/proc/24207/task/24227/stat : 24227 (java) R 24204 24207 23715 0 -1 4202560 1312 0 0 0 80810 46 0 0 20 0 22 0 109970574 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794110172384 139794157578370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24228] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24228/stat : 24228 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794109121576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24229] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24229/stat : 24229 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 967774 33554432000 1073741824 1073778376 140734777402928 139794108069032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1653.09
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.18 4.23 4.13 6/218 24321
/proc/meminfo: memFree=22958348/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9824732 CPUtime=1774.26 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 36652 0 1 0 177204 222 0 0 20 0 22 0 109970495 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2456183 979619 2301 9 0 2446860 0
[pid=24207/tid=24209] ppid=24204 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24204 24207 23715 0 -1 4202560 2483 0 1 0 76 4 0 0 20 0 22 0 109970495 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794296128376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24210] ppid=24204 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24204 24207 23715 0 -1 4202560 873 0 0 0 367 19 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794139216040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24211] ppid=24204 vsize=9824732 CPUtime=3.74 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24204 24207 23715 0 -1 4202560 839 0 0 0 352 22 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794138163496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24212] ppid=24204 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24204 24207 23715 0 -1 4202560 804 0 0 0 307 21 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794137110952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24213] ppid=24204 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24204 24207 23715 0 -1 4202560 657 0 0 0 305 19 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794136058408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24214] ppid=24204 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24204 24207 23715 0 -1 4202560 733 0 0 0 316 22 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794135005864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24215] ppid=24204 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24204 24207 23715 0 -1 4202560 668 0 0 0 309 17 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794133953320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24216] ppid=24204 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24204 24207 23715 0 -1 4202560 616 0 0 0 303 19 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794132900776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24217] ppid=24204 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24204 24207 23715 0 -1 4202560 661 0 0 0 295 20 0 0 20 0 22 0 109970497 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794131848232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24218] ppid=24204 vsize=9824732 CPUtime=6.39 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24204 24207 23715 0 -1 4202560 2596 0 0 0 632 7 0 0 20 0 22 0 109970498 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794119649384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24219] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794118595704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24220] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794117543048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24221] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794116491792 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24222] ppid=24204 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/24207/task/24222/stat : 24222 (java) S 24204 24207 23715 0 -1 4202560 14440 0 0 0 217 3 0 0 20 0 22 0 109970501 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794115439160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24223] ppid=24204 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/24207/task/24223/stat : 24223 (java) S 24204 24207 23715 0 -1 4202560 8574 0 0 0 169 2 0 0 20 0 22 0 109970501 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794114386616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24224] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24224/stat : 24224 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794113334264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24225] ppid=24204 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/24207/task/24225/stat : 24225 (java) S 24204 24207 23715 0 -1 4202560 51 0 0 0 19 17 0 0 20 0 22 0 109970501 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794112281928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24226] ppid=24204 vsize=9824732 CPUtime=867.93 cores=1,3,5,7
/proc/24207/task/24226/stat : 24226 (java) R 24204 24207 23715 0 -1 4202560 75 0 0 0 86777 16 0 0 20 0 22 0 109970574 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794111224992 139794157034627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24227] ppid=24204 vsize=9824732 CPUtime=867.9 cores=1,3,5,7
/proc/24207/task/24227/stat : 24227 (java) R 24204 24207 23715 0 -1 4202560 1314 0 0 0 86743 47 0 0 20 0 22 0 109970574 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794110171584 139794157578084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24228] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24228/stat : 24228 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794109121576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24229] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24229/stat : 24229 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 979619 33554432000 1073741824 1073778376 140734777402928 139794108069032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1774.26
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.201 s]
/proc/loadavg: 4.16 4.22 4.13 5/218 24321
/proc/meminfo: memFree=22943896/32872528 swapFree=15784/1434320
[pid=24207] ppid=24204 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24204 24207 23715 0 -1 4202496 36682 0 1 0 179790 224 0 0 20 0 22 0 109970495 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 140734777394064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24207/statm: 2456183 983209 2301 9 0 2446860 0
[pid=24207/tid=24209] ppid=24204 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24204 24207 23715 0 -1 4202560 2483 0 1 0 76 4 0 0 20 0 22 0 109970495 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794296128376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24210] ppid=24204 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24204 24207 23715 0 -1 4202560 876 0 0 0 370 19 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794139216040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24211] ppid=24204 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24204 24207 23715 0 -1 4202560 844 0 0 0 354 22 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794138163496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24212] ppid=24204 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24204 24207 23715 0 -1 4202560 806 0 0 0 308 22 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794137110952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24213] ppid=24204 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24204 24207 23715 0 -1 4202560 663 0 0 0 309 20 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794136058408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24214] ppid=24204 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24204 24207 23715 0 -1 4202560 735 0 0 0 318 22 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794135005864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24215] ppid=24204 vsize=9824732 CPUtime=3.27 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24204 24207 23715 0 -1 4202560 669 0 0 0 310 17 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794133953320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24216] ppid=24204 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24204 24207 23715 0 -1 4202560 620 0 0 0 305 20 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794132900776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24217] ppid=24204 vsize=9824732 CPUtime=3.16 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24204 24207 23715 0 -1 4202560 663 0 0 0 296 20 0 0 20 0 22 0 109970497 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794131848232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24218] ppid=24204 vsize=9824732 CPUtime=6.39 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24204 24207 23715 0 -1 4202560 2600 0 0 0 632 7 0 0 20 0 22 0 109970498 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794119649384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24219] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24204 24207 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794118595704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24220] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970498 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794117543048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24221] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794116491792 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24222] ppid=24204 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/24207/task/24222/stat : 24222 (java) S 24204 24207 23715 0 -1 4202560 14440 0 0 0 217 3 0 0 20 0 22 0 109970501 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794115439160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24223] ppid=24204 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/24207/task/24223/stat : 24223 (java) S 24204 24207 23715 0 -1 4202560 8574 0 0 0 169 2 0 0 20 0 22 0 109970501 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794114386616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24224] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24224/stat : 24224 (java) S 24204 24207 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109970501 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794113334264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24225] ppid=24204 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24207/task/24225/stat : 24225 (java) S 24204 24207 23715 0 -1 4202560 51 0 0 0 19 18 0 0 20 0 22 0 109970501 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794112281928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24207/tid=24226] ppid=24204 vsize=9824732 CPUtime=880.76 cores=1,3,5,7
/proc/24207/task/24226/stat : 24226 (java) R 24204 24207 23715 0 -1 4202560 76 0 0 0 88060 16 0 0 20 0 22 0 109970574 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794111224992 139794157034931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24207/tid=24227] ppid=24204 vsize=9824732 CPUtime=880.73 cores=1,3,5,7
/proc/24207/task/24227/stat : 24227 (java) R 24204 24207 23715 0 -1 4202560 1314 0 0 0 88026 47 0 0 20 0 22 0 109970574 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794110171184 139794157253788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24207/tid=24228] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24228/stat : 24228 (java) S 24204 24207 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794109121576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24207/tid=24229] ppid=24204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24229/stat : 24229 (java) S 24204 24207 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109970576 10060525568 983209 33554432000 1073741824 1073778376 140734777402928 139794108069032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 24207 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.273
CPU time (s): 1800.75
CPU user time (s): 1797.99
CPU system time (s): 2.76158
CPU usage (%): 201.14
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.76158
maximum resident set size= 3932952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36716
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23550
involuntary context switches= 26926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38303 second user time and 6.84496 second system time
The end