Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 2741 | 1800.19 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1120 |
Best CPU time to get the best result obtained on this benchmark | 8.64668 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=89 #constraints=29 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.04/0.08 c restart after 401 decisions 0.10/0.11 c nbDecision=500 #constraints=203 0.19/0.22 c restart after 801 decisions 0.19/0.27 c nbDecision=1000 #constraints=414 0.49/0.54 c nbDecision=1500 #constraints=688 0.59/0.60 c restart after 1601 decisions 0.69/0.74 c nbDecision=1878 #constraints=858 0.69/0.74 c linear search for optimum 0.69/0.74 o 3792 0.69/0.75 c nbDecision=1882 #constraints=862 0.69/0.75 o 3542 0.69/0.75 c nbDecision=1895 #constraints=872 0.69/0.75 o 3533 0.69/0.75 c nbDecision=1899 #constraints=876 0.69/0.75 o 3283 0.69/0.79 c nbDecision=1953 #constraints=917 0.69/0.79 o 3208 0.79/0.81 c nbDecision=2000 #constraints=948 0.89/0.97 c nbDecision=2234 #constraints=1095 0.89/0.97 o 3128 0.99/1.01 c nbDecision=2286 #constraints=1134 0.99/1.01 o 3053 1.09/1.18 c nbDecision=2500 #constraints=1272 1.59/1.64 c nbDecision=3000 #constraints=1579 1.79/1.87 c restart after 3201 decisions 2.19/2.22 c nbDecision=3500 #constraints=1851 2.89/2.96 c nbDecision=4000 #constraints=2137 3.89/3.98 c nbDecision=4500 #constraints=2446 5.19/5.21 c nbDecision=5000 #constraints=2759 6.79/6.87 c nbDecision=5500 #constraints=3099 8.79/8.85 c nbDecision=6000 #constraints=3439 10.28/10.32 c restart after 6401 decisions 10.58/10.66 c nbDecision=6500 #constraints=3699 12.69/12.74 c nbDecision=7000 #constraints=4001 15.19/15.21 c nbDecision=7500 #constraints=4296 17.79/17.80 c nbDecision=8000 #constraints=4586 20.38/20.43 c nbDecision=8500 #constraints=4857 23.38/23.44 c nbDecision=9000 #constraints=5140 26.38/26.44 c nbDecision=9500 #constraints=5459 29.69/29.72 c nbDecision=10000 #constraints=5770 34.68/34.77 c nbDecision=10500 #constraints=6099 39.78/39.85 c nbDecision=11000 #constraints=6426 45.18/45.22 c nbDecision=11500 #constraints=6744 50.88/50.92 c nbDecision=12000 #constraints=7066 57.68/57.77 c nbDecision=12500 #constraints=7397 62.27/62.30 c restart after 12801 decisions 64.47/64.50 c nbDecision=13000 #constraints=7689 70.18/70.29 c nbDecision=13500 #constraints=7974 76.17/76.27 c nbDecision=14000 #constraints=8280 82.57/82.66 c nbDecision=14500 #constraints=8559 89.37/89.41 c nbDecision=15000 #constraints=8851 95.86/95.92 c nbDecision=15500 #constraints=9127 102.67/102.70 c nbDecision=16000 #constraints=9425 109.06/109.13 c nbDecision=16500 #constraints=9731 115.76/115.89 c nbDecision=17000 #constraints=10041 124.46/124.58 c nbDecision=17500 #constraints=10338 132.95/133.05 c nbDecision=18000 #constraints=10633 142.05/142.14 c nbDecision=18500 #constraints=10939 151.76/151.85 c nbDecision=19000 #constraints=11252 160.65/160.79 c nbDecision=19500 #constraints=11527 170.04/170.19 c nbDecision=20000 #constraints=11812 179.74/179.83 c nbDecision=20500 #constraints=12089 188.54/188.69 c nbDecision=21000 #constraints=12412 197.94/198.02 c nbDecision=21500 #constraints=12706 208.34/208.43 c nbDecision=22000 #constraints=13008 224.13/224.21 c nbDecision=22500 #constraints=13347 238.82/238.95 c nbDecision=23000 #constraints=13668 251.43/251.56 c nbDecision=23500 #constraints=13956 264.12/264.29 c nbDecision=24000 #constraints=14262 277.61/277.72 c nbDecision=24500 #constraints=14576 292.11/292.21 c nbDecision=25000 #constraints=14891 309.11/309.21 c nbDecision=25500 #constraints=15225 312.51/312.61 c restart after 25601 decisions 321.70/321.86 c nbDecision=26000 #constraints=15495 335.70/335.88 c nbDecision=26500 #constraints=15804 349.10/349.26 c nbDecision=27000 #constraints=16098 360.49/360.68 c nbDecision=27500 #constraints=16386 372.10/372.23 c nbDecision=28000 #constraints=16652 383.19/383.37 c nbDecision=28500 #constraints=16967 395.79/395.97 c nbDecision=29000 #constraints=17235 407.78/407.95 c nbDecision=29500 #constraints=17512 420.28/420.40 c nbDecision=30000 #constraints=17800 433.97/434.11 c nbDecision=30500 #constraints=18092 450.47/450.68 c nbDecision=31000 #constraints=18397 466.97/467.14 c nbDecision=31500 #constraints=18702 481.26/481.42 c nbDecision=32000 #constraints=18985 495.66/495.89 c nbDecision=32500 #constraints=19275 508.26/508.45 c nbDecision=33000 #constraints=19563 523.55/523.73 c nbDecision=33500 #constraints=19863 537.85/538.07 c nbDecision=34000 #constraints=20134 552.05/552.21 c nbDecision=34500 #constraints=20421 566.84/567.09 c nbDecision=35000 #constraints=20711 584.64/584.83 c nbDecision=35500 #constraints=21001 602.53/602.71 c nbDecision=36000 #constraints=21303 617.53/617.79 c nbDecision=36500 #constraints=21577 634.03/634.20 c nbDecision=37000 #constraints=21879 648.92/649.14 c nbDecision=37500 #constraints=22161 663.21/663.48 c nbDecision=38000 #constraints=22439 663.31/663.53 c nbDecision=38004 #constraints=22439 663.31/663.53 o 2981 678.11/678.39 c nbDecision=38500 #constraints=22728 694.91/695.14 c nbDecision=39000 #constraints=23020 710.60/710.86 c nbDecision=39500 #constraints=23321 711.30/711.52 c nbDecision=39518 #constraints=23327 711.30/711.52 o 2908 712.40/712.60 c nbDecision=39541 #constraints=23341 712.40/712.60 o 2822 732.90/733.10 c nbDecision=40000 #constraints=23622 753.79/754.06 c nbDecision=40500 #constraints=23913 772.09/772.32 c nbDecision=41000 #constraints=24213 789.69/789.94 c nbDecision=41500 #constraints=24484 808.08/808.31 c nbDecision=42000 #constraints=24767 827.17/827.42 c nbDecision=42500 #constraints=25057 848.77/849.01 c nbDecision=43000 #constraints=25345 873.97/874.28 c nbDecision=43500 #constraints=25656 898.15/898.48 c nbDecision=44000 #constraints=25951 922.14/922.42 c nbDecision=44500 #constraints=26232 944.04/944.34 c nbDecision=45000 #constraints=26513 965.54/965.83 c nbDecision=45500 #constraints=26791 987.03/987.33 c nbDecision=46000 #constraints=27061 1010.33/1010.69 c nbDecision=46500 #constraints=27361 1037.02/1037.39 c nbDecision=47000 #constraints=27667 1064.72/1065.10 c nbDecision=47500 #constraints=27981 1090.20/1090.53 c nbDecision=48000 #constraints=28259 1113.90/1114.27 c nbDecision=48500 #constraints=28531 1138.60/1138.92 c nbDecision=49000 #constraints=28795 1161.09/1161.47 c nbDecision=49500 #constraints=29056 1185.68/1186.07 c nbDecision=50000 #constraints=29321 1211.47/1211.84 c nbDecision=50500 #constraints=29639 1240.47/1240.85 c nbDecision=51000 #constraints=29949 1250.37/1250.76 c restart after 51201 decisions 1265.46/1265.89 c nbDecision=51500 #constraints=30190 1293.85/1294.27 c nbDecision=52000 #constraints=30494 1324.24/1324.68 c nbDecision=52500 #constraints=30774 1353.93/1354.34 c nbDecision=53000 #constraints=31073 1380.20/1380.63 c nbDecision=53500 #constraints=31351 1407.45/1407.93 c nbDecision=54000 #constraints=31639 1429.82/1430.39 c nbDecision=54500 #constraints=31903 1457.01/1457.52 c nbDecision=55000 #constraints=32176 1485.50/1486.01 c nbDecision=55500 #constraints=32476 1516.99/1517.59 c nbDecision=56000 #constraints=32805 1547.78/1548.39 c nbDecision=56500 #constraints=33121 1576.97/1577.58 c nbDecision=57000 #constraints=33428 1603.07/1603.68 c nbDecision=57500 #constraints=33730 1630.26/1630.82 c nbDecision=58000 #constraints=34024 1654.56/1655.10 c nbDecision=58500 #constraints=34317 1682.25/1682.80 c nbDecision=59000 #constraints=34600 1710.95/1711.54 c nbDecision=59500 #constraints=34885 1738.44/1739.09 c nbDecision=60000 #constraints=35152 1765.93/1766.60 c nbDecision=60500 #constraints=35414 1788.82/1789.40 c nbDecision=60928 #constraints=35673 1788.82/1789.40 o 2816 1793.22/1793.86 c nbDecision=61000 #constraints=35717 1797.52/1798.13 c nbDecision=61061 #constraints=35756 1797.52/1798.13 o 2741 1800.03/1800.60 Received signal 15 1800.13/1800.74 1800.13/1800.74 s SATISFIABLE 1800.13/1800.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.13/1800.74 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 1800.13/1800.74 v -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 -x80 x81 1800.13/1800.74 v x82 x83 x84 x85 -x86 x87 -x88 -x89 1800.13/1800.74 1800.13/1800.74 c user time= 1799.77 s 1800.13/1800.74 c system time= 0.402938 s 1800.13/1800.74 c wall clock time=1800.74
OK 2741
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-363616-1176853083 -o ROOT/results/node21/solver-363616-1176853083 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363616-1176853083/instance-363616-1176853083.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.93 0.99 0.99 3/77 6600 /proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=1468 CPUtime=0 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 133225639 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 367 169 139 317 0 46 0 [startup+0.0418099 s] /proc/loadavg: 0.93 0.99 0.99 3/77 6600 /proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=1596 CPUtime=0.04 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 229 0 0 0 4 0 0 0 18 0 1 0 133225639 1634304 211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 399 211 139 317 0 78 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1596 [startup+0.101816 s] /proc/loadavg: 0.93 0.99 0.99 3/77 6600 /proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=1856 CPUtime=0.1 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 290 0 0 0 10 0 0 0 18 0 1 0 133225639 1900544 272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 464 272 139 317 0 143 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1856 [startup+0.301838 s] /proc/loadavg: 0.93 0.99 0.99 3/77 6600 /proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=2512 CPUtime=0.29 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 446 0 0 0 29 0 0 0 19 0 1 0 133225639 2572288 428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272617 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 628 428 139 317 0 307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2512 [startup+0.701882 s] /proc/loadavg: 0.93 0.99 0.99 3/77 6600 /proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=3448 CPUtime=0.69 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 688 0 0 0 69 0 0 0 23 0 1 0 133225639 3530752 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 862 670 139 317 0 541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3448 [startup+1.50197 s] /proc/loadavg: 0.93 0.99 0.99 2/78 6601 /proc/meminfo: memFree=1779888/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=5436 CPUtime=1.49 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 1192 0 0 0 149 0 0 0 25 0 1 0 133225639 5566464 1174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 1359 1174 170 317 0 1038 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5436 [startup+3.10114 s] /proc/loadavg: 0.93 0.99 0.99 2/78 6601 /proc/meminfo: memFree=1777904/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=7176 CPUtime=3.09 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 1636 0 0 0 309 0 0 0 25 0 1 0 133225639 7348224 1618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 1794 1618 170 317 0 1473 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7176 [startup+6.30249 s] /proc/loadavg: 0.94 0.99 0.99 2/78 6601 /proc/meminfo: memFree=1775152/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=9640 CPUtime=6.29 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 2180 0 0 0 628 1 0 0 25 0 1 0 133225639 9871360 2162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 2410 2162 170 317 0 2089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9640 [startup+12.7012 s] /proc/loadavg: 0.94 0.99 0.99 2/78 6603 /proc/meminfo: memFree=1772272/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=12032 CPUtime=12.69 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 2822 0 0 0 1267 2 0 0 25 0 1 0 133225639 12320768 2804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 3008 2804 170 317 0 2687 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12032 [startup+25.5016 s] /proc/loadavg: 0.95 0.99 0.99 2/78 6603 /proc/meminfo: memFree=1768240/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=16732 CPUtime=25.48 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 3816 0 0 0 2546 2 0 0 25 0 1 0 133225639 17133568 3798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 4183 3798 170 317 0 3862 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16732 [startup+51.1014 s] /proc/loadavg: 0.97 0.99 0.99 2/78 6603 /proc/meminfo: memFree=1763952/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=20984 CPUtime=51.08 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 4890 0 0 0 5104 4 0 0 25 0 1 0 133225639 21487616 4872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 5246 4872 170 317 0 4925 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20984 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 6603 /proc/meminfo: memFree=1757616/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=27636 CPUtime=102.27 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 6505 0 0 0 10221 6 0 0 25 0 1 0 133225639 28299264 6430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 6909 6430 170 317 0 6588 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27636 [startup+162.302 s] /proc/loadavg: 1.03 1.00 0.99 2/78 6603 /proc/meminfo: memFree=1751728/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=34572 CPUtime=162.25 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 7968 0 0 0 16218 7 0 0 25 0 1 0 133225639 35401728 7893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 8643 7893 170 317 0 8322 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34572 [startup+222.301 s] /proc/loadavg: 1.12 1.03 1.01 2/78 6603 /proc/meminfo: memFree=1747184/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=38836 CPUtime=222.23 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 9084 0 0 0 22215 8 0 0 25 0 1 0 133225639 39768064 9009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 9709 9009 170 317 0 9388 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38836 [startup+282.302 s] /proc/loadavg: 1.12 1.04 1.00 2/78 6603 /proc/meminfo: memFree=1743664/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=41996 CPUtime=282.22 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 9959 0 0 0 28212 10 0 0 25 0 1 0 133225639 43003904 9884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 10499 9884 170 317 0 10178 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 41996 [startup+342.301 s] /proc/loadavg: 1.11 1.04 1.00 2/78 6603 /proc/meminfo: memFree=1740592/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=44772 CPUtime=342.2 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 10731 0 0 0 34209 11 0 0 25 0 1 0 133225639 45846528 10656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 11193 10656 170 317 0 10872 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44772 [startup+402.302 s] /proc/loadavg: 1.10 1.05 1.00 2/78 6603 /proc/meminfo: memFree=1736752/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=49544 CPUtime=402.18 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 11864 0 0 0 40206 12 0 0 25 0 1 0 133225639 50733056 11610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 12386 11610 170 317 0 12065 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49544 [startup+462.301 s] /proc/loadavg: 1.09 1.05 1.00 2/78 6603 /proc/meminfo: memFree=1733552/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=53636 CPUtime=462.17 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 12920 0 0 0 46203 14 0 0 25 0 1 0 133225639 54923264 12402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 13409 12402 170 317 0 13088 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 53636 [startup+522.302 s] /proc/loadavg: 1.12 1.07 1.01 2/78 6603 /proc/meminfo: memFree=1730416/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=58576 CPUtime=522.15 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 14080 0 0 0 52200 15 0 0 25 0 1 0 133225639 59981824 13232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 14644 13232 170 317 0 14323 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 58576 [startup+582.301 s] /proc/loadavg: 1.14 1.08 1.01 2/78 6603 /proc/meminfo: memFree=1727344/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=62096 CPUtime=582.14 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 15016 0 0 0 58197 17 0 0 25 0 1 0 133225639 63586304 13937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 15524 13937 170 317 0 15203 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 62096 [startup+642.302 s] /proc/loadavg: 1.10 1.08 1.01 2/78 6603 /proc/meminfo: memFree=1724592/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=64736 CPUtime=642.13 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 15729 0 0 0 64195 18 0 0 25 0 1 0 133225639 66289664 14650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 16184 14650 170 317 0 15863 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 64736 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 6603 /proc/meminfo: memFree=1714928/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=74016 CPUtime=882.06 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 18320 0 0 0 88183 23 0 0 25 0 1 0 133225639 75792384 17076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 18504 17076 170 317 0 18183 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 74016 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6603 /proc/meminfo: memFree=1713008/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=75712 CPUtime=942.04 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 18787 0 0 0 94180 24 0 0 25 0 1 0 133225639 77529088 17543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 18928 17543 170 317 0 18607 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 75712 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6603 /proc/meminfo: memFree=1711024/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=77956 CPUtime=1002.02 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 19421 0 0 0 100177 25 0 0 25 0 1 0 133225639 79826944 18045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 19489 18045 170 317 0 19168 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 77956 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6603 /proc/meminfo: memFree=1709232/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=79524 CPUtime=1062.02 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 19907 0 0 0 106175 27 0 0 25 0 1 0 133225639 81432576 18498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 19881 18498 170 317 0 19560 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 79524 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6603 /proc/meminfo: memFree=1707312/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=81100 CPUtime=1121.99 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 20369 0 0 0 112172 27 0 0 25 0 1 0 133225639 83046400 18960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 20275 18960 170 317 0 19954 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 81100 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6603 /proc/meminfo: memFree=1705456/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=83116 CPUtime=1181.98 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 20845 0 0 0 118170 28 0 0 25 0 1 0 133225639 85110784 19436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 20779 19436 170 317 0 20458 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 83116 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6603 /proc/meminfo: memFree=1703536/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=84804 CPUtime=1241.97 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 21334 0 0 0 124168 29 0 0 25 0 1 0 133225639 86839296 19892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 21201 19892 170 317 0 20880 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 84804 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6603 /proc/meminfo: memFree=1701936/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=86288 CPUtime=1301.96 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 21732 0 0 0 130166 30 0 0 25 0 1 0 133225639 88358912 20290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 21572 20290 170 317 0 21251 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 86288 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6603 /proc/meminfo: memFree=1700464/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=87468 CPUtime=1361.94 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 22118 0 0 0 136163 31 0 0 25 0 1 0 133225639 89567232 20676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 21867 20676 170 317 0 21546 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 87468 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/84 6775 /proc/meminfo: memFree=1697464/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=88904 CPUtime=1421.84 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 22533 0 0 0 142150 34 0 0 25 0 1 0 133225639 91037696 21091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 22226 21091 170 317 0 21905 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 88904 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1696944/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=90200 CPUtime=1481.8 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 22943 0 0 0 148145 35 0 0 25 0 1 0 133225639 92364800 21501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 22550 21501 170 317 0 22229 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 90200 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1694448/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=93456 CPUtime=1541.79 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 23792 0 0 0 154143 36 0 0 25 0 1 0 133225639 95698944 22091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 23364 22091 170 317 0 23043 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 93456 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1693552/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=95144 CPUtime=1601.77 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 24291 0 0 0 160140 37 0 0 25 0 1 0 133225639 97427456 22362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 23786 22362 170 317 0 23465 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 95144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1691760/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=97220 CPUtime=1661.76 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 24834 0 0 0 166138 38 0 0 25 0 1 0 133225639 99553280 22807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 24305 22807 170 317 0 23984 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 97220 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1690352/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=98588 CPUtime=1721.74 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25223 0 0 0 172135 39 0 0 25 0 1 0 133225639 100954112 23196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 24647 23196 170 317 0 24326 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 98588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1688688/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=100020 CPUtime=1781.73 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25630 0 0 0 178133 40 0 0 25 0 1 0 133225639 102420480 23603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 25005 23603 170 317 0 24684 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 100020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1688176/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=100412 CPUtime=1800.03 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25756 0 0 0 179963 40 0 0 25 0 1 0 133225639 102821888 23729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 25103 23729 170 317 0 24782 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 100412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6801 /proc/meminfo: memFree=1688176/2055920 swapFree=4157744/4192956 [pid=6600] ppid=6598 vsize=100412 CPUtime=1800.13 /proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25757 0 0 0 179973 40 0 0 25 0 1 0 133225639 102821888 23730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6600/statm: 25103 23730 170 317 0 24782 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 100412 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.19 CPU user time (s): 1799.77 CPU system time (s): 0.418936 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 100412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.418936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25773 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= 37203 runsolver used 2.11168 second user time and 4.44632 second system time The end
Begin job on node21 on Tue Apr 17 23:38:03 UTC 2007 IDJOB= 363616 IDBENCH= 1868 IDSOLVER= 172 FILE ID= node21/363616-1176853083 PBS_JOBID= 4590232 Free space on /tmp= 66445 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= oree /tmp/evaluation/363616-1176853083/instance-363616-1176853083.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-363616-1176853083 -o ROOT/results/node21/solver-363616-1176853083 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363616-1176853083/instance-363616-1176853083.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED= 772439255 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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: 1783312 kB Buffers: 36176 kB Cached: 159684 kB SwapCached: 14328 kB Active: 94252 kB Inactive: 136176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783312 kB SwapTotal: 4192956 kB SwapFree: 4157744 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 34828 kB Slab: 27732 kB Committed_AS: 1002760 kB PageTables: 1796 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= 66445 MiB End job on node21 on Wed Apr 18 00:08:06 UTC 2007