Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.44 | 1801.07 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | 05a418d42b6e85967009c0fa73623d83 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 372 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
Optimality of the best value was proved | NO |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
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 | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 808 |
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 | 808 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 808 |
Number of bits of the biggest sum of numbers | 10 |
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.00/0.05 c ...done 0.00/0.05 c #vars=808 #constraints=5558 hasObjective=yes 0.05/0.09 c res. mode=mod 0.05/0.09 c VSIDS like heuristics 0.05/0.09 c complete search running 0.10/0.15 c restart after 401 decisions 0.10/0.15 c nbDecision=500 #constraints=5601 0.10/0.18 c restart after 801 decisions 0.10/0.19 c nbDecision=1000 #constraints=5609 0.20/0.23 c nbDecision=1500 #constraints=5620 0.20/0.24 c restart after 1601 decisions 0.20/0.27 c nbDecision=2000 #constraints=5628 0.29/0.31 c nbDecision=2500 #constraints=5639 0.29/0.36 c nbDecision=3000 #constraints=5649 0.29/0.38 c restart after 3201 decisions 0.39/0.41 c nbDecision=3500 #constraints=5662 0.39/0.48 c nbDecision=4000 #constraints=5683 0.49/0.53 c nbDecision=4500 #constraints=5693 0.49/0.57 c nbDecision=5000 #constraints=5703 0.59/0.62 c nbDecision=5500 #constraints=5723 0.59/0.68 c nbDecision=6000 #constraints=5759 0.69/0.73 c restart after 6401 decisions 0.69/0.73 c nbDecision=6500 #constraints=5793 0.79/0.81 c nbDecision=7000 #constraints=5840 0.89/0.92 c nbDecision=7500 #constraints=5895 0.89/0.99 c nbDecision=8000 #constraints=5910 1.00/1.05 c nbDecision=8500 #constraints=5920 1.10/1.11 c nbDecision=9000 #constraints=5929 1.19/1.21 c nbDecision=9500 #constraints=5955 1.29/1.31 c nbDecision=10000 #constraints=5979 1.39/1.40 c nbDecision=10500 #constraints=6013 1.39/1.47 c nbDecision=11000 #constraints=6023 1.49/1.55 c nbDecision=11500 #constraints=6039 1.69/1.78 c nbDecision=12000 #constraints=6100 1.79/1.87 c nbDecision=12500 #constraints=6121 1.89/1.92 c restart after 12801 decisions 1.89/1.94 c nbDecision=13000 #constraints=6130 1.99/2.01 c nbDecision=13500 #constraints=6141 2.09/2.17 c nbDecision=14000 #constraints=6173 2.29/2.33 c nbDecision=14500 #constraints=6213 2.49/2.51 c nbDecision=15000 #constraints=6257 2.69/2.70 c nbDecision=15500 #constraints=6301 3.29/3.30 c nbDecision=16000 #constraints=6464 3.79/3.82 c nbDecision=16500 #constraints=6590 3.99/4.06 c nbDecision=17000 #constraints=6654 4.39/4.44 c nbDecision=17500 #constraints=6742 4.79/4.84 c nbDecision=18000 #constraints=6830 5.69/5.74 c nbDecision=18500 #constraints=7046 5.89/5.99 c nbDecision=19000 #constraints=7099 6.49/6.51 c nbDecision=19500 #constraints=7170 6.99/7.06 c nbDecision=20000 #constraints=7257 7.79/7.81 c nbDecision=20500 #constraints=7371 8.59/8.60 c nbDecision=21000 #constraints=7488 9.79/9.83 c nbDecision=21500 #constraints=7637 11.29/11.31 c nbDecision=22000 #constraints=7823 12.48/12.50 c nbDecision=22500 #constraints=7949 14.38/14.49 c nbDecision=23000 #constraints=8161 16.98/17.03 c nbDecision=23500 #constraints=8382 20.49/20.52 c nbDecision=24000 #constraints=8639 25.19/25.24 c nbDecision=24500 #constraints=8960 29.68/29.79 c nbDecision=25000 #constraints=9159 30.68/30.70 c nbDecision=25500 #constraints=9180 30.78/30.81 c restart after 25601 decisions 31.28/31.32 c nbDecision=26000 #constraints=9188 31.78/31.88 c nbDecision=26500 #constraints=9198 32.38/32.43 c nbDecision=27000 #constraints=9218 33.07/33.15 c nbDecision=27500 #constraints=9256 34.38/34.45 c nbDecision=28000 #constraints=9326 36.38/36.40 c nbDecision=28500 #constraints=9423 39.38/39.49 c nbDecision=29000 #constraints=9552 40.78/40.87 c nbDecision=29500 #constraints=9597 42.68/42.73 c nbDecision=30000 #constraints=9688 45.67/45.76 c nbDecision=30500 #constraints=9829 49.07/49.14 c nbDecision=31000 #constraints=9945 50.97/51.08 c nbDecision=31500 #constraints=9987 52.77/52.87 c nbDecision=32000 #constraints=10056 54.77/54.82 c nbDecision=32500 #constraints=10103 59.46/59.50 c nbDecision=33000 #constraints=10269 66.17/66.27 c nbDecision=33500 #constraints=10534 74.26/74.30 c nbDecision=34000 #constraints=10805 77.46/77.50 c nbDecision=34500 #constraints=10910 80.86/80.92 c nbDecision=35000 #constraints=11041 84.16/84.25 c nbDecision=35500 #constraints=11164 91.35/91.41 c nbDecision=36000 #constraints=11416 94.15/94.21 c nbDecision=36500 #constraints=11455 99.86/99.99 c nbDecision=37000 #constraints=11577 105.66/105.70 c nbDecision=37500 #constraints=11771 111.35/111.45 c nbDecision=38000 #constraints=11906 115.55/115.65 c nbDecision=38500 #constraints=12027 124.15/124.24 c nbDecision=39000 #constraints=12254 131.04/131.15 c nbDecision=39500 #constraints=12432 143.35/143.49 c nbDecision=40000 #constraints=12693 160.14/160.29 c nbDecision=40500 #constraints=13026 173.43/173.50 c nbDecision=41000 #constraints=13332 181.43/181.57 c nbDecision=41500 #constraints=13524 194.23/194.34 c nbDecision=42000 #constraints=13789 208.02/208.14 c nbDecision=42500 #constraints=14086 222.91/223.09 c nbDecision=43000 #constraints=14401 241.21/241.33 c nbDecision=43500 #constraints=14720 268.30/268.42 c nbDecision=44000 #constraints=15075 296.48/296.64 c nbDecision=44500 #constraints=15401 325.98/326.11 c nbDecision=45000 #constraints=15773 352.17/352.33 c nbDecision=45500 #constraints=16077 355.37/355.54 c nbDecision=46000 #constraints=16097 359.36/359.56 c nbDecision=46500 #constraints=16126 363.87/364.01 c nbDecision=47000 #constraints=16169 368.06/368.27 c nbDecision=47500 #constraints=16202 373.36/373.57 c nbDecision=48000 #constraints=16224 380.15/380.34 c nbDecision=48500 #constraints=16296 389.86/390.00 c nbDecision=49000 #constraints=16369 393.06/393.29 c nbDecision=49500 #constraints=16379 396.86/397.05 c nbDecision=50000 #constraints=16389 400.66/400.82 c nbDecision=50500 #constraints=16403 407.15/407.37 c nbDecision=51000 #constraints=16443 410.45/410.65 c restart after 51201 decisions 415.95/416.13 c nbDecision=51500 #constraints=16490 426.65/426.87 c nbDecision=52000 #constraints=16563 437.04/437.28 c nbDecision=52500 #constraints=16620 446.34/446.54 c nbDecision=53000 #constraints=16722 454.73/454.96 c nbDecision=53500 #constraints=16810 468.23/468.48 c nbDecision=54000 #constraints=16980 486.03/486.26 c nbDecision=54500 #constraints=17171 492.42/492.60 c nbDecision=55000 #constraints=17232 500.82/501.08 c nbDecision=55500 #constraints=17323 507.72/507.96 c nbDecision=56000 #constraints=17405 520.71/520.94 c nbDecision=56500 #constraints=17555 543.10/543.37 c nbDecision=57000 #constraints=17829 556.59/556.81 c nbDecision=57500 #constraints=17995 584.99/585.25 c nbDecision=58000 #constraints=18274 607.68/607.98 c nbDecision=58500 #constraints=18518 635.97/636.23 c nbDecision=59000 #constraints=18778 640.67/640.94 c nbDecision=59500 #constraints=18809 646.17/646.44 c nbDecision=60000 #constraints=18849 652.96/653.30 c nbDecision=60500 #constraints=18891 657.16/657.45 c nbDecision=61000 #constraints=18917 665.26/665.57 c nbDecision=61500 #constraints=18974 672.96/673.23 c nbDecision=62000 #constraints=19010 683.56/683.88 c nbDecision=62500 #constraints=19112 697.75/698.06 c nbDecision=63000 #constraints=19254 712.55/712.84 c nbDecision=63500 #constraints=19377 727.33/727.66 c nbDecision=64000 #constraints=19523 736.94/737.26 c nbDecision=64500 #constraints=19598 749.13/749.40 c nbDecision=65000 #constraints=19665 765.73/766.09 c nbDecision=65500 #constraints=19815 776.32/776.68 c nbDecision=66000 #constraints=19912 789.01/789.38 c nbDecision=66500 #constraints=20036 800.72/801.02 c nbDecision=67000 #constraints=20112 815.31/815.69 c nbDecision=67500 #constraints=20215 832.60/832.94 c nbDecision=68000 #constraints=20362 862.88/863.21 c nbDecision=68500 #constraints=20575 890.28/890.64 c nbDecision=69000 #constraints=20802 942.06/942.46 c nbDecision=69500 #constraints=21096 984.95/985.39 c nbDecision=70000 #constraints=21371 1005.34/1005.77 c nbDecision=70500 #constraints=21537 1023.23/1023.69 c nbDecision=71000 #constraints=21712 1045.42/1045.80 c nbDecision=71500 #constraints=21919 1069.01/1069.49 c nbDecision=72000 #constraints=22112 1093.61/1094.08 c nbDecision=72500 #constraints=22302 1126.89/1127.33 c nbDecision=73000 #constraints=22555 1163.09/1163.56 c nbDecision=73500 #constraints=22834 1209.76/1210.27 c nbDecision=74000 #constraints=23144 1254.85/1255.34 c nbDecision=74500 #constraints=23466 1315.23/1315.78 c nbDecision=75000 #constraints=23826 1366.11/1366.62 c nbDecision=75500 #constraints=24142 1424.49/1425.05 c nbDecision=76000 #constraints=24486 1508.07/1508.67 c nbDecision=76500 #constraints=24835 1517.06/1517.64 c nbDecision=77000 #constraints=24893 1527.96/1528.57 c nbDecision=77500 #constraints=24999 1545.25/1545.88 c nbDecision=78000 #constraints=25138 1575.94/1576.54 c nbDecision=78500 #constraints=25377 1590.93/1591.54 c nbDecision=79000 #constraints=25437 1607.63/1608.24 c nbDecision=79500 #constraints=25537 1636.82/1637.43 c nbDecision=80000 #constraints=25740 1649.11/1649.78 c nbDecision=80500 #constraints=25795 1694.00/1694.64 c nbDecision=81000 #constraints=26054 1714.89/1715.57 c nbDecision=81500 #constraints=26181 1730.69/1731.40 c nbDecision=82000 #constraints=26250 1759.97/1760.69 c nbDecision=82500 #constraints=26445 1769.87/1770.55 c nbDecision=83000 #constraints=26509 1791.06/1791.72 c nbDecision=83500 #constraints=26633 1800.07/1800.70 Received signal 15 1800.36/1801.04 1800.36/1801.04 s UNKNOWN 1800.36/1801.04 1800.36/1801.04 c user time= 1800.1 s 1800.36/1801.04 c system time= 0.316951 s 1800.36/1801.04 c wall clock time=1801.05
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-357137-1176988079 -o ROOT/results/node38/solver-357137-1176988079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357137-1176988079/instance-357137-1176988079.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.65 0.91 0.97 3/77 30700 /proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=1468 CPUtime=0 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 130974558 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 367 165 130 317 0 46 0 [startup+0.053366 s] /proc/loadavg: 0.65 0.91 0.97 3/77 30700 /proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=2828 CPUtime=0.05 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 509 0 0 0 5 0 0 0 18 0 1 0 130974558 2895872 491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 707 494 136 317 0 386 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2828 [startup+0.101375 s] /proc/loadavg: 0.65 0.91 0.97 3/77 30700 /proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=3224 CPUtime=0.1 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 613 0 0 0 10 0 0 0 18 0 1 0 130974558 3301376 595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134594896 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 806 595 139 317 0 485 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3224 [startup+0.301414 s] /proc/loadavg: 0.65 0.91 0.97 3/77 30700 /proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=3508 CPUtime=0.29 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 693 0 0 0 29 0 0 0 19 0 1 0 130974558 3592192 637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 877 637 139 317 0 556 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3508 [startup+0.701491 s] /proc/loadavg: 0.65 0.91 0.97 3/77 30700 /proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=3764 CPUtime=0.69 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 774 0 0 0 69 0 0 0 22 0 1 0 130974558 3854336 718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 941 718 139 317 0 620 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3764 [startup+1.50164 s] /proc/loadavg: 0.65 0.91 0.97 2/78 30701 /proc/meminfo: memFree=1462984/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=4680 CPUtime=1.49 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 989 0 0 0 149 0 0 0 25 0 1 0 130974558 4792320 933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 1170 933 139 317 0 849 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4680 [startup+3.10195 s] /proc/loadavg: 0.65 0.91 0.97 2/78 30701 /proc/meminfo: memFree=1462088/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=5840 CPUtime=3.09 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 1298 0 0 0 309 0 0 0 25 0 1 0 130974558 5980160 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 1460 1242 139 317 0 1139 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5840 [startup+6.30157 s] /proc/loadavg: 0.68 0.91 0.97 2/78 30701 /proc/meminfo: memFree=1458888/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=9036 CPUtime=6.29 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 2057 0 0 0 628 1 0 0 25 0 1 0 130974558 9252864 2001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 2259 2001 139 317 0 1938 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9036 [startup+12.7018 s] /proc/loadavg: 0.71 0.91 0.97 2/78 30701 /proc/meminfo: memFree=1454728/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=12732 CPUtime=12.68 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 3001 0 0 0 1267 1 0 0 25 0 1 0 130974558 13037568 2945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 3183 2945 139 317 0 2862 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12732 [startup+25.5013 s] /proc/loadavg: 0.77 0.92 0.97 2/78 30701 /proc/meminfo: memFree=1449608/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=18000 CPUtime=25.48 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 4209 0 0 0 2546 2 0 0 25 0 1 0 130974558 18432000 4153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 4500 4153 139 317 0 4179 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18000 [startup+51.1012 s] /proc/loadavg: 0.85 0.92 0.97 2/78 30701 /proc/meminfo: memFree=1445320/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=22020 CPUtime=51.07 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 5266 0 0 0 5104 3 0 0 25 0 1 0 130974558 22548480 5210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 5505 5210 139 317 0 5184 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22020 [startup+102.305 s] /proc/loadavg: 0.93 0.93 0.97 2/78 30701 /proc/meminfo: memFree=1437768/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=30600 CPUtime=102.26 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 7210 0 0 0 10221 5 0 0 25 0 1 0 130974558 31334400 7079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 7650 7079 139 317 0 7329 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30600 [startup+162.302 s] /proc/loadavg: 0.97 0.94 0.97 2/78 30701 /proc/meminfo: memFree=1430856/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=37716 CPUtime=162.24 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 8926 0 0 0 16218 6 0 0 25 0 1 0 130974558 38621184 8795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 9429 8795 139 317 0 9108 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37716 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/78 30701 /proc/meminfo: memFree=1423752/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=44504 CPUtime=222.21 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 10695 0 0 0 22214 7 0 0 25 0 1 0 130974558 45572096 10564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 11126 10564 139 317 0 10805 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 44504 [startup+282.302 s] /proc/loadavg: 0.99 0.95 0.97 2/78 30701 /proc/meminfo: memFree=1419272/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=49764 CPUtime=282.19 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 11816 0 0 0 28211 8 0 0 25 0 1 0 130974558 50958336 11685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 12441 11685 139 317 0 12120 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49764 [startup+342.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 30701 /proc/meminfo: memFree=1414856/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=54928 CPUtime=342.17 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 12920 0 0 0 34208 9 0 0 25 0 1 0 130974558 56246272 12789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 13732 12789 139 317 0 13411 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 54928 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30701 /proc/meminfo: memFree=1413320/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=56920 CPUtime=402.15 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 13313 0 0 0 40205 10 0 0 25 0 1 0 130974558 58286080 13182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 14230 13182 139 317 0 13909 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 56920 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30701 /proc/meminfo: memFree=1411208/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=59404 CPUtime=462.13 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 13853 0 0 0 46202 11 0 0 25 0 1 0 130974558 60829696 13722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 14851 13722 139 317 0 14530 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 59404 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30701 /proc/meminfo: memFree=1408136/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=62876 CPUtime=522.11 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 14632 0 0 0 52199 12 0 0 25 0 1 0 130974558 64385024 14501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 15719 14501 139 317 0 15398 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 62876 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30701 /proc/meminfo: memFree=1404296/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=66612 CPUtime=582.09 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 15574 0 0 0 58196 13 0 0 25 0 1 0 130974558 68210688 15443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 16653 15443 139 317 0 16332 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 66612 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30701 /proc/meminfo: memFree=1401032/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=70280 CPUtime=642.07 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 16406 0 0 0 64193 14 0 0 25 0 1 0 130974558 71966720 16275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 17570 16275 139 317 0 17249 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 70280 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30701 /proc/meminfo: memFree=1392648/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=78820 CPUtime=881.99 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 18536 0 0 0 88181 18 0 0 25 0 1 0 130974558 80711680 18405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 19705 18405 139 317 0 19384 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 78820 [startup+942.302 s] /proc/loadavg: 1.07 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1390664/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=80724 CPUtime=941.96 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 19030 0 0 0 94178 18 0 0 25 0 1 0 130974558 82661376 18899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 20181 18899 139 317 0 19860 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 80724 [startup+1002.3 s] /proc/loadavg: 1.02 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1388616/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=82828 CPUtime=1001.94 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 19551 0 0 0 100175 19 0 0 25 0 1 0 130974558 84815872 19420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 20707 19420 139 317 0 20386 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 82828 [startup+1062.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1385800/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=86040 CPUtime=1061.92 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 20413 0 0 0 106172 20 0 0 25 0 1 0 130974558 88104960 20133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 21510 20133 139 317 0 21189 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 86040 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1383432/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=88100 CPUtime=1121.9 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 20995 0 0 0 112169 21 0 0 25 0 1 0 130974558 90214400 20715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 22025 20715 139 317 0 21704 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 88100 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1381192/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=90196 CPUtime=1181.88 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 21579 0 0 0 118166 22 0 0 25 0 1 0 130974558 92360704 21299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 22549 21299 139 317 0 22228 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 90196 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1379144/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=92040 CPUtime=1241.86 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 22092 0 0 0 124163 23 0 0 25 0 1 0 130974558 94248960 21812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 23010 21812 139 317 0 22689 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 92040 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1377032/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=93880 CPUtime=1301.84 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 22606 0 0 0 130160 24 0 0 25 0 1 0 130974558 96133120 22326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 23470 22326 139 317 0 23149 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 93880 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1375176/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=95744 CPUtime=1361.81 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 23143 0 0 0 136157 24 0 0 25 0 1 0 130974558 98041856 22830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 23936 22830 139 317 0 23615 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 95744 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1373000/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=97836 CPUtime=1421.79 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 23663 0 0 0 142154 25 0 0 25 0 1 0 130974558 100184064 23350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 24459 23350 139 317 0 24138 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 97836 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1371528/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=99588 CPUtime=1481.77 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 24121 0 0 0 148151 26 0 0 25 0 1 0 130974558 101978112 23742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 24897 23742 139 317 0 24576 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 99588 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1369672/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=101676 CPUtime=1541.75 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 24665 0 0 0 154148 27 0 0 25 0 1 0 130974558 104116224 24187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 25419 24187 139 317 0 25098 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 101676 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1368072/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=103884 CPUtime=1601.73 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 25292 0 0 0 160145 28 0 0 25 0 1 0 130974558 106377216 24616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 25971 24616 139 317 0 25650 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 103884 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1366600/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=105972 CPUtime=1661.71 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 25806 0 0 0 166142 29 0 0 25 0 1 0 130974558 108515328 24998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 26493 24998 139 317 0 26172 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 105972 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1365128/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=107784 CPUtime=1721.69 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26270 0 0 0 172139 30 0 0 25 0 1 0 130974558 110370816 25363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 26946 25363 139 317 0 26625 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 107784 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1363528/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=110040 CPUtime=1781.67 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26822 0 0 0 178136 31 0 0 25 0 1 0 130974558 112680960 25783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 27510 25783 139 317 0 27189 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 110040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1363080/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=110436 CPUtime=1800.07 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26925 0 0 0 179976 31 0 0 25 0 1 0 130974558 113086464 25886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 27609 25886 139 317 0 27288 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 110436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30703 /proc/meminfo: memFree=1363080/2055920 swapFree=4159716/4192956 [pid=30700] ppid=30698 vsize=110436 CPUtime=1800.36 /proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26927 0 0 0 180005 31 0 0 25 0 1 0 130974558 113086464 25888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30700/statm: 27609 25888 139 317 0 27288 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 110436 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.44 CPU user time (s): 1800.1 CPU system time (s): 0.335948 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 110436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.335948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26976 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= 3403 runsolver used 2.07069 second user time and 4.50232 second system time The end
Begin job on node38 on Thu Apr 19 13:07:59 UTC 2007 IDJOB= 357137 IDBENCH= 2106 IDSOLVER= 172 FILE ID= node38/357137-1176988079 PBS_JOBID= 4630435 Free space on /tmp= 66242 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-ii32d2.opb COMMAND LINE= oree /tmp/evaluation/357137-1176988079/instance-357137-1176988079.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-357137-1176988079 -o ROOT/results/node38/solver-357137-1176988079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357137-1176988079/instance-357137-1176988079.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 05a418d42b6e85967009c0fa73623d83 RANDOM SEED= 644924052 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1466344 kB Buffers: 46876 kB Cached: 447240 kB SwapCached: 3100 kB Active: 91468 kB Inactive: 431708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1466344 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 1648 kB Writeback: 0 kB Mapped: 37316 kB Slab: 51676 kB Committed_AS: 1539612 kB PageTables: 2060 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= 66242 MiB End job on node38 on Thu Apr 19 13:38:02 UTC 2007