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-4106605-1466273650/watcher-4106605-1466273650 -o /tmp/evaluation-result-4106605-1466273650/solver-4106605-1466273650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28301 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106605-1466273650.opb
pid=3561
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.20 4.28 4.22 4/197 3564
/proc/meminfo: memFree=26282940/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/3564/stat : 3564 (java) D 3561 3564 28285 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 29413447 2560000 46 33554432000 1073741824 1073778376 140736251896688 140736251893816 217401355559 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/3564/statm: 625 46 37 9 0 29 0
[startup+0.100043 s]
/proc/loadavg: 4.20 4.28 4.22 4/197 3564
/proc/meminfo: memFree=26282940/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 4338 0 1 0 6 0 0 0 20 0 18 0 29413447 9787879424 4950 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2389619 4951 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 4.20 4.28 4.22 4/197 3564
/proc/meminfo: memFree=26282940/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 4757 0 1 0 21 1 0 0 20 0 18 0 29413447 9787879424 6849 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2389619 6849 2200 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 4.20 4.28 4.22 4/197 3564
/proc/meminfo: memFree=26282940/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 6203 0 1 0 43 1 0 0 20 0 18 0 29413447 9787879424 8873 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2389619 8873 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700179 s]
/proc/loadavg: 4.20 4.28 4.22 4/197 3564
/proc/meminfo: memFree=26282940/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9558476 CPUtime=1.62 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 28767 0 1 0 156 6 0 0 20 0 18 0 29413447 9787879424 30914 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2389619 30914 2256 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476
[startup+1.50083 s]
/proc/loadavg: 4.20 4.28 4.22 6/215 3582
/proc/meminfo: memFree=26110416/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9558476 CPUtime=4.08 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 36661 0 1 0 394 14 0 0 20 0 18 0 29413447 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2389619 69900 2275 9 0 2380296 0
[pid=3564/tid=3566] ppid=3561 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/3564/task/3566/stat : 3566 (java) R 3561 3564 28285 0 -1 4202560 2536 0 1 0 134 3 0 0 20 0 18 0 29413448 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974727150472 139974667267374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3567] ppid=3561 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3567/stat : 3567 (java) S 3561 3564 28285 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974665882152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3568] ppid=3561 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/3564/task/3568/stat : 3568 (java) S 3561 3564 28285 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974664829352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3569] ppid=3561 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/3564/task/3569/stat : 3569 (java) S 3561 3564 28285 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974663776552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3570] ppid=3561 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/3564/task/3570/stat : 3570 (java) S 3561 3564 28285 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974567213224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3571] ppid=3561 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/3564/task/3571/stat : 3571 (java) S 3561 3564 28285 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974566161448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3572] ppid=3561 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/3564/task/3572/stat : 3572 (java) S 3561 3564 28285 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974565108648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3573] ppid=3561 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/3564/task/3573/stat : 3573 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974564055848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3574] ppid=3561 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/3564/task/3574/stat : 3574 (java) S 3561 3564 28285 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 29413450 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974563003048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3575] ppid=3561 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3575/stat : 3575 (java) S 3561 3564 28285 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 29413451 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974550804968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3576] ppid=3561 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3576/stat : 3576 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 29413451 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974549751032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3577] ppid=3561 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3577/stat : 3577 (java) S 3561 3564 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 29413451 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974548698120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3578] ppid=3561 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3578/stat : 3578 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 29413454 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974547646608 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3579] ppid=3561 vsize=9558476 CPUtime=1.18 cores=0,2,4,6
/proc/3564/task/3579/stat : 3579 (java) R 3561 3564 28285 0 -1 4202560 15037 0 0 0 115 3 0 0 20 0 18 0 29413454 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974546570744 139974732998962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3580] ppid=3561 vsize=9558476 CPUtime=1.21 cores=0,2,4,6
/proc/3564/task/3580/stat : 3580 (java) S 3561 3564 28285 0 -1 4202560 17648 0 0 0 118 3 0 0 20 0 18 0 29413454 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974545541944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3581] ppid=3561 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3581/stat : 3581 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 29413454 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974544489336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3582] ppid=3561 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3582/stat : 3582 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 29413454 9787879424 69900 33554432000 1073741824 1073778376 140736202187040 139974543436744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9558476
[startup+3.10078 s]
/proc/loadavg: 4.20 4.28 4.22 3/216 3586
/proc/meminfo: memFree=25934656/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9824732 CPUtime=6.86 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 37403 0 1 0 658 28 0 0 20 0 22 0 29413447 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2456183 89417 2284 9 0 2446860 0
[pid=3564/tid=3566] ppid=3561 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/3564/task/3566/stat : 3566 (java) S 3561 3564 28285 0 -1 4202560 2548 0 1 0 150 3 0 0 20 0 22 0 29413448 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974727152504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3567] ppid=3561 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/3564/task/3567/stat : 3567 (java) S 3561 3564 28285 0 -1 4202560 153 0 0 0 11 3 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974665882152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3568] ppid=3561 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/3564/task/3568/stat : 3568 (java) S 3561 3564 28285 0 -1 4202560 78 0 0 0 3 2 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974664829352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3569] ppid=3561 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/3564/task/3569/stat : 3569 (java) S 3561 3564 28285 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974663776552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3570] ppid=3561 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3570/stat : 3570 (java) S 3561 3564 28285 0 -1 4202560 99 0 0 0 3 1 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974567213224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3571] ppid=3561 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3571/stat : 3571 (java) S 3561 3564 28285 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974566161448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3572] ppid=3561 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3572/stat : 3572 (java) S 3561 3564 28285 0 -1 4202560 98 0 0 0 4 0 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974565108648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3573] ppid=3561 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/3564/task/3573/stat : 3573 (java) S 3561 3564 28285 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974564055848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3574] ppid=3561 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/3564/task/3574/stat : 3574 (java) S 3561 3564 28285 0 -1 4202560 142 0 0 0 9 3 0 0 20 0 22 0 29413450 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974563003048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3575] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3575/stat : 3575 (java) S 3561 3564 28285 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974550804968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3576] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3576/stat : 3576 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974549751032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3577] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3577/stat : 3577 (java) S 3561 3564 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974548698120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3578] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3578/stat : 3578 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974547646608 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3579] ppid=3561 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/3564/task/3579/stat : 3579 (java) S 3561 3564 28285 0 -1 4202560 15100 0 0 0 159 3 0 0 20 0 22 0 29413454 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974546594744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3580] ppid=3561 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/3564/task/3580/stat : 3580 (java) R 3561 3564 28285 0 -1 4202560 17696 0 0 0 163 3 0 0 20 0 22 0 29413454 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974545541944 139974733956015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3581] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3581/stat : 3581 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974544489336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3582] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3582/stat : 3582 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974543436744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3586] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3586/stat : 3586 (java) S 3561 3564 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29413624 10060525568 89417 33554432000 1073741824 1073778376 140736202187040 139974539223848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 4.18 4.28 4.22 5/219 3592
/proc/meminfo: memFree=25867452/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9824732 CPUtime=13.48 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 37486 0 1 0 1319 29 0 0 20 0 22 0 29413447 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2456183 112687 2289 9 0 2446860 0
[pid=3564/tid=3566] ppid=3561 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/3564/task/3566/stat : 3566 (java) S 3561 3564 28285 0 -1 4202560 2548 0 1 0 150 3 0 0 20 0 22 0 29413448 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974727152504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3567] ppid=3561 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/3564/task/3567/stat : 3567 (java) S 3561 3564 28285 0 -1 4202560 153 0 0 0 11 3 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974665882152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3568] ppid=3561 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/3564/task/3568/stat : 3568 (java) S 3561 3564 28285 0 -1 4202560 78 0 0 0 3 2 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974664829352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3569] ppid=3561 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/3564/task/3569/stat : 3569 (java) S 3561 3564 28285 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974663776552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3570] ppid=3561 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3570/stat : 3570 (java) S 3561 3564 28285 0 -1 4202560 99 0 0 0 3 1 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974567213224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3571] ppid=3561 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3571/stat : 3571 (java) S 3561 3564 28285 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974566161448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3572] ppid=3561 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/3564/task/3572/stat : 3572 (java) S 3561 3564 28285 0 -1 4202560 98 0 0 0 4 0 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974565108648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3573] ppid=3561 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/3564/task/3573/stat : 3573 (java) S 3561 3564 28285 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974564055848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3574] ppid=3561 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/3564/task/3574/stat : 3574 (java) S 3561 3564 28285 0 -1 4202560 142 0 0 0 9 3 0 0 20 0 22 0 29413450 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974563003048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3575] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3575/stat : 3575 (java) S 3561 3564 28285 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974550804968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3576] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3576/stat : 3576 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974549751032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3577] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3577/stat : 3577 (java) S 3561 3564 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974548698120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3578] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3578/stat : 3578 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974547646608 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3579] ppid=3561 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/3564/task/3579/stat : 3579 (java) S 3561 3564 28285 0 -1 4202560 15120 0 0 0 167 3 0 0 20 0 22 0 29413454 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974546594744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3580] ppid=3561 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/3564/task/3580/stat : 3580 (java) S 3561 3564 28285 0 -1 4202560 17709 0 0 0 181 3 0 0 20 0 22 0 29413454 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974545541944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3581] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3581/stat : 3581 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974544489336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3582] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3582/stat : 3582 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974543436744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3586] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3586/stat : 3586 (java) S 3561 3564 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29413624 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974539223848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3590] ppid=3561 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/3564/task/3590/stat : 3590 (java) R 3561 3564 28285 0 -1 4202560 4 0 0 0 348 0 0 0 20 0 22 0 29413723 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974542379840 139974668237157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3591] ppid=3561 vsize=9824732 CPUtime=3.51 cores=0,2,4,6
/proc/3564/task/3591/stat : 3591 (java) R 3561 3564 28285 0 -1 4202560 52 0 0 0 350 1 0 0 20 0 22 0 29413723 10060525568 112687 33554432000 1073741824 1073778376 140736202187040 139974541326824 139974668385009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3592] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=3564/tid=3574] ppid=3561 vsize=9824732 CPUtime=4.08 cores=0,2,4,6
/proc/3564/task/3574/stat : 3574 (java) S 3561 3564 28285 0 -1 4202560 901 0 0 0 385 23 0 0 20 0 22 0 29413450 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974563003048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3575] ppid=3561 vsize=9824732 CPUtime=5.34 cores=0,2,4,6
/proc/3564/task/3575/stat : 3575 (java) S 3561 3564 28285 0 -1 4202560 2616 0 0 0 528 6 0 0 20 0 22 0 29413451 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974550804968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3576] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3576/stat : 3576 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974549751032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3577] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3577/stat : 3577 (java) S 3561 3564 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974548698120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3578] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3578/stat : 3578 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974547646608 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3579] ppid=3561 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/3564/task/3579/stat : 3579 (java) S 3561 3564 28285 0 -1 4202560 15142 0 0 0 196 3 0 0 20 0 22 0 29413454 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974546594744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3580] ppid=3561 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/3564/task/3580/stat : 3580 (java) S 3561 3564 28285 0 -1 4202560 17714 0 0 0 200 3 0 0 20 0 22 0 29413454 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974545541944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3581] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3581/stat : 3581 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974544489336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3582] ppid=3561 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/3564/task/3582/stat : 3582 (java) S 3561 3564 28285 0 -1 4202560 47 0 0 0 13 17 0 0 20 0 22 0 29413454 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974543436744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3592] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3592/stat : 3592 (java) S 3561 3564 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29413723 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974540276776 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3599] ppid=3561 vsize=9824732 CPUtime=611.93 cores=0,2,4,6
/proc/3564/task/3599/stat : 3599 (java) R 3561 3564 28285 0 -1 4202560 8 0 0 0 61184 9 0 0 20 0 22 0 29433321 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974542380960 139974668372821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3600] ppid=3561 vsize=9824732 CPUtime=611.91 cores=0,2,4,6
/proc/3564/task/3600/stat : 3600 (java) R 3561 3564 28285 0 -1 4202560 38 0 0 0 61181 10 0 0 20 0 22 0 29433321 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974541327104 139974668536462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3601] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3601/stat : 3601 (java) S 3561 3564 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29433321 10060525568 1015565 33554432000 1073741824 1073778376 140736202187040 139974539224360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1655.03
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.16 4.24 4.23 6/219 3775
/proc/meminfo: memFree=22404984/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9824732 CPUtime=1775.72 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 49893 0 1 0 177305 267 0 0 20 0 22 0 29413447 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2456183 1015628 2303 9 0 2446860 0
[pid=3564/tid=3566] ppid=3561 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/3564/task/3566/stat : 3566 (java) S 3561 3564 28285 0 -1 4202560 2561 0 1 0 154 4 0 0 20 0 22 0 29413448 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974727152504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3567] ppid=3561 vsize=9824732 CPUtime=4.38 cores=0,2,4,6
/proc/3564/task/3567/stat : 3567 (java) S 3561 3564 28285 0 -1 4202560 1341 0 0 0 417 21 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974665882152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3568] ppid=3561 vsize=9824732 CPUtime=4.31 cores=0,2,4,6
/proc/3564/task/3568/stat : 3568 (java) S 3561 3564 28285 0 -1 4202560 1160 0 0 0 405 26 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974664829352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3569] ppid=3561 vsize=9824732 CPUtime=4.88 cores=0,2,4,6
/proc/3564/task/3569/stat : 3569 (java) S 3561 3564 28285 0 -1 4202560 915 0 0 0 455 33 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974663776552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3570] ppid=3561 vsize=9824732 CPUtime=4.63 cores=0,2,4,6
/proc/3564/task/3570/stat : 3570 (java) S 3561 3564 28285 0 -1 4202560 1361 0 0 0 442 21 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974567213224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3571] ppid=3561 vsize=9824732 CPUtime=4.45 cores=0,2,4,6
/proc/3564/task/3571/stat : 3571 (java) S 3561 3564 28285 0 -1 4202560 1127 0 0 0 423 22 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974566161448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3572] ppid=3561 vsize=9824732 CPUtime=4.43 cores=0,2,4,6
/proc/3564/task/3572/stat : 3572 (java) S 3561 3564 28285 0 -1 4202560 1053 0 0 0 421 22 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974565108648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3573] ppid=3561 vsize=9824732 CPUtime=4.68 cores=0,2,4,6
/proc/3564/task/3573/stat : 3573 (java) S 3561 3564 28285 0 -1 4202560 990 0 0 0 444 24 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974564055848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3574] ppid=3561 vsize=9824732 CPUtime=4.33 cores=0,2,4,6
/proc/3564/task/3574/stat : 3574 (java) S 3561 3564 28285 0 -1 4202560 904 0 0 0 410 23 0 0 20 0 22 0 29413450 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974563003048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3575] ppid=3561 vsize=9824732 CPUtime=5.35 cores=0,2,4,6
/proc/3564/task/3575/stat : 3575 (java) S 3561 3564 28285 0 -1 4202560 2627 0 0 0 528 7 0 0 20 0 22 0 29413451 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974550804968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3576] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3576/stat : 3576 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974549751032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3577] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3577/stat : 3577 (java) S 3561 3564 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974548698120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3578] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3578/stat : 3578 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974547646608 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3579] ppid=3561 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/3564/task/3579/stat : 3579 (java) S 3561 3564 28285 0 -1 4202560 15143 0 0 0 196 3 0 0 20 0 22 0 29413454 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974546594744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3580] ppid=3561 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/3564/task/3580/stat : 3580 (java) S 3561 3564 28285 0 -1 4202560 17714 0 0 0 200 3 0 0 20 0 22 0 29413454 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974545541944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3581] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3581/stat : 3581 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974544489336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3582] ppid=3561 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/3564/task/3582/stat : 3582 (java) S 3561 3564 28285 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 29413454 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974543436744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3592] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3592/stat : 3592 (java) S 3561 3564 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29413723 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974540276776 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3599] ppid=3561 vsize=9824732 CPUtime=671.32 cores=0,2,4,6
/proc/3564/task/3599/stat : 3599 (java) R 3561 3564 28285 0 -1 4202560 8 0 0 0 67122 10 0 0 20 0 22 0 29433321 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974542380960 139974668248504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3600] ppid=3561 vsize=9824732 CPUtime=671.31 cores=0,2,4,6
/proc/3564/task/3600/stat : 3600 (java) R 3561 3564 28285 0 -1 4202560 43 0 0 0 67120 11 0 0 20 0 22 0 29433321 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974541329384 139974668536323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3601] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3601/stat : 3601 (java) S 3561 3564 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29433321 10060525568 1015628 33554432000 1073741824 1073778376 140736202187040 139974539224360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1775.72
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.001 s]
/proc/loadavg: 4.22 4.24 4.24 6/219 3778
/proc/meminfo: memFree=22402816/32872528 swapFree=1534436/1655032
[pid=3564] ppid=3561 vsize=9824732 CPUtime=1799.3 cores=0,2,4,6
/proc/3564/stat : 3564 (java) S 3561 3564 28285 0 -1 4202496 49916 0 1 0 179663 267 0 0 20 0 22 0 29413447 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 140736202178176 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3564/statm: 2456183 1015650 2303 9 0 2446860 0
[pid=3564/tid=3566] ppid=3561 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/3564/task/3566/stat : 3566 (java) S 3561 3564 28285 0 -1 4202560 2561 0 1 0 154 4 0 0 20 0 22 0 29413448 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974727152504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3567] ppid=3561 vsize=9824732 CPUtime=4.47 cores=0,2,4,6
/proc/3564/task/3567/stat : 3567 (java) S 3561 3564 28285 0 -1 4202560 1342 0 0 0 426 21 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974665882152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3568] ppid=3561 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/3564/task/3568/stat : 3568 (java) S 3561 3564 28285 0 -1 4202560 1163 0 0 0 410 26 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974664829352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3569] ppid=3561 vsize=9824732 CPUtime=4.91 cores=0,2,4,6
/proc/3564/task/3569/stat : 3569 (java) S 3561 3564 28285 0 -1 4202560 917 0 0 0 458 33 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974663776552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3570] ppid=3561 vsize=9824732 CPUtime=4.68 cores=0,2,4,6
/proc/3564/task/3570/stat : 3570 (java) S 3561 3564 28285 0 -1 4202560 1361 0 0 0 447 21 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974567213224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3571] ppid=3561 vsize=9824732 CPUtime=4.53 cores=0,2,4,6
/proc/3564/task/3571/stat : 3571 (java) S 3561 3564 28285 0 -1 4202560 1127 0 0 0 431 22 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974566161448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3572] ppid=3561 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/3564/task/3572/stat : 3572 (java) S 3561 3564 28285 0 -1 4202560 1053 0 0 0 426 22 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974565108648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3573] ppid=3561 vsize=9824732 CPUtime=4.71 cores=0,2,4,6
/proc/3564/task/3573/stat : 3573 (java) S 3561 3564 28285 0 -1 4202560 1000 0 0 0 447 24 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974564055848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3574] ppid=3561 vsize=9824732 CPUtime=4.37 cores=0,2,4,6
/proc/3564/task/3574/stat : 3574 (java) S 3561 3564 28285 0 -1 4202560 905 0 0 0 414 23 0 0 20 0 22 0 29413450 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974563003048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3575] ppid=3561 vsize=9824732 CPUtime=5.35 cores=0,2,4,6
/proc/3564/task/3575/stat : 3575 (java) S 3561 3564 28285 0 -1 4202560 2632 0 0 0 528 7 0 0 20 0 22 0 29413451 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974550804968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3576] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3576/stat : 3576 (java) S 3561 3564 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974549751032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3577] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3577/stat : 3577 (java) S 3561 3564 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29413451 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974548698120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3578] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3578/stat : 3578 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974547646608 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3564/tid=3579] ppid=3561 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/3564/task/3579/stat : 3579 (java) S 3561 3564 28285 0 -1 4202560 15143 0 0 0 196 3 0 0 20 0 22 0 29413454 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974546594744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3580] ppid=3561 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/3564/task/3580/stat : 3580 (java) S 3561 3564 28285 0 -1 4202560 17714 0 0 0 200 3 0 0 20 0 22 0 29413454 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974545541944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3581] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3581/stat : 3581 (java) S 3561 3564 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29413454 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974544489336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3564/tid=3582] ppid=3561 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/3564/task/3582/stat : 3582 (java) S 3561 3564 28285 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 22 0 29413454 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974543436744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3592] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3592/stat : 3592 (java) S 3561 3564 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29413723 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974540276776 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3599] ppid=3561 vsize=9824732 CPUtime=682.87 cores=0,2,4,6
/proc/3564/task/3599/stat : 3599 (java) R 3561 3564 28285 0 -1 4202560 8 0 0 0 68277 10 0 0 20 0 22 0 29433321 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974542380960 139974668237157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3564/tid=3600] ppid=3561 vsize=9824732 CPUtime=682.87 cores=0,2,4,6
/proc/3564/task/3600/stat : 3600 (java) R 3561 3564 28285 0 -1 4202560 44 0 0 0 68276 11 0 0 20 0 22 0 29433321 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974541329328 139974667994700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3564/tid=3601] ppid=3561 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3564/task/3601/stat : 3601 (java) S 3561 3564 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29433321 10060525568 1015650 33554432000 1073741824 1073778376 140736202187040 139974539224360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.3
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 3564 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 3564 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=69412
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=69533
# CPU time returned by wait4() is 1796.14
# while last known CPU time is 1799.3
#
# 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.76001
# lost CPU user time (s): 0.820007
# lost CPU system time (s): -0.0599999
Real time (s): 894.051
CPU time (s): 1800.06
CPU user time (s): 1797.45
CPU system time (s): 2.61
CPU usage (%): 201.337
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 3.06953
maximum resident set size= 4062748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49962
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23115
involuntary context switches= 31934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32219 second user time and 7.70483 second system time
The end