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-3453561-1307196181/watcher-3453561-1307196181 -o /tmp/evaluation-result-3453561-1307196181/solver-3453561-1307196181 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453561-1307196181.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: 1.37 1.12 1.45 2/475 30886
/proc/meminfo: memFree=23947364/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 7086 0 1 0 0 0 0 0 25 0 2 0 812034034 10694979584 6787 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2611079 6801 917 9 0 2602235 0
[pid=30886/tid=30887] ppid=30884 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) R 30884 30886 30629 0 -1 4202560 6031 0 1 0 0 0 0 0 25 0 2 0 812034035 10694979584 6847 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.036812 s]
/proc/loadavg: 1.37 1.12 1.45 2/475 30886
/proc/meminfo: memFree=23947364/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 11128 0 1 0 1 1 0 0 25 0 13 0 812034034 10718699520 10824 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2616870 10824 1653 9 0 2607618 0
[pid=30886/tid=30887] ppid=30884 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) R 30884 30886 30629 0 -1 4202560 9980 0 1 0 1 1 0 0 25 0 13 0 812034035 10718699520 10826 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 47138802750211 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100852 s]
/proc/loadavg: 1.37 1.12 1.45 2/475 30886
/proc/meminfo: memFree=23947364/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10540292 CPUtime=0.11 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 13133 0 1 0 9 2 0 0 25 0 18 0 812034034 10793259008 12804 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2635073 12805 2092 9 0 2625807 0
[pid=30886/tid=30887] ppid=30884 vsize=10540292 CPUtime=0.08 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) R 30884 30886 30629 0 -1 4202560 11211 0 1 0 7 1 0 0 18 0 18 0 812034035 10793259008 12806 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 47138802745349 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540292
[startup+0.300778 s]
/proc/loadavg: 1.37 1.12 1.45 2/475 30886
/proc/meminfo: memFree=23947364/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10541792 CPUtime=0.48 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 15969 0 1 0 46 2 0 0 25 0 18 0 812034034 10794795008 15339 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2635448 15340 2198 9 0 2626182 0
[pid=30886/tid=30887] ppid=30884 vsize=10541792 CPUtime=0.29 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) R 30884 30886 30629 0 -1 4202560 13094 0 1 0 27 2 0 0 18 0 18 0 812034035 10794795008 15340 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541792
[startup+0.700729 s]
/proc/loadavg: 1.37 1.12 1.45 2/475 30886
/proc/meminfo: memFree=23947364/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10549832 CPUtime=1.3 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 38633 0 1 0 125 5 0 0 25 0 19 0 812034034 10803027968 36177 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2637458 36177 2233 9 0 2628192 0
[pid=30886/tid=30887] ppid=30884 vsize=10549832 CPUtime=0.54 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) S 30884 30886 30629 0 -1 4202560 32007 0 1 0 50 4 0 0 19 0 19 0 812034035 10803027968 36177 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10549832
[startup+1.50157 s]
/proc/loadavg: 1.37 1.12 1.45 3/494 30908
/proc/meminfo: memFree=23518064/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10549832 CPUtime=1.47 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 39133 0 1 0 142 5 0 0 25 0 19 0 812034034 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2637458 36484 2233 9 0 2628192 0
[pid=30886/tid=30887] ppid=30884 vsize=10549832 CPUtime=0.55 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) S 30884 30886 30629 0 -1 4202560 32061 0 1 0 51 4 0 0 16 0 19 0 812034035 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 6 0 0 0
[pid=30886/tid=30889] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30889/stat : 30889 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30890] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30890/stat : 30890 (java) S 30884 30886 30629 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30891] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30891/stat : 30891 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30892] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30892/stat : 30892 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30893] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30893/stat : 30893 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30894] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30894/stat : 30894 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30895] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30895/stat : 30895 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30896] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30896/stat : 30896 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30897] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30897/stat : 30897 (java) S 30884 30886 30629 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 812034037 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 0 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30898] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30898/stat : 30898 (java) S 30884 30886 30629 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 812034038 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30899] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30899/stat : 30899 (java) S 30884 30886 30629 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 812034038 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30900] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30900/stat : 30900 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034040 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828060081 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30901] ppid=30884 vsize=10549832 CPUtime=0.37 cores=0,2,4,6
/proc/30886/task/30901/stat : 30901 (java) S 30884 30886 30629 0 -1 4202560 3046 0 0 0 37 0 0 0 21 0 19 0 812034040 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30902] ppid=30884 vsize=10549832 CPUtime=0.36 cores=0,2,4,6
/proc/30886/task/30902/stat : 30902 (java) S 30884 30886 30629 0 -1 4202560 2221 0 0 0 36 0 0 0 15 0 19 0 812034040 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30903] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30903/stat : 30903 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034040 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30904] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30904/stat : 30904 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 812034040 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30908] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30908/stat : 30908 (java) S 30884 30886 30629 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 812034091 10803027968 36484 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10549832
[startup+3.10128 s]
/proc/loadavg: 1.37 1.12 1.45 5/494 30917
/proc/meminfo: memFree=23129796/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10549832 CPUtime=1.84 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 40214 0 1 0 179 5 0 0 25 0 19 0 812034034 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2637458 37507 2239 9 0 2628192 0
[pid=30886/tid=30887] ppid=30884 vsize=10549832 CPUtime=0.56 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) S 30884 30886 30629 0 -1 4202560 32114 0 1 0 52 4 0 0 15 0 19 0 812034035 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 6 0 0 0
[pid=30886/tid=30889] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30889/stat : 30889 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30890] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30890/stat : 30890 (java) S 30884 30886 30629 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30891] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30891/stat : 30891 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30892] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30892/stat : 30892 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30893] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30893/stat : 30893 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30894] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30894/stat : 30894 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30895] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30895/stat : 30895 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30896] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30896/stat : 30896 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034036 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30897] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30897/stat : 30897 (java) S 30884 30886 30629 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 812034037 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 0 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30898] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30898/stat : 30898 (java) S 30884 30886 30629 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 812034038 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30899] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30899/stat : 30899 (java) S 30884 30886 30629 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 812034038 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30900] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30900/stat : 30900 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034040 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828060081 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30901] ppid=30884 vsize=10549832 CPUtime=0.48 cores=0,2,4,6
/proc/30886/task/30901/stat : 30901 (java) S 30884 30886 30629 0 -1 4202560 3057 0 0 0 48 0 0 0 16 0 19 0 812034040 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30902] ppid=30884 vsize=10549832 CPUtime=0.48 cores=0,2,4,6
/proc/30886/task/30902/stat : 30902 (java) R 30884 30886 30629 0 -1 4202560 2243 0 0 0 48 0 0 0 15 0 19 0 812034040 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 47138802036768 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30886/tid=30903] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30903/stat : 30903 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812034040 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30904] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30904/stat : 30904 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 812034040 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30914] ppid=30884 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30914/stat : 30914 (java) S 30884 30886 30629 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 812034192 10803027968 37507 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10549832
heavy processes:
[startup+6.30164 s]
/proc/loadavg: 1.34 1.12 1.45 4/496 30932
/proc/meminfo: memFree=21812120/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=10558864 CPUtime=6.34 cores=0,2,4,6
/proc/30886/stat : 30886 (java) S 30884 30886 30629 0 -1 4202496 107904 0 1 0 622 12 0 0 25 0 22 0 812034034 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 2639716 102060 2269 9 0 2630450 0
[pid=30886/tid=30887] ppid=30884 vsize=10558864 CPUtime=0.56 cores=0,2,4,6
/proc/30886/task/30887/stat : 30887 (java) S 30884 30886 30629 0 -1 4202560 32154 0 1 0 52 4 0 0 15 0 22 0 812034035 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30889] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30889/stat : 30889 (java) S 30884 30886 30629 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30890] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30890/stat : 30890 (java) S 30884 30886 30629 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30891] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30891/stat : 30891 (java) S 30884 30886 30629 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30892] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30892/stat : 30892 (java) S 30884 30886 30629 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30893] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30893/stat : 30893 (java) S 30884 30886 30629 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30894] ppid=30884 vsize=10558864 CPUtime=0.01 cores=0,2,4,6
/proc/30886/task/30894/stat : 30894 (java) S 30884 30886 30629 0 -1 4202560 770 0 0 0 1 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30895] ppid=30884 vsize=10558864 CPUtime=0.01 cores=0,2,4,6
/proc/30886/task/30895/stat : 30895 (java) S 30884 30886 30629 0 -1 4202560 663 0 0 0 1 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30896] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30896/stat : 30896 (java) S 30884 30886 30629 0 -1 4202560 676 0 0 0 0 0 0 0 15 0 22 0 812034036 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30897] ppid=30884 vsize=10558864 CPUtime=0.17 cores=0,2,4,6
/proc/30886/task/30897/stat : 30897 (java) S 30884 30886 30629 0 -1 4202560 3384 0 0 0 17 0 0 0 15 0 22 0 812034037 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 0 0 16800975 18446604448890987648 0 0 -1 6 0 0 0
[pid=30886/tid=30898] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30898/stat : 30898 (java) S 30884 30886 30629 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812034038 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30899] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30899/stat : 30899 (java) S 30884 30886 30629 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812034038 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30900] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30900/stat : 30900 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812034040 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828060081 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30901] ppid=30884 vsize=10558864 CPUtime=1.02 cores=0,2,4,6
/proc/30886/task/30901/stat : 30901 (java) S 30884 30886 30629 0 -1 4202560 7669 0 0 0 101 1 0 0 15 0 22 0 812034040 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 2 0 0 0
[pid=30886/tid=30902] ppid=30884 vsize=10558864 CPUtime=0.91 cores=0,2,4,6
/proc/30886/task/30902/stat : 30902 (java) S 30884 30886 30629 0 -1 4202560 4441 0 0 0 91 0 0 0 15 0 22 0 812034040 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30903] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30903/stat : 30903 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812034040 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052377 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30904] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30904/stat : 30904 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812034040 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 4 0 0 0
[pid=30886/tid=30914] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30914/stat : 30914 (java) S 30884 30886 30629 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 812034192 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
[pid=30886/tid=30930] ppid=30884 vsize=10558864 CPUtime=1.48 cores=0,2,4,6
/proc/30886/task/30930/stat : 30930 (java) R 30884 30886 30629 0 -1 4202560 194 0 0 0 148 0 0 0 16 0 22 0 812034495 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 46912505812976 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30886/tid=30931] ppid=30884 vsize=10558864 CPUtime=1.46 cores=0,2,4,6
/proc/30886/task/30931/stat : 30931 (java) R 30884 30886 30629 0 -1 4202560 48605 0 0 0 142 4 0 0 17 0 22 0 812034495 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 46912505897548 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30886/tid=30932] ppid=30884 vsize=10558864 CPUtime=0 cores=0,2,4,6
/proc/30886/task/30932/stat : 30932 (java) S 30884 30886 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812034496 10812276736 102060 33554432000 1073741824 1073778376 140734567141136 18446744073709551615 220828052992 0 4 0 16800975 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 10558864
Solver just ended. Dumping a history of the last processes samples
[startup+6.70158 s]
/proc/loadavg: 1.34 1.12 1.45 5/498 30937
/proc/meminfo: memFree=21698272/32951124 swapFree=60476376/67111528
[pid=30886] ppid=30884 vsize=0 CPUtime=7.01 cores=0,2,4,6
/proc/30886/stat : 30886 (java) R 30884 30886 30629 0 -1 4203524 107921 0 1 0 687 14 0 0 18 0 1 0 812034034 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30886/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.70396
CPU time (s): 7.01793
CPU user time (s): 6.87196
CPU system time (s): 0.145977
CPU usage (%): 104.683
Max. virtual memory (cumulated for all children) (KiB): 10558864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.87195
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107921
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= 700
involuntary context switches= 172
runsolver used 0.045993 second user time and 0.089986 second system time
The end