Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-3.opb |
MD5SUM | 473e2cd0e31e48ba0932d7bd34857dd0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6352 |
Total number of constraints | 13473 |
Number of constraints which are clauses | 13473 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.11 c ...done 0.09/0.11 c #vars=6352 #constraints=13474 hasObjective=yes 0.09/0.18 c res. mode=mod 0.09/0.18 c VSIDS like heuristics 0.09/0.18 c complete search running 5.09/5.17 c restart after 401 decisions 5.99/6.07 c nbDecision=500 #constraints=13922 10.29/10.38 c restart after 801 decisions 12.89/12.93 c nbDecision=1000 #constraints=14400 21.39/21.44 c nbDecision=1500 #constraints=14900 22.99/23.05 c restart after 1601 decisions 30.18/30.26 c nbDecision=2000 #constraints=15374 40.88/40.97 c nbDecision=2500 #constraints=15872 53.08/53.11 c nbDecision=3000 #constraints=16372 58.37/58.40 c restart after 3201 decisions 66.27/66.33 c nbDecision=3500 #constraints=16846 81.98/82.08 c nbDecision=4000 #constraints=17346 99.77/99.84 c nbDecision=4500 #constraints=17845 119.86/119.93 c nbDecision=5000 #constraints=18346 141.96/142.07 c nbDecision=5500 #constraints=18844 166.25/166.38 c nbDecision=6000 #constraints=19348 187.04/187.18 c restart after 6401 decisions 191.25/191.33 c nbDecision=6500 #constraints=19821 219.54/219.68 c nbDecision=7000 #constraints=20321 250.03/250.17 c nbDecision=7500 #constraints=20823 282.73/282.82 c nbDecision=8000 #constraints=21322 316.61/316.78 c nbDecision=8500 #constraints=21819 352.91/353.08 c nbDecision=9000 #constraints=22323 391.19/391.35 c nbDecision=9500 #constraints=22823 431.69/431.82 c nbDecision=10000 #constraints=23320 474.28/474.44 c nbDecision=10500 #constraints=23824 518.17/518.32 c nbDecision=11000 #constraints=24324 564.06/564.20 c nbDecision=11500 #constraints=24821 612.24/612.47 c nbDecision=12000 #constraints=25323 663.73/663.98 c nbDecision=12500 #constraints=25823 695.92/696.10 c restart after 12801 decisions 714.92/715.13 c nbDecision=13000 #constraints=26298 770.50/770.75 c nbDecision=13500 #constraints=26796 828.29/828.52 c nbDecision=14000 #constraints=27299 887.08/887.31 c nbDecision=14500 #constraints=27798 947.36/947.65 c nbDecision=15000 #constraints=28298 1009.55/1009.89 c nbDecision=15500 #constraints=28796 1073.83/1074.14 c nbDecision=16000 #constraints=29291 1145.01/1145.38 c nbDecision=16500 #constraints=29796 1220.10/1220.41 c nbDecision=17000 #constraints=30298 1295.18/1295.57 c nbDecision=17500 #constraints=30796 1373.06/1373.46 c nbDecision=18000 #constraints=31297 1451.84/1452.20 c nbDecision=18500 #constraints=31795 1534.83/1535.25 c nbDecision=19000 #constraints=32299 1617.61/1618.08 c nbDecision=19500 #constraints=32795 1704.08/1704.52 c nbDecision=20000 #constraints=33296 1791.66/1792.17 c nbDecision=20500 #constraints=33797 1800.06/1800.50 Received signal 15 1800.17/1800.61 1800.17/1800.61 s UNKNOWN 1800.17/1800.61 1800.17/1800.61 c user time= 1799.94 s 1800.17/1800.61 c system time= 0.248962 s 1800.17/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-357138-1176988084 -o ROOT/results/node41/solver-357138-1176988084 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357138-1176988084/instance-357138-1176988084.opb mod 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.66 0.94 0.95 3/77 19686 /proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=1620 CPUtime=0 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 146720274 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 405 176 126 317 0 84 0 [startup+0.067801 s] /proc/loadavg: 0.66 0.94 0.95 3/77 19686 /proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=2940 CPUtime=0.06 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 536 0 0 0 6 0 0 0 18 0 1 0 146720274 3010560 518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 735 518 130 317 0 414 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2940 [startup+0.101799 s] /proc/loadavg: 0.66 0.94 0.95 3/77 19686 /proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=3732 CPUtime=0.09 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 729 0 0 0 9 0 0 0 18 0 1 0 146720274 3821568 711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 933 711 130 317 0 612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.301814 s] /proc/loadavg: 0.66 0.94 0.95 3/77 19686 /proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=6580 CPUtime=0.29 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1451 0 0 0 29 0 0 0 19 0 1 0 146720274 6737920 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 1645 1340 138 317 0 1324 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6580 [startup+0.701848 s] /proc/loadavg: 0.66 0.94 0.95 3/77 19686 /proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=6580 CPUtime=0.69 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1451 0 0 0 69 0 0 0 23 0 1 0 146720274 6737920 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 1645 1340 138 317 0 1324 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6580 [startup+1.50192 s] /proc/loadavg: 0.66 0.94 0.95 2/78 19687 /proc/meminfo: memFree=1685704/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=6580 CPUtime=1.49 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1451 0 0 0 149 0 0 0 25 0 1 0 146720274 6737920 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563573 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 1645 1340 138 317 0 1324 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6580 [startup+3.10106 s] /proc/loadavg: 0.66 0.94 0.95 2/78 19687 /proc/meminfo: memFree=1685576/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=6580 CPUtime=3.09 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1470 0 0 0 309 0 0 0 25 0 1 0 146720274 6737920 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 1645 1359 138 317 0 1324 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6580 [startup+6.30133 s] /proc/loadavg: 0.69 0.94 0.95 2/78 19687 /proc/meminfo: memFree=1685192/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=7104 CPUtime=6.29 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1596 0 0 0 628 1 0 0 25 0 1 0 146720274 7274496 1485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 1776 1485 138 317 0 1455 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7104 [startup+12.7019 s] /proc/loadavg: 0.72 0.94 0.95 2/78 19687 /proc/meminfo: memFree=1684168/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=8152 CPUtime=12.69 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1840 0 0 0 1268 1 0 0 25 0 1 0 146720274 8347648 1729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 2038 1729 138 317 0 1717 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8152 [startup+25.503 s] /proc/loadavg: 0.78 0.94 0.95 2/78 19687 /proc/meminfo: memFree=1682504/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=9600 CPUtime=25.49 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 2235 0 0 0 2548 1 0 0 25 0 1 0 146720274 9830400 2124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 2400 2124 138 317 0 2079 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9600 [startup+51.1022 s] /proc/loadavg: 0.85 0.95 0.95 2/78 19687 /proc/meminfo: memFree=1680008/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=12132 CPUtime=51.08 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 2859 0 0 0 5106 2 0 0 25 0 1 0 146720274 12423168 2748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 3033 2748 138 317 0 2712 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12132 [startup+102.307 s] /proc/loadavg: 0.93 0.95 0.95 2/78 19687 /proc/meminfo: memFree=1676424/2055920 swapFree=4133608/4192956 [pid=19686] ppid=19684 vsize=15868 CPUtime=102.27 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 3739 0 0 0 10224 3 0 0 25 0 1 0 146720274 16248832 3628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 3967 3628 138 317 0 3646 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15868 [startup+162.303 s] /proc/loadavg: 0.97 0.96 0.95 2/78 19687 /proc/meminfo: memFree=1673736/2055920 swapFree=4133672/4192956 [pid=19686] ppid=19684 vsize=18696 CPUtime=162.25 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 4432 0 0 0 16221 4 0 0 25 0 1 0 146720274 19144704 4321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 4674 4321 138 317 0 4353 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18696 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.95 2/78 19687 /proc/meminfo: memFree=1671496/2055920 swapFree=4133672/4192956 [pid=19686] ppid=19684 vsize=20828 CPUtime=222.24 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 4982 0 0 0 22219 5 0 0 25 0 1 0 146720274 21327872 4871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 5207 4871 138 317 0 4886 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 20828 [startup+282.302 s] /proc/loadavg: 1.07 0.99 0.95 2/78 19687 /proc/meminfo: memFree=1669512/2055920 swapFree=4133672/4192956 [pid=19686] ppid=19684 vsize=23024 CPUtime=282.23 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 5481 0 0 0 28217 6 0 0 25 0 1 0 146720274 23576576 5370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 5756 5370 138 317 0 5435 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 23024 [startup+342.301 s] /proc/loadavg: 1.10 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1667472/2055920 swapFree=4133736/4192956 [pid=19686] ppid=19684 vsize=25252 CPUtime=342.21 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 5984 0 0 0 34214 7 0 0 25 0 1 0 146720274 25858048 5873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 6313 5873 138 317 0 5992 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 25252 [startup+402.302 s] /proc/loadavg: 1.10 1.02 0.96 2/78 19687 /proc/meminfo: memFree=1665872/2055920 swapFree=4133736/4192956 [pid=19686] ppid=19684 vsize=26856 CPUtime=402.19 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 6393 0 0 0 40212 7 0 0 25 0 1 0 146720274 27500544 6282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 6714 6282 138 317 0 6393 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 26856 [startup+462.302 s] /proc/loadavg: 1.04 1.01 0.96 2/78 19687 /proc/meminfo: memFree=1664400/2055920 swapFree=4133800/4192956 [pid=19686] ppid=19684 vsize=28352 CPUtime=462.18 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 6754 0 0 0 46210 8 0 0 25 0 1 0 146720274 29032448 6643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 7088 6643 138 317 0 6767 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 28352 [startup+522.301 s] /proc/loadavg: 1.01 1.00 0.96 3/78 19687 /proc/meminfo: memFree=1663056/2055920 swapFree=4133800/4192956 [pid=19686] ppid=19684 vsize=29764 CPUtime=522.16 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 7088 0 0 0 52207 9 0 0 25 0 1 0 146720274 30478336 6977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 7441 6977 138 317 0 7120 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 29764 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1661712/2055920 swapFree=4133864/4192956 [pid=19686] ppid=19684 vsize=31064 CPUtime=582.15 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 7427 0 0 0 58205 10 0 0 25 0 1 0 146720274 31809536 7316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 7766 7316 138 317 0 7445 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 31064 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1660560/2055920 swapFree=4133864/4192956 [pid=19686] ppid=19684 vsize=32292 CPUtime=642.14 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 7719 0 0 0 64203 11 0 0 25 0 1 0 146720274 33067008 7608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 8073 7608 138 317 0 7752 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 32292 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1656080/2055920 swapFree=4133992/4192956 [pid=19686] ppid=19684 vsize=37056 CPUtime=882.08 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9019 0 0 0 88194 14 0 0 25 0 1 0 146720274 37945344 8724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 9264 8724 138 317 0 8943 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 37056 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1655120/2055920 swapFree=4133992/4192956 [pid=19686] ppid=19684 vsize=37980 CPUtime=942.07 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9255 0 0 0 94192 15 0 0 25 0 1 0 146720274 38891520 8960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 9495 8960 138 317 0 9174 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 37980 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1654160/2055920 swapFree=4133992/4192956 [pid=19686] ppid=19684 vsize=38900 CPUtime=1002.05 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9496 0 0 0 100189 16 0 0 25 0 1 0 146720274 39833600 9201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 9725 9201 138 317 0 9404 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 38900 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1652880/2055920 swapFree=4134056/4192956 [pid=19686] ppid=19684 vsize=40752 CPUtime=1062.03 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9813 0 0 0 106187 16 0 0 25 0 1 0 146720274 41730048 9518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 10188 9518 138 317 0 9867 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 40752 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1651728/2055920 swapFree=4134056/4192956 [pid=19686] ppid=19684 vsize=42212 CPUtime=1122.02 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10099 0 0 0 112185 17 0 0 25 0 1 0 146720274 43225088 9804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 10553 9804 138 317 0 10232 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 42212 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1650832/2055920 swapFree=4134120/4192956 [pid=19686] ppid=19684 vsize=43164 CPUtime=1182.01 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10321 0 0 0 118183 18 0 0 25 0 1 0 146720274 44199936 10026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 10791 10026 138 317 0 10470 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 43164 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1650000/2055920 swapFree=4134120/4192956 [pid=19686] ppid=19684 vsize=44004 CPUtime=1242 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10527 0 0 0 124181 19 0 0 25 0 1 0 146720274 45060096 10232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272554 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 11001 10232 138 317 0 10680 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 44004 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1649168/2055920 swapFree=4134120/4192956 [pid=19686] ppid=19684 vsize=45172 CPUtime=1301.98 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10743 0 0 0 130179 19 0 0 25 0 1 0 146720274 46256128 10448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 11293 10448 138 317 0 10972 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 45172 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1648272/2055920 swapFree=4134184/4192956 [pid=19686] ppid=19684 vsize=46196 CPUtime=1361.97 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10957 0 0 0 136177 20 0 0 25 0 1 0 146720274 47304704 10662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 11549 10662 138 317 0 11228 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 46196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1647568/2055920 swapFree=4134184/4192956 [pid=19686] ppid=19684 vsize=46852 CPUtime=1421.96 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11150 0 0 0 142175 21 0 0 25 0 1 0 146720274 47976448 10855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 11713 10855 138 317 0 11392 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 46852 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1646736/2055920 swapFree=4134248/4192956 [pid=19686] ppid=19684 vsize=47732 CPUtime=1481.93 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11363 0 0 0 148172 21 0 0 25 0 1 0 146720274 48877568 11068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 11933 11068 138 317 0 11612 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 47732 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1645968/2055920 swapFree=4134248/4192956 [pid=19686] ppid=19684 vsize=48524 CPUtime=1541.92 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11548 0 0 0 154170 22 0 0 25 0 1 0 146720274 49688576 11253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12131 11253 138 317 0 11810 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 48524 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1645200/2055920 swapFree=4134248/4192956 [pid=19686] ppid=19684 vsize=49352 CPUtime=1601.91 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11737 0 0 0 160168 23 0 0 25 0 1 0 146720274 50536448 11442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12338 11442 138 317 0 12017 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 49352 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1644432/2055920 swapFree=4134312/4192956 [pid=19686] ppid=19684 vsize=50264 CPUtime=1661.89 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11963 0 0 0 166166 23 0 0 25 0 1 0 146720274 51470336 11635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12566 11635 138 317 0 12245 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 50264 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1643664/2055920 swapFree=4134312/4192956 [pid=19686] ppid=19684 vsize=50940 CPUtime=1721.88 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12160 0 0 0 172164 24 0 0 25 0 1 0 146720274 52162560 11832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12735 11832 138 317 0 12414 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 50940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1642896/2055920 swapFree=4134376/4192956 [pid=19686] ppid=19684 vsize=51588 CPUtime=1781.86 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12350 0 0 0 178162 24 0 0 25 0 1 0 146720274 52826112 12022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12897 12022 138 317 0 12576 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 51588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/78 19687 /proc/meminfo: memFree=1642640/2055920 swapFree=4134376/4192956 [pid=19686] ppid=19684 vsize=51716 CPUtime=1800.06 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12402 0 0 0 179982 24 0 0 25 0 1 0 146720274 52957184 12074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12929 12074 138 317 0 12608 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 51716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.96 3/79 19688 /proc/meminfo: memFree=1642632/2055920 swapFree=4134376/4192956 [pid=19686] ppid=19684 vsize=51716 CPUtime=1800.17 /proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12402 0 0 0 179993 24 0 0 25 0 1 0 146720274 52957184 12074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19686/statm: 12929 12074 138 317 0 12608 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 51716 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.2 CPU user time (s): 1799.94 CPU system time (s): 0.25796 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 51716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.25796 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12418 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 1009 runsolver used 2.04369 second user time and 4.51331 second system time The end
Begin job on node41 on Thu Apr 19 13:08:04 UTC 2007 IDJOB= 357138 IDBENCH= 2109 IDSOLVER= 172 FILE ID= node41/357138-1176988084 PBS_JOBID= 4630436 Free space on /tmp= 66347 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb COMMAND LINE= oree /tmp/evaluation/357138-1176988084/instance-357138-1176988084.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-357138-1176988084 -o ROOT/results/node41/solver-357138-1176988084 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357138-1176988084/instance-357138-1176988084.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0 RANDOM SEED= 385308997 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1691176 kB Buffers: 37068 kB Cached: 244124 kB SwapCached: 2640 kB Active: 101212 kB Inactive: 203192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1691176 kB SwapTotal: 4192956 kB SwapFree: 4133608 kB Dirty: 1904 kB Writeback: 0 kB Mapped: 30976 kB Slab: 45668 kB Committed_AS: 2565096 kB PageTables: 2008 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66347 MiB End job on node41 on Thu Apr 19 13:38:07 UTC 2007