runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455250-1307191842/watcher-3455250-1307191842 -o /tmp/evaluation-result-3455250-1307191842/solver-3455250-1307191842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455250-1307191842.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11807
/proc/meminfo: memFree=23966456/32951124 swapFree=34426104/67111528
[pid=11807] ppid=11805 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/11807/stat : 11807 (java) S 11805 11807 7463 0 -1 4202496 1719 0 1 0 0 0 0 0 25 0 2 0 909414886 10681323520 1421 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11807/statm: 2607745 1436 906 9 0 2598901 0
[pid=11807/tid=11808] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11808/stat : 11808 (java) R 11805 11807 7463 0 -1 4202560 8770 0 1 0 0 0 0 0 25 0 10 0 909414886 10703900672 9595 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 46964396671226 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11809] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11809/stat : 11809 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9611 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11810] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11810/stat : 11810 (java) R 11805 11807 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9625 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11811] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11811/stat : 11811 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9633 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11812] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11812/stat : 11812 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9639 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11813] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11813/stat : 11813 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9639 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11814] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11814/stat : 11814 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9640 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11815] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11815/stat : 11815 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9644 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11807/tid=11816] ppid=11805 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11816/stat : 11816 (java) R 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909414888 10703900672 9647 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0617601 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11807
/proc/meminfo: memFree=23966456/32951124 swapFree=34426104/67111528
[pid=11807] ppid=11805 vsize=10473672 CPUtime=0.05 cores=0,2,4,6
/proc/11807/stat : 11807 (java) S 11805 11807 7463 0 -1 4202496 11704 0 1 0 4 1 0 0 25 0 18 0 909414886 10725040128 11401 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11807/statm: 2618418 11401 1733 9 0 2609159 0
[pid=11807/tid=11808] ppid=11805 vsize=10473672 CPUtime=0.05 cores=0,2,4,6
/proc/11807/task/11808/stat : 11808 (java) R 11805 11807 7463 0 -1 4202560 10530 0 1 0 4 1 0 0 25 0 18 0 909414886 10725040128 11401 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 46964394559507 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11807/tid=11809] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11809/stat : 11809 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11401 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11810] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11810/stat : 11810 (java) S 11805 11807 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11401 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11811] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11811/stat : 11811 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11402 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11812] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11812/stat : 11812 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11402 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11813] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11813/stat : 11813 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11402 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11814] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11814/stat : 11814 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11402 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11815] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11815/stat : 11815 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11403 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11816] ppid=11805 vsize=10473672 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11816/stat : 11816 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10725040128 11403 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473672
[startup+0.100751 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11807
/proc/meminfo: memFree=23966456/32951124 swapFree=34426104/67111528
[pid=11807] ppid=11805 vsize=10540260 CPUtime=0.1 cores=0,2,4,6
/proc/11807/stat : 11807 (java) S 11805 11807 7463 0 -1 4202496 13131 0 1 0 9 1 0 0 25 0 18 0 909414886 10793226240 12804 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11807/statm: 2635065 12804 2093 9 0 2625799 0
[pid=11807/tid=11808] ppid=11805 vsize=10540260 CPUtime=0.08 cores=0,2,4,6
/proc/11807/task/11808/stat : 11808 (java) R 11805 11807 7463 0 -1 4202560 11221 0 1 0 7 1 0 0 18 0 18 0 909414886 10793226240 12804 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 46964392157189 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11807/tid=11809] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11809/stat : 11809 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12805 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11810] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11810/stat : 11810 (java) S 11805 11807 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12805 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11811] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11811/stat : 11811 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12805 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11812] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11812/stat : 11812 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12806 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11813] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11813/stat : 11813 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12806 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11814] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11814/stat : 11814 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12808 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11815] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11815/stat : 11815 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12808 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11816] ppid=11805 vsize=10540260 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11816/stat : 11816 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909414888 10793226240 12808 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.300753 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11807
/proc/meminfo: memFree=23966456/32951124 swapFree=34426104/67111528
[pid=11807] ppid=11805 vsize=10545396 CPUtime=0.19 cores=0,2,4,6
/proc/11807/stat : 11807 (java) S 11805 11807 7463 0 -1 4202496 13792 0 1 0 17 2 0 0 25 0 19 0 909414886 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11807/statm: 2636349 13465 2157 9 0 2627083 0
[pid=11807/tid=11808] ppid=11805 vsize=10545396 CPUtime=0.11 cores=0,2,4,6
/proc/11807/task/11808/stat : 11808 (java) S 11805 11807 7463 0 -1 4202560 11522 0 1 0 10 1 0 0 19 0 19 0 909414886 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296742400 0 4 0 16800975 18446604452709447808 0 0 -1 4 0 0 0
[pid=11807/tid=11809] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11809/stat : 11809 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11810] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11810/stat : 11810 (java) S 11805 11807 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11811] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11811/stat : 11811 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11812] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11812/stat : 11812 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11813] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11813/stat : 11813 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11814] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11814/stat : 11814 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11815] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11815/stat : 11815 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11816] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11816/stat : 11816 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10545396
Solver just ended. Dumping a history of the last processes samples
[startup+0.500701 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11807
/proc/meminfo: memFree=23966456/32951124 swapFree=34426104/67111528
[pid=11807] ppid=11805 vsize=10545396 CPUtime=0.19 cores=0,2,4,6
/proc/11807/stat : 11807 (java) S 11805 11807 7463 0 -1 4202496 13792 0 1 0 17 2 0 0 25 0 19 0 909414886 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11807/statm: 2636349 13465 2157 9 0 2627083 0
[pid=11807/tid=11808] ppid=11805 vsize=10545396 CPUtime=0.11 cores=0,2,4,6
/proc/11807/task/11808/stat : 11808 (java) S 11805 11807 7463 0 -1 4202560 11522 0 1 0 10 1 0 0 19 0 19 0 909414886 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296742400 0 4 0 16800975 18446604452709447808 0 0 -1 4 0 0 0
[pid=11807/tid=11809] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11809/stat : 11809 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11810] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11810/stat : 11810 (java) S 11805 11807 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11811] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11811/stat : 11811 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11812] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11812/stat : 11812 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11813] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11813/stat : 11813 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11814] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11814/stat : 11814 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11815] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11815/stat : 11815 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11816] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11816/stat : 11816 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10545396
[startup+0.600685 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11807
/proc/meminfo: memFree=23966456/32951124 swapFree=34426104/67111528
[pid=11807] ppid=11805 vsize=10545396 CPUtime=0.19 cores=0,2,4,6
/proc/11807/stat : 11807 (java) S 11805 11807 7463 0 -1 4202496 13792 0 1 0 17 2 0 0 25 0 19 0 909414886 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11807/statm: 2636349 13465 2157 9 0 2627083 0
[pid=11807/tid=11808] ppid=11805 vsize=10545396 CPUtime=0.11 cores=0,2,4,6
/proc/11807/task/11808/stat : 11808 (java) S 11805 11807 7463 0 -1 4202560 11522 0 1 0 10 1 0 0 19 0 19 0 909414886 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296742400 0 4 0 16800975 18446604452709447808 0 0 -1 4 0 0 0
[pid=11807/tid=11809] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11809/stat : 11809 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11810] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11810/stat : 11810 (java) S 11805 11807 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11811] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11811/stat : 11811 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11812] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11812/stat : 11812 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11813] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11813/stat : 11813 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11814] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11814/stat : 11814 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11815] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11815/stat : 11815 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11807/tid=11816] ppid=11805 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/11807/task/11816/stat : 11816 (java) S 11805 11807 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909414888 10798485504 13465 33554432000 1073741824 1073778376 140736543744880 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10545396
Child status: 20
Real time (s): 0.641859
CPU time (s): 0.204968
CPU user time (s): 0.178972
CPU system time (s): 0.025996
CPU usage (%): 31.9335
Max. virtual memory (cumulated for all children) (KiB): 10545396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.178972
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13802
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 23
runsolver used 0.008998 second user time and 0.013997 second system time
The end