Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.33 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb |
MD5SUM | ba85c504e75c36f184b41f40c4eddd0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.71252 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8460 |
Total number of constraints | 216 |
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 | 216 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3210 |
Number of terms in the objective function | 5160 |
Biggest coefficient in the objective function | 17864 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 528383 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 528383 |
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.19/0.24 c ...done 0.19/0.24 c #vars=8460 #constraints=250 hasObjective=yes 0.39/0.47 c res. mode=mod 0.39/0.47 c VSIDS like heuristics 0.39/0.47 c complete search running 0.59/0.60 c restart after 401 decisions 0.59/0.61 c nbDecision=500 #constraints=355 0.79/0.85 c restart after 801 decisions 0.89/0.93 c nbDecision=1000 #constraints=644 1.29/1.40 c nbDecision=1500 #constraints=1005 1.39/1.44 c restart after 1601 decisions 1.59/1.65 c nbDecision=2000 #constraints=1229 1.99/2.06 c nbDecision=2500 #constraints=1729 2.69/2.79 c nbDecision=3000 #constraints=2210 2.89/2.98 c restart after 3201 decisions 3.39/3.43 c nbDecision=3500 #constraints=2563 4.69/4.75 c nbDecision=4000 #constraints=3001 6.29/6.36 c nbDecision=4500 #constraints=3433 8.19/8.21 c nbDecision=5000 #constraints=3854 10.69/10.72 c nbDecision=5500 #constraints=4298 13.09/13.15 c nbDecision=6000 #constraints=4740 15.49/15.52 c restart after 6401 decisions 15.49/15.55 c nbDecision=6500 #constraints=5108 18.88/18.96 c nbDecision=7000 #constraints=5461 22.68/22.73 c nbDecision=7500 #constraints=5824 27.59/27.61 c nbDecision=8000 #constraints=6225 32.98/33.06 c nbDecision=8500 #constraints=6650 38.08/38.10 c nbDecision=9000 #constraints=7107 43.28/43.32 c nbDecision=9500 #constraints=7563 49.08/49.12 c nbDecision=10000 #constraints=8019 55.67/55.79 c nbDecision=10500 #constraints=8464 62.87/62.94 c nbDecision=11000 #constraints=8917 69.37/69.41 c nbDecision=11500 #constraints=9372 74.86/74.97 c nbDecision=12000 #constraints=9839 81.16/81.27 c nbDecision=12500 #constraints=10311 85.87/85.94 c restart after 12801 decisions 86.37/86.40 c nbDecision=13000 #constraints=10655 87.76/87.86 c nbDecision=13500 #constraints=11153 89.57/89.68 c nbDecision=14000 #constraints=11655 92.16/92.24 c nbDecision=14500 #constraints=12155 94.97/95.04 c nbDecision=15000 #constraints=12656 97.87/97.91 c nbDecision=15500 #constraints=13148 100.86/100.92 c nbDecision=16000 #constraints=13644 105.66/105.74 c nbDecision=16500 #constraints=14140 111.26/111.34 c nbDecision=17000 #constraints=14639 116.46/116.53 c nbDecision=17500 #constraints=15136 122.75/122.85 c nbDecision=18000 #constraints=15636 130.15/130.29 c nbDecision=18500 #constraints=16129 137.95/138.00 c nbDecision=19000 #constraints=16632 146.64/146.71 c nbDecision=19500 #constraints=17130 155.15/155.29 c nbDecision=20000 #constraints=17622 163.44/163.54 c nbDecision=20500 #constraints=18120 172.74/172.84 c nbDecision=21000 #constraints=18621 182.14/182.21 c nbDecision=21500 #constraints=19115 191.14/191.29 c nbDecision=22000 #constraints=19603 199.54/199.68 c nbDecision=22500 #constraints=20088 207.83/207.99 c nbDecision=23000 #constraints=20575 220.03/220.16 c nbDecision=23500 #constraints=21070 238.53/238.63 c nbDecision=24000 #constraints=21565 253.12/253.20 c nbDecision=24500 #constraints=22064 271.31/271.46 c nbDecision=25000 #constraints=22561 288.01/288.14 c nbDecision=25500 #constraints=23052 291.11/291.27 c restart after 25601 decisions 292.41/292.56 c nbDecision=26000 #constraints=23336 293.21/293.31 c nbDecision=26500 #constraints=23822 294.50/294.64 c nbDecision=27000 #constraints=24293 295.40/295.56 c nbDecision=27500 #constraints=24787 296.40/296.55 c nbDecision=28000 #constraints=25282 297.50/297.63 c nbDecision=28500 #constraints=25772 298.61/298.76 c nbDecision=29000 #constraints=26267 299.80/299.97 c nbDecision=29500 #constraints=26755 301.10/301.27 c nbDecision=30000 #constraints=27252 302.50/302.69 c nbDecision=30500 #constraints=27749 304.11/304.21 c nbDecision=31000 #constraints=28245 305.70/305.88 c nbDecision=31500 #constraints=28741 307.70/307.84 c nbDecision=32000 #constraints=29236 309.60/309.79 c nbDecision=32500 #constraints=29734 311.80/311.92 c nbDecision=33000 #constraints=30234 313.90/314.09 c nbDecision=33500 #constraints=30733 316.40/316.56 c nbDecision=34000 #constraints=31234 318.80/318.99 c nbDecision=34500 #constraints=31733 323.40/323.59 c nbDecision=35000 #constraints=32174 327.99/328.18 c nbDecision=35500 #constraints=32640 332.79/332.91 c nbDecision=36000 #constraints=33095 336.59/336.73 c nbDecision=36500 #constraints=33560 340.59/340.71 c nbDecision=37000 #constraints=34055 345.79/345.92 c nbDecision=37500 #constraints=34527 351.59/351.72 c nbDecision=38000 #constraints=35000 355.19/355.33 c nbDecision=38500 #constraints=35500 362.78/362.93 c nbDecision=39000 #constraints=35979 369.39/369.54 c nbDecision=39500 #constraints=36469 375.08/375.25 c nbDecision=40000 #constraints=36952 379.08/379.28 c nbDecision=40500 #constraints=37441 388.78/388.96 c nbDecision=41000 #constraints=37905 400.38/400.52 c nbDecision=41500 #constraints=38368 408.07/408.28 c nbDecision=42000 #constraints=38847 412.47/412.64 c nbDecision=42500 #constraints=39340 418.87/419.00 c nbDecision=43000 #constraints=39831 435.26/435.46 c nbDecision=43500 #constraints=40287 439.96/440.17 c nbDecision=44000 #constraints=40777 445.07/445.25 c nbDecision=44500 #constraints=41274 450.46/450.65 c nbDecision=45000 #constraints=41772 458.66/458.89 c nbDecision=45500 #constraints=42249 464.76/464.95 c nbDecision=46000 #constraints=42724 479.25/479.45 c nbDecision=46500 #constraints=43205 484.75/484.98 c nbDecision=47000 #constraints=43702 495.25/495.45 c nbDecision=47500 #constraints=44177 509.24/509.49 c nbDecision=48000 #constraints=44663 532.54/532.75 c nbDecision=48500 #constraints=45150 539.14/539.36 c nbDecision=49000 #constraints=45633 562.63/562.83 c nbDecision=49500 #constraints=46112 577.82/578.09 c nbDecision=50000 #constraints=46587 597.32/597.52 c nbDecision=50500 #constraints=47058 614.61/614.87 c nbDecision=51000 #constraints=47554 618.21/618.42 c restart after 51201 decisions 624.21/624.42 c nbDecision=51500 #constraints=47889 655.40/655.68 c nbDecision=52000 #constraints=48332 670.80/671.06 c nbDecision=52500 #constraints=48801 682.60/682.88 c nbDecision=53000 #constraints=49293 690.29/690.50 c nbDecision=53500 #constraints=49788 698.29/698.52 c nbDecision=54000 #constraints=50282 727.58/727.83 c nbDecision=54500 #constraints=50764 739.08/739.32 c nbDecision=55000 #constraints=51256 764.67/764.97 c nbDecision=55500 #constraints=51717 803.16/803.45 c nbDecision=56000 #constraints=52198 839.85/840.14 c nbDecision=56500 #constraints=52675 888.54/888.86 c nbDecision=57000 #constraints=53148 912.02/912.35 c nbDecision=57500 #constraints=53644 945.62/945.92 c nbDecision=58000 #constraints=54137 958.71/959.08 c nbDecision=58500 #constraints=54633 974.11/974.43 c nbDecision=59000 #constraints=55126 986.50/986.87 c nbDecision=59500 #constraints=55623 996.90/997.21 c nbDecision=60000 #constraints=56123 1007.70/1008.06 c nbDecision=60500 #constraints=56623 1018.60/1018.94 c nbDecision=61000 #constraints=57123 1029.99/1030.37 c nbDecision=61500 #constraints=57623 1042.29/1042.62 c nbDecision=62000 #constraints=58121 1054.49/1054.90 c nbDecision=62500 #constraints=58619 1080.08/1080.43 c nbDecision=63000 #constraints=59104 1109.97/1110.31 c nbDecision=63500 #constraints=59595 1148.26/1148.62 c nbDecision=64000 #constraints=60076 1202.54/1202.93 c nbDecision=64500 #constraints=60566 1229.34/1229.72 c nbDecision=65000 #constraints=61038 1282.92/1283.38 c nbDecision=65500 #constraints=61530 1338.40/1338.81 c nbDecision=66000 #constraints=62019 1379.19/1379.68 c nbDecision=66500 #constraints=62495 1398.69/1399.19 c nbDecision=67000 #constraints=62983 1420.38/1420.84 c nbDecision=67500 #constraints=63479 1480.36/1480.87 c nbDecision=68000 #constraints=63969 1532.15/1532.68 c nbDecision=68500 #constraints=64447 1569.03/1569.59 c nbDecision=69000 #constraints=64939 1595.73/1596.26 c nbDecision=69500 #constraints=65406 1620.12/1620.60 c nbDecision=70000 #constraints=65904 1638.72/1639.23 c nbDecision=70500 #constraints=66403 1654.51/1655.09 c nbDecision=71000 #constraints=66901 1670.01/1670.55 c nbDecision=71500 #constraints=67394 1688.01/1688.57 c nbDecision=72000 #constraints=67890 1705.00/1705.58 c nbDecision=72500 #constraints=68389 1744.09/1744.62 c nbDecision=73000 #constraints=68872 1800.08/1800.60 Received signal 15 1800.18/1800.76 1800.18/1800.76 s UNKNOWN 1800.18/1800.76 1800.18/1800.76 c user time= 1799.55 s 1800.18/1800.76 c system time= 0.701893 s 1800.18/1800.76 c wall clock time=1800.77
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-362790-1176848546 -o ROOT/results/node71/solver-362790-1176848546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362790-1176848546/instance-362790-1176848546.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.92 0.98 0.99 3/64 18113 /proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=1620 CPUtime=0 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160843947 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 405 168 126 317 0 84 0 [startup+0.094632 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18113 /proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=3132 CPUtime=0.08 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 575 0 0 0 8 0 0 0 18 0 1 0 160843947 3207168 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 783 557 131 317 0 462 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3132 [startup+0.101631 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18113 /proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=3268 CPUtime=0.09 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 604 0 0 0 9 0 0 0 18 0 1 0 160843947 3346432 586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 817 586 131 317 0 496 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3268 [startup+0.301659 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18113 /proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=6840 CPUtime=0.29 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 1424 0 0 0 29 0 0 0 19 0 1 0 160843947 7004160 1406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 1710 1406 137 317 0 1389 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6840 [startup+0.701713 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18113 /proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=8796 CPUtime=0.69 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 1952 0 0 0 68 1 0 0 22 0 1 0 160843947 9007104 1934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 2199 1934 170 317 0 1878 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8796 [startup+1.50182 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1789056/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=12728 CPUtime=1.49 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 2931 0 0 0 148 1 0 0 25 0 1 0 160843947 13033472 2913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 3182 2913 170 317 0 2861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12728 [startup+3.10104 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1784384/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=16960 CPUtime=3.09 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 3982 0 0 0 308 1 0 0 25 0 1 0 160843947 17367040 3964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530463 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 4240 3964 170 317 0 3919 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16960 [startup+6.30148 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1777792/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=21996 CPUtime=6.29 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 5249 0 0 0 626 3 0 0 25 0 1 0 160843947 22523904 5231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 5499 5231 170 317 0 5178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21996 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1770432/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=29200 CPUtime=12.68 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 6965 0 0 0 1264 4 0 0 25 0 1 0 160843947 29900800 6947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 7300 6947 170 317 0 6979 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29200 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1762048/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=38348 CPUtime=25.48 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 8940 0 0 0 2542 6 0 0 25 0 1 0 160843947 39268352 8922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 9587 8922 170 317 0 9266 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38348 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1751936/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=47828 CPUtime=51.08 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 11494 0 0 0 5098 10 0 0 25 0 1 0 160843947 48975872 11476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 11957 11476 170 317 0 11636 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47828 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1713920/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=87300 CPUtime=102.26 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 21004 0 0 0 10211 15 0 0 25 0 1 0 160843947 89395200 20928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 21825 20928 170 317 0 21504 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 87300 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1683712/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=116936 CPUtime=162.24 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 28701 0 0 0 16204 20 0 0 25 0 1 0 160843947 119742464 28510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 29234 28510 170 317 0 28913 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 116936 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1657792/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=150820 CPUtime=222.23 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 36978 0 0 0 22197 26 0 0 25 0 1 0 160843947 154439680 34906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 37705 34906 170 317 0 37384 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 150820 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1644992/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=162624 CPUtime=282.21 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 40338 0 0 0 28192 29 0 0 25 0 1 0 160843947 166526976 38134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604205 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 40656 38134 170 317 0 40335 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 162624 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1605376/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=203328 CPUtime=342.19 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 50445 0 0 0 34185 34 0 0 25 0 1 0 160843947 208207872 47981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 50832 47981 170 317 0 50511 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 203328 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1581120/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=228528 CPUtime=402.18 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 56519 0 0 0 40180 38 0 0 25 0 1 0 160843947 234012672 54055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 57132 54055 170 317 0 56811 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 228528 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1564544/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=245452 CPUtime=462.15 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 60937 0 0 0 46175 40 0 0 25 0 1 0 160843947 251342848 58143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 61363 58143 170 317 0 61042 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 245452 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1549184/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=261616 CPUtime=522.14 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 64805 0 0 0 52172 42 0 0 25 0 1 0 160843947 267894784 62011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 65404 62011 170 317 0 65083 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 261616 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1535104/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=276784 CPUtime=582.13 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 68329 0 0 0 58168 45 0 0 25 0 1 0 160843947 283426816 65502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 69196 65502 170 317 0 68875 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 276784 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1519872/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=292316 CPUtime=642.11 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 72136 0 0 0 64164 47 0 0 25 0 1 0 160843947 299331584 69276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 73079 69276 170 317 0 72758 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 292316 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1478656/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=330348 CPUtime=882.04 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 82457 0 0 0 88151 53 0 0 25 0 1 0 160843947 338276352 79564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 82587 79564 170 317 0 82266 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 330348 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1465920/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=345880 CPUtime=942.02 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 85669 0 0 0 94147 55 0 0 25 0 1 0 160843947 354181120 82776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 86470 82776 170 317 0 86149 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 345880 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1455104/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=361524 CPUtime=1002 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 89231 0 0 0 100143 57 0 0 25 0 1 0 160843947 370200576 85428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 90381 85428 170 317 0 90060 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 361524 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18114 /proc/meminfo: memFree=1446528/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=370524 CPUtime=1061.99 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 91434 0 0 0 106141 58 0 0 25 0 1 0 160843947 379416576 87598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 92631 87598 170 317 0 92310 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 370524 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1436160/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=384112 CPUtime=1121.97 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 93987 0 0 0 112138 59 0 0 25 0 1 0 160843947 393330688 90151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 96028 90151 170 317 0 95707 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 384112 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1429312/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=390480 CPUtime=1181.95 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 95706 0 0 0 118135 60 0 0 25 0 1 0 160843947 399851520 91870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 97620 91870 170 317 0 97299 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 390480 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1421184/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=400536 CPUtime=1241.93 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 97735 0 0 0 124132 61 0 0 25 0 1 0 160843947 410148864 93899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 100134 93899 170 317 0 99813 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 400536 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1413952/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=407176 CPUtime=1301.92 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 99519 0 0 0 130129 63 0 0 25 0 1 0 160843947 416948224 95683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 101794 95683 170 317 0 101473 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 407176 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1406336/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=414152 CPUtime=1361.9 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 101434 0 0 0 136126 64 0 0 25 0 1 0 160843947 424091648 97598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 103538 97598 170 317 0 103217 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 414152 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1400064/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=419788 CPUtime=1421.88 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 102980 0 0 0 142124 64 0 0 25 0 1 0 160843947 429862912 99144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 104947 99144 170 317 0 104626 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 419788 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1393408/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=425932 CPUtime=1481.86 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 104659 0 0 0 148121 65 0 0 25 0 1 0 160843947 436154368 100823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 106483 100823 170 317 0 106162 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 425932 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1386368/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=432152 CPUtime=1541.84 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 106429 0 0 0 154118 66 0 0 25 0 1 0 160843947 442523648 102560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 108038 102560 170 317 0 107717 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 432152 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1379712/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=439324 CPUtime=1601.83 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 108194 0 0 0 160116 67 0 0 25 0 1 0 160843947 449867776 104227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 109831 104227 170 317 0 109510 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 439324 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1372928/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=447404 CPUtime=1661.81 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 110363 0 0 0 166113 68 0 0 25 0 1 0 160843947 458141696 105911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 111851 105911 170 317 0 111530 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 447404 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1366400/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=453372 CPUtime=1721.79 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 112019 0 0 0 172111 68 0 0 25 0 1 0 160843947 464252928 107567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 113343 107567 170 317 0 113022 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 453372 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1360128/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=458884 CPUtime=1781.78 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 113555 0 0 0 178108 70 0 0 25 0 1 0 160843947 469897216 109103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 114721 109103 170 317 0 114400 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 458884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1357952/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=460700 CPUtime=1800.08 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 114085 0 0 0 179938 70 0 0 25 0 1 0 160843947 471756800 109633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 115175 109633 170 317 0 114854 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 460700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18116 /proc/meminfo: memFree=1357952/2055920 swapFree=4184232/4192956 [pid=18113] ppid=18111 vsize=0 CPUtime=1800.27 /proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194308 114107 0 0 0 179955 72 0 0 25 0 1 0 160843947 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18113/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.33 CPU user time (s): 1799.56 CPU system time (s): 0.771882 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 460700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.771882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114107 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= 2659 runsolver used 1.27381 second user time and 3.66544 second system time The end
Begin job on node71 on Tue Apr 17 22:22:26 UTC 2007 IDJOB= 362790 IDBENCH= 1646 IDSOLVER= 172 FILE ID= node71/362790-1176848546 PBS_JOBID= 4590177 Free space on /tmp= 66501 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb COMMAND LINE= oree /tmp/evaluation/362790-1176848546/instance-362790-1176848546.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-362790-1176848546 -o ROOT/results/node71/solver-362790-1176848546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362790-1176848546/instance-362790-1176848546.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ba85c504e75c36f184b41f40c4eddd0f RANDOM SEED= 667707865 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1797792 kB Buffers: 19976 kB Cached: 174384 kB SwapCached: 2772 kB Active: 55640 kB Inactive: 148484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797792 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 2016 kB Writeback: 0 kB Mapped: 15788 kB Slab: 39944 kB Committed_AS: 2502448 kB PageTables: 1448 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= 66501 MiB End job on node71 on Tue Apr 17 22:52:29 UTC 2007