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-4080543-1465280634/watcher-4080543-1465280634 -o /tmp/evaluation-result-4080543-1465280634/solver-4080543-1465280634 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080543-1465280634.opb
pid=24281
running on 4 cores: 0,2,4,6
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.22 4.22 4.06 4/197 24284
/proc/meminfo: memFree=27079160/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24284/stat : 24284 (java) R 24281 24284 23715 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 109996636 9515008 183 33554432000 1073741824 1073778376 140733264825632 140733264816664 214369466599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24284/statm: 2323 184 142 9 0 71 0
[startup+0.100121 s]
/proc/loadavg: 4.22 4.22 4.06 4/197 24284
/proc/meminfo: memFree=27079160/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 4190 0 1 0 7 1 0 0 20 0 18 0 109996636 9787879424 5311 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2389619 5311 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200312 s]
/proc/loadavg: 4.22 4.22 4.06 4/197 24284
/proc/meminfo: memFree=27079160/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 4826 0 1 0 23 2 0 0 20 0 18 0 109996636 9787879424 6915 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2389619 6915 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300287 s]
/proc/loadavg: 4.22 4.22 4.06 4/197 24284
/proc/meminfo: memFree=27079160/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 7343 0 1 0 50 2 0 0 20 0 18 0 109996636 9787879424 10163 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2389619 10163 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700194 s]
/proc/loadavg: 4.22 4.22 4.06 4/197 24284
/proc/meminfo: memFree=27079160/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9558476 CPUtime=1.52 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 20910 0 1 0 147 5 0 0 20 0 18 0 109996636 9787879424 37671 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2389619 37671 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.22 4.22 4.06 7/219 24306
/proc/meminfo: memFree=26879424/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9824732 CPUtime=4.41 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 25135 0 1 0 433 8 0 0 20 0 22 0 109996636 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2456183 54042 2284 9 0 2446860 0
[pid=24284/tid=24286] ppid=24281 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/24284/task/24286/stat : 24286 (java) S 24281 24284 23715 0 -1 4202560 2511 0 1 0 86 3 0 0 20 0 22 0 109996637 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401748439928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24287] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24287/stat : 24287 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401592445480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24288] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24288/stat : 24288 (java) S 24281 24284 23715 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401591392680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24289] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24289/stat : 24289 (java) S 24281 24284 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401590339880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24290] ppid=24281 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24284/task/24290/stat : 24290 (java) S 24281 24284 23715 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401589287080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24291] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24291/stat : 24291 (java) S 24281 24284 23715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401588235304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24292] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24292/stat : 24292 (java) S 24281 24284 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401587182504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24293] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24293/stat : 24293 (java) S 24281 24284 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401586129704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24294] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24294/stat : 24294 (java) S 24281 24284 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109996638 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401585076904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24295] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24295/stat : 24295 (java) S 24281 24284 23715 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401572665832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24296] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24296/stat : 24296 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401571611896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24297] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24297/stat : 24297 (java) S 24281 24284 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401570558984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24298] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24298/stat : 24298 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401569507472 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24299] ppid=24281 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/24284/task/24299/stat : 24299 (java) R 24281 24284 23715 0 -1 4202560 9909 0 0 0 110 2 0 0 20 0 22 0 109996643 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401568455608 140401751312416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24300] ppid=24281 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/24284/task/24300/stat : 24300 (java) R 24281 24284 23715 0 -1 4202560 11277 0 0 0 116 2 0 0 20 0 22 0 109996643 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401567390336 140401751345236 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24301] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24301/stat : 24301 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401566350200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24302] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24302/stat : 24302 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401565297608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24303] ppid=24281 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24284/task/24303/stat : 24303 (java) R 24281 24284 23715 0 -1 4202560 22 0 0 0 52 0 0 0 20 0 22 0 109996732 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401564242328 140401621844476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24304] ppid=24281 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24284/task/24304/stat : 24304 (java) R 24281 24284 23715 0 -1 4202560 27 0 0 0 52 0 0 0 20 0 22 0 109996732 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401563159168 140401621097877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24305] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24305/stat : 24305 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401562137512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24306] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24306/stat : 24306 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 54042 33554432000 1073741824 1073778376 140736769436464 140401561084712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9824732
[startup+3.10102 s]
/proc/loadavg: 4.22 4.22 4.06 5/219 24306
/proc/meminfo: memFree=26859596/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9824732 CPUtime=8.15 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 25443 0 1 0 800 15 0 0 20 0 22 0 109996636 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2456183 91718 2286 9 0 2446860 0
[pid=24284/tid=24286] ppid=24281 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/24284/task/24286/stat : 24286 (java) S 24281 24284 23715 0 -1 4202560 2511 0 1 0 86 3 0 0 20 0 22 0 109996637 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401748439928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24287] ppid=24281 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24284/task/24287/stat : 24287 (java) S 24281 24284 23715 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401592445480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24288] ppid=24281 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24284/task/24288/stat : 24288 (java) S 24281 24284 23715 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401591392680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24289] ppid=24281 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24284/task/24289/stat : 24289 (java) S 24281 24284 23715 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401590339880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24290] ppid=24281 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24284/task/24290/stat : 24290 (java) S 24281 24284 23715 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401589287080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24291] ppid=24281 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24284/task/24291/stat : 24291 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401588235304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24292] ppid=24281 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24284/task/24292/stat : 24292 (java) S 24281 24284 23715 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401587182504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24293] ppid=24281 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24284/task/24293/stat : 24293 (java) S 24281 24284 23715 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401586129704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24294] ppid=24281 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24284/task/24294/stat : 24294 (java) S 24281 24284 23715 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 109996638 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401585076904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24295] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24295/stat : 24295 (java) S 24281 24284 23715 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401572665832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24296] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24296/stat : 24296 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401571611896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24297] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24297/stat : 24297 (java) S 24281 24284 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401570558984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24298] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24298/stat : 24298 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401569507472 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24299] ppid=24281 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/24284/task/24299/stat : 24299 (java) S 24281 24284 23715 0 -1 4202560 9934 0 0 0 124 2 0 0 20 0 22 0 109996643 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401568455608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24300] ppid=24281 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/24284/task/24300/stat : 24300 (java) S 24281 24284 23715 0 -1 4202560 11284 0 0 0 147 2 0 0 20 0 22 0 109996643 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401567402808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24301] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24301/stat : 24301 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401566350200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24302] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24302/stat : 24302 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401565297608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24303] ppid=24281 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/24284/task/24303/stat : 24303 (java) R 24281 24284 23715 0 -1 4202560 23 0 0 0 206 0 0 0 20 0 22 0 109996732 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401564242520 140401621663217 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24304] ppid=24281 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/24284/task/24304/stat : 24304 (java) R 24281 24284 23715 0 -1 4202560 84 0 0 0 204 2 0 0 20 0 22 0 109996732 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401563188184 140401622099370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24305] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24305/stat : 24305 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401562137512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24306] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24306/stat : 24306 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 91718 33554432000 1073741824 1073778376 140736769436464 140401561084712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (KiB) 9824732
[startup+6.30104 s]
/proc/loadavg: 4.21 4.21 4.06 5/219 24306
/proc/meminfo: memFree=26455588/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9824732 CPUtime=14.85 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 26073 0 1 0 1460 25 0 0 20 0 22 0 109996636 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2456183 157657 2291 9 0 2446860 0
[pid=24284/tid=24286] ppid=24281 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/24284/task/24286/stat : 24286 (java) S 24281 24284 23715 0 -1 4202560 2511 0 1 0 86 3 0 0 20 0 22 0 109996637 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401748439928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24287] ppid=24281 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24284/task/24287/stat : 24287 (java) S 24281 24284 23715 0 -1 4202560 41 0 0 0 6 1 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401592445480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24288] ppid=24281 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/24284/task/24288/stat : 24288 (java) S 24281 24284 23715 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401591392680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24289] ppid=24281 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24284/task/24289/stat : 24289 (java) S 24281 24284 23715 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401590339880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24290] ppid=24281 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24284/task/24290/stat : 24290 (java) S 24281 24284 23715 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401589287080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24291] ppid=24281 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24284/task/24291/stat : 24291 (java) S 24281 24284 23715 0 -1 4202560 36 0 0 0 4 1 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401588235304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24292] ppid=24281 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/24284/task/24292/stat : 24292 (java) S 24281 24284 23715 0 -1 4202560 41 0 0 0 5 1 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401587182504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24293] ppid=24281 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24284/task/24293/stat : 24293 (java) S 24281 24284 23715 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401586129704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24294] ppid=24281 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24284/task/24294/stat : 24294 (java) S 24281 24284 23715 0 -1 4202560 77 0 0 0 7 2 0 0 20 0 22 0 109996638 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401585076904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24295] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24295/stat : 24295 (java) S 24281 24284 23715 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401572665832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24296] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24296/stat : 24296 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401571611896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24297] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24297/stat : 24297 (java) S 24281 24284 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401570558984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24298] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24298/stat : 24298 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 157657 33554432000 1073741824 1073778376 140736769436464 140401569507472 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24299] ppid=24281 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.18 4.20 4.13 5/219 24395
/proc/meminfo: memFree=23526532/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9824732 CPUtime=1650.33 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 33770 0 1 0 164827 206 0 0 20 0 22 0 109996636 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2456183 940565 2299 9 0 2446860 0
[pid=24284/tid=24286] ppid=24281 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/24284/task/24286/stat : 24286 (java) S 24281 24284 23715 0 -1 4202560 2522 0 1 0 88 5 0 0 20 0 22 0 109996637 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401748439928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24287] ppid=24281 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/24284/task/24287/stat : 24287 (java) S 24281 24284 23715 0 -1 4202560 544 0 0 0 227 19 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401592445480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24288] ppid=24281 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/24284/task/24288/stat : 24288 (java) S 24281 24284 23715 0 -1 4202560 553 0 0 0 209 17 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401591392680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24289] ppid=24281 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/24284/task/24289/stat : 24289 (java) S 24281 24284 23715 0 -1 4202560 518 0 0 0 215 18 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401590339880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24290] ppid=24281 vsize=9824732 CPUtime=2.36 cores=0,2,4,6
/proc/24284/task/24290/stat : 24290 (java) S 24281 24284 23715 0 -1 4202560 533 0 0 0 219 17 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401589287080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24291] ppid=24281 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/24284/task/24291/stat : 24291 (java) S 24281 24284 23715 0 -1 4202560 585 0 0 0 204 18 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401588235304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24292] ppid=24281 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/24284/task/24292/stat : 24292 (java) S 24281 24284 23715 0 -1 4202560 501 0 0 0 220 19 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401587182504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24293] ppid=24281 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/24284/task/24293/stat : 24293 (java) S 24281 24284 23715 0 -1 4202560 578 0 0 0 212 17 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401586129704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24294] ppid=24281 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/24284/task/24294/stat : 24294 (java) S 24281 24284 23715 0 -1 4202560 504 0 0 0 224 19 0 0 20 0 22 0 109996638 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401585076904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24295] ppid=24281 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/24284/task/24295/stat : 24295 (java) S 24281 24284 23715 0 -1 4202560 2400 0 0 0 551 7 0 0 20 0 22 0 109996640 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401572665832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24296] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24296/stat : 24296 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401571611896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24297] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24297/stat : 24297 (java) S 24281 24284 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401570558984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24298] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24298/stat : 24298 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401569507472 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24299] ppid=24281 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/24284/task/24299/stat : 24299 (java) S 24281 24284 23715 0 -1 4202560 9985 0 0 0 176 2 0 0 20 0 22 0 109996643 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401568455608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24300] ppid=24281 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/24284/task/24300/stat : 24300 (java) S 24281 24284 23715 0 -1 4202560 11286 0 0 0 174 2 0 0 20 0 22 0 109996643 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401567402808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24301] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24301/stat : 24301 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401566350200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24302] ppid=24281 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/24284/task/24302/stat : 24302 (java) S 24281 24284 23715 0 -1 4202560 45 0 0 0 16 15 0 0 20 0 22 0 109996643 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401565297608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24303] ppid=24281 vsize=9824732 CPUtime=810.72 cores=0,2,4,6
/proc/24284/task/24303/stat : 24303 (java) R 24281 24284 23715 0 -1 4202560 52 0 0 0 81058 14 0 0 20 0 22 0 109996732 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401564233744 140401621877948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24304] ppid=24281 vsize=9824732 CPUtime=810.62 cores=0,2,4,6
/proc/24284/task/24304/stat : 24304 (java) R 24281 24284 23715 0 -1 4202560 1899 0 0 0 81015 47 0 0 20 0 22 0 109996732 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401563189168 140401622100066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24305] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24305/stat : 24305 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401562137512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24306] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24306/stat : 24306 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 940565 33554432000 1073741824 1073778376 140736769436464 140401561084712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1650.33
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.29 4.22 4.14 6/219 24396
/proc/meminfo: memFree=23271780/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9824732 CPUtime=1770.83 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 33822 0 1 0 176875 208 0 0 20 0 22 0 109996636 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2456183 940608 2300 9 0 2446860 0
[pid=24284/tid=24286] ppid=24281 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/24284/task/24286/stat : 24286 (java) S 24281 24284 23715 0 -1 4202560 2524 0 1 0 88 5 0 0 20 0 22 0 109996637 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401748439928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24287] ppid=24281 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/24284/task/24287/stat : 24287 (java) S 24281 24284 23715 0 -1 4202560 548 0 0 0 236 19 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401592445480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24288] ppid=24281 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/24284/task/24288/stat : 24288 (java) S 24281 24284 23715 0 -1 4202560 555 0 0 0 223 17 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401591392680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24289] ppid=24281 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/24284/task/24289/stat : 24289 (java) S 24281 24284 23715 0 -1 4202560 521 0 0 0 224 18 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401590339880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24290] ppid=24281 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/24284/task/24290/stat : 24290 (java) S 24281 24284 23715 0 -1 4202560 534 0 0 0 236 18 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401589287080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24291] ppid=24281 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/24284/task/24291/stat : 24291 (java) S 24281 24284 23715 0 -1 4202560 595 0 0 0 214 18 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401588235304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24292] ppid=24281 vsize=9824732 CPUtime=2.53 cores=0,2,4,6
/proc/24284/task/24292/stat : 24292 (java) S 24281 24284 23715 0 -1 4202560 502 0 0 0 234 19 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401587182504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24293] ppid=24281 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/24284/task/24293/stat : 24293 (java) S 24281 24284 23715 0 -1 4202560 589 0 0 0 222 17 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401586129704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24294] ppid=24281 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/24284/task/24294/stat : 24294 (java) S 24281 24284 23715 0 -1 4202560 514 0 0 0 233 19 0 0 20 0 22 0 109996638 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401585076904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24295] ppid=24281 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/24284/task/24295/stat : 24295 (java) S 24281 24284 23715 0 -1 4202560 2402 0 0 0 551 7 0 0 20 0 22 0 109996640 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401572665832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24296] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24296/stat : 24296 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401571611896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24297] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24297/stat : 24297 (java) S 24281 24284 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401570558984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24298] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24298/stat : 24298 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401569507472 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24299] ppid=24281 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/24284/task/24299/stat : 24299 (java) S 24281 24284 23715 0 -1 4202560 9987 0 0 0 178 2 0 0 20 0 22 0 109996643 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401568455608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24300] ppid=24281 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/24284/task/24300/stat : 24300 (java) S 24281 24284 23715 0 -1 4202560 11286 0 0 0 174 2 0 0 20 0 22 0 109996643 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401567402808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24301] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24301/stat : 24301 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401566350200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24302] ppid=24281 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/24284/task/24302/stat : 24302 (java) S 24281 24284 23715 0 -1 4202560 49 0 0 0 17 16 0 0 20 0 22 0 109996643 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401565297608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24303] ppid=24281 vsize=9824732 CPUtime=870.49 cores=0,2,4,6
/proc/24284/task/24303/stat : 24303 (java) R 24281 24284 23715 0 -1 4202560 52 0 0 0 87034 15 0 0 20 0 22 0 109996732 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401564241408 140401621844889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24304] ppid=24281 vsize=9824732 CPUtime=870.38 cores=0,2,4,6
/proc/24284/task/24304/stat : 24304 (java) R 24281 24284 23715 0 -1 4202560 1899 0 0 0 86989 49 0 0 20 0 22 0 109996732 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401563187360 140401622037542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24305] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24305/stat : 24305 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401562137512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24306] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24306/stat : 24306 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 940608 33554432000 1073741824 1073778376 140736769436464 140401561084712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1770.83
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.801 s]
/proc/loadavg: 4.30 4.23 4.14 5/219 24396
/proc/meminfo: memFree=23271780/32872528 swapFree=15784/1434320
[pid=24284] ppid=24281 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/24284/stat : 24284 (java) S 24281 24284 23715 0 -1 4202496 33849 0 1 0 179802 208 0 0 20 0 22 0 109996636 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140736769427600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24284/statm: 2456183 940632 2300 9 0 2446860 0
[pid=24284/tid=24286] ppid=24281 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/24284/task/24286/stat : 24286 (java) S 24281 24284 23715 0 -1 4202560 2524 0 1 0 88 5 0 0 20 0 22 0 109996637 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401748439928 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24287] ppid=24281 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/24284/task/24287/stat : 24287 (java) S 24281 24284 23715 0 -1 4202560 548 0 0 0 244 19 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401592445480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24288] ppid=24281 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/24284/task/24288/stat : 24288 (java) S 24281 24284 23715 0 -1 4202560 561 0 0 0 228 17 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401591392680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24289] ppid=24281 vsize=9824732 CPUtime=2.53 cores=0,2,4,6
/proc/24284/task/24289/stat : 24289 (java) S 24281 24284 23715 0 -1 4202560 522 0 0 0 235 18 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401590339880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24290] ppid=24281 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/24284/task/24290/stat : 24290 (java) S 24281 24284 23715 0 -1 4202560 536 0 0 0 244 18 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401589287080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24291] ppid=24281 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/24284/task/24291/stat : 24291 (java) S 24281 24284 23715 0 -1 4202560 599 0 0 0 219 18 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401588235304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24292] ppid=24281 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/24284/task/24292/stat : 24292 (java) S 24281 24284 23715 0 -1 4202560 507 0 0 0 242 19 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401587182504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24293] ppid=24281 vsize=9824732 CPUtime=2.5 cores=0,2,4,6
/proc/24284/task/24293/stat : 24293 (java) S 24281 24284 23715 0 -1 4202560 590 0 0 0 233 17 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401586129704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24294] ppid=24281 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/24284/task/24294/stat : 24294 (java) S 24281 24284 23715 0 -1 4202560 519 0 0 0 241 19 0 0 20 0 22 0 109996638 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401585076904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24284/tid=24295] ppid=24281 vsize=9824732 CPUtime=5.59 cores=0,2,4,6
/proc/24284/task/24295/stat : 24295 (java) S 24281 24284 23715 0 -1 4202560 2404 0 0 0 551 8 0 0 20 0 22 0 109996640 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401572665832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24296] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24296/stat : 24296 (java) S 24281 24284 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401571611896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24297] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24297/stat : 24297 (java) S 24281 24284 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109996640 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401570558984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24298] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24298/stat : 24298 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401569507472 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24299] ppid=24281 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/24284/task/24299/stat : 24299 (java) S 24281 24284 23715 0 -1 4202560 9987 0 0 0 178 2 0 0 20 0 22 0 109996643 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401568455608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24300] ppid=24281 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/24284/task/24300/stat : 24300 (java) S 24281 24284 23715 0 -1 4202560 11286 0 0 0 174 2 0 0 20 0 22 0 109996643 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401567402808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24301] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24301/stat : 24301 (java) S 24281 24284 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109996643 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401566350200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24284/tid=24302] ppid=24281 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/24284/task/24302/stat : 24302 (java) S 24281 24284 23715 0 -1 4202560 49 0 0 0 17 17 0 0 20 0 22 0 109996643 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401565297608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24303] ppid=24281 vsize=9824732 CPUtime=884.82 cores=0,2,4,6
/proc/24284/task/24303/stat : 24303 (java) R 24281 24284 23715 0 -1 4202560 53 0 0 0 88467 15 0 0 20 0 22 0 109996732 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401564233744 140401621731034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24284/tid=24304] ppid=24281 vsize=9824732 CPUtime=884.7 cores=0,2,4,6
/proc/24284/task/24304/stat : 24304 (java) R 24281 24284 23715 0 -1 4202560 1899 0 0 0 88421 49 0 0 20 0 22 0 109996732 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401563187504 140401621740395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24305] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24305/stat : 24305 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401562137512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24284/tid=24306] ppid=24281 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24284/task/24306/stat : 24306 (java) S 24281 24284 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109996734 10060525568 940632 33554432000 1073741824 1073778376 140736769436464 140401561084712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24284 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.88
CPU time (s): 1800.7
CPU user time (s): 1798.1
CPU system time (s): 2.6016
CPU usage (%): 200.774
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.1
system time used= 2.6016
maximum resident set size= 3762644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33884
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23394
involuntary context switches= 25981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68498 second user time and 6.554 second system time
The end