runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3739692-1338768900/watcher-3739692-1338768900 -o /tmp/evaluation-result-3739692-1338768900/solver-3739692-1338768900 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3739692-1338768900.opb
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: 2.05 2.01 2.00 2/194 6639
/proc/meminfo: memFree=28205628/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 2 0 343014872 24780800 867 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 38818 870 657 9 0 33153 0
[pid=6639/tid=6640] ppid=6637 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 2 0 343014872 91889664 885 33554432000 1073741824 1073778376 140734713217296 140734713206360 233221000602 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0477409 s]
/proc/loadavg: 2.05 2.01 2.00 2/194 6639
/proc/meminfo: memFree=28205628/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 3749 0 1 0 3 0 0 0 20 0 13 0 343014872 2371293184 4445 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 578929 4445 1708 9 0 569630 0
[pid=6639/tid=6640] ppid=6637 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2566 0 1 0 2 0 0 0 20 0 13 0 343014872 2371293184 4445 33554432000 1073741824 1073778376 140734713217296 139663951012080 233224332557 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100331 s]
/proc/loadavg: 2.05 2.01 2.00 2/194 6639
/proc/meminfo: memFree=28205628/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 4731 0 1 0 9 1 0 0 20 0 18 0 343014872 2712133632 5937 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 662142 5937 2109 9 0 652835 0
[pid=6639/tid=6640] ppid=6637 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2785 0 1 0 6 1 0 0 20 0 18 0 343014872 2712133632 5937 33554432000 1073741824 1073778376 140734713217296 139663951015472 233224332557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300256 s]
/proc/loadavg: 2.05 2.01 2.00 2/194 6639
/proc/meminfo: memFree=28205628/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2648568 CPUtime=0.5 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 6677 0 1 0 48 2 0 0 20 0 18 0 343014872 2712133632 9842 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 662142 9842 2221 9 0 652835 0
[pid=6639/tid=6640] ppid=6637 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2800 0 1 0 26 1 0 0 20 0 18 0 343014872 2712133632 9842 33554432000 1073741824 1073778376 140734713217296 139663951016168 139663822774561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2648568
[startup+0.700271 s]
/proc/loadavg: 2.05 2.01 2.00 2/194 6639
/proc/meminfo: memFree=28205628/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2648568 CPUtime=1.15 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 9362 0 1 0 109 6 0 0 20 0 18 0 343014872 2712133632 43800 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 662142 43800 2241 9 0 652835 0
[pid=6639/tid=6640] ppid=6637 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2873 0 1 0 63 4 0 0 20 0 18 0 343014872 2712133632 43800 33554432000 1073741824 1073778376 140734713217296 139663951016168 233224332557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2648568
[startup+1.50075 s]
/proc/loadavg: 2.05 2.01 2.00 5/213 6658
/proc/meminfo: memFree=27967984/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2715132 CPUtime=2.75 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 17526 0 1 0 266 9 0 0 20 0 19 0 343014872 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 678783 65403 2253 9 0 669476 0
[pid=6639/tid=6640] ppid=6637 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2915 0 1 0 141 6 0 0 20 0 19 0 343014872 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663951008264 139663823508590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663818041512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663816988968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6644] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6644/stat : 6644 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663815936424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6645] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6645/stat : 6645 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663814883880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6646] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6646/stat : 6646 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663612308136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6647] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6647/stat : 6647 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663611255592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6648] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6648/stat : 6648 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663610203048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6649] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6649/stat : 6649 (java) S 6637 6639 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663609150504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6650] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6650/stat : 6650 (java) S 6637 6639 2643 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343014874 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663596738664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6651] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6651/stat : 6651 (java) S 6637 6639 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663595684984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6652] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6652/stat : 6652 (java) S 6637 6639 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663594632328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6653] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6653/stat : 6653 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663593581072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6654] ppid=6637 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) S 6637 6639 2643 0 -1 4202560 6255 0 0 0 60 2 0 0 20 0 19 0 343014877 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663592528440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 59 2 0 0 20 0 19 0 343014877 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6656] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6656/stat : 6656 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663590423544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6657] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6657/stat : 6657 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663589371208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6658] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6658/stat : 6658 (java) S 6637 6639 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343014967 2780295168 65403 33554432000 1073741824 1073778376 140734713217296 139663588315944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 2715132
[startup+3.10082 s]
/proc/loadavg: 2.05 2.01 2.00 3/213 6658
/proc/meminfo: memFree=27927024/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2715132 CPUtime=4.36 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 17562 0 1 0 426 10 0 0 20 0 19 0 343014872 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 678783 81791 2253 9 0 669476 0
[pid=6639/tid=6640] ppid=6637 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2947 0 1 0 300 7 0 0 20 0 19 0 343014872 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663951016424 139663823508761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663818041512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663816988968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6644] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6644/stat : 6644 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663815936424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6645] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6645/stat : 6645 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663814883880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6646] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6646/stat : 6646 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663612308136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6647] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6647/stat : 6647 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663611255592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6648] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6648/stat : 6648 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663610203048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6649] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6649/stat : 6649 (java) S 6637 6639 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663609150504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6650] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6650/stat : 6650 (java) S 6637 6639 2643 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343014874 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663596738664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6651] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6651/stat : 6651 (java) S 6637 6639 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663595684984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6652] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6652/stat : 6652 (java) S 6637 6639 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663594632328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6653] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6653/stat : 6653 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663593581072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6654] ppid=6637 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) S 6637 6639 2643 0 -1 4202560 6259 0 0 0 62 2 0 0 20 0 19 0 343014877 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663592528440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 60 2 0 0 20 0 19 0 343014877 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6656] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6656/stat : 6656 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663590423544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6657] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6657/stat : 6657 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663589371208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6658] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6658/stat : 6658 (java) S 6637 6639 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343014967 2780295168 81791 33554432000 1073741824 1073778376 140734713217296 139663588315944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 2715132
[startup+6.30074 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 6658
/proc/meminfo: memFree=27819596/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2715132 CPUtime=7.79 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 17663 0 1 0 765 14 0 0 20 0 19 0 343014872 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 678783 98180 2269 9 0 669476 0
[pid=6639/tid=6640] ppid=6637 vsize=2715132 CPUtime=6.22 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 2977 0 1 0 614 8 0 0 20 0 19 0 343014872 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663951015464 139663823566880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (java) S 6637 6639 2643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663818041512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (java) S 6637 6639 2643 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663816988968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6644] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6644/stat : 6644 (java) S 6637 6639 2643 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663815936424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6645] ppid=6637 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/6639/task/6645/stat : 6645 (java) S 6637 6639 2643 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663814883880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6646] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6646/stat : 6646 (java) S 6637 6639 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663612308136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6647] ppid=6637 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/6639/task/6647/stat : 6647 (java) S 6637 6639 2643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663611255592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6648] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6648/stat : 6648 (java) S 6637 6639 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663610203048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6649] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6649/stat : 6649 (java) S 6637 6639 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343014873 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663609150504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6650] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6650/stat : 6650 (java) S 6637 6639 2643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 343014874 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663596738664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6651] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6651/stat : 6651 (java) S 6637 6639 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663595684984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6652] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6652/stat : 6652 (java) S 6637 6639 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663594632328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6653] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6653/stat : 6653 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663593581072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6654] ppid=6637 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) R 6637 6639 2643 0 -1 4202560 6273 0 0 0 72 2 0 0 20 0 19 0 343014877 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663592528440 139663953624413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 62 2 0 0 20 0 19 0 343014877 2780295168 98180 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=6639/tid=6654] ppid=6637 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) S 6637 6639 2643 0 -1 4202560 6275 0 0 0 74 2 0 0 20 0 19 0 343014877 2780295168 262374 33554432000 1073741824 1073778376 140734713217296 139663592528440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 62 2 0 0 20 0 19 0 343014877 2780295168 262374 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6656] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6656/stat : 6656 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 262374 33554432000 1073741824 1073778376 140734713217296 139663590423544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6657] ppid=6637 vsize=2715132 CPUtime=1.01 cores=1,3,5,7
/proc/6639/task/6657/stat : 6657 (java) S 6637 6639 2643 0 -1 4202560 99 0 0 0 54 47 0 0 20 0 19 0 343014877 2780295168 262374 33554432000 1073741824 1073778376 140734713217296 139663589371208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6658] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6658/stat : 6658 (java) S 6637 6639 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343014967 2780295168 262374 33554432000 1073741824 1073778376 140734713217296 139663588315944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.08
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 6731
/proc/meminfo: memFree=27090804/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2715132 CPUtime=1790.3 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 19784 0 1 0 178876 154 0 0 20 0 19 0 343014872 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 678783 266989 2269 9 0 669476 0
[pid=6639/tid=6640] ppid=6637 vsize=2715132 CPUtime=1775.28 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 3052 0 1 0 177492 36 0 0 20 0 19 0 343014872 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663951015328 139663823402741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=2715132 CPUtime=1.05 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (java) S 6637 6639 2643 0 -1 4202560 245 0 0 0 93 12 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663818041512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (java) S 6637 6639 2643 0 -1 4202560 241 0 0 0 95 12 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663816988968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6644] ppid=6637 vsize=2715132 CPUtime=0.97 cores=1,3,5,7
/proc/6639/task/6644/stat : 6644 (java) S 6637 6639 2643 0 -1 4202560 237 0 0 0 86 11 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663815936424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6645] ppid=6637 vsize=2715132 CPUtime=0.94 cores=1,3,5,7
/proc/6639/task/6645/stat : 6645 (java) S 6637 6639 2643 0 -1 4202560 239 0 0 0 82 12 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663814883880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6646] ppid=6637 vsize=2715132 CPUtime=1.01 cores=1,3,5,7
/proc/6639/task/6646/stat : 6646 (java) S 6637 6639 2643 0 -1 4202560 219 0 0 0 88 13 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663612308136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6647] ppid=6637 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/6639/task/6647/stat : 6647 (java) S 6637 6639 2643 0 -1 4202560 281 0 0 0 88 11 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663611255592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6648] ppid=6637 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/6639/task/6648/stat : 6648 (java) S 6637 6639 2643 0 -1 4202560 202 0 0 0 91 9 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663610203048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6649] ppid=6637 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/6639/task/6649/stat : 6649 (java) S 6637 6639 2643 0 -1 4202560 245 0 0 0 88 11 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663609150504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6650] ppid=6637 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/6639/task/6650/stat : 6650 (java) S 6637 6639 2643 0 -1 4202560 104 0 0 0 3 2 0 0 20 0 19 0 343014874 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663596738664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6651] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6651/stat : 6651 (java) S 6637 6639 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663595684984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6652] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6652/stat : 6652 (java) S 6637 6639 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663594632328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6653] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6653/stat : 6653 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663593581072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6654] ppid=6637 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) S 6637 6639 2643 0 -1 4202560 6275 0 0 0 74 2 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663592528440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 62 2 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6656] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6656/stat : 6656 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663590423544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6657] ppid=6637 vsize=2715132 CPUtime=1.05 cores=1,3,5,7
/proc/6639/task/6657/stat : 6657 (java) S 6637 6639 2643 0 -1 4202560 103 0 0 0 56 49 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663589371208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6658] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6658/stat : 6658 (java) S 6637 6639 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343014967 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663588315944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1790.3
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 6731
/proc/meminfo: memFree=27090928/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 19784 0 1 0 179847 154 0 0 20 0 19 0 343014872 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 678783 266989 2269 9 0 669476 0
[pid=6639/tid=6640] ppid=6637 vsize=2715132 CPUtime=1784.96 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 3052 0 1 0 178459 37 0 0 20 0 19 0 343014872 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663951015328 139663823402741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=2715132 CPUtime=1.05 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (java) S 6637 6639 2643 0 -1 4202560 245 0 0 0 93 12 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663818041512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (java) S 6637 6639 2643 0 -1 4202560 241 0 0 0 95 12 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663816988968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6644] ppid=6637 vsize=2715132 CPUtime=0.97 cores=1,3,5,7
/proc/6639/task/6644/stat : 6644 (java) S 6637 6639 2643 0 -1 4202560 237 0 0 0 86 11 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663815936424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6645] ppid=6637 vsize=2715132 CPUtime=0.94 cores=1,3,5,7
/proc/6639/task/6645/stat : 6645 (java) S 6637 6639 2643 0 -1 4202560 239 0 0 0 82 12 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663814883880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6646] ppid=6637 vsize=2715132 CPUtime=1.01 cores=1,3,5,7
/proc/6639/task/6646/stat : 6646 (java) S 6637 6639 2643 0 -1 4202560 219 0 0 0 88 13 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663612308136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6647] ppid=6637 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/6639/task/6647/stat : 6647 (java) S 6637 6639 2643 0 -1 4202560 281 0 0 0 88 11 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663611255592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6648] ppid=6637 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/6639/task/6648/stat : 6648 (java) S 6637 6639 2643 0 -1 4202560 202 0 0 0 91 9 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663610203048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6649] ppid=6637 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/6639/task/6649/stat : 6649 (java) S 6637 6639 2643 0 -1 4202560 245 0 0 0 88 11 0 0 20 0 19 0 343014873 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663609150504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6650] ppid=6637 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/6639/task/6650/stat : 6650 (java) S 6637 6639 2643 0 -1 4202560 104 0 0 0 3 2 0 0 20 0 19 0 343014874 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663596738664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6651] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6651/stat : 6651 (java) S 6637 6639 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663595684984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6652] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6652/stat : 6652 (java) S 6637 6639 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343014875 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663594632328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6653] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6653/stat : 6653 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663593581072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6654] ppid=6637 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) S 6637 6639 2643 0 -1 4202560 6275 0 0 0 74 2 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663592528440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 62 2 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6656] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6656/stat : 6656 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663590423544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6657] ppid=6637 vsize=2715132 CPUtime=1.06 cores=1,3,5,7
/proc/6639/task/6657/stat : 6657 (java) S 6637 6639 2643 0 -1 4202560 103 0 0 0 57 49 0 0 20 0 19 0 343014877 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663589371208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6658] ppid=6637 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6658/stat : 6658 (java) S 6637 6639 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343014967 2780295168 266989 33554432000 1073741824 1073778376 140734713217296 139663588315944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 6731
/proc/meminfo: memFree=27090928/32873844 swapFree=7120/7120
[pid=6639] ppid=6637 vsize=2848260 CPUtime=1800.4 cores=1,3,5,7
/proc/6639/stat : 6639 (java) S 6637 6639 2643 0 -1 4202496 19820 0 1 0 179886 154 0 0 20 0 21 0 343014872 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 140734713208432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6639/statm: 712065 267024 2269 9 0 702758 0
[pid=6639/tid=6640] ppid=6637 vsize=2848260 CPUtime=1785.15 cores=1,3,5,7
/proc/6639/task/6640/stat : 6640 (java) R 6637 6639 2643 0 -1 4202560 3052 0 1 0 178478 37 0 0 20 0 21 0 343014872 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663951015328 139663823402769 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=2848260 CPUtime=1.05 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (java) S 6637 6639 2643 0 -1 4202560 245 0 0 0 93 12 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663818041512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=2848260 CPUtime=1.07 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (java) S 6637 6639 2643 0 -1 4202560 241 0 0 0 95 12 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663816988968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6644] ppid=6637 vsize=2848260 CPUtime=0.97 cores=1,3,5,7
/proc/6639/task/6644/stat : 6644 (java) S 6637 6639 2643 0 -1 4202560 237 0 0 0 86 11 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663815936424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6645] ppid=6637 vsize=2848260 CPUtime=0.94 cores=1,3,5,7
/proc/6639/task/6645/stat : 6645 (java) S 6637 6639 2643 0 -1 4202560 239 0 0 0 82 12 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663814883880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6646] ppid=6637 vsize=2848260 CPUtime=1.01 cores=1,3,5,7
/proc/6639/task/6646/stat : 6646 (java) S 6637 6639 2643 0 -1 4202560 219 0 0 0 88 13 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663612308136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6639/tid=6647] ppid=6637 vsize=2848260 CPUtime=0.99 cores=1,3,5,7
/proc/6639/task/6647/stat : 6647 (java) S 6637 6639 2643 0 -1 4202560 281 0 0 0 88 11 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663611255592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6648] ppid=6637 vsize=2848260 CPUtime=1 cores=1,3,5,7
/proc/6639/task/6648/stat : 6648 (java) S 6637 6639 2643 0 -1 4202560 202 0 0 0 91 9 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663610203048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6649] ppid=6637 vsize=2848260 CPUtime=0.99 cores=1,3,5,7
/proc/6639/task/6649/stat : 6649 (java) S 6637 6639 2643 0 -1 4202560 245 0 0 0 88 11 0 0 20 0 21 0 343014873 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663609150504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6650] ppid=6637 vsize=2848260 CPUtime=0.05 cores=1,3,5,7
/proc/6639/task/6650/stat : 6650 (java) S 6637 6639 2643 0 -1 4202560 104 0 0 0 3 2 0 0 20 0 21 0 343014874 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663596738664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6651] ppid=6637 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6651/stat : 6651 (java) S 6637 6639 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 343014875 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663595684984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6652] ppid=6637 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6652/stat : 6652 (java) S 6637 6639 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 343014875 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663594632328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6653] ppid=6637 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6653/stat : 6653 (java) S 6637 6639 2643 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 343014877 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663593581072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6654] ppid=6637 vsize=2848260 CPUtime=0.77 cores=1,3,5,7
/proc/6639/task/6654/stat : 6654 (java) S 6637 6639 2643 0 -1 4202560 6276 0 0 0 75 2 0 0 20 0 21 0 343014877 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663592528440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6639/tid=6655] ppid=6637 vsize=2848260 CPUtime=0.64 cores=1,3,5,7
/proc/6639/task/6655/stat : 6655 (java) S 6637 6639 2643 0 -1 4202560 7154 0 0 0 62 2 0 0 20 0 21 0 343014877 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663591475896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6656] ppid=6637 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6656/stat : 6656 (java) S 6637 6639 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 343014877 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663590423544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6639/tid=6657] ppid=6637 vsize=2848260 CPUtime=1.06 cores=1,3,5,7
/proc/6639/task/6657/stat : 6657 (java) S 6637 6639 2643 0 -1 4202560 103 0 0 0 57 49 0 0 20 0 21 0 343014877 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663589371208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6639/tid=6658] ppid=6637 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/6639/task/6658/stat : 6658 (java) S 6637 6639 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 343014967 2916618240 267024 33554432000 1073741824 1073778376 140734713217296 139663588315944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6639 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=210238
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=979699
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.23
CPU time (s): 1800.4
CPU user time (s): 1798.86
CPU system time (s): 1.54
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 1.9797
maximum resident set size= 1068100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40140
involuntary context switches= 21166
runsolver used 8.23175 second user time and 14.2928 second system time
The end