Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.49 | 1800.95 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370c.opb |
MD5SUM | 45fcfcff3cc1d21ff3924d5043b52f30 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4871751128 |
Best CPU time to get the best result obtained on this benchmark | 1804.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4871751128 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29652813254765 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29652813254765 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.35 c ...done 2.29/2.35 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.27 c res. mode=mod 4.19/4.27 c VSIDS like heuristics 4.19/4.27 c complete search running 5.49/5.56 c restart after 401 decisions 5.68/5.78 c nbDecision=500 #constraints=5301 6.39/6.47 c restart after 801 decisions 6.88/6.93 c nbDecision=1000 #constraints=5301 7.98/8.06 c nbDecision=1500 #constraints=5301 8.18/8.29 c restart after 1601 decisions 9.18/9.20 c nbDecision=2000 #constraints=5301 10.28/10.33 c nbDecision=2500 #constraints=5301 11.38/11.47 c nbDecision=3000 #constraints=5301 11.88/11.93 c restart after 3201 decisions 12.58/12.61 c nbDecision=3500 #constraints=5301 13.68/13.74 c nbDecision=4000 #constraints=5301 14.78/14.87 c nbDecision=4500 #constraints=5301 15.88/15.99 c nbDecision=5000 #constraints=5301 17.08/17.12 c nbDecision=5500 #constraints=5301 18.18/18.24 c nbDecision=6000 #constraints=5301 19.08/19.14 c restart after 6401 decisions 19.28/19.36 c nbDecision=6500 #constraints=5301 20.39/20.48 c nbDecision=7000 #constraints=5301 21.59/21.61 c nbDecision=7500 #constraints=5301 22.69/22.74 c nbDecision=8000 #constraints=5301 23.79/23.87 c nbDecision=8500 #constraints=5301 24.99/25.01 c nbDecision=9000 #constraints=5301 26.09/26.14 c nbDecision=9500 #constraints=5301 27.19/27.27 c nbDecision=10000 #constraints=5301 28.39/28.40 c nbDecision=10500 #constraints=5301 29.49/29.53 c nbDecision=11000 #constraints=5301 30.59/30.65 c nbDecision=11500 #constraints=5301 31.68/31.75 c nbDecision=12000 #constraints=5301 32.78/32.89 c nbDecision=12500 #constraints=5302 33.48/33.56 c restart after 12801 decisions 33.98/34.01 c nbDecision=13000 #constraints=5302 35.08/35.15 c nbDecision=13500 #constraints=5302 36.18/36.28 c nbDecision=14000 #constraints=5302 37.38/37.40 c nbDecision=14500 #constraints=5302 38.48/38.53 c nbDecision=15000 #constraints=5302 39.58/39.65 c nbDecision=15500 #constraints=5302 40.68/40.77 c nbDecision=16000 #constraints=5302 41.78/41.89 c nbDecision=16500 #constraints=5302 42.97/43.02 c nbDecision=17000 #constraints=5302 44.07/44.14 c nbDecision=17500 #constraints=5302 45.17/45.27 c nbDecision=18000 #constraints=5302 46.37/46.40 c nbDecision=18500 #constraints=5302 47.47/47.52 c nbDecision=19000 #constraints=5302 48.57/48.65 c nbDecision=19500 #constraints=5302 49.67/49.77 c nbDecision=20000 #constraints=5302 50.87/50.91 c nbDecision=20500 #constraints=5303 81.36/81.43 c nbDecision=21000 #constraints=5754 82.46/82.54 c nbDecision=21500 #constraints=5754 83.56/83.66 c nbDecision=22000 #constraints=5754 84.66/84.77 c nbDecision=22500 #constraints=5754 85.86/85.97 c nbDecision=23000 #constraints=5758 86.96/87.08 c nbDecision=23500 #constraints=5758 88.06/88.18 c nbDecision=24000 #constraints=5758 89.16/89.29 c nbDecision=24500 #constraints=5758 90.36/90.48 c nbDecision=25000 #constraints=5761 91.46/91.58 c nbDecision=25500 #constraints=5761 91.76/91.81 c restart after 25601 decisions 92.85/92.91 c nbDecision=26000 #constraints=5761 93.95/94.03 c nbDecision=26500 #constraints=5761 95.05/95.16 c nbDecision=27000 #constraints=5761 96.15/96.29 c nbDecision=27500 #constraints=5761 97.35/97.41 c nbDecision=28000 #constraints=5761 98.45/98.53 c nbDecision=28500 #constraints=5761 99.55/99.65 c nbDecision=29000 #constraints=5761 100.65/100.77 c nbDecision=29500 #constraints=5761 101.75/101.89 c nbDecision=30000 #constraints=5761 102.95/103.01 c nbDecision=30500 #constraints=5761 104.05/104.14 c nbDecision=31000 #constraints=5761 105.25/105.30 c nbDecision=31500 #constraints=5761 106.45/106.56 c nbDecision=32000 #constraints=5761 107.75/107.83 c nbDecision=32500 #constraints=5761 109.05/109.10 c nbDecision=33000 #constraints=5761 110.25/110.34 c nbDecision=33500 #constraints=5761 111.35/111.46 c nbDecision=34000 #constraints=5761 112.45/112.57 c nbDecision=34500 #constraints=5761 113.55/113.68 c nbDecision=35000 #constraints=5761 114.65/114.79 c nbDecision=35500 #constraints=5761 115.75/115.89 c nbDecision=36000 #constraints=5761 116.85/116.99 c nbDecision=36500 #constraints=5761 117.95/118.09 c nbDecision=37000 #constraints=5761 119.15/119.20 c nbDecision=37500 #constraints=5761 120.15/120.29 c nbDecision=38000 #constraints=5761 121.25/121.39 c nbDecision=38500 #constraints=5761 122.35/122.47 c nbDecision=39000 #constraints=5761 123.55/123.66 c nbDecision=39500 #constraints=5764 124.65/124.76 c nbDecision=40000 #constraints=5764 125.74/125.85 c nbDecision=40500 #constraints=5764 126.85/126.98 c nbDecision=41000 #constraints=5765 127.94/128.08 c nbDecision=41500 #constraints=5765 129.04/129.19 c nbDecision=42000 #constraints=5766 136.45/136.55 c nbDecision=42500 #constraints=5936 138.05/138.15 c nbDecision=43000 #constraints=5946 139.65/139.72 c nbDecision=43500 #constraints=5957 147.25/147.32 c nbDecision=44000 #constraints=6128 148.94/149.01 c nbDecision=44500 #constraints=6141 151.55/151.64 c nbDecision=45000 #constraints=6179 166.84/166.96 c nbDecision=45500 #constraints=6398 170.34/170.44 c nbDecision=46000 #constraints=6423 173.04/173.16 c nbDecision=46500 #constraints=6450 188.84/188.92 c nbDecision=47000 #constraints=6689 191.63/191.72 c nbDecision=47500 #constraints=6712 193.44/193.56 c nbDecision=48000 #constraints=6720 203.73/203.88 c nbDecision=48500 #constraints=6864 205.43/205.58 c nbDecision=49000 #constraints=6870 212.13/212.23 c nbDecision=49500 #constraints=6979 213.52/213.68 c nbDecision=50000 #constraints=6986 248.42/248.51 c nbDecision=50500 #constraints=7390 260.12/260.23 c nbDecision=51000 #constraints=7480 263.11/263.27 c restart after 51201 decisions 265.41/265.52 c nbDecision=51500 #constraints=7504 266.61/266.71 c nbDecision=52000 #constraints=7504 267.81/267.90 c nbDecision=52500 #constraints=7504 268.91/269.09 c nbDecision=53000 #constraints=7504 270.21/270.30 c nbDecision=53500 #constraints=7504 271.31/271.47 c nbDecision=54000 #constraints=7504 272.51/272.67 c nbDecision=54500 #constraints=7504 273.71/273.84 c nbDecision=55000 #constraints=7504 274.91/275.01 c nbDecision=55500 #constraints=7504 276.01/276.19 c nbDecision=56000 #constraints=7504 277.21/277.35 c nbDecision=56500 #constraints=7504 278.41/278.54 c nbDecision=57000 #constraints=7504 279.71/279.84 c nbDecision=57500 #constraints=7504 281.01/281.16 c nbDecision=58000 #constraints=7504 282.31/282.45 c nbDecision=58500 #constraints=7504 283.61/283.80 c nbDecision=59000 #constraints=7504 284.81/284.96 c nbDecision=59500 #constraints=7504 286.01/286.14 c nbDecision=60000 #constraints=7504 287.21/287.30 c nbDecision=60500 #constraints=7504 288.41/288.51 c nbDecision=61000 #constraints=7504 289.51/289.68 c nbDecision=61500 #constraints=7504 290.70/290.85 c nbDecision=62000 #constraints=7504 291.90/292.02 c nbDecision=62500 #constraints=7504 293.10/293.20 c nbDecision=63000 #constraints=7504 294.20/294.36 c nbDecision=63500 #constraints=7504 295.40/295.51 c nbDecision=64000 #constraints=7504 296.50/296.67 c nbDecision=64500 #constraints=7504 297.70/297.89 c nbDecision=65000 #constraints=7504 298.90/299.03 c nbDecision=65500 #constraints=7504 300.00/300.18 c nbDecision=66000 #constraints=7504 301.21/301.33 c nbDecision=66500 #constraints=7504 302.31/302.47 c nbDecision=67000 #constraints=7504 303.50/303.60 c nbDecision=67500 #constraints=7504 306.50/306.60 c nbDecision=68000 #constraints=7522 308.30/308.45 c nbDecision=68500 #constraints=7530 324.30/324.48 c nbDecision=69000 #constraints=7755 325.60/325.70 c nbDecision=69500 #constraints=7757 327.99/328.17 c nbDecision=70000 #constraints=7772 329.80/329.96 c nbDecision=70500 #constraints=7782 340.09/340.20 c nbDecision=71000 #constraints=7886 342.29/342.49 c nbDecision=71500 #constraints=7896 344.30/344.45 c nbDecision=72000 #constraints=7909 352.79/352.93 c nbDecision=72500 #constraints=8031 379.49/379.66 c nbDecision=73000 #constraints=8300 383.29/383.47 c nbDecision=73500 #constraints=8322 400.19/400.34 c nbDecision=74000 #constraints=8484 431.48/431.67 c nbDecision=74500 #constraints=8709 441.57/441.73 c nbDecision=75000 #constraints=8770 443.97/444.12 c nbDecision=75500 #constraints=8779 447.97/448.16 c nbDecision=76000 #constraints=8822 477.76/477.91 c nbDecision=76500 #constraints=9042 483.77/483.92 c nbDecision=77000 #constraints=9075 485.97/486.19 c nbDecision=77500 #constraints=9082 501.95/502.11 c nbDecision=78000 #constraints=9232 539.45/539.67 c nbDecision=78500 #constraints=9462 550.75/550.94 c nbDecision=79000 #constraints=9521 553.84/554.05 c nbDecision=79500 #constraints=9535 555.54/555.71 c nbDecision=80000 #constraints=9540 588.24/588.40 c nbDecision=80500 #constraints=9777 593.93/594.11 c nbDecision=81000 #constraints=9804 596.63/596.89 c nbDecision=81500 #constraints=9817 614.63/614.84 c nbDecision=82000 #constraints=9980 677.81/678.09 c nbDecision=82500 #constraints=10429 698.61/698.81 c nbDecision=83000 #constraints=10528 706.51/706.79 c nbDecision=83500 #constraints=10568 709.61/709.87 c nbDecision=84000 #constraints=10580 736.40/736.66 c nbDecision=84500 #constraints=10730 741.90/742.16 c nbDecision=85000 #constraints=10750 761.99/762.26 c nbDecision=85500 #constraints=10892 767.19/767.41 c nbDecision=86000 #constraints=10912 788.49/788.80 c nbDecision=86500 #constraints=11058 796.68/796.96 c nbDecision=87000 #constraints=11091 800.08/800.37 c nbDecision=87500 #constraints=11103 814.98/815.24 c nbDecision=88000 #constraints=11185 869.96/870.28 c nbDecision=88500 #constraints=11406 883.46/883.73 c nbDecision=89000 #constraints=11451 889.16/889.43 c nbDecision=89500 #constraints=11482 902.76/903.02 c nbDecision=90000 #constraints=11566 917.55/917.87 c nbDecision=90500 #constraints=11642 984.93/985.26 c nbDecision=91000 #constraints=11957 996.93/997.26 c nbDecision=91500 #constraints=12001 1001.63/1001.97 c nbDecision=92000 #constraints=12018 1013.63/1013.98 c nbDecision=92500 #constraints=12071 1043.72/1044.02 c nbDecision=93000 #constraints=12188 1048.72/1049.02 c nbDecision=93500 #constraints=12203 1051.12/1051.47 c nbDecision=94000 #constraints=12208 1067.91/1068.26 c nbDecision=94500 #constraints=12311 1073.11/1073.46 c nbDecision=95000 #constraints=12327 1106.21/1106.58 c nbDecision=95500 #constraints=12526 1112.30/1112.69 c nbDecision=96000 #constraints=12548 1115.30/1115.66 c nbDecision=96500 #constraints=12558 1126.80/1127.10 c nbDecision=97000 #constraints=12606 1132.20/1132.56 c nbDecision=97500 #constraints=12637 1175.89/1176.21 c nbDecision=98000 #constraints=12820 1188.18/1188.52 c nbDecision=98500 #constraints=12853 1191.59/1191.95 c nbDecision=99000 #constraints=12860 1235.68/1236.07 c nbDecision=99500 #constraints=13002 1257.56/1257.90 c nbDecision=100000 #constraints=13058 1262.16/1262.57 c nbDecision=100500 #constraints=13068 1295.55/1295.98 c nbDecision=101000 #constraints=13230 1376.94/1377.31 c nbDecision=101500 #constraints=13571 1422.32/1422.78 c nbDecision=102000 #constraints=13727 1437.62/1438.02 c restart after 102401 decisions 1446.72/1447.17 c nbDecision=102500 #constraints=13784 1448.12/1448.54 c nbDecision=103000 #constraints=13784 1449.52/1449.92 c nbDecision=103500 #constraints=13784 1450.92/1451.34 c nbDecision=104000 #constraints=13784 1452.32/1452.76 c nbDecision=104500 #constraints=13784 1453.62/1454.07 c nbDecision=105000 #constraints=13784 1455.02/1455.46 c nbDecision=105500 #constraints=13784 1456.42/1456.82 c nbDecision=106000 #constraints=13784 1457.72/1458.18 c nbDecision=106500 #constraints=13784 1459.12/1459.58 c nbDecision=107000 #constraints=13784 1460.42/1460.88 c nbDecision=107500 #constraints=13784 1461.81/1462.29 c nbDecision=108000 #constraints=13784 1463.21/1463.67 c nbDecision=108500 #constraints=13784 1464.82/1465.24 c nbDecision=109000 #constraints=13784 1466.21/1466.70 c nbDecision=109500 #constraints=13784 1467.81/1468.27 c nbDecision=110000 #constraints=13784 1469.31/1469.72 c nbDecision=110500 #constraints=13784 1470.71/1471.11 c nbDecision=111000 #constraints=13784 1472.01/1472.44 c nbDecision=111500 #constraints=13784 1473.41/1473.85 c nbDecision=112000 #constraints=13784 1474.81/1475.28 c nbDecision=112500 #constraints=13784 1476.21/1476.64 c nbDecision=113000 #constraints=13784 1477.61/1478.01 c nbDecision=113500 #constraints=13784 1478.91/1479.32 c nbDecision=114000 #constraints=13784 1480.41/1480.81 c nbDecision=114500 #constraints=13784 1481.71/1482.12 c nbDecision=115000 #constraints=13784 1483.11/1483.55 c nbDecision=115500 #constraints=13784 1484.71/1485.16 c nbDecision=116000 #constraints=13784 1486.11/1486.51 c nbDecision=116500 #constraints=13784 1487.51/1487.92 c nbDecision=117000 #constraints=13784 1488.81/1489.28 c nbDecision=117500 #constraints=13784 1490.31/1490.75 c nbDecision=118000 #constraints=13784 1491.61/1492.04 c nbDecision=118500 #constraints=13784 1495.31/1495.74 c nbDecision=119000 #constraints=13793 1499.21/1499.67 c nbDecision=119500 #constraints=13803 1512.91/1513.38 c nbDecision=120000 #constraints=13909 1569.69/1570.10 c nbDecision=120500 #constraints=14170 1657.28/1657.73 c nbDecision=121000 #constraints=14500 1708.46/1708.93 c nbDecision=121500 #constraints=14659 1726.65/1727.18 c nbDecision=122000 #constraints=14716 1729.86/1730.35 c nbDecision=122500 #constraints=14722 1739.94/1740.48 c nbDecision=123000 #constraints=14788 1777.84/1778.39 c nbDecision=123500 #constraints=14946 1784.73/1785.21 c nbDecision=124000 #constraints=14964 1788.33/1788.81 c nbDecision=124500 #constraints=14975 1800.04/1800.50 Received signal 15 1800.14/1800.68 1800.14/1800.68 s UNKNOWN 1800.14/1800.68 1800.14/1800.68 c user time= 1798.9 s 1800.14/1800.68 c system time= 1.3228 s 1800.14/1800.68 c wall clock time=1800.68
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-357222-1176991666 -o ROOT/results/node60/solver-357222-1176991666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357222-1176991666/instance-357222-1176991666.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.91 0.95 0.90 3/64 12468 /proc/meminfo: memFree=1257024/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1468 CPUtime=0 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147076654 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 367 161 127 317 0 46 0 [startup+0.0589719 s] /proc/loadavg: 0.91 0.95 0.90 3/64 12468 /proc/meminfo: memFree=1257024/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=2400 CPUtime=0.05 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 480 0 0 0 5 0 0 0 18 0 1 0 147076654 2457600 364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 600 364 127 317 0 279 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2400 [startup+0.101976 s] /proc/loadavg: 0.91 0.95 0.90 3/64 12468 /proc/meminfo: memFree=1257024/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=3440 CPUtime=0.09 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 804 0 0 0 9 0 0 0 18 0 1 0 147076654 3522560 559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 860 560 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301994 s] /proc/loadavg: 0.91 0.95 0.90 3/64 12468 /proc/meminfo: memFree=1257024/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=5520 CPUtime=0.29 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 1653 0 0 0 28 1 0 0 19 0 1 0 147076654 5652480 1151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 1380 1151 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701034 s] /proc/loadavg: 0.91 0.95 0.90 3/64 12468 /proc/meminfo: memFree=1257024/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=9548 CPUtime=0.69 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 147076654 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830969 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50111 s] /proc/loadavg: 0.91 0.95 0.90 2/65 12469 /proc/meminfo: memFree=1244936/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=25676 CPUtime=1.49 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 6409 0 0 0 147 2 0 0 25 0 1 0 147076654 26292224 5394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 6419 5394 131 317 0 6098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25676 [startup+3.1013 s] /proc/loadavg: 0.92 0.95 0.90 2/65 12469 /proc/meminfo: memFree=1226120/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=54412 CPUtime=3.09 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 13470 0 0 0 303 6 0 0 25 0 1 0 147076654 55717888 12455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 13603 12455 137 317 0 13282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54412 [startup+6.30158 s] /proc/loadavg: 0.92 0.95 0.90 2/65 12469 /proc/meminfo: memFree=1202760/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=59032 CPUtime=6.28 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 14631 0 0 0 622 6 0 0 25 0 1 0 147076654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 59032 [startup+12.7012 s] /proc/loadavg: 0.93 0.96 0.91 2/65 12469 /proc/meminfo: memFree=1202888/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=59032 CPUtime=12.68 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 14631 0 0 0 1262 6 0 0 25 0 1 0 147076654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59032 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.91 2/65 12469 /proc/meminfo: memFree=1202952/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=59032 CPUtime=25.49 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 14631 0 0 0 2542 7 0 0 25 0 1 0 147076654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59032 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.91 2/65 12469 /proc/meminfo: memFree=1202568/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=60528 CPUtime=51.07 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 14950 0 0 0 5100 7 0 0 25 0 1 0 147076654 61980672 13898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 15132 13898 139 317 0 14811 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60528 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/65 12469 /proc/meminfo: memFree=1140616/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=127756 CPUtime=102.26 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 30279 0 0 0 10215 11 0 0 25 0 1 0 147076654 130822144 29211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 31939 29211 170 317 0 31618 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 127756 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=1055752/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=221396 CPUtime=162.24 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 51679 0 0 0 16204 20 0 0 25 0 1 0 147076654 226709504 50576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 55349 50576 170 317 0 55028 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 221396 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=953800/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=335508 CPUtime=222.23 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 77006 0 0 0 22193 30 0 0 25 0 1 0 147076654 343560192 75870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 83877 75870 170 317 0 83556 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 335508 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=911176/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=381836 CPUtime=282.21 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 87581 0 0 0 28188 33 0 0 25 0 1 0 147076654 391000064 86436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 95459 86436 170 317 0 95138 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 381836 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=840712/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=473780 CPUtime=342.19 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 105198 0 0 0 34180 39 0 0 25 0 1 0 147076654 485150720 104033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 118445 104033 170 317 0 118124 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 473780 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=770760/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=546268 CPUtime=402.18 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 122798 0 0 0 40172 46 0 0 25 0 1 0 147076654 559378432 121622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 136567 121622 170 317 0 136246 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 546268 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=718728/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=598512 CPUtime=462.16 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 135756 0 0 0 46165 51 0 0 25 0 1 0 147076654 612876288 134534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 149628 134534 170 317 0 149307 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 598512 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=668872/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=649764 CPUtime=522.15 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 148275 0 0 0 52160 55 0 0 25 0 1 0 147076654 665358336 147021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 162441 147021 170 317 0 162120 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 649764 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=627976/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=695536 CPUtime=582.13 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 158428 0 0 0 58155 58 0 0 25 0 1 0 147076654 712228864 157147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 173884 157147 170 317 0 173563 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 695536 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12469 /proc/meminfo: memFree=525512/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=839648 CPUtime=642.12 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 183926 0 0 0 64144 68 0 0 25 0 1 0 147076654 859799552 182617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 209912 182617 170 317 0 209591 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 839648 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.11 1.02 0.93 2/65 12469 /proc/meminfo: memFree=311112/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1057672 CPUtime=1002.03 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 237557 0 0 0 100115 88 0 0 25 0 1 0 147076654 1083056128 236089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 264418 236089 170 317 0 264097 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1057672 [startup+1062.3 s] /proc/loadavg: 1.08 1.03 0.93 2/65 12469 /proc/meminfo: memFree=281480/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1088728 CPUtime=1062.02 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 245081 0 0 0 106110 92 0 0 25 0 1 0 147076654 1114857472 243608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 272182 243608 170 317 0 271861 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1088728 [startup+1122.3 s] /proc/loadavg: 1.03 1.02 0.93 2/65 12469 /proc/meminfo: memFree=244232/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1125940 CPUtime=1122.01 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 254357 0 0 0 112105 96 0 0 25 0 1 0 147076654 1152962560 252841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 281485 252841 170 317 0 281164 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1125940 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 0.93 2/65 12469 /proc/meminfo: memFree=215816/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1155592 CPUtime=1181.99 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 261487 0 0 0 118101 98 0 0 25 0 1 0 147076654 1183326208 259964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713867 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 288898 259964 170 317 0 288577 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1155592 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.93 2/65 12469 /proc/meminfo: memFree=194440/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1177272 CPUtime=1241.97 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 266767 0 0 0 124097 100 0 0 25 0 1 0 147076654 1205526528 265240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 294318 265240 170 317 0 293997 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1177272 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=165896/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1206280 CPUtime=1301.96 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 273848 0 0 0 130093 103 0 0 25 0 1 0 147076654 1235230720 272312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 301570 272312 170 317 0 301249 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1206280 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=137672/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1235840 CPUtime=1361.94 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 280971 0 0 0 136088 106 0 0 25 0 1 0 147076654 1265500160 279409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 308960 279409 170 317 0 308639 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1235840 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=113928/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1262180 CPUtime=1421.93 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 286883 0 0 0 142086 107 0 0 25 0 1 0 147076654 1292472320 285307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717775 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 315545 285307 170 317 0 315224 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1262180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=107592/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1269048 CPUtime=1481.91 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 288441 0 0 0 148083 108 0 0 25 0 1 0 147076654 1299505152 286859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 317262 286859 170 317 0 316941 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1269048 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=15496/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1487064 CPUtime=1541.89 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 319313 0 0 0 154069 120 0 0 25 0 1 0 147076654 1522753536 317721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 371766 317721 170 317 0 371445 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1487064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=15880/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1516632 CPUtime=1601.88 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 325773 0 0 0 160065 123 0 0 25 0 1 0 147076654 1553031168 324181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 379158 324181 170 317 0 378837 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1516632 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=16200/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1542552 CPUtime=1661.87 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 332947 0 0 0 166061 126 0 0 25 0 1 0 147076654 1579573248 331343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 385638 331343 170 317 0 385317 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1542552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=16264/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1564968 CPUtime=1721.85 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 337957 0 0 0 172058 127 0 0 25 0 1 0 147076654 1602527232 336345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 391242 336345 170 317 0 390921 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1564968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=15624/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1595620 CPUtime=1781.83 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 344683 0 0 0 178053 130 0 0 25 0 1 0 147076654 1633914880 343068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 398905 343069 170 317 0 398584 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1595620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12469 /proc/meminfo: memFree=15304/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1606332 CPUtime=1800.04 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 348454 0 0 0 179872 132 0 0 25 0 1 0 147076654 1644883968 346837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710852 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 401583 346837 170 317 0 401262 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1606332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.93 2/66 12470 /proc/meminfo: memFree=15296/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=1606332 CPUtime=1800.14 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194304 348457 0 0 0 179882 132 0 0 25 0 1 0 147076654 1644883968 346840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 401583 346840 170 317 0 401262 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 1606332 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.93 2/66 12470 /proc/meminfo: memFree=15296/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=0 CPUtime=1800.33 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194308 348473 0 0 0 179894 139 0 0 25 0 1 0 147076654 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.93 2/66 12470 /proc/meminfo: memFree=15296/2055920 swapFree=4181684/4192956 [pid=12468] ppid=12466 vsize=0 CPUtime=1800.43 /proc/12468/stat : 12468 (oree) R 12466 12468 12041 0 -1 4194308 348473 0 0 0 179894 149 0 0 25 0 1 0 147076654 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12468/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.49 CPU user time (s): 1798.94 CPU system time (s): 1.54277 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1606332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.54276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 348473 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= 2338 runsolver used 1.38979 second user time and 3.59145 second system time The end
Begin job on node60 on Thu Apr 19 14:07:47 UTC 2007 IDJOB= 357222 IDBENCH= 2283 IDSOLVER= 172 FILE ID= node60/357222-1176991666 PBS_JOBID= 4630431 Free space on /tmp= 66408 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb COMMAND LINE= oree /tmp/evaluation/357222-1176991666/instance-357222-1176991666.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-357222-1176991666 -o ROOT/results/node60/solver-357222-1176991666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357222-1176991666/instance-357222-1176991666.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 45fcfcff3cc1d21ff3924d5043b52f30 RANDOM SEED= 692819744 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1257512 kB Buffers: 36852 kB Cached: 686660 kB SwapCached: 5040 kB Active: 309964 kB Inactive: 424564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1257512 kB SwapTotal: 4192956 kB SwapFree: 4181684 kB Dirty: 9904 kB Writeback: 0 kB Mapped: 15480 kB Slab: 49844 kB Committed_AS: 1584236 kB PageTables: 1464 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= 66408 MiB End job on node60 on Thu Apr 19 14:37:50 UTC 2007