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-4080577-1465259281/watcher-4080577-1465259281 -o /tmp/evaluation-result-4080577-1465259281/solver-4080577-1465259281 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080577-1465259281.opb
pid=24431
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.18 4.03 4.00 3/197 24434
/proc/meminfo: memFree=29334096/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 107861364 98570240 977 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 24065 977 743 9 0 16771 0
[pid=24434/tid=24435] ppid=24431 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) R 24431 24434 20210 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 107861365 98570240 978 33554432000 1073741824 1073778376 140735946076912 140093815676456 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 4.18 4.03 4.00 3/197 24434
/proc/meminfo: memFree=29334096/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 4500 0 1 0 10 1 0 0 20 0 18 0 107861364 9787879424 6121 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2389619 6121 2156 9 0 2380296 0
[pid=24434/tid=24435] ppid=24431 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) R 24431 24434 20210 0 -1 4202560 2385 0 1 0 6 1 0 0 20 0 18 0 107861365 9787879424 6121 33554432000 1073741824 1073778376 140735946076912 140093815679904 262966142221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200323 s]
/proc/loadavg: 4.18 4.03 4.00 3/197 24434
/proc/meminfo: memFree=29334096/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 4607 0 1 0 23 1 0 0 20 0 18 0 107861364 9787879424 7223 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2389619 7223 2213 9 0 2380296 0
[pid=24434/tid=24435] ppid=24431 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) R 24431 24434 20210 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 18 0 107861365 9787879424 7223 33554432000 1073741824 1073778376 140735946076912 140093815679904 140093662771303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300331 s]
/proc/loadavg: 4.18 4.03 4.00 3/197 24434
/proc/meminfo: memFree=29334096/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 6134 0 1 0 47 1 0 0 20 0 18 0 107861364 9787879424 9605 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2389619 9605 2240 9 0 2380296 0
[pid=24434/tid=24435] ppid=24431 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) R 24431 24434 20210 0 -1 4202560 2411 0 1 0 26 1 0 0 20 0 18 0 107861365 9787879424 9605 33554432000 1073741824 1073778376 140735946076912 140093815672688 140093663142063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700232 s]
/proc/loadavg: 4.18 4.03 4.00 3/197 24434
/proc/meminfo: memFree=29334096/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 14958 0 1 0 201 4 0 0 20 0 22 0 107861364 10060525568 18681 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 18681 2265 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2422 0 1 0 28 1 0 0 20 0 22 0 107861365 10060525568 18681 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.18 4.03 4.00 7/219 24456
/proc/meminfo: memFree=29224780/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=4.65 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 23809 0 1 0 458 7 0 0 20 0 22 0 107861364 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 41303 2276 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2422 0 1 0 28 1 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24437] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24437/stat : 24437 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093788134184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24438] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24438/stat : 24438 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093787081384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24439] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24439/stat : 24439 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093786029096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24440] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24440/stat : 24440 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093784976296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24441] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24441/stat : 24441 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093783922984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24442] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24442/stat : 24442 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093782870184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24443] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24443/stat : 24443 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093781817896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24444] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24444/stat : 24444 (java) S 24431 24434 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107861365 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093651724712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24445] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24445/stat : 24445 (java) S 24431 24434 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107861366 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093168777960 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24446] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24446/stat : 24446 (java) S 24431 24434 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093167724024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24447] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24447/stat : 24447 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093166671624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24448] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24448/stat : 24448 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093165620112 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24449] ppid=24431 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/24434/task/24449/stat : 24449 (java) S 24431 24434 20210 0 -1 4202560 6634 0 0 0 92 2 0 0 20 0 22 0 107861369 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093164566712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24450] ppid=24431 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/24434/task/24450/stat : 24450 (java) S 24431 24434 20210 0 -1 4202560 13376 0 0 0 100 3 0 0 20 0 22 0 107861369 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093163513912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24451] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24451/stat : 24451 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093162461816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24452] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24452/stat : 24452 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093161409224 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24453] ppid=24431 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/24434/task/24453/stat : 24453 (java) R 24431 24434 20210 0 -1 4202560 20 0 0 0 117 0 0 0 20 0 22 0 107861396 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093160351696 140093663258591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24454] ppid=24431 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/24434/task/24454/stat : 24454 (java) R 24431 24434 20210 0 -1 4202560 80 0 0 0 114 2 0 0 20 0 22 0 107861396 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093159301272 140093663511925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24455] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24455/stat : 24455 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093158250152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24456] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24456/stat : 24456 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 41303 33554432000 1073741824 1073778376 140735946076912 140093157197352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 4.17 4.03 4.00 5/219 24456
/proc/meminfo: memFree=29149428/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=8.23 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 25517 0 1 0 808 15 0 0 20 0 22 0 107861364 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 78648 2290 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2423 0 1 0 28 1 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24437] ppid=24431 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24434/task/24437/stat : 24437 (java) S 24431 24434 20210 0 -1 4202560 118 0 0 0 2 1 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093788134184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24438] ppid=24431 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24434/task/24438/stat : 24438 (java) S 24431 24434 20210 0 -1 4202560 230 0 0 0 4 0 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093787081384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24439] ppid=24431 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24434/task/24439/stat : 24439 (java) S 24431 24434 20210 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093786029096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24440] ppid=24431 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24434/task/24440/stat : 24440 (java) S 24431 24434 20210 0 -1 4202560 247 0 0 0 2 2 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093784976296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24441] ppid=24431 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24434/task/24441/stat : 24441 (java) S 24431 24434 20210 0 -1 4202560 104 0 0 0 1 0 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093783922984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24431 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24434/task/24442/stat : 24442 (java) S 24431 24434 20210 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093782870184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24443] ppid=24431 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24434/task/24443/stat : 24443 (java) S 24431 24434 20210 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093781817896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24444] ppid=24431 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24434/task/24444/stat : 24444 (java) S 24431 24434 20210 0 -1 4202560 147 0 0 0 1 0 0 0 20 0 22 0 107861365 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093651724712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24445] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24445/stat : 24445 (java) S 24431 24434 20210 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 107861366 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093168777960 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24446] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24446/stat : 24446 (java) S 24431 24434 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093167724024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24447] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24447/stat : 24447 (java) S 24431 24434 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093166671624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24448] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24448/stat : 24448 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093165620112 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24449] ppid=24431 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/24434/task/24449/stat : 24449 (java) S 24431 24434 20210 0 -1 4202560 6634 0 0 0 109 2 0 0 20 0 22 0 107861369 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093164566712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24450] ppid=24431 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/24434/task/24450/stat : 24450 (java) S 24431 24434 20210 0 -1 4202560 13926 0 0 0 110 3 0 0 20 0 22 0 107861369 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093163513912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24451] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24451/stat : 24451 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093162461816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24452] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24452/stat : 24452 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093161409224 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24453] ppid=24431 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/24434/task/24453/stat : 24453 (java) R 24431 24434 20210 0 -1 4202560 25 0 0 0 269 0 0 0 20 0 22 0 107861396 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093160354552 140093663201126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24454] ppid=24431 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/24434/task/24454/stat : 24454 (java) R 24431 24434 20210 0 -1 4202560 164 0 0 0 263 3 0 0 20 0 22 0 107861396 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093159301592 140093663414602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24455] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24455/stat : 24455 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093158250152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24456] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24456/stat : 24456 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 78648 33554432000 1073741824 1073778376 140735946076912 140093157197352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 9824732
[startup+6.30089 s]
/proc/loadavg: 4.17 4.03 4.00 5/219 24456
/proc/meminfo: memFree=28698676/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=14.86 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 27010 0 1 0 1457 29 0 0 20 0 22 0 107861364 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 166801 2291 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2423 0 1 0 28 1 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24437] ppid=24431 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24434/task/24437/stat : 24437 (java) S 24431 24434 20210 0 -1 4202560 226 0 0 0 6 3 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093788134184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24438] ppid=24431 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/24434/task/24438/stat : 24438 (java) S 24431 24434 20210 0 -1 4202560 364 0 0 0 11 3 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093787081384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24439] ppid=24431 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24434/task/24439/stat : 24439 (java) S 24431 24434 20210 0 -1 4202560 46 0 0 0 3 2 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093786029096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24440] ppid=24431 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24434/task/24440/stat : 24440 (java) S 24431 24434 20210 0 -1 4202560 329 0 0 0 6 3 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093784976296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24441] ppid=24431 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24434/task/24441/stat : 24441 (java) S 24431 24434 20210 0 -1 4202560 160 0 0 0 5 3 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093783922984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24431 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24434/task/24442/stat : 24442 (java) S 24431 24434 20210 0 -1 4202560 90 0 0 0 3 2 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093782870184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24443] ppid=24431 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24434/task/24443/stat : 24443 (java) S 24431 24434 20210 0 -1 4202560 148 0 0 0 3 2 0 0 20 0 22 0 107861365 10060525568 166801 33554432000 1073741824 1073778376 140735946076912 140093781817896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24444] ppid=24431 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.03 4.06 4.01 6/219 24547
/proc/meminfo: memFree=25922792/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=1647.07 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 32496 0 1 0 164544 163 0 0 20 0 22 0 107861364 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 829523 2300 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2427 0 1 0 30 3 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24437] ppid=24431 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24434/task/24437/stat : 24437 (java) S 24431 24434 20210 0 -1 4202560 478 0 0 0 26 11 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093788134184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24438] ppid=24431 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/24434/task/24438/stat : 24438 (java) S 24431 24434 20210 0 -1 4202560 641 0 0 0 41 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093787081384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24439] ppid=24431 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24434/task/24439/stat : 24439 (java) S 24431 24434 20210 0 -1 4202560 479 0 0 0 30 10 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093786029096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24440] ppid=24431 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/24434/task/24440/stat : 24440 (java) S 24431 24434 20210 0 -1 4202560 668 0 0 0 35 12 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093784976296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24441] ppid=24431 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24434/task/24441/stat : 24441 (java) S 24431 24434 20210 0 -1 4202560 429 0 0 0 39 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093783922984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24431 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/24434/task/24442/stat : 24442 (java) S 24431 24434 20210 0 -1 4202560 557 0 0 0 41 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093782870184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24443] ppid=24431 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/24434/task/24443/stat : 24443 (java) S 24431 24434 20210 0 -1 4202560 605 0 0 0 33 13 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093781817896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24444] ppid=24431 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/24434/task/24444/stat : 24444 (java) S 24431 24434 20210 0 -1 4202560 513 0 0 0 42 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093651724712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24445] ppid=24431 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/24434/task/24445/stat : 24445 (java) S 24431 24434 20210 0 -1 4202560 1710 0 0 0 136 2 0 0 20 0 22 0 107861366 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093168777960 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24446] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24446/stat : 24446 (java) S 24431 24434 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093167724024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24447] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24447/stat : 24447 (java) S 24431 24434 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093166671624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24448] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24448/stat : 24448 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093165620112 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24449] ppid=24431 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/24434/task/24449/stat : 24449 (java) S 24431 24434 20210 0 -1 4202560 6639 0 0 0 124 2 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093164566712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24450] ppid=24431 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/24434/task/24450/stat : 24450 (java) S 24431 24434 20210 0 -1 4202560 13926 0 0 0 111 3 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093163513912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24451] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24451/stat : 24451 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093162461816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24452] ppid=24431 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24434/task/24452/stat : 24452 (java) S 24431 24434 20210 0 -1 4202560 47 0 0 0 13 24 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093161409224 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24453] ppid=24431 vsize=9824732 CPUtime=819.49 cores=1,3,5,7
/proc/24434/task/24453/stat : 24453 (java) R 24431 24434 20210 0 -1 4202560 74 0 0 0 81934 15 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093160345872 140093663405802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24454] ppid=24431 vsize=9824732 CPUtime=819.44 cores=1,3,5,7
/proc/24434/task/24454/stat : 24454 (java) R 24431 24434 20210 0 -1 4202560 2039 0 0 0 81896 48 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093159299392 140093663353585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24455] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24455/stat : 24455 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093158250152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24456] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24456/stat : 24456 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093157197352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1647.07
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.01 4.05 4.01 5/219 24548
/proc/meminfo: memFree=25921172/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=1767.08 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 32500 0 1 0 176543 165 0 0 20 0 22 0 107861364 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 829523 2300 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2427 0 1 0 30 3 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24437] ppid=24431 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24434/task/24437/stat : 24437 (java) S 24431 24434 20210 0 -1 4202560 478 0 0 0 26 11 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093788134184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24438] ppid=24431 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/24434/task/24438/stat : 24438 (java) S 24431 24434 20210 0 -1 4202560 641 0 0 0 41 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093787081384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24439] ppid=24431 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24434/task/24439/stat : 24439 (java) S 24431 24434 20210 0 -1 4202560 479 0 0 0 30 10 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093786029096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24440] ppid=24431 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/24434/task/24440/stat : 24440 (java) S 24431 24434 20210 0 -1 4202560 668 0 0 0 35 12 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093784976296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24441] ppid=24431 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24434/task/24441/stat : 24441 (java) S 24431 24434 20210 0 -1 4202560 429 0 0 0 39 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093783922984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24431 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/24434/task/24442/stat : 24442 (java) S 24431 24434 20210 0 -1 4202560 557 0 0 0 41 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093782870184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24443] ppid=24431 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/24434/task/24443/stat : 24443 (java) S 24431 24434 20210 0 -1 4202560 605 0 0 0 33 13 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093781817896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24444] ppid=24431 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/24434/task/24444/stat : 24444 (java) S 24431 24434 20210 0 -1 4202560 513 0 0 0 42 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093651724712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24445] ppid=24431 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/24434/task/24445/stat : 24445 (java) S 24431 24434 20210 0 -1 4202560 1710 0 0 0 136 2 0 0 20 0 22 0 107861366 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093168777960 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24446] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24446/stat : 24446 (java) S 24431 24434 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093167724024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24447] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24447/stat : 24447 (java) S 24431 24434 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093166671624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24448] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24448/stat : 24448 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093165620112 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24449] ppid=24431 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/24434/task/24449/stat : 24449 (java) S 24431 24434 20210 0 -1 4202560 6639 0 0 0 124 2 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093164566712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24450] ppid=24431 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/24434/task/24450/stat : 24450 (java) S 24431 24434 20210 0 -1 4202560 13926 0 0 0 111 3 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093163513912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24451] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24451/stat : 24451 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093162461816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24452] ppid=24431 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/24434/task/24452/stat : 24452 (java) S 24431 24434 20210 0 -1 4202560 51 0 0 0 14 25 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093161409224 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24453] ppid=24431 vsize=9824732 CPUtime=879.49 cores=1,3,5,7
/proc/24434/task/24453/stat : 24453 (java) R 24431 24434 20210 0 -1 4202560 74 0 0 0 87933 16 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093160345872 140093663405797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24454] ppid=24431 vsize=9824732 CPUtime=879.45 cores=1,3,5,7
/proc/24434/task/24454/stat : 24454 (java) R 24431 24434 20210 0 -1 4202560 2039 0 0 0 87896 49 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093159299392 140093663353567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24455] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24455/stat : 24455 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093158250152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24456] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24456/stat : 24456 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093157197352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1767.08
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.808 s]
/proc/loadavg: 4.00 4.05 4.01 5/219 24548
/proc/meminfo: memFree=25921168/32872528 swapFree=11320/319964
[pid=24434] ppid=24431 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/24434/stat : 24434 (java) S 24431 24434 20210 0 -1 4202496 32500 0 1 0 179843 165 0 0 20 0 22 0 107861364 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140735946068048 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24434/statm: 2456183 829523 2300 9 0 2446860 0
[pid=24434/tid=24435] ppid=24431 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/24434/task/24435/stat : 24435 (java) S 24431 24434 20210 0 -1 4202560 2427 0 1 0 30 3 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093815681912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24437] ppid=24431 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24434/task/24437/stat : 24437 (java) S 24431 24434 20210 0 -1 4202560 478 0 0 0 26 11 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093788134184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24438] ppid=24431 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/24434/task/24438/stat : 24438 (java) S 24431 24434 20210 0 -1 4202560 641 0 0 0 41 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093787081384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24439] ppid=24431 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24434/task/24439/stat : 24439 (java) S 24431 24434 20210 0 -1 4202560 479 0 0 0 30 10 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093786029096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24440] ppid=24431 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/24434/task/24440/stat : 24440 (java) S 24431 24434 20210 0 -1 4202560 668 0 0 0 35 12 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093784976296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24441] ppid=24431 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24434/task/24441/stat : 24441 (java) S 24431 24434 20210 0 -1 4202560 429 0 0 0 39 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093783922984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24431 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/24434/task/24442/stat : 24442 (java) S 24431 24434 20210 0 -1 4202560 557 0 0 0 41 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093782870184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24443] ppid=24431 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/24434/task/24443/stat : 24443 (java) S 24431 24434 20210 0 -1 4202560 605 0 0 0 33 13 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093781817896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24444] ppid=24431 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/24434/task/24444/stat : 24444 (java) S 24431 24434 20210 0 -1 4202560 513 0 0 0 42 14 0 0 20 0 22 0 107861365 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093651724712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24445] ppid=24431 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/24434/task/24445/stat : 24445 (java) S 24431 24434 20210 0 -1 4202560 1710 0 0 0 136 2 0 0 20 0 22 0 107861366 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093168777960 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24446] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24446/stat : 24446 (java) S 24431 24434 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093167724024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24447] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24447/stat : 24447 (java) S 24431 24434 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107861367 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093166671624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24448] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24448/stat : 24448 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093165620112 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24449] ppid=24431 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/24434/task/24449/stat : 24449 (java) S 24431 24434 20210 0 -1 4202560 6639 0 0 0 124 2 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093164566712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24450] ppid=24431 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/24434/task/24450/stat : 24450 (java) S 24431 24434 20210 0 -1 4202560 13926 0 0 0 111 3 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093163513912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24451] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24451/stat : 24451 (java) S 24431 24434 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093162461816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24452] ppid=24431 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24434/task/24452/stat : 24452 (java) S 24431 24434 20210 0 -1 4202560 51 0 0 0 14 26 0 0 20 0 22 0 107861369 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093161409224 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24453] ppid=24431 vsize=9824732 CPUtime=895.99 cores=1,3,5,7
/proc/24434/task/24453/stat : 24453 (java) R 24431 24434 20210 0 -1 4202560 74 0 0 0 89583 16 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093160345872 140093663200659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24454] ppid=24431 vsize=9824732 CPUtime=895.95 cores=1,3,5,7
/proc/24434/task/24454/stat : 24454 (java) R 24431 24434 20210 0 -1 4202560 2039 0 0 0 89546 49 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093159299392 140093663656490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24455] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24455/stat : 24455 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093158250152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24456] ppid=24431 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24434/task/24456/stat : 24456 (java) S 24431 24434 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107861396 10060525568 829523 33554432000 1073741824 1073778376 140735946076912 140093157197352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 24434 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.868
CPU time (s): 1800.74
CPU user time (s): 1798.54
CPU system time (s): 2.20267
CPU usage (%): 200.334
Max. virtual memory (cumulated for all children) (KiB): 9826372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 2.20267
maximum resident set size= 3318208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32536
page faults= 1
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21669
involuntary context switches= 6870
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.93425 second user time and 8.13376 second system time
The end