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-4081259-1465227722/watcher-4081259-1465227722 -o /tmp/evaluation-result-4081259-1465227722/solver-4081259-1465227722 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081259-1465227722.opb
pid=24521
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.27 4.24 4.12 4/197 24524
/proc/meminfo: memFree=28601484/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24524/stat : 24524 (java) R 24521 24524 21426 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 104704758 9515008 175 33554432000 1073741824 1073778376 140736607594208 140736607576936 206629061520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2331 183 140 9 0 79 0
[startup+0.100058 s]
/proc/loadavg: 4.27 4.24 4.12 4/197 24524
/proc/meminfo: memFree=28601484/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 4480 0 1 0 8 1 0 0 20 0 18 0 104704758 9787879424 5589 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2389619 5589 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200214 s]
/proc/loadavg: 4.27 4.24 4.12 4/197 24524
/proc/meminfo: memFree=28601484/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 4983 0 1 0 24 1 0 0 20 0 18 0 104704758 9787879424 6489 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2389619 6490 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300218 s]
/proc/loadavg: 4.27 4.24 4.12 4/197 24524
/proc/meminfo: memFree=28601484/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 5778 0 1 0 45 2 0 0 20 0 18 0 104704758 9787879424 8090 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2389619 8090 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700171 s]
/proc/loadavg: 4.27 4.24 4.12 4/197 24524
/proc/meminfo: memFree=28601484/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9558476 CPUtime=1.64 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 23393 0 1 0 159 5 0 0 20 0 18 0 104704758 9787879424 32815 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2389619 32815 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50083 s]
/proc/loadavg: 4.27 4.24 4.12 6/215 24542
/proc/meminfo: memFree=28400848/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 23689 0 1 0 233 9 0 0 20 0 19 0 104704758 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2456183 52514 2273 9 0 2446860 0
[pid=24524/tid=24526] ppid=24521 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/24524/task/24526/stat : 24526 (java) S 24521 24524 21426 0 -1 4202560 2540 0 1 0 102 3 0 0 20 0 19 0 104704759 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662926320504 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24527] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24527/stat : 24527 (java) S 24521 24524 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662865050152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24528] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24528/stat : 24528 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662768613800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24529] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24529/stat : 24529 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662767561000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24530] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24530/stat : 24530 (java) S 24521 24524 21426 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662766508200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24531] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24531/stat : 24531 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662765456424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24532] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24532/stat : 24532 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662764403624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24533] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24533/stat : 24533 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662763350824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24534] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24534/stat : 24534 (java) S 24521 24524 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104704760 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662762298024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24535] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24535/stat : 24535 (java) S 24521 24524 21426 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 104704761 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662750099944 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24536] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24536/stat : 24536 (java) S 24521 24524 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104704762 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662749046008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24537] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24537/stat : 24537 (java) S 24521 24524 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104704762 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662747993096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24538] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24538/stat : 24538 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104704764 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662746941584 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24539] ppid=24521 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/24524/task/24539/stat : 24539 (java) S 24521 24524 21426 0 -1 4202560 10657 0 0 0 58 2 0 0 20 0 19 0 104704764 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662745889720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24540] ppid=24521 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/24524/task/24540/stat : 24540 (java) S 24521 24524 21426 0 -1 4202560 9094 0 0 0 64 1 0 0 20 0 19 0 104704764 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662744836920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24541] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24541/stat : 24541 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104704764 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662743784312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24542] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24542/stat : 24542 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104704764 10060525568 52514 33554432000 1073741824 1073778376 140736607594208 140662742731720 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 4.16 4.22 4.12 7/219 24552
/proc/meminfo: memFree=28399344/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9824732 CPUtime=5.63 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 26271 0 1 0 548 15 0 0 20 0 22 0 104704758 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2456183 69637 2285 9 0 2446860 0
[pid=24524/tid=24526] ppid=24521 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/24524/task/24526/stat : 24526 (java) S 24521 24524 21426 0 -1 4202560 2545 0 1 0 103 4 0 0 20 0 22 0 104704759 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662926320504 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24527] ppid=24521 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24524/task/24527/stat : 24527 (java) S 24521 24524 21426 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662865050152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24528] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24528/stat : 24528 (java) S 24521 24524 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662768613800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24529] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24529/stat : 24529 (java) S 24521 24524 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662767561000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24530] ppid=24521 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24524/task/24530/stat : 24530 (java) S 24521 24524 21426 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662766508200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24531] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24531/stat : 24531 (java) S 24521 24524 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662765456424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24532] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24532/stat : 24532 (java) S 24521 24524 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662764403624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24533] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24533/stat : 24533 (java) S 24521 24524 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662763350824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24534] ppid=24521 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24524/task/24534/stat : 24534 (java) S 24521 24524 21426 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 104704760 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662762298024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24535] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24535/stat : 24535 (java) S 24521 24524 21426 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104704761 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662750099944 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24536] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24536/stat : 24536 (java) S 24521 24524 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662749046008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24537] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24537/stat : 24537 (java) S 24521 24524 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662747993096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24538] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24538/stat : 24538 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662746941584 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24539] ppid=24521 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/24524/task/24539/stat : 24539 (java) S 24521 24524 21426 0 -1 4202560 10762 0 0 0 102 3 0 0 20 0 22 0 104704764 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662745889720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24540] ppid=24521 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/24524/task/24540/stat : 24540 (java) R 24521 24524 21426 0 -1 4202560 11458 0 0 0 125 1 0 0 20 0 22 0 104704764 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662744836920 140662928921472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24541] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24541/stat : 24541 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662743784312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24542] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24542/stat : 24542 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662742731720 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24546] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24546/stat : 24546 (java) S 24521 24524 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104704870 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662738518824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24550] ppid=24521 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/24524/task/24550/stat : 24550 (java) R 24521 24524 21426 0 -1 4202560 3 0 0 0 93 0 0 0 20 0 22 0 104704970 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662740621712 140662867072947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24551] ppid=24521 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/24524/task/24551/stat : 24551 (java) R 24521 24524 21426 0 -1 4202560 28 0 0 0 92 0 0 0 20 0 22 0 104704970 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662739570600 140662867337471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24552] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24552/stat : 24552 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104704970 10060525568 69637 33554432000 1073741824 1073778376 140736607594208 140662741677096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.16 4.22 4.12 6/219 24555
/proc/meminfo: memFree=28056048/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9824732 CPUtime=12.51 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 27425 0 1 0 1202 49 0 0 20 0 22 0 104704758 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2456183 196915 2292 9 0 2446860 0
[pid=24524/tid=24526] ppid=24521 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/24524/task/24526/stat : 24526 (java) S 24521 24524 21426 0 -1 4202560 2545 0 1 0 104 4 0 0 20 0 22 0 104704759 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662926320504 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24527] ppid=24521 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/24524/task/24527/stat : 24527 (java) S 24521 24524 21426 0 -1 4202560 87 0 0 0 7 4 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662865050152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24528] ppid=24521 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24524/task/24528/stat : 24528 (java) S 24521 24524 21426 0 -1 4202560 64 0 0 0 5 4 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662768613800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24529] ppid=24521 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/24524/task/24529/stat : 24529 (java) S 24521 24524 21426 0 -1 4202560 94 0 0 0 9 6 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662767561000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24530] ppid=24521 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/24524/task/24530/stat : 24530 (java) S 24521 24524 21426 0 -1 4202560 89 0 0 0 8 4 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662766508200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24531] ppid=24521 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24524/task/24531/stat : 24531 (java) S 24521 24524 21426 0 -1 4202560 42 0 0 0 3 2 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662765456424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24532] ppid=24521 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24524/task/24532/stat : 24532 (java) S 24521 24524 21426 0 -1 4202560 61 0 0 0 6 3 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662764403624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24533] ppid=24521 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24524/task/24533/stat : 24533 (java) S 24521 24524 21426 0 -1 4202560 58 0 0 0 6 3 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662763350824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24534] ppid=24521 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/24524/task/24534/stat : 24534 (java) S 24521 24524 21426 0 -1 4202560 72 0 0 0 8 3 0 0 20 0 22 0 104704760 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662762298024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24535] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24535/stat : 24535 (java) S 24521 24524 21426 0 -1 4202560 536 0 0 0 0 0 0 0 20 0 22 0 104704761 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662750099944 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24536] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24536/stat : 24536 (java) S 24521 24524 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662749046008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24537] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24537/stat : 24537 (java) S 24521 24524 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662747993096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24538] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24538/stat : 24538 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662746941584 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24539] ppid=24521 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/24524/task/24539/stat : 24539 (java) S 24521 24524 21426 0 -1 4202560 10778 0 0 0 116 3 0 0 20 0 22 0 104704764 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662745889720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24540] ppid=24521 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/24524/task/24540/stat : 24540 (java) S 24521 24524 21426 0 -1 4202560 11481 0 0 0 139 2 0 0 20 0 22 0 104704764 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662744836920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24541] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24541/stat : 24541 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662743784312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24542] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24542/stat : 24542 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 196915 33554432000 1073741824 1073778376 140736607594208 140662742731720 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24552] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=24524/tid=24534] ppid=24521 vsize=9824732 CPUtime=13.69 cores=0,2,4,6
/proc/24524/task/24534/stat : 24534 (java) S 24521 24524 21426 0 -1 4202560 1239 0 0 0 1321 48 0 0 20 0 22 0 104704760 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662762298024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24535] ppid=24521 vsize=9824732 CPUtime=18.34 cores=0,2,4,6
/proc/24524/task/24535/stat : 24535 (java) S 24521 24524 21426 0 -1 4202560 10474 0 0 0 1824 10 0 0 20 0 22 0 104704761 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662750099944 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24536] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24536/stat : 24536 (java) S 24521 24524 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662749046008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24537] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24537/stat : 24537 (java) S 24521 24524 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662747993096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24538] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24538/stat : 24538 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662746941584 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24539] ppid=24521 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/24524/task/24539/stat : 24539 (java) S 24521 24524 21426 0 -1 4202560 10830 0 0 0 143 3 0 0 20 0 22 0 104704764 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662745889720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24540] ppid=24521 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/24524/task/24540/stat : 24540 (java) S 24521 24524 21426 0 -1 4202560 11868 0 0 0 198 2 0 0 20 0 22 0 104704764 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662744836920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24541] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24541/stat : 24541 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662743784312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24542] ppid=24521 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/24524/task/24542/stat : 24542 (java) S 24521 24524 21426 0 -1 4202560 47 0 0 0 15 16 0 0 20 0 22 0 104704764 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662742731720 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24552] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24552/stat : 24552 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104704970 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662741677096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24634] ppid=24521 vsize=9824732 CPUtime=572.47 cores=0,2,4,6
/proc/24524/task/24634/stat : 24634 (java) R 24521 24524 21426 0 -1 4202560 17 0 0 0 57239 8 0 0 20 0 22 0 104726419 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662740622992 140662867004422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24635] ppid=24521 vsize=9824732 CPUtime=572.49 cores=0,2,4,6
/proc/24524/task/24635/stat : 24635 (java) R 24521 24524 21426 0 -1 4202560 73 0 0 0 57240 9 0 0 20 0 22 0 104726419 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662738516576 140662867368774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24636] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24636/stat : 24636 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726419 10060525568 1333019 33554432000 1073741824 1073778376 140736607594208 140662739571624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1675.21
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.94 4.08 4.12 5/219 24659
/proc/meminfo: memFree=20663736/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9824732 CPUtime=1793.47 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 93518 0 1 0 178861 486 0 0 20 0 22 0 104704758 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2456183 1486082 2301 9 0 2446860 0
[pid=24524/tid=24526] ppid=24521 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/24524/task/24526/stat : 24526 (java) S 24521 24524 21426 0 -1 4202560 2586 0 1 0 106 5 0 0 20 0 22 0 104704759 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662926320504 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24527] ppid=24521 vsize=9824732 CPUtime=13.68 cores=0,2,4,6
/proc/24524/task/24527/stat : 24527 (java) S 24521 24524 21426 0 -1 4202560 5694 0 0 0 1311 57 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662865050152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24528] ppid=24521 vsize=9824732 CPUtime=14.34 cores=0,2,4,6
/proc/24524/task/24528/stat : 24528 (java) S 24521 24524 21426 0 -1 4202560 6561 0 0 0 1380 54 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662768613800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24529] ppid=24521 vsize=9824732 CPUtime=13.96 cores=0,2,4,6
/proc/24524/task/24529/stat : 24529 (java) S 24521 24524 21426 0 -1 4202560 9161 0 0 0 1337 59 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662767561000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24530] ppid=24521 vsize=9824732 CPUtime=13.17 cores=0,2,4,6
/proc/24524/task/24530/stat : 24530 (java) S 24521 24524 21426 0 -1 4202560 9695 0 0 0 1276 41 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662766508200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24531] ppid=24521 vsize=9824732 CPUtime=13.41 cores=0,2,4,6
/proc/24524/task/24531/stat : 24531 (java) S 24521 24524 21426 0 -1 4202560 7291 0 0 0 1297 44 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662765456424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24532] ppid=24521 vsize=9824732 CPUtime=13.58 cores=0,2,4,6
/proc/24524/task/24532/stat : 24532 (java) S 24521 24524 21426 0 -1 4202560 6386 0 0 0 1310 48 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662764403624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24533] ppid=24521 vsize=9824732 CPUtime=14.49 cores=0,2,4,6
/proc/24524/task/24533/stat : 24533 (java) S 24521 24524 21426 0 -1 4202560 5055 0 0 0 1400 49 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662763350824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24534] ppid=24521 vsize=9824732 CPUtime=14.79 cores=0,2,4,6
/proc/24524/task/24534/stat : 24534 (java) S 24521 24524 21426 0 -1 4202560 4652 0 0 0 1426 53 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662762298024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24535] ppid=24521 vsize=9824732 CPUtime=23.88 cores=0,2,4,6
/proc/24524/task/24535/stat : 24535 (java) S 24521 24524 21426 0 -1 4202560 10946 0 0 0 2377 11 0 0 20 0 22 0 104704761 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662750099944 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24536] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24536/stat : 24536 (java) S 24521 24524 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662749046008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24537] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24537/stat : 24537 (java) S 24521 24524 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662747993096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24538] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24538/stat : 24538 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662746941584 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24539] ppid=24521 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/24524/task/24539/stat : 24539 (java) S 24521 24524 21426 0 -1 4202560 10830 0 0 0 143 3 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662745889720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24540] ppid=24521 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/24524/task/24540/stat : 24540 (java) S 24521 24524 21426 0 -1 4202560 11868 0 0 0 198 2 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662744836920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24541] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24541/stat : 24541 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662743784312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24542] ppid=24521 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/24524/task/24542/stat : 24542 (java) S 24521 24524 21426 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662742731720 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24552] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24552/stat : 24552 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104704970 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662741677096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24634] ppid=24521 vsize=9824732 CPUtime=624.72 cores=0,2,4,6
/proc/24524/task/24634/stat : 24634 (java) R 24521 24524 21426 0 -1 4202560 18 0 0 0 62463 9 0 0 20 0 22 0 104726419 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662740622992 140662867098757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24635] ppid=24521 vsize=9824732 CPUtime=624.75 cores=0,2,4,6
/proc/24524/task/24635/stat : 24635 (java) R 24521 24524 21426 0 -1 4202560 80 0 0 0 62465 10 0 0 20 0 22 0 104726419 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662738516384 140662867002547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24636] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24636/stat : 24636 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726419 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662739571624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+885.201 s]
/proc/loadavg: 3.94 4.08 4.12 5/219 24659
/proc/meminfo: memFree=20663736/32872528 swapFree=12328/568296
[pid=24524] ppid=24521 vsize=9824732 CPUtime=1799.25 cores=0,2,4,6
/proc/24524/stat : 24524 (java) S 24521 24524 21426 0 -1 4202496 93518 0 1 0 179439 486 0 0 20 0 22 0 104704758 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140736607585344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24524/statm: 2456183 1486082 2301 9 0 2446860 0
[pid=24524/tid=24526] ppid=24521 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/24524/task/24526/stat : 24526 (java) S 24521 24524 21426 0 -1 4202560 2586 0 1 0 106 5 0 0 20 0 22 0 104704759 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662926320504 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24527] ppid=24521 vsize=9824732 CPUtime=13.68 cores=0,2,4,6
/proc/24524/task/24527/stat : 24527 (java) S 24521 24524 21426 0 -1 4202560 5694 0 0 0 1311 57 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662865050152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24528] ppid=24521 vsize=9824732 CPUtime=14.34 cores=0,2,4,6
/proc/24524/task/24528/stat : 24528 (java) S 24521 24524 21426 0 -1 4202560 6561 0 0 0 1380 54 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662768613800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24529] ppid=24521 vsize=9824732 CPUtime=13.96 cores=0,2,4,6
/proc/24524/task/24529/stat : 24529 (java) S 24521 24524 21426 0 -1 4202560 9161 0 0 0 1337 59 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662767561000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24530] ppid=24521 vsize=9824732 CPUtime=13.17 cores=0,2,4,6
/proc/24524/task/24530/stat : 24530 (java) S 24521 24524 21426 0 -1 4202560 9695 0 0 0 1276 41 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662766508200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24531] ppid=24521 vsize=9824732 CPUtime=13.41 cores=0,2,4,6
/proc/24524/task/24531/stat : 24531 (java) S 24521 24524 21426 0 -1 4202560 7291 0 0 0 1297 44 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662765456424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24532] ppid=24521 vsize=9824732 CPUtime=13.58 cores=0,2,4,6
/proc/24524/task/24532/stat : 24532 (java) S 24521 24524 21426 0 -1 4202560 6386 0 0 0 1310 48 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662764403624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24533] ppid=24521 vsize=9824732 CPUtime=14.49 cores=0,2,4,6
/proc/24524/task/24533/stat : 24533 (java) S 24521 24524 21426 0 -1 4202560 5055 0 0 0 1400 49 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662763350824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24534] ppid=24521 vsize=9824732 CPUtime=14.79 cores=0,2,4,6
/proc/24524/task/24534/stat : 24534 (java) S 24521 24524 21426 0 -1 4202560 4652 0 0 0 1426 53 0 0 20 0 22 0 104704760 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662762298024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24535] ppid=24521 vsize=9824732 CPUtime=23.88 cores=0,2,4,6
/proc/24524/task/24535/stat : 24535 (java) S 24521 24524 21426 0 -1 4202560 10946 0 0 0 2377 11 0 0 20 0 22 0 104704761 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662750099944 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24536] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24536/stat : 24536 (java) S 24521 24524 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662749046008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24537] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24537/stat : 24537 (java) S 24521 24524 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104704762 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662747993096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24524/tid=24538] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24538/stat : 24538 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662746941584 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24539] ppid=24521 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/24524/task/24539/stat : 24539 (java) S 24521 24524 21426 0 -1 4202560 10830 0 0 0 143 3 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662745889720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24540] ppid=24521 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/24524/task/24540/stat : 24540 (java) S 24521 24524 21426 0 -1 4202560 11868 0 0 0 198 2 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662744836920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24541] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24541/stat : 24541 (java) S 24521 24524 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662743784312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24542] ppid=24521 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/24524/task/24542/stat : 24542 (java) S 24521 24524 21426 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 104704764 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662742731720 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24524/tid=24552] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24552/stat : 24552 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104704970 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662741677096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24634] ppid=24521 vsize=9824732 CPUtime=627.61 cores=0,2,4,6
/proc/24524/task/24634/stat : 24634 (java) R 24521 24524 21426 0 -1 4202560 18 0 0 0 62752 9 0 0 20 0 22 0 104726419 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662740622992 140662867098351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24524/tid=24635] ppid=24521 vsize=9824732 CPUtime=627.64 cores=0,2,4,6
/proc/24524/task/24635/stat : 24635 (java) R 24521 24524 21426 0 -1 4202560 80 0 0 0 62754 10 0 0 20 0 22 0 104726419 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662738516384 140662867368040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24524/tid=24636] ppid=24521 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24524/task/24636/stat : 24636 (java) S 24521 24524 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726419 10060525568 1486082 33554432000 1073741824 1073778376 140736607594208 140662739571624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.25
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 24524 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24524 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=930737
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=201209
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1799.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.819992
# lost CPU user time (s): 0.889999
# lost CPU system time (s): -0.0699999
Real time (s): 885.287
CPU time (s): 1800.07
CPU user time (s): 1795.28
CPU system time (s): 4.79
CPU usage (%): 203.332
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.93
system time used= 5.20121
maximum resident set size= 5944444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93557
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26923
involuntary context switches= 57127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18306 second user time and 6.75297 second system time
The end