Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.57 | 1801.09 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb |
MD5SUM | b55f7a8b0d45bfbc16cf27babcf41177 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 498 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 474 |
Optimality of the best value was proved | NO |
Number of variables | 15504 |
Total number of constraints | 1416 |
Number of constraints which are clauses | 168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1248 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 8784 |
Biggest coefficient in the objective function | 1523 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 531096 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531096 |
Number of bits of the biggest sum of numbers | 20 |
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.17 c ...done 0.09/0.17 c #vars=15504 #constraints=1537 hasObjective=yes 0.19/0.27 c res. mode=mod 0.19/0.27 c VSIDS like heuristics 0.19/0.27 c complete search running 0.29/0.38 c restart after 401 decisions 0.39/0.40 c nbDecision=500 #constraints=1550 0.39/0.48 c restart after 801 decisions 0.49/0.52 c nbDecision=1000 #constraints=1574 0.69/0.71 c nbDecision=1500 #constraints=1703 0.69/0.76 c restart after 1601 decisions 0.79/0.85 c nbDecision=2000 #constraints=1758 1.09/1.15 c nbDecision=2500 #constraints=2009 1.29/1.37 c nbDecision=3000 #constraints=2156 1.49/1.50 c restart after 3201 decisions 1.49/1.57 c nbDecision=3500 #constraints=2270 1.69/1.75 c nbDecision=4000 #constraints=2347 1.79/1.89 c nbDecision=4500 #constraints=2398 1.99/2.07 c nbDecision=5000 #constraints=2478 2.19/2.25 c nbDecision=5500 #constraints=2563 2.39/2.46 c nbDecision=6000 #constraints=2669 2.59/2.67 c restart after 6401 decisions 2.70/2.71 c nbDecision=6500 #constraints=2802 2.89/2.91 c nbDecision=7000 #constraints=2901 3.20/3.25 c nbDecision=7500 #constraints=3154 3.49/3.53 c nbDecision=8000 #constraints=3293 3.79/3.85 c nbDecision=8500 #constraints=3455 4.30/4.32 c nbDecision=9000 #constraints=3666 4.79/4.90 c nbDecision=9500 #constraints=3867 5.89/5.94 c nbDecision=10000 #constraints=4229 6.60/6.64 c nbDecision=10500 #constraints=4404 7.99/8.04 c nbDecision=11000 #constraints=4737 8.98/9.01 c nbDecision=11500 #constraints=4950 9.80/9.85 c nbDecision=12000 #constraints=5109 11.99/12.02 c nbDecision=12500 #constraints=5441 13.10/13.14 c restart after 12801 decisions 13.20/13.28 c nbDecision=13000 #constraints=5636 13.69/13.73 c nbDecision=13500 #constraints=5764 14.20/14.29 c nbDecision=14000 #constraints=5977 14.49/14.55 c nbDecision=14500 #constraints=6022 14.79/14.88 c nbDecision=15000 #constraints=6097 15.09/15.16 c nbDecision=15500 #constraints=6157 15.19/15.24 c nbDecision=16000 #constraints=6172 15.29/15.31 c nbDecision=16500 #constraints=6182 15.29/15.39 c nbDecision=17000 #constraints=6197 15.39/15.47 c nbDecision=17500 #constraints=6202 15.49/15.55 c nbDecision=18000 #constraints=6217 15.59/15.62 c nbDecision=18500 #constraints=6227 15.69/15.70 c nbDecision=19000 #constraints=6242 15.69/15.78 c nbDecision=19500 #constraints=6247 15.79/15.87 c nbDecision=20000 #constraints=6262 15.89/15.93 c nbDecision=20500 #constraints=6272 15.99/16.02 c nbDecision=21000 #constraints=6287 15.99/16.09 c nbDecision=21500 #constraints=6292 16.09/16.18 c nbDecision=22000 #constraints=6307 16.19/16.25 c nbDecision=22500 #constraints=6317 16.29/16.33 c nbDecision=23000 #constraints=6322 16.39/16.42 c nbDecision=23500 #constraints=6352 16.39/16.50 c nbDecision=24000 #constraints=6357 16.49/16.59 c nbDecision=24500 #constraints=6387 16.59/16.67 c nbDecision=25000 #constraints=6392 16.69/16.77 c nbDecision=25500 #constraints=6422 16.69/16.78 c restart after 25601 decisions 16.99/17.01 c nbDecision=26000 #constraints=6422 17.49/17.54 c nbDecision=26500 #constraints=6606 18.59/18.68 c nbDecision=27000 #constraints=6859 19.09/19.13 c nbDecision=27500 #constraints=6964 19.48/19.52 c nbDecision=28000 #constraints=7054 19.88/19.92 c nbDecision=28500 #constraints=7174 20.28/20.38 c nbDecision=29000 #constraints=7294 20.78/20.83 c nbDecision=29500 #constraints=7414 21.29/21.30 c nbDecision=30000 #constraints=7534 21.69/21.72 c nbDecision=30500 #constraints=7639 22.19/22.27 c nbDecision=31000 #constraints=7774 22.69/22.71 c nbDecision=31500 #constraints=7879 23.18/23.26 c nbDecision=32000 #constraints=8014 23.68/23.72 c nbDecision=32500 #constraints=8134 24.28/24.33 c nbDecision=33000 #constraints=8225 24.89/24.94 c nbDecision=33500 #constraints=8315 25.49/25.53 c nbDecision=34000 #constraints=8405 26.09/26.14 c nbDecision=34500 #constraints=8495 26.68/26.72 c nbDecision=35000 #constraints=8570 27.29/27.36 c nbDecision=35500 #constraints=8660 27.98/28.00 c nbDecision=36000 #constraints=8750 28.59/28.66 c nbDecision=36500 #constraints=8840 29.28/29.33 c nbDecision=37000 #constraints=8930 29.88/29.99 c nbDecision=37500 #constraints=9020 30.58/30.67 c nbDecision=38000 #constraints=9110 31.28/31.33 c nbDecision=38500 #constraints=9200 31.79/31.86 c nbDecision=39000 #constraints=9261 32.29/32.35 c nbDecision=39500 #constraints=9321 32.78/32.85 c nbDecision=40000 #constraints=9381 33.28/33.36 c nbDecision=40500 #constraints=9441 33.78/33.86 c nbDecision=41000 #constraints=9501 34.38/34.43 c nbDecision=41500 #constraints=9576 34.88/34.98 c nbDecision=42000 #constraints=9636 35.38/35.49 c nbDecision=42500 #constraints=9696 35.99/36.01 c nbDecision=43000 #constraints=9756 36.49/36.54 c nbDecision=43500 #constraints=9816 36.99/37.08 c nbDecision=44000 #constraints=9876 37.58/37.60 c nbDecision=44500 #constraints=9936 38.08/38.14 c nbDecision=45000 #constraints=9996 38.68/38.77 c nbDecision=45500 #constraints=10071 39.28/39.33 c nbDecision=46000 #constraints=10132 39.78/39.88 c nbDecision=46500 #constraints=10192 40.38/40.44 c nbDecision=47000 #constraints=10252 40.98/41.01 c nbDecision=47500 #constraints=10312 41.57/41.66 c nbDecision=48000 #constraints=10387 42.18/42.24 c nbDecision=48500 #constraints=10447 42.79/42.84 c nbDecision=49000 #constraints=10507 43.38/43.43 c nbDecision=49500 #constraints=10567 43.98/44.01 c nbDecision=50000 #constraints=10627 44.58/44.60 c nbDecision=50500 #constraints=10687 45.08/45.19 c nbDecision=51000 #constraints=10747 45.38/45.48 c restart after 51201 decisions 45.78/45.83 c nbDecision=51500 #constraints=10777 46.78/46.86 c nbDecision=52000 #constraints=10889 49.58/49.66 c nbDecision=52500 #constraints=11132 52.48/52.54 c nbDecision=53000 #constraints=11443 55.97/56.09 c nbDecision=53500 #constraints=11760 58.98/59.09 c nbDecision=54000 #constraints=12036 61.27/61.31 c nbDecision=54500 #constraints=12330 64.57/64.64 c nbDecision=55000 #constraints=12642 67.07/67.10 c nbDecision=55500 #constraints=12917 68.37/68.47 c nbDecision=56000 #constraints=13160 72.48/72.53 c nbDecision=56500 #constraints=13494 75.07/75.17 c nbDecision=57000 #constraints=13757 77.98/78.07 c nbDecision=57500 #constraints=14017 81.76/81.88 c nbDecision=58000 #constraints=14320 83.87/83.98 c nbDecision=58500 #constraints=14566 86.57/86.63 c nbDecision=59000 #constraints=14809 90.66/90.77 c nbDecision=59500 #constraints=15123 95.14/95.20 c nbDecision=60000 #constraints=15424 99.24/99.34 c nbDecision=60500 #constraints=15780 103.24/103.35 c nbDecision=61000 #constraints=16051 106.54/106.63 c nbDecision=61500 #constraints=16303 111.24/111.31 c nbDecision=62000 #constraints=16635 115.94/116.07 c nbDecision=62500 #constraints=16950 119.43/119.53 c nbDecision=63000 #constraints=17156 124.14/124.28 c nbDecision=63500 #constraints=17477 129.43/129.54 c nbDecision=64000 #constraints=17815 133.53/133.61 c nbDecision=64500 #constraints=18112 137.83/137.98 c nbDecision=65000 #constraints=18397 143.03/143.15 c nbDecision=65500 #constraints=18704 147.93/148.01 c nbDecision=66000 #constraints=19002 153.62/153.73 c nbDecision=66500 #constraints=19321 158.12/158.27 c nbDecision=67000 #constraints=19590 163.62/163.76 c nbDecision=67500 #constraints=19898 168.63/168.71 c nbDecision=68000 #constraints=20175 173.72/173.84 c nbDecision=68500 #constraints=20440 179.02/179.12 c nbDecision=69000 #constraints=20726 185.42/185.50 c nbDecision=69500 #constraints=21046 190.81/190.94 c nbDecision=70000 #constraints=21248 196.42/196.50 c nbDecision=70500 #constraints=21482 201.91/202.02 c nbDecision=71000 #constraints=21803 206.72/206.89 c nbDecision=71500 #constraints=22103 211.81/211.98 c nbDecision=72000 #constraints=22377 217.40/217.59 c nbDecision=72500 #constraints=22579 222.80/222.99 c nbDecision=73000 #constraints=22748 228.71/228.87 c nbDecision=73500 #constraints=22949 232.70/232.80 c nbDecision=74000 #constraints=23199 238.51/238.69 c nbDecision=74500 #constraints=23507 245.00/245.11 c nbDecision=75000 #constraints=23823 251.00/251.14 c nbDecision=75500 #constraints=24067 257.60/257.71 c nbDecision=76000 #constraints=24424 264.79/264.91 c nbDecision=76500 #constraints=24689 271.39/271.53 c nbDecision=77000 #constraints=24871 277.59/277.74 c nbDecision=77500 #constraints=25091 284.99/285.10 c nbDecision=78000 #constraints=25401 289.99/290.19 c nbDecision=78500 #constraints=25644 293.09/293.20 c nbDecision=79000 #constraints=25806 299.18/299.31 c nbDecision=79500 #constraints=26118 302.99/303.15 c nbDecision=80000 #constraints=26343 308.78/309.00 c nbDecision=80500 #constraints=26609 312.58/312.73 c nbDecision=81000 #constraints=26836 317.79/317.98 c nbDecision=81500 #constraints=27115 322.28/322.44 c nbDecision=82000 #constraints=27351 330.17/330.32 c nbDecision=82500 #constraints=27602 337.87/338.01 c nbDecision=83000 #constraints=27746 345.17/345.38 c nbDecision=83500 #constraints=27910 349.47/349.63 c nbDecision=84000 #constraints=28164 357.07/357.23 c nbDecision=84500 #constraints=28453 365.66/365.88 c nbDecision=85000 #constraints=28772 371.16/371.34 c nbDecision=85500 #constraints=29023 374.37/374.50 c nbDecision=86000 #constraints=29211 379.66/379.83 c nbDecision=86500 #constraints=29424 386.86/387.08 c nbDecision=87000 #constraints=29694 393.76/393.99 c nbDecision=87500 #constraints=29982 398.26/398.46 c nbDecision=88000 #constraints=30236 405.16/405.32 c nbDecision=88500 #constraints=30515 413.15/413.35 c nbDecision=89000 #constraints=30790 421.35/421.50 c nbDecision=89500 #constraints=31049 430.45/430.68 c nbDecision=90000 #constraints=31220 438.55/438.71 c nbDecision=90500 #constraints=31597 448.35/448.57 c nbDecision=91000 #constraints=31808 456.84/457.02 c nbDecision=91500 #constraints=32138 465.54/465.74 c nbDecision=92000 #constraints=32421 475.13/475.36 c nbDecision=92500 #constraints=32734 484.64/484.83 c nbDecision=93000 #constraints=33050 493.83/494.05 c nbDecision=93500 #constraints=33320 502.82/503.08 c nbDecision=94000 #constraints=33630 510.13/510.38 c nbDecision=94500 #constraints=33919 518.12/518.37 c nbDecision=95000 #constraints=34191 527.62/527.85 c nbDecision=95500 #constraints=34481 537.73/537.91 c nbDecision=96000 #constraints=34791 548.22/548.47 c nbDecision=96500 #constraints=35025 557.31/557.56 c nbDecision=97000 #constraints=35219 564.82/565.04 c nbDecision=97500 #constraints=35473 575.41/575.62 c nbDecision=98000 #constraints=35798 581.91/582.12 c nbDecision=98500 #constraints=36057 587.11/587.38 c nbDecision=99000 #constraints=36325 594.40/594.66 c nbDecision=99500 #constraints=36587 603.40/603.69 c nbDecision=100000 #constraints=36891 611.49/611.78 c nbDecision=100500 #constraints=37066 622.00/622.23 c nbDecision=101000 #constraints=37332 631.59/631.90 c nbDecision=101500 #constraints=37663 641.60/641.80 c nbDecision=102000 #constraints=38012 651.19/651.48 c restart after 102401 decisions 652.69/652.99 c nbDecision=102500 #constraints=38210 654.29/654.51 c nbDecision=103000 #constraints=38304 657.19/657.41 c nbDecision=103500 #constraints=38534 658.59/658.80 c nbDecision=104000 #constraints=38628 664.49/664.73 c nbDecision=104500 #constraints=39111 671.08/671.39 c nbDecision=105000 #constraints=39590 675.98/676.27 c nbDecision=105500 #constraints=39925 702.38/702.66 c nbDecision=106000 #constraints=40267 741.16/741.48 c nbDecision=106500 #constraints=40741 814.75/815.05 c nbDecision=107000 #constraints=41237 878.83/879.16 c nbDecision=107500 #constraints=41738 940.11/940.49 c nbDecision=108000 #constraints=42237 1002.90/1003.25 c nbDecision=108500 #constraints=42737 1067.87/1068.20 c nbDecision=109000 #constraints=43238 1111.16/1111.53 c nbDecision=109500 #constraints=43630 1136.35/1136.77 c nbDecision=110000 #constraints=44136 1161.05/1161.44 c nbDecision=110500 #constraints=44631 1187.44/1187.82 c nbDecision=111000 #constraints=45137 1213.23/1213.64 c nbDecision=111500 #constraints=45632 1240.53/1240.96 c nbDecision=112000 #constraints=46138 1267.22/1267.62 c nbDecision=112500 #constraints=46633 1294.81/1295.28 c nbDecision=113000 #constraints=47139 1322.70/1323.16 c nbDecision=113500 #constraints=47634 1350.90/1351.39 c nbDecision=114000 #constraints=48129 1380.49/1380.93 c nbDecision=114500 #constraints=48635 1409.58/1410.07 c nbDecision=115000 #constraints=49130 1439.48/1439.97 c nbDecision=115500 #constraints=49636 1469.66/1470.10 c nbDecision=116000 #constraints=50131 1500.86/1501.38 c nbDecision=116500 #constraints=50637 1532.05/1532.52 c nbDecision=117000 #constraints=51132 1562.74/1563.28 c nbDecision=117500 #constraints=51594 1583.44/1583.94 c nbDecision=118000 #constraints=51910 1615.92/1616.46 c nbDecision=118500 #constraints=52416 1648.51/1649.01 c nbDecision=119000 #constraints=52922 1681.51/1682.00 c nbDecision=119500 #constraints=53417 1715.80/1716.34 c nbDecision=120000 #constraints=53923 1749.38/1749.91 c nbDecision=120500 #constraints=54418 1784.18/1784.78 c nbDecision=121000 #constraints=54913 1800.08/1800.60 Received signal 15 1800.47/1801.01 1800.47/1801.01 s UNKNOWN 1800.47/1801.01 1800.47/1801.01 c user time= 1799.77 s 1800.47/1801.01 c system time= 0.725889 s 1800.47/1801.01 c wall clock time=1801.01
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-357044-1176852642 -o ROOT/results/node50/solver-357044-1176852642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357044-1176852642/instance-357044-1176852642.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.94 1.00 0.99 3/64 4497 /proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=1620 CPUtime=0 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 40109383 1658880 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 405 174 126 317 0 84 0 [startup+0.0433979 s] /proc/loadavg: 0.94 1.00 0.99 3/64 4497 /proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=2276 CPUtime=0.03 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 373 0 0 0 3 0 0 0 18 0 1 0 40109383 2330624 322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 569 322 131 317 0 248 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2276 [startup+0.101404 s] /proc/loadavg: 0.94 1.00 0.99 3/64 4497 /proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=3472 CPUtime=0.09 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 40109383 3555328 643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 868 644 131 317 0 547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3472 [startup+0.301421 s] /proc/loadavg: 0.94 1.00 0.99 3/64 4497 /proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=6904 CPUtime=0.29 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 1535 0 0 0 29 0 0 0 19 0 1 0 40109383 7069696 1484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 1726 1484 138 317 0 1405 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6904 [startup+0.701457 s] /proc/loadavg: 0.94 1.00 0.99 3/64 4497 /proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=7296 CPUtime=0.69 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 1640 0 0 0 69 0 0 0 22 0 1 0 40109383 7471104 1589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 1824 1589 139 317 0 1503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7296 [startup+1.50253 s] /proc/loadavg: 0.94 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1482360/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=8852 CPUtime=1.49 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 2017 0 0 0 149 0 0 0 25 0 1 0 40109383 9064448 1966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 2213 1966 139 317 0 1892 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8852 [startup+3.10167 s] /proc/loadavg: 0.94 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1480568/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=10980 CPUtime=3.09 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 2534 0 0 0 308 1 0 0 25 0 1 0 40109383 11243520 2483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 2745 2483 139 317 0 2424 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10980 [startup+6.30195 s] /proc/loadavg: 0.94 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1471352/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=20604 CPUtime=6.29 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 4966 0 0 0 626 3 0 0 25 0 1 0 40109383 21098496 4915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 5151 4915 139 317 0 4830 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20604 [startup+12.7015 s] /proc/loadavg: 0.95 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1458488/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=33056 CPUtime=12.68 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 7908 0 0 0 1264 4 0 0 25 0 1 0 40109383 33849344 7820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 8264 7820 139 317 0 7943 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33056 [startup+25.5016 s] /proc/loadavg: 0.96 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1437688/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=52860 CPUtime=25.49 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 12960 0 0 0 2541 8 0 0 25 0 1 0 40109383 54128640 12872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 13215 12872 139 317 0 12894 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52860 [startup+51.1019 s] /proc/loadavg: 0.97 1.00 0.99 3/65 4498 /proc/meminfo: memFree=1414136/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=77064 CPUtime=51.08 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 19002 0 0 0 5096 12 0 0 25 0 1 0 40109383 78913536 18842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 19266 18842 139 317 0 18945 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77064 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1382136/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=108292 CPUtime=102.24 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 26840 0 0 0 10207 17 0 0 25 0 1 0 40109383 110891008 26680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 27073 26680 139 317 0 26752 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 108292 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1356600/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=134528 CPUtime=162.22 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 33273 0 0 0 16201 21 0 0 25 0 1 0 40109383 137756672 33113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 33632 33113 139 317 0 33311 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 134528 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1333880/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=161300 CPUtime=222.2 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 39004 0 0 0 22195 25 0 0 25 0 1 0 40109383 165171200 38701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 40325 38701 139 317 0 40004 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 161300 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1318456/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=175880 CPUtime=282.19 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 42902 0 0 0 28190 29 0 0 25 0 1 0 40109383 180101120 42599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 43970 42599 139 317 0 43649 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 175880 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1300536/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=193812 CPUtime=342.17 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 47311 0 0 0 34184 33 0 0 25 0 1 0 40109383 198463488 47008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 48453 47008 139 317 0 48132 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 193812 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1284856/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=208468 CPUtime=402.15 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 51308 0 0 0 40178 37 0 0 25 0 1 0 40109383 213471232 51005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 52117 51005 139 317 0 51796 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 208468 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4498 /proc/meminfo: memFree=1272888/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=219160 CPUtime=462.14 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 54213 0 0 0 46173 41 0 0 25 0 1 0 40109383 224419840 53910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 54790 53910 139 317 0 54469 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 219160 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4498 /proc/meminfo: memFree=1259768/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=232248 CPUtime=522.12 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 57507 0 0 0 52169 43 0 0 25 0 1 0 40109383 237821952 57171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 58062 57171 139 317 0 57741 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 232248 [startup+582.302 s] /proc/loadavg: 1.03 1.01 1.00 2/65 4498 /proc/meminfo: memFree=1245944/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=257064 CPUtime=582.11 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 63112 0 0 0 58164 47 0 0 25 0 1 0 40109383 263233536 60664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 64266 60664 139 317 0 63945 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 257064 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1230456/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=274132 CPUtime=642.1 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 66914 0 0 0 64161 49 0 0 25 0 1 0 40109383 280711168 64466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 68533 64466 139 317 0 68212 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 274132 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1199288/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=305732 CPUtime=882.02 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 74984 0 0 0 88149 53 0 0 25 0 1 0 40109383 313069568 72253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 76433 72253 139 317 0 76112 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 305732 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1195000/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=309592 CPUtime=942 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 76050 0 0 0 94147 53 0 0 25 0 1 0 40109383 317022208 73319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 77398 73319 139 317 0 77077 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 309592 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1190328/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=314160 CPUtime=1001.99 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 77199 0 0 0 100145 54 0 0 25 0 1 0 40109383 321699840 74468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 78540 74468 139 317 0 78219 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 314160 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1186488/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=317736 CPUtime=1061.97 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 78172 0 0 0 106143 54 0 0 25 0 1 0 40109383 325361664 75441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 79434 75441 139 317 0 79113 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 317736 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1180856/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=322992 CPUtime=1121.96 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 79589 0 0 0 112141 55 0 0 25 0 1 0 40109383 330743808 76858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 80748 76858 139 317 0 80427 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 322992 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1171320/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=331508 CPUtime=1181.94 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 81972 0 0 0 118138 56 0 0 25 0 1 0 40109383 339464192 79241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 82877 79241 139 317 0 82556 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 331508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1162360/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=339548 CPUtime=1241.93 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 84188 0 0 0 124135 58 0 0 25 0 1 0 40109383 347697152 81457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 84887 81457 139 317 0 84566 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 339548 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1153592/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=347324 CPUtime=1301.92 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 86349 0 0 0 130133 59 0 0 25 0 1 0 40109383 355659776 83618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 86831 83618 139 317 0 86510 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 347324 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1145016/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=355924 CPUtime=1361.9 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 88499 0 0 0 136130 60 0 0 25 0 1 0 40109383 364466176 85768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 88981 85768 139 317 0 88660 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 355924 [startup+1422.3 s] /proc/loadavg: 1.08 1.02 1.01 2/65 4498 /proc/meminfo: memFree=1136440/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=365616 CPUtime=1421.88 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 91015 0 0 0 142126 62 0 0 25 0 1 0 40109383 374390784 87888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 91404 87888 139 317 0 91083 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 365616 [startup+1482.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 4498 /proc/meminfo: memFree=1128632/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=372484 CPUtime=1481.87 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 92988 0 0 0 148123 64 0 0 25 0 1 0 40109383 381423616 89861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 93121 89861 139 317 0 92800 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 372484 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1120824/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=379468 CPUtime=1541.84 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 94923 0 0 0 154119 65 0 0 25 0 1 0 40109383 388575232 91796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 94867 91796 139 317 0 94546 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 379468 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1113592/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=385932 CPUtime=1601.82 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 96754 0 0 0 160115 67 0 0 25 0 1 0 40109383 395194368 93627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 96483 93627 139 317 0 96162 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 385932 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1106104/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=392516 CPUtime=1661.81 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 98621 0 0 0 166113 68 0 0 25 0 1 0 40109383 401936384 95461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 98129 95461 139 317 0 97808 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 392516 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1099320/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=413080 CPUtime=1721.79 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 103477 0 0 0 172109 70 0 0 25 0 1 0 40109383 422993920 97717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 103270 97717 139 317 0 102949 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 413080 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1090808/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=425648 CPUtime=1781.78 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 106659 0 0 0 178106 72 0 0 25 0 1 0 40109383 435863552 99274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 106412 99274 139 317 0 106091 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 425648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1088440/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=431072 CPUtime=1800.08 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 108052 0 0 0 179936 72 0 0 25 0 1 0 40109383 441417728 99854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 107768 99854 139 317 0 107447 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 431072 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 1.00 1.00 2/65 4498 /proc/meminfo: memFree=1088440/2055920 swapFree=4183816/4192956 [pid=4497] ppid=4495 vsize=431072 CPUtime=1800.47 /proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 108056 0 0 0 179975 72 0 0 25 0 1 0 40109383 441417728 99858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4497/statm: 107768 99858 139 317 0 107447 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (KiB) 431072 Child status: 0 Real time (s): 1801.09 CPU time (s): 1800.57 CPU user time (s): 1799.78 CPU system time (s): 0.789879 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 431072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.789879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108072 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= 4000 runsolver used 1.36479 second user time and 3.58645 second system time The end
Begin job on node50 on Tue Apr 17 23:30:42 UTC 2007 IDJOB= 357044 IDBENCH= 1829 IDSOLVER= 172 FILE ID= node50/357044-1176852642 PBS_JOBID= 4590233 Free space on /tmp= 66542 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb COMMAND LINE= oree /tmp/evaluation/357044-1176852642/instance-357044-1176852642.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-357044-1176852642 -o ROOT/results/node50/solver-357044-1176852642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357044-1176852642/instance-357044-1176852642.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b55f7a8b0d45bfbc16cf27babcf41177 RANDOM SEED= 433660581 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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: 1489112 kB Buffers: 40476 kB Cached: 451224 kB SwapCached: 3272 kB Active: 162944 kB Inactive: 338560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1489112 kB SwapTotal: 4192956 kB SwapFree: 4183816 kB Dirty: 1884 kB Writeback: 0 kB Mapped: 15548 kB Slab: 51328 kB Committed_AS: 998976 kB PageTables: 1460 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= 66542 MiB End job on node50 on Wed Apr 18 00:00:45 UTC 2007