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-4080541-1465281531/watcher-4080541-1465281531 -o /tmp/evaluation-result-4080541-1465281531/solver-4080541-1465281531 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080541-1465281531.opb
pid=24440
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.30 4.23 4.14 4/197 24443
/proc/meminfo: memFree=27034124/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/24443/stat : 24443 (java) D 24440 24443 23715 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 110086352 2560000 46 33554432000 1073741824 1073778376 140735675540160 140735675537288 214360485159 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 625 46 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 4.30 4.23 4.14 4/197 24443
/proc/meminfo: memFree=27034124/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 4375 0 1 0 7 1 0 0 20 0 18 0 110086352 9787879424 4992 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2389619 4992 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 4.30 4.23 4.14 4/197 24443
/proc/meminfo: memFree=27034124/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 5601 0 1 0 24 1 0 0 20 0 18 0 110086352 9787879424 7428 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2389619 7429 2206 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300227 s]
/proc/loadavg: 4.30 4.23 4.14 4/197 24443
/proc/meminfo: memFree=27034124/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 7153 0 1 0 53 1 0 0 20 0 18 0 110086352 9787879424 10324 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2389619 10324 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700195 s]
/proc/loadavg: 4.30 4.23 4.14 4/197 24443
/proc/meminfo: memFree=27034124/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9558476 CPUtime=1.57 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 20171 0 1 0 152 5 0 0 20 0 18 0 110086352 9787879424 40346 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2389619 40346 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9558476
[startup+1.50086 s]
/proc/loadavg: 4.30 4.23 4.14 7/219 24465
/proc/meminfo: memFree=26836548/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9824732 CPUtime=4.53 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 25407 0 1 0 446 7 0 0 20 0 22 0 110086352 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2456183 54915 2281 9 0 2446860 0
[pid=24443/tid=24445] ppid=24440 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/24443/task/24445/stat : 24445 (java) S 24440 24443 23715 0 -1 4202560 2540 0 1 0 82 3 0 0 20 0 22 0 110086353 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857820271480 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24446] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24446/stat : 24446 (java) S 24440 24443 23715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857663572648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24447] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24447/stat : 24447 (java) S 24440 24443 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857662520104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24448] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24448/stat : 24448 (java) S 24440 24443 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857661467560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24449] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24449/stat : 24449 (java) S 24440 24443 23715 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857660415016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24450] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24450/stat : 24450 (java) S 24440 24443 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857659361448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24451] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24451/stat : 24451 (java) S 24440 24443 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857658308904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24452] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24452/stat : 24452 (java) S 24440 24443 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857657256360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24453] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24453/stat : 24453 (java) S 24440 24443 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110086354 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857656203816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24454] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24454/stat : 24454 (java) S 24440 24443 23715 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857644005992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24455] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24455/stat : 24455 (java) S 24440 24443 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857642952312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24456] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24456/stat : 24456 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857641899656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24457] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24457/stat : 24457 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857640848400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24458] ppid=24440 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/24443/task/24458/stat : 24458 (java) R 24440 24443 23715 0 -1 4202560 9811 0 0 0 115 2 0 0 20 0 22 0 110086359 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857639788784 139857827257857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24459] ppid=24440 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/24443/task/24459/stat : 24459 (java) R 24440 24443 23715 0 -1 4202560 11623 0 0 0 122 2 0 0 20 0 22 0 110086359 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857638732624 139857827090031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24460] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24460/stat : 24460 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857637689848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24461] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24461/stat : 24461 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857636637512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24462] ppid=24440 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/24443/task/24462/stat : 24462 (java) R 24440 24443 23715 0 -1 4202560 17 0 0 0 56 0 0 0 20 0 22 0 110086444 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857635582880 139857759984274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24463] ppid=24440 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/24443/task/24463/stat : 24463 (java) R 24440 24443 23715 0 -1 4202560 32 0 0 0 56 0 0 0 20 0 22 0 110086444 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857634527648 139857761087407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24464] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24464/stat : 24464 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857633478184 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24465] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24465/stat : 24465 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 54915 33554432000 1073741824 1073778376 140735675540160 139857632425640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.44 4.25 4.15 6/219 24465
/proc/meminfo: memFree=26806980/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9824732 CPUtime=8.52 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 25736 0 1 0 839 13 0 0 20 0 22 0 110086352 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2456183 93995 2287 9 0 2446860 0
[pid=24443/tid=24445] ppid=24440 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/24443/task/24445/stat : 24445 (java) S 24440 24443 23715 0 -1 4202560 2541 0 1 0 82 3 0 0 20 0 22 0 110086353 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857820271480 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24446] ppid=24440 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24443/task/24446/stat : 24446 (java) S 24440 24443 23715 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857663572648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24447] ppid=24440 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24443/task/24447/stat : 24447 (java) S 24440 24443 23715 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857662520104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24448] ppid=24440 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24443/task/24448/stat : 24448 (java) S 24440 24443 23715 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857661467560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24449] ppid=24440 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24443/task/24449/stat : 24449 (java) S 24440 24443 23715 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857660415016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24450] ppid=24440 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24443/task/24450/stat : 24450 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857659361448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24451] ppid=24440 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24443/task/24451/stat : 24451 (java) S 24440 24443 23715 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857658308904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24452] ppid=24440 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24443/task/24452/stat : 24452 (java) S 24440 24443 23715 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857657256360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24453] ppid=24440 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24443/task/24453/stat : 24453 (java) S 24440 24443 23715 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 110086354 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857656203816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24454] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24454/stat : 24454 (java) S 24440 24443 23715 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857644005992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24455] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24455/stat : 24455 (java) S 24440 24443 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857642952312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24456] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24456/stat : 24456 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857641899656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24457] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24457/stat : 24457 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857640848400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24458] ppid=24440 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/24443/task/24458/stat : 24458 (java) S 24440 24443 23715 0 -1 4202560 9815 0 0 0 151 2 0 0 20 0 22 0 110086359 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857639794744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24459] ppid=24440 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/24443/task/24459/stat : 24459 (java) S 24440 24443 23715 0 -1 4202560 11668 0 0 0 155 2 0 0 20 0 22 0 110086359 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857638742200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24460] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24460/stat : 24460 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857637689848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24461] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24461/stat : 24461 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857636637512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24462] ppid=24440 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/24443/task/24462/stat : 24462 (java) R 24440 24443 23715 0 -1 4202560 17 0 0 0 210 0 0 0 20 0 22 0 110086444 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857635582568 139857761074364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24463] ppid=24440 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/24443/task/24463/stat : 24463 (java) R 24440 24443 23715 0 -1 4202560 89 0 0 0 208 2 0 0 20 0 22 0 110086444 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857634529416 139857760994068 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24464] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24464/stat : 24464 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857633478184 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24465] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24465/stat : 24465 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 93995 33554432000 1073741824 1073778376 140735675540160 139857632425640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 9824732
[startup+6.30103 s]
/proc/loadavg: 4.44 4.25 4.15 5/219 24465
/proc/meminfo: memFree=26411176/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9824732 CPUtime=15.13 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 26344 0 1 0 1491 22 0 0 20 0 22 0 110086352 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2456183 158352 2291 9 0 2446860 0
[pid=24443/tid=24445] ppid=24440 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/24443/task/24445/stat : 24445 (java) S 24440 24443 23715 0 -1 4202560 2541 0 1 0 82 3 0 0 20 0 22 0 110086353 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857820271480 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24446] ppid=24440 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/24443/task/24446/stat : 24446 (java) S 24440 24443 23715 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857663572648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24447] ppid=24440 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24443/task/24447/stat : 24447 (java) S 24440 24443 23715 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857662520104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24448] ppid=24440 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24443/task/24448/stat : 24448 (java) S 24440 24443 23715 0 -1 4202560 61 0 0 0 5 2 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857661467560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24449] ppid=24440 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24443/task/24449/stat : 24449 (java) S 24440 24443 23715 0 -1 4202560 65 0 0 0 7 2 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857660415016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24450] ppid=24440 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24443/task/24450/stat : 24450 (java) S 24440 24443 23715 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857659361448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24451] ppid=24440 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24443/task/24451/stat : 24451 (java) S 24440 24443 23715 0 -1 4202560 43 0 0 0 4 1 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857658308904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24452] ppid=24440 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24443/task/24452/stat : 24452 (java) S 24440 24443 23715 0 -1 4202560 59 0 0 0 5 2 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857657256360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24453] ppid=24440 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24443/task/24453/stat : 24453 (java) S 24440 24443 23715 0 -1 4202560 41 0 0 0 3 1 0 0 20 0 22 0 110086354 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857656203816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24454] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24454/stat : 24454 (java) S 24440 24443 23715 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857644005992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24455] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24455/stat : 24455 (java) S 24440 24443 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857642952312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24456] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24456/stat : 24456 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857641899656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24457] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24457/stat : 24457 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 158352 33554432000 1073741824 1073778376 140735675540160 139857640848400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24458] ppid=24440 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.17 4.23 4.18 5/219 24556
/proc/meminfo: memFree=23470384/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9824732 CPUtime=1653.59 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 35151 0 1 0 165144 215 0 0 20 0 22 0 110086352 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2456183 959211 2300 9 0 2446860 0
[pid=24443/tid=24445] ppid=24440 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/24443/task/24445/stat : 24445 (java) S 24440 24443 23715 0 -1 4202560 2552 0 1 0 85 5 0 0 20 0 22 0 110086353 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857820271480 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24446] ppid=24440 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/24443/task/24446/stat : 24446 (java) S 24440 24443 23715 0 -1 4202560 543 0 0 0 270 16 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857663572648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24447] ppid=24440 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/24443/task/24447/stat : 24447 (java) S 24440 24443 23715 0 -1 4202560 790 0 0 0 298 21 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857662520104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24448] ppid=24440 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/24443/task/24448/stat : 24448 (java) S 24440 24443 23715 0 -1 4202560 842 0 0 0 311 26 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857661467560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24449] ppid=24440 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/24443/task/24449/stat : 24449 (java) S 24440 24443 23715 0 -1 4202560 733 0 0 0 300 18 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857660415016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24450] ppid=24440 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/24443/task/24450/stat : 24450 (java) S 24440 24443 23715 0 -1 4202560 746 0 0 0 300 21 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857659361448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24451] ppid=24440 vsize=9824732 CPUtime=3.22 cores=0,2,4,6
/proc/24443/task/24451/stat : 24451 (java) S 24440 24443 23715 0 -1 4202560 591 0 0 0 306 16 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857658308904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24452] ppid=24440 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/24443/task/24452/stat : 24452 (java) S 24440 24443 23715 0 -1 4202560 671 0 0 0 300 18 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857657256360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24453] ppid=24440 vsize=9824732 CPUtime=3.09 cores=0,2,4,6
/proc/24443/task/24453/stat : 24453 (java) S 24440 24443 23715 0 -1 4202560 710 0 0 0 291 18 0 0 20 0 22 0 110086354 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857656203816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24454] ppid=24440 vsize=9824732 CPUtime=5.67 cores=0,2,4,6
/proc/24443/task/24454/stat : 24454 (java) S 24440 24443 23715 0 -1 4202560 2428 0 0 0 560 7 0 0 20 0 22 0 110086356 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857644005992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24455] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24455/stat : 24455 (java) S 24440 24443 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857642952312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24456] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24456/stat : 24456 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857641899656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24457] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24457/stat : 24457 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857640848400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24458] ppid=24440 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/24443/task/24458/stat : 24458 (java) S 24440 24443 23715 0 -1 4202560 9826 0 0 0 213 2 0 0 20 0 22 0 110086359 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857639794744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24459] ppid=24440 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/24443/task/24459/stat : 24459 (java) S 24440 24443 23715 0 -1 4202560 11680 0 0 0 177 2 0 0 20 0 22 0 110086359 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857638742200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24460] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24460/stat : 24460 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857637689848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24461] ppid=24440 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/24443/task/24461/stat : 24461 (java) S 24440 24443 23715 0 -1 4202560 47 0 0 0 18 13 0 0 20 0 22 0 110086359 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857636637512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24462] ppid=24440 vsize=9824732 CPUtime=808.8 cores=0,2,4,6
/proc/24443/task/24462/stat : 24462 (java) R 24440 24443 23715 0 -1 4202560 62 0 0 0 80866 14 0 0 20 0 22 0 110086444 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857635581616 139857760561672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24463] ppid=24440 vsize=9824732 CPUtime=808.82 cores=0,2,4,6
/proc/24443/task/24463/stat : 24463 (java) R 24440 24443 23715 0 -1 4202560 1665 0 0 0 80834 48 0 0 20 0 22 0 110086444 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857634527728 139857760692940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24464] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24464/stat : 24464 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857633478184 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24465] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24465/stat : 24465 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 959211 33554432000 1073741824 1073778376 140735675540160 139857632425640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1653.59
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.29 4.28 4.20 5/219 24557
/proc/meminfo: memFree=23331936/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9824732 CPUtime=1774.44 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 35182 0 1 0 177228 216 0 0 20 0 22 0 110086352 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2456183 955319 2300 9 0 2446860 0
[pid=24443/tid=24445] ppid=24440 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/24443/task/24445/stat : 24445 (java) S 24440 24443 23715 0 -1 4202560 2552 0 1 0 85 5 0 0 20 0 22 0 110086353 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857820271480 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24446] ppid=24440 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/24443/task/24446/stat : 24446 (java) S 24440 24443 23715 0 -1 4202560 543 0 0 0 290 16 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857663572648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24447] ppid=24440 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/24443/task/24447/stat : 24447 (java) S 24440 24443 23715 0 -1 4202560 790 0 0 0 322 21 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857662520104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24448] ppid=24440 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/24443/task/24448/stat : 24448 (java) S 24440 24443 23715 0 -1 4202560 842 0 0 0 331 26 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857661467560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24449] ppid=24440 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/24443/task/24449/stat : 24449 (java) S 24440 24443 23715 0 -1 4202560 733 0 0 0 325 18 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857660415016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24450] ppid=24440 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/24443/task/24450/stat : 24450 (java) S 24440 24443 23715 0 -1 4202560 746 0 0 0 317 21 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857659361448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24451] ppid=24440 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/24443/task/24451/stat : 24451 (java) S 24440 24443 23715 0 -1 4202560 591 0 0 0 325 16 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857658308904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24452] ppid=24440 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/24443/task/24452/stat : 24452 (java) S 24440 24443 23715 0 -1 4202560 671 0 0 0 321 18 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857657256360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24453] ppid=24440 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/24443/task/24453/stat : 24453 (java) S 24440 24443 23715 0 -1 4202560 710 0 0 0 321 18 0 0 20 0 22 0 110086354 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857656203816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24454] ppid=24440 vsize=9824732 CPUtime=5.68 cores=0,2,4,6
/proc/24443/task/24454/stat : 24454 (java) S 24440 24443 23715 0 -1 4202560 2449 0 0 0 561 7 0 0 20 0 22 0 110086356 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857644005992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24455] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24455/stat : 24455 (java) S 24440 24443 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857642952312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24456] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24456/stat : 24456 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857641899656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24457] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24457/stat : 24457 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857640848400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24458] ppid=24440 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/24443/task/24458/stat : 24458 (java) S 24440 24443 23715 0 -1 4202560 9826 0 0 0 213 2 0 0 20 0 22 0 110086359 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857639794744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24459] ppid=24440 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/24443/task/24459/stat : 24459 (java) S 24440 24443 23715 0 -1 4202560 11680 0 0 0 177 2 0 0 20 0 22 0 110086359 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857638742200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24460] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24460/stat : 24460 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857637689848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24461] ppid=24440 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/24443/task/24461/stat : 24461 (java) S 24440 24443 23715 0 -1 4202560 51 0 0 0 19 14 0 0 20 0 22 0 110086359 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857636637512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24462] ppid=24440 vsize=9824732 CPUtime=868.35 cores=0,2,4,6
/proc/24443/task/24462/stat : 24462 (java) R 24440 24443 23715 0 -1 4202560 67 0 0 0 86820 15 0 0 20 0 22 0 110086444 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857635581616 139857760650368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24463] ppid=24440 vsize=9824732 CPUtime=868.36 cores=0,2,4,6
/proc/24443/task/24463/stat : 24463 (java) R 24440 24443 23715 0 -1 4202560 1666 0 0 0 86787 49 0 0 20 0 22 0 110086444 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857634528064 139857760692931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24464] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24464/stat : 24464 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857633478184 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24465] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24465/stat : 24465 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 955319 33554432000 1073741824 1073778376 140735675540160 139857632425640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1774.44
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.32 4.29 4.20 5/219 24557
/proc/meminfo: memFree=23331948/32872528 swapFree=15784/1434320
[pid=24443] ppid=24440 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/24443/stat : 24443 (java) S 24440 24443 23715 0 -1 4202496 35188 0 1 0 179799 217 0 0 20 0 22 0 110086352 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 140735675531296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24443/statm: 2456183 955322 2300 9 0 2446860 0
[pid=24443/tid=24445] ppid=24440 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/24443/task/24445/stat : 24445 (java) S 24440 24443 23715 0 -1 4202560 2552 0 1 0 85 5 0 0 20 0 22 0 110086353 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857820271480 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24446] ppid=24440 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/24443/task/24446/stat : 24446 (java) S 24440 24443 23715 0 -1 4202560 543 0 0 0 297 16 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857663572648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24447] ppid=24440 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/24443/task/24447/stat : 24447 (java) S 24440 24443 23715 0 -1 4202560 790 0 0 0 332 21 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857662520104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24448] ppid=24440 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/24443/task/24448/stat : 24448 (java) S 24440 24443 23715 0 -1 4202560 842 0 0 0 341 26 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857661467560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24449] ppid=24440 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/24443/task/24449/stat : 24449 (java) S 24440 24443 23715 0 -1 4202560 733 0 0 0 336 18 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857660415016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24450] ppid=24440 vsize=9824732 CPUtime=3.45 cores=0,2,4,6
/proc/24443/task/24450/stat : 24450 (java) S 24440 24443 23715 0 -1 4202560 746 0 0 0 324 21 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857659361448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24451] ppid=24440 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/24443/task/24451/stat : 24451 (java) S 24440 24443 23715 0 -1 4202560 591 0 0 0 333 16 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857658308904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24452] ppid=24440 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/24443/task/24452/stat : 24452 (java) S 24440 24443 23715 0 -1 4202560 671 0 0 0 330 18 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857657256360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24453] ppid=24440 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/24443/task/24453/stat : 24453 (java) S 24440 24443 23715 0 -1 4202560 710 0 0 0 331 18 0 0 20 0 22 0 110086354 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857656203816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24454] ppid=24440 vsize=9824732 CPUtime=5.68 cores=0,2,4,6
/proc/24443/task/24454/stat : 24454 (java) S 24440 24443 23715 0 -1 4202560 2453 0 0 0 561 7 0 0 20 0 22 0 110086356 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857644005992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24455] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24455/stat : 24455 (java) S 24440 24443 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857642952312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24456] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24456/stat : 24456 (java) S 24440 24443 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110086356 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857641899656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24457] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24457/stat : 24457 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857640848400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24458] ppid=24440 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/24443/task/24458/stat : 24458 (java) S 24440 24443 23715 0 -1 4202560 9826 0 0 0 213 2 0 0 20 0 22 0 110086359 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857639794744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24459] ppid=24440 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/24443/task/24459/stat : 24459 (java) S 24440 24443 23715 0 -1 4202560 11680 0 0 0 177 2 0 0 20 0 22 0 110086359 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857638742200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24443/tid=24460] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24460/stat : 24460 (java) S 24440 24443 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110086359 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857637689848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24443/tid=24461] ppid=24440 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/24443/task/24461/stat : 24461 (java) S 24440 24443 23715 0 -1 4202560 51 0 0 0 19 15 0 0 20 0 22 0 110086359 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857636637512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24462] ppid=24440 vsize=9824732 CPUtime=880.85 cores=0,2,4,6
/proc/24443/task/24462/stat : 24462 (java) R 24440 24443 23715 0 -1 4202560 68 0 0 0 88069 16 0 0 20 0 22 0 110086444 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857635580752 139857761020358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24463] ppid=24440 vsize=9824732 CPUtime=880.86 cores=0,2,4,6
/proc/24443/task/24463/stat : 24463 (java) R 24440 24443 23715 0 -1 4202560 1667 0 0 0 88037 49 0 0 20 0 22 0 110086444 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857634528992 139857760693334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24443/tid=24464] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24464/stat : 24464 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857633478184 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24443/tid=24465] ppid=24440 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24443/task/24465/stat : 24465 (java) S 24440 24443 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110086446 10060525568 955322 33554432000 1073741824 1073778376 140735675540160 139857632425640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 24443 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.08
CPU time (s): 1800.81
CPU user time (s): 1798.14
CPU system time (s): 2.67159
CPU usage (%): 201.19
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 2.67159
maximum resident set size= 3836844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35222
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23869
involuntary context switches= 28692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15406 second user time and 6.93394 second system time
The end