Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.66 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | f368868fda311e5aaeadb84d33b29291 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3750 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3750 |
Optimality of the best value was proved | NO |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
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 | 15 |
Number of terms in the objective function | 7500 |
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 | 7500 |
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 | 7500 |
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... 1.50/1.56 c ...done 1.50/1.56 c #vars=7500 #constraints=237716 hasObjective=yes 2.59/2.66 c res. mode=mod 2.59/2.66 c VSIDS like heuristics 2.59/2.66 c complete search running 6.09/6.19 c restart after 401 decisions 6.99/7.02 c nbDecision=500 #constraints=237781 7.89/7.98 c restart after 801 decisions 8.80/8.89 c nbDecision=1000 #constraints=237804 11.19/11.21 c nbDecision=1500 #constraints=237842 11.69/11.76 c restart after 1601 decisions 13.89/13.95 c nbDecision=2000 #constraints=237881 16.09/16.15 c nbDecision=2500 #constraints=237907 18.89/18.90 c nbDecision=3000 #constraints=237960 19.79/19.86 c restart after 3201 decisions 21.79/21.82 c nbDecision=3500 #constraints=238002 25.79/25.86 c nbDecision=4000 #constraints=238077 29.19/29.27 c nbDecision=4500 #constraints=238130 31.89/31.90 c nbDecision=5000 #constraints=238177 35.38/35.42 c nbDecision=5500 #constraints=238236 37.39/37.41 c nbDecision=6000 #constraints=238259 40.08/40.13 c restart after 6401 decisions 40.48/40.55 c nbDecision=6500 #constraints=238297 43.18/43.21 c nbDecision=7000 #constraints=238341 45.08/45.18 c nbDecision=7500 #constraints=238370 47.28/47.37 c nbDecision=8000 #constraints=238400 50.38/50.48 c nbDecision=8500 #constraints=238450 52.38/52.49 c nbDecision=9000 #constraints=238478 54.68/54.73 c nbDecision=9500 #constraints=238504 58.18/58.28 c nbDecision=10000 #constraints=238563 61.28/61.34 c nbDecision=10500 #constraints=238615 64.07/64.11 c nbDecision=11000 #constraints=238656 67.17/67.28 c nbDecision=11500 #constraints=238713 70.17/70.25 c nbDecision=12000 #constraints=238762 72.97/73.04 c nbDecision=12500 #constraints=238805 74.47/74.55 c restart after 12801 decisions 75.87/75.91 c nbDecision=13000 #constraints=238851 78.37/78.48 c nbDecision=13500 #constraints=238901 80.37/80.41 c nbDecision=14000 #constraints=238928 82.47/82.52 c nbDecision=14500 #constraints=238961 85.47/85.53 c nbDecision=15000 #constraints=239012 87.67/87.79 c nbDecision=15500 #constraints=239047 90.87/90.99 c nbDecision=16000 #constraints=239097 95.86/96.00 c nbDecision=16500 #constraints=239176 98.76/98.82 c nbDecision=17000 #constraints=239228 102.16/102.21 c nbDecision=17500 #constraints=239293 104.66/104.75 c nbDecision=18000 #constraints=239331 107.16/107.29 c nbDecision=18500 #constraints=239376 109.76/109.84 c nbDecision=19000 #constraints=239418 113.06/113.11 c nbDecision=19500 #constraints=239480 116.66/116.76 c nbDecision=20000 #constraints=239548 119.86/119.99 c nbDecision=20500 #constraints=239603 122.15/122.20 c nbDecision=21000 #constraints=239636 124.95/125.06 c nbDecision=21500 #constraints=239690 130.56/130.62 c nbDecision=22000 #constraints=239797 134.06/134.12 c nbDecision=22500 #constraints=239852 136.66/136.74 c nbDecision=23000 #constraints=239891 140.06/140.13 c nbDecision=23500 #constraints=239947 143.45/143.57 c nbDecision=24000 #constraints=240005 146.05/146.10 c nbDecision=24500 #constraints=240036 148.95/149.06 c nbDecision=25000 #constraints=240078 153.85/153.94 c nbDecision=25500 #constraints=240154 154.25/154.39 c restart after 25601 decisions 156.55/156.68 c nbDecision=26000 #constraints=240184 159.75/159.85 c nbDecision=26500 #constraints=240227 163.15/163.21 c nbDecision=27000 #constraints=240279 166.24/166.37 c nbDecision=27500 #constraints=240322 173.34/173.46 c nbDecision=28000 #constraints=240423 177.84/177.99 c nbDecision=28500 #constraints=240489 184.94/185.03 c nbDecision=29000 #constraints=240577 189.84/189.92 c nbDecision=29500 #constraints=240641 193.54/193.62 c nbDecision=30000 #constraints=240698 196.94/197.06 c nbDecision=30500 #constraints=240742 202.34/202.41 c nbDecision=31000 #constraints=240840 206.43/206.58 c nbDecision=31500 #constraints=240906 211.43/211.54 c nbDecision=32000 #constraints=240986 216.93/217.01 c nbDecision=32500 #constraints=241070 223.53/223.62 c nbDecision=33000 #constraints=241186 228.63/228.78 c nbDecision=33500 #constraints=241270 235.13/235.26 c nbDecision=34000 #constraints=241370 242.42/242.57 c nbDecision=34500 #constraints=241486 247.02/247.17 c nbDecision=35000 #constraints=241557 252.93/253.05 c nbDecision=35500 #constraints=241650 258.92/259.07 c nbDecision=36000 #constraints=241738 266.02/266.16 c nbDecision=36500 #constraints=241837 270.61/270.75 c nbDecision=37000 #constraints=241900 274.71/274.90 c nbDecision=37500 #constraints=241960 280.91/281.09 c nbDecision=38000 #constraints=242044 285.91/286.06 c nbDecision=38500 #constraints=242104 291.81/291.93 c nbDecision=39000 #constraints=242180 295.71/295.83 c nbDecision=39500 #constraints=242234 301.91/302.02 c nbDecision=40000 #constraints=242326 308.50/308.66 c nbDecision=40500 #constraints=242427 314.60/314.77 c nbDecision=41000 #constraints=242512 321.30/321.49 c nbDecision=41500 #constraints=242605 325.90/326.04 c nbDecision=42000 #constraints=242660 332.90/333.05 c nbDecision=42500 #constraints=242753 337.90/338.06 c nbDecision=43000 #constraints=242816 344.20/344.32 c nbDecision=43500 #constraints=242889 349.99/350.19 c nbDecision=44000 #constraints=242967 357.49/357.69 c nbDecision=44500 #constraints=243074 364.08/364.27 c nbDecision=45000 #constraints=243152 372.38/372.55 c nbDecision=45500 #constraints=243235 377.29/377.46 c nbDecision=46000 #constraints=243288 383.79/383.97 c nbDecision=46500 #constraints=243361 392.28/392.46 c nbDecision=47000 #constraints=243457 397.88/398.06 c nbDecision=47500 #constraints=243520 404.78/404.91 c nbDecision=48000 #constraints=243591 411.87/412.03 c nbDecision=48500 #constraints=243669 419.77/419.92 c nbDecision=49000 #constraints=243770 425.97/426.10 c nbDecision=49500 #constraints=243831 431.77/431.99 c nbDecision=50000 #constraints=243893 438.77/438.91 c nbDecision=50500 #constraints=243977 445.07/445.20 c nbDecision=51000 #constraints=244051 447.36/447.50 c restart after 51201 decisions 451.56/451.70 c nbDecision=51500 #constraints=244102 457.16/457.37 c nbDecision=52000 #constraints=244158 462.56/462.79 c nbDecision=52500 #constraints=244208 470.56/470.75 c nbDecision=53000 #constraints=244306 483.95/484.17 c nbDecision=53500 #constraints=244506 492.16/492.36 c nbDecision=54000 #constraints=244610 499.36/499.54 c nbDecision=54500 #constraints=244684 509.95/510.17 c nbDecision=55000 #constraints=244836 517.65/517.85 c nbDecision=55500 #constraints=244914 521.54/521.76 c nbDecision=56000 #constraints=244950 526.24/526.49 c nbDecision=56500 #constraints=244991 530.94/531.13 c nbDecision=57000 #constraints=245039 537.14/537.33 c nbDecision=57500 #constraints=245097 543.53/543.75 c nbDecision=58000 #constraints=245156 549.34/549.57 c nbDecision=58500 #constraints=245205 557.14/557.32 c nbDecision=59000 #constraints=245267 562.23/562.45 c nbDecision=59500 #constraints=245308 567.34/567.59 c nbDecision=60000 #constraints=245358 572.03/572.29 c nbDecision=60500 #constraints=245393 578.73/578.92 c nbDecision=61000 #constraints=245451 584.93/585.19 c nbDecision=61500 #constraints=245522 592.42/592.61 c nbDecision=62000 #constraints=245596 597.32/597.59 c nbDecision=62500 #constraints=245646 604.12/604.33 c nbDecision=63000 #constraints=245718 611.82/612.09 c nbDecision=63500 #constraints=245790 617.51/617.77 c nbDecision=64000 #constraints=245845 624.91/625.18 c nbDecision=64500 #constraints=245933 633.82/634.02 c nbDecision=65000 #constraints=246022 640.41/640.66 c nbDecision=65500 #constraints=246082 647.41/647.70 c nbDecision=66000 #constraints=246153 653.31/653.59 c nbDecision=66500 #constraints=246207 659.41/659.63 c nbDecision=67000 #constraints=246261 668.20/668.40 c nbDecision=67500 #constraints=246337 675.40/675.64 c nbDecision=68000 #constraints=246402 680.10/680.38 c nbDecision=68500 #constraints=246437 689.41/689.69 c nbDecision=69000 #constraints=246514 695.50/695.71 c nbDecision=69500 #constraints=246559 702.70/702.94 c nbDecision=70000 #constraints=246636 711.69/711.95 c nbDecision=70500 #constraints=246721 719.09/719.37 c nbDecision=71000 #constraints=246784 726.39/726.66 c nbDecision=71500 #constraints=246841 734.08/734.34 c nbDecision=72000 #constraints=246890 741.18/741.42 c nbDecision=72500 #constraints=246937 749.78/750.09 c nbDecision=73000 #constraints=246998 757.38/757.69 c nbDecision=73500 #constraints=247049 766.48/766.74 c nbDecision=74000 #constraints=247103 775.07/775.37 c nbDecision=74500 #constraints=247172 782.37/782.67 c nbDecision=75000 #constraints=247228 790.07/790.34 c nbDecision=75500 #constraints=247293 798.07/798.32 c nbDecision=76000 #constraints=247362 805.67/805.99 c nbDecision=76500 #constraints=247415 814.56/814.80 c nbDecision=77000 #constraints=247498 824.56/824.84 c nbDecision=77500 #constraints=247602 835.06/835.36 c nbDecision=78000 #constraints=247709 846.35/846.64 c nbDecision=78500 #constraints=247817 857.76/858.07 c nbDecision=79000 #constraints=247917 868.05/868.35 c nbDecision=79500 #constraints=248003 877.05/877.33 c nbDecision=80000 #constraints=248078 888.94/889.22 c nbDecision=80500 #constraints=248174 904.63/905.00 c nbDecision=81000 #constraints=248320 919.93/920.27 c nbDecision=81500 #constraints=248450 932.03/932.38 c nbDecision=82000 #constraints=248566 944.53/944.89 c nbDecision=82500 #constraints=248677 959.62/959.92 c nbDecision=83000 #constraints=248808 967.32/967.64 c nbDecision=83500 #constraints=248856 976.12/976.42 c nbDecision=84000 #constraints=248933 987.11/987.49 c nbDecision=84500 #constraints=249007 997.31/997.63 c nbDecision=85000 #constraints=249085 1006.31/1006.67 c nbDecision=85500 #constraints=249165 1019.01/1019.34 c nbDecision=86000 #constraints=249269 1029.40/1029.73 c nbDecision=86500 #constraints=249347 1041.80/1042.13 c nbDecision=87000 #constraints=249427 1050.89/1051.22 c nbDecision=87500 #constraints=249496 1066.30/1066.63 c nbDecision=88000 #constraints=249596 1075.99/1076.39 c nbDecision=88500 #constraints=249658 1087.39/1087.74 c nbDecision=89000 #constraints=249746 1100.78/1101.19 c nbDecision=89500 #constraints=249852 1114.88/1115.27 c nbDecision=90000 #constraints=249948 1127.18/1127.58 c nbDecision=90500 #constraints=250041 1138.37/1138.75 c nbDecision=91000 #constraints=250108 1147.97/1148.39 c nbDecision=91500 #constraints=250169 1159.87/1160.23 c nbDecision=92000 #constraints=250251 1173.36/1173.79 c nbDecision=92500 #constraints=250342 1188.86/1189.23 c nbDecision=93000 #constraints=250458 1205.85/1206.24 c nbDecision=93500 #constraints=250606 1218.25/1218.63 c nbDecision=94000 #constraints=250676 1225.25/1225.63 c nbDecision=94500 #constraints=250734 1233.14/1233.56 c nbDecision=95000 #constraints=250796 1240.64/1241.09 c nbDecision=95500 #constraints=250846 1249.54/1249.97 c nbDecision=96000 #constraints=250919 1256.94/1257.38 c nbDecision=96500 #constraints=250965 1264.94/1265.39 c nbDecision=97000 #constraints=251022 1276.43/1276.89 c nbDecision=97500 #constraints=251089 1284.33/1284.74 c nbDecision=98000 #constraints=251140 1293.93/1294.37 c nbDecision=98500 #constraints=251196 1302.03/1302.49 c nbDecision=99000 #constraints=251247 1312.42/1312.80 c nbDecision=99500 #constraints=251310 1326.32/1326.74 c nbDecision=100000 #constraints=251411 1337.32/1337.78 c nbDecision=100500 #constraints=251470 1345.71/1346.17 c nbDecision=101000 #constraints=251525 1356.11/1356.55 c nbDecision=101500 #constraints=251586 1367.61/1368.03 c nbDecision=102000 #constraints=251671 1373.70/1374.12 c restart after 102401 decisions 1376.30/1376.73 c nbDecision=102500 #constraints=251709 1387.70/1388.20 c nbDecision=103000 #constraints=251793 1397.79/1398.20 c nbDecision=103500 #constraints=251859 1409.09/1409.55 c nbDecision=104000 #constraints=251937 1421.49/1421.90 c nbDecision=104500 #constraints=252011 1441.49/1441.94 c nbDecision=105000 #constraints=252120 1452.08/1452.50 c nbDecision=105500 #constraints=252187 1464.28/1464.75 c nbDecision=106000 #constraints=252273 1476.68/1477.17 c nbDecision=106500 #constraints=252354 1491.68/1492.13 c nbDecision=107000 #constraints=252437 1500.57/1501.09 c nbDecision=107500 #constraints=252499 1512.86/1513.34 c nbDecision=108000 #constraints=252566 1527.66/1528.19 c nbDecision=108500 #constraints=252632 1536.16/1536.62 c nbDecision=109000 #constraints=252676 1551.16/1551.68 c nbDecision=109500 #constraints=252740 1563.55/1564.08 c nbDecision=110000 #constraints=252809 1574.75/1575.21 c nbDecision=110500 #constraints=252865 1586.75/1587.29 c nbDecision=111000 #constraints=252924 1602.74/1603.21 c nbDecision=111500 #constraints=253017 1617.23/1617.70 c nbDecision=112000 #constraints=253124 1630.14/1630.69 c nbDecision=112500 #constraints=253220 1641.04/1641.55 c nbDecision=113000 #constraints=253292 1656.33/1656.86 c nbDecision=113500 #constraints=253405 1671.22/1671.72 c nbDecision=114000 #constraints=253487 1680.52/1681.05 c nbDecision=114500 #constraints=253545 1692.11/1692.69 c nbDecision=115000 #constraints=253627 1704.42/1704.96 c nbDecision=115500 #constraints=253708 1723.31/1723.80 c nbDecision=116000 #constraints=253850 1736.20/1736.70 c nbDecision=116500 #constraints=253929 1754.40/1754.93 c nbDecision=117000 #constraints=254028 1767.70/1768.22 c nbDecision=117500 #constraints=254115 1782.30/1782.80 c nbDecision=118000 #constraints=254186 1797.39/1797.91 c nbDecision=118500 #constraints=254265 1800.10/1800.61 Received signal 15 1800.59/1801.10 1800.59/1801.10 s UNKNOWN 1800.59/1801.10 1800.59/1801.10 c user time= 1800.23 s 1800.59/1801.10 c system time= 0.374943 s 1800.59/1801.10 c wall clock time=1801.11
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-357143-1176988287 -o ROOT/results/node12/solver-357143-1176988287 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357143-1176988287/instance-357143-1176988287.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.78 0.96 0.96 3/77 10822 /proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=1620 CPUtime=0 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 174866084 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 405 176 126 317 0 84 0 [startup+0.00877489 s] /proc/loadavg: 0.78 0.96 0.96 3/77 10822 /proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=1752 CPUtime=0 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 174866084 1794048 208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 438 208 126 317 0 117 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1752 [startup+0.101783 s] /proc/loadavg: 0.78 0.96 0.96 3/77 10822 /proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=3732 CPUtime=0.09 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 745 0 0 0 9 0 0 0 18 0 1 0 174866084 3821568 727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 933 727 130 317 0 612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.301803 s] /proc/loadavg: 0.78 0.96 0.96 3/77 10822 /proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=8480 CPUtime=0.29 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 1954 0 0 0 29 0 0 0 19 0 1 0 174866084 8683520 1903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 2120 1903 130 317 0 1799 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8480 [startup+0.701844 s] /proc/loadavg: 0.78 0.96 0.96 3/77 10822 /proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=17976 CPUtime=0.69 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 4363 0 0 0 68 1 0 0 22 0 1 0 174866084 18407424 4247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 4494 4247 130 317 0 4173 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17976 [startup+1.50292 s] /proc/loadavg: 0.78 0.96 0.96 2/78 10823 /proc/meminfo: memFree=1600600/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=36704 CPUtime=1.5 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 9182 0 0 0 146 4 0 0 25 0 1 0 174866084 37584896 8937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 9176 8937 130 317 0 8855 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 36704 [startup+3.10108 s] /proc/loadavg: 0.78 0.96 0.96 3/78 10823 /proc/meminfo: memFree=1572568/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=71540 CPUtime=3.09 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17910 0 0 0 301 8 0 0 25 0 1 0 174866084 73256960 16039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 17885 16039 139 317 0 17564 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71540 [startup+6.3014 s] /proc/loadavg: 0.80 0.96 0.96 2/78 10823 /proc/meminfo: memFree=1559896/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=71540 CPUtime=6.29 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17910 0 0 0 620 9 0 0 25 0 1 0 174866084 73256960 16039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134608007 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 17885 16039 139 317 0 17564 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71540 [startup+12.701 s] /proc/loadavg: 0.81 0.96 0.96 2/78 10823 /proc/meminfo: memFree=1559896/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=71540 CPUtime=12.69 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17910 0 0 0 1260 9 0 0 25 0 1 0 174866084 73256960 16039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 17885 16039 139 317 0 17564 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71540 [startup+25.5013 s] /proc/loadavg: 0.85 0.96 0.96 2/78 10823 /proc/meminfo: memFree=1560024/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=71540 CPUtime=25.49 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17912 0 0 0 2540 9 0 0 25 0 1 0 174866084 73256960 16041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 17885 16041 139 317 0 17564 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71540 [startup+51.1019 s] /proc/loadavg: 0.90 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1560024/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=71540 CPUtime=51.08 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17914 0 0 0 5099 9 0 0 25 0 1 0 174866084 73256960 16043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 17885 16043 139 317 0 17564 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71540 [startup+102.305 s] /proc/loadavg: 0.96 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1560088/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=71540 CPUtime=102.26 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17922 0 0 0 10217 9 0 0 25 0 1 0 174866084 73256960 16051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 17885 16051 139 317 0 17564 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 71540 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1556120/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=75776 CPUtime=162.25 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 18961 0 0 0 16215 10 0 0 25 0 1 0 174866084 77594624 17090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 18944 17090 139 317 0 18623 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 75776 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1550424/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=81476 CPUtime=222.23 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 20363 0 0 0 22211 12 0 0 25 0 1 0 174866084 83431424 18492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 20369 18492 139 317 0 20048 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 81476 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1544024/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=88096 CPUtime=282.21 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 21970 0 0 0 28208 13 0 0 25 0 1 0 174866084 90210304 20099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 22024 20099 139 317 0 21703 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 88096 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1537304/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=94932 CPUtime=342.2 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 23622 0 0 0 34205 15 0 0 25 0 1 0 174866084 97210368 21751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 23733 21751 139 317 0 23412 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 94932 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1531416/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=100812 CPUtime=402.18 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 25101 0 0 0 40202 16 0 0 25 0 1 0 174866084 103231488 23230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 25203 23230 139 317 0 24882 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 100812 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1525400/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=107404 CPUtime=462.16 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 26617 0 0 0 46198 18 0 0 25 0 1 0 174866084 109981696 24746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 26851 24746 139 317 0 26530 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 107404 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1518744/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=114152 CPUtime=522.14 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 28224 0 0 0 52195 19 0 0 25 0 1 0 174866084 116891648 26353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 28538 26353 139 317 0 28217 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 114152 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1516504/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=116120 CPUtime=582.13 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 28780 0 0 0 58193 20 0 0 25 0 1 0 174866084 118906880 26909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 29030 26909 139 317 0 28709 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 116120 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1513304/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=119272 CPUtime=642.12 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 29569 0 0 0 64191 21 0 0 25 0 1 0 174866084 122134528 27698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 29818 27698 139 317 0 29497 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 119272 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1496856/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=136112 CPUtime=942.03 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 33645 0 0 0 94178 25 0 0 25 0 1 0 174866084 139378688 31774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 34028 31774 139 317 0 33707 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 136112 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1493976/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=138768 CPUtime=1002.01 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 34338 0 0 0 100176 25 0 0 25 0 1 0 174866084 142098432 32467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 34692 32467 139 317 0 34371 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 138768 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1490328/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=142788 CPUtime=1061.99 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 35238 0 0 0 106173 26 0 0 25 0 1 0 174866084 146214912 33367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 35697 33367 139 317 0 35376 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 142788 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1487192/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=145868 CPUtime=1121.97 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 36018 0 0 0 112170 27 0 0 25 0 1 0 174866084 149368832 34147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 36467 34147 139 317 0 36146 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 145868 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10823 /proc/meminfo: memFree=1483736/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=150080 CPUtime=1181.96 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 36897 0 0 0 118168 28 0 0 25 0 1 0 174866084 153681920 35026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 37520 35026 139 317 0 37199 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 150080 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1480792/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=152988 CPUtime=1241.94 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 37592 0 0 0 124165 29 0 0 25 0 1 0 174866084 156659712 35721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 38247 35721 139 317 0 37926 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 152988 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1478040/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=156376 CPUtime=1301.93 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 38274 0 0 0 130163 30 0 0 25 0 1 0 174866084 160129024 36403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 39094 36403 139 317 0 38773 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 156376 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1475992/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=158212 CPUtime=1361.91 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 38780 0 0 0 136160 31 0 0 25 0 1 0 174866084 162009088 36909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 39553 36909 139 317 0 39232 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 158212 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1473496/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=160616 CPUtime=1421.9 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 39406 0 0 0 142158 32 0 0 25 0 1 0 174866084 164470784 37535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 40154 37535 139 317 0 39833 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 160616 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1471384/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=162744 CPUtime=1481.88 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 39953 0 0 0 148155 33 0 0 25 0 1 0 174866084 166649856 38082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 40686 38082 139 317 0 40365 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 162744 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1469144/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=164772 CPUtime=1541.86 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 40502 0 0 0 154152 34 0 0 25 0 1 0 174866084 168726528 38631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 41193 38631 139 317 0 40872 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 164772 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1466776/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=168056 CPUtime=1601.84 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 41095 0 0 0 160150 34 0 0 25 0 1 0 174866084 172089344 39224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 42014 39224 139 317 0 41693 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 168056 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1463960/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=170596 CPUtime=1661.83 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 41781 0 0 0 166148 35 0 0 25 0 1 0 174866084 174690304 39910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 42649 39910 139 317 0 42328 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 170596 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1461336/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=173072 CPUtime=1721.81 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 42426 0 0 0 172145 36 0 0 25 0 1 0 174866084 177225728 40555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 43268 40555 139 317 0 42947 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 173072 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1458648/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=175476 CPUtime=1781.8 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43066 0 0 0 178143 37 0 0 25 0 1 0 174866084 179687424 41195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 43869 41195 139 317 0 43548 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 175476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1457752/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=176404 CPUtime=1800.1 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43277 0 0 0 179973 37 0 0 25 0 1 0 174866084 180637696 41406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 44101 41406 139 317 0 43780 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 176404 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: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1457752/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=176404 CPUtime=1800.49 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43279 0 0 0 180012 37 0 0 25 0 1 0 174866084 180637696 41408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 44101 41408 139 317 0 43780 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 176404 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.96 2/78 10825 /proc/meminfo: memFree=1457752/2055920 swapFree=4160068/4192956 [pid=10822] ppid=10820 vsize=176404 CPUtime=1800.59 /proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43280 0 0 0 180022 37 0 0 25 0 1 0 174866084 180637696 41409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10822/statm: 44101 41409 139 317 0 43780 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (KiB) 176404 Child status: 0 Real time (s): 1801.17 CPU time (s): 1800.66 CPU user time (s): 1800.26 CPU system time (s): 0.402938 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 176404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.26 system time used= 0.402938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43296 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= 3155 runsolver used 2.17267 second user time and 4.39533 second system time The end
Begin job on node12 on Thu Apr 19 13:11:27 UTC 2007 IDJOB= 357143 IDBENCH= 2139 IDSOLVER= 172 FILE ID= node12/357143-1176988287 PBS_JOBID= 4630448 Free space on /tmp= 66249 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-g250.15.opb COMMAND LINE= oree /tmp/evaluation/357143-1176988287/instance-357143-1176988287.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-357143-1176988287 -o ROOT/results/node12/solver-357143-1176988287 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357143-1176988287/instance-357143-1176988287.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291 RANDOM SEED= 200098415 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1624568 kB Buffers: 26288 kB Cached: 325624 kB SwapCached: 11548 kB Active: 109272 kB Inactive: 265460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1624568 kB SwapTotal: 4192956 kB SwapFree: 4160068 kB Dirty: 7324 kB Writeback: 0 kB Mapped: 29872 kB Slab: 42152 kB Committed_AS: 4365720 kB PageTables: 1792 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= 66249 MiB End job on node12 on Thu Apr 19 13:41:30 UTC 2007