Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 1866 | 1800.09 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 2.6466 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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=201 #constraints=134 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.01 c nbDecision=63 #constraints=147 0.00/0.01 c linear search for optimum 0.00/0.01 o 2230 0.00/0.01 c nbDecision=64 #constraints=148 0.00/0.01 o 2217 0.00/0.01 c nbDecision=64 #constraints=149 0.00/0.01 o 2205 0.00/0.02 c nbDecision=65 #constraints=151 0.00/0.02 o 2192 0.00/0.02 c nbDecision=65 #constraints=152 0.00/0.02 o 2180 0.00/0.02 c nbDecision=71 #constraints=156 0.00/0.02 o 2169 0.00/0.02 c nbDecision=72 #constraints=157 0.00/0.02 o 2156 0.00/0.02 c nbDecision=72 #constraints=158 0.00/0.02 o 2144 0.00/0.02 c nbDecision=74 #constraints=163 0.00/0.02 o 2137 0.00/0.02 c nbDecision=76 #constraints=166 0.00/0.02 o 2132 0.00/0.03 c nbDecision=78 #constraints=169 0.00/0.03 o 2125 0.00/0.03 c nbDecision=87 #constraints=178 0.00/0.03 o 2119 0.00/0.04 c nbDecision=95 #constraints=188 0.00/0.04 o 2117 0.00/0.04 c nbDecision=97 #constraints=190 0.00/0.04 o 2105 0.00/0.04 c nbDecision=103 #constraints=197 0.00/0.04 o 2095 0.08/0.10 c nbDecision=151 #constraints=243 0.08/0.10 o 2083 0.09/0.10 c nbDecision=153 #constraints=248 0.09/0.10 o 2076 0.09/0.10 c nbDecision=155 #constraints=251 0.09/0.10 o 2071 0.09/0.10 c nbDecision=157 #constraints=254 0.09/0.10 o 2064 0.19/0.20 c nbDecision=233 #constraints=330 0.19/0.20 o 2052 0.29/0.36 c nbDecision=338 #constraints=437 0.29/0.36 o 2040 0.39/0.46 c restart after 401 decisions 0.49/0.57 c nbDecision=500 #constraints=561 0.49/0.57 c nbDecision=503 #constraints=563 0.49/0.57 o 2034 0.59/0.61 c nbDecision=524 #constraints=586 0.59/0.61 o 2026 0.59/0.61 c nbDecision=526 #constraints=588 0.59/0.61 o 2014 0.79/0.87 c nbDecision=663 #constraints=724 0.79/0.87 o 2002 0.79/0.88 c nbDecision=669 #constraints=732 0.79/0.88 o 1990 1.10/1.20 c restart after 801 decisions 1.59/1.70 c nbDecision=1000 #constraints=1034 2.69/2.75 c nbDecision=1339 #constraints=1368 2.69/2.75 o 1979 3.39/3.45 c nbDecision=1500 #constraints=1532 3.39/3.49 c nbDecision=1513 #constraints=1544 3.39/3.49 o 1969 3.89/3.95 c restart after 1601 decisions 5.50/5.60 c nbDecision=1907 #constraints=1904 5.50/5.60 o 1959 6.29/6.33 c nbDecision=2000 #constraints=1999 10.49/10.56 c nbDecision=2450 #constraints=2454 10.49/10.56 o 1947 10.99/11.05 c nbDecision=2500 #constraints=2498 16.99/17.03 c nbDecision=3000 #constraints=3001 20.59/20.65 c restart after 3201 decisions 25.29/25.36 c nbDecision=3500 #constraints=3467 27.98/28.02 c nbDecision=3671 #constraints=3637 27.98/28.02 o 1935 35.28/35.34 c nbDecision=4000 #constraints=3966 47.48/47.56 c nbDecision=4500 #constraints=4467 61.68/61.75 c nbDecision=5000 #constraints=4964 68.27/68.35 c nbDecision=5230 #constraints=5194 68.27/68.35 o 1933 69.07/69.19 c nbDecision=5268 #constraints=5229 69.07/69.19 o 1921 69.18/69.23 c nbDecision=5274 #constraints=5237 69.18/69.23 o 1909 77.28/77.34 c nbDecision=5500 #constraints=5465 96.37/96.48 c nbDecision=6000 #constraints=5965 111.76/111.84 c restart after 6401 decisions 114.86/114.93 c nbDecision=6500 #constraints=6432 122.66/122.72 c nbDecision=6716 #constraints=6643 122.66/122.72 o 1897 135.56/135.66 c nbDecision=7000 #constraints=6933 164.54/164.65 c nbDecision=7500 #constraints=7437 195.24/195.35 c nbDecision=8000 #constraints=7935 224.63/224.70 c nbDecision=8500 #constraints=8432 257.33/257.47 c nbDecision=9000 #constraints=8937 295.32/295.44 c nbDecision=9500 #constraints=9438 337.00/337.10 c nbDecision=10000 #constraints=9937 372.89/373.04 c nbDecision=10500 #constraints=10433 412.69/412.87 c nbDecision=11000 #constraints=10937 453.68/453.89 c nbDecision=11500 #constraints=11435 497.56/497.74 c nbDecision=12000 #constraints=11935 537.95/538.10 c nbDecision=12500 #constraints=12435 561.35/561.54 c restart after 12801 decisions 572.65/572.87 c nbDecision=13000 #constraints=12907 616.03/616.27 c nbDecision=13500 #constraints=13404 661.22/661.45 c nbDecision=14000 #constraints=13898 702.91/703.13 c nbDecision=14500 #constraints=14401 730.50/730.73 c nbDecision=14836 #constraints=14740 730.50/730.73 o 1886 745.20/745.48 c nbDecision=15000 #constraints=14904 787.60/787.82 c nbDecision=15500 #constraints=15402 833.18/833.47 c nbDecision=16000 #constraints=15899 834.48/834.74 c nbDecision=16021 #constraints=15923 834.48/834.74 o 1874 889.07/889.35 c nbDecision=16500 #constraints=16402 951.55/951.81 c nbDecision=17000 #constraints=16903 1013.34/1013.63 c nbDecision=17500 #constraints=17404 1068.02/1068.31 c nbDecision=18000 #constraints=17903 1130.31/1130.63 c nbDecision=18500 #constraints=18402 1203.19/1203.50 c nbDecision=19000 #constraints=18902 1270.87/1271.24 c nbDecision=19500 #constraints=19404 1335.16/1335.57 c nbDecision=20000 #constraints=19902 1401.84/1402.29 c nbDecision=20500 #constraints=20404 1492.61/1493.06 c nbDecision=21000 #constraints=20902 1566.90/1567.46 c nbDecision=21500 #constraints=21404 1646.86/1647.46 c nbDecision=22000 #constraints=21902 1725.05/1725.61 c nbDecision=22500 #constraints=22407 1769.83/1770.47 c nbDecision=22848 #constraints=22746 1769.83/1770.47 o 1866 1791.03/1791.67 c nbDecision=23000 #constraints=22904 1800.03/1800.60 Received signal 15 1800.03/1800.63 1800.03/1800.63 s SATISFIABLE 1800.03/1800.63 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.03/1800.63 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.03/1800.63 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 1800.03/1800.63 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 1800.03/1800.63 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 -x125 -x126 1800.03/1800.63 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 1800.03/1800.63 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.03/1800.63 v -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.03/1800.63 v -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 1800.03/1800.63 1800.03/1800.63 c user time= 1799.72 s 1800.03/1800.63 c system time= 0.345947 s 1800.03/1800.63 c wall clock time=1800.63
OK 1866
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-363532-1176852942 -o ROOT/results/node12/solver-363532-1176852942 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363532-1176852942/instance-363532-1176852942.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.97 3/77 29730 /proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=1468 CPUtime=0 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 161331532 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 367 166 131 317 0 46 0 [startup+0.0904749 s] /proc/loadavg: 0.91 0.95 0.97 3/77 29730 /proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=1988 CPUtime=0.08 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 336 0 0 0 8 0 0 0 18 0 1 0 161331532 2035712 318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 497 319 170 317 0 176 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1988 [startup+0.101477 s] /proc/loadavg: 0.91 0.95 0.97 3/77 29730 /proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=1988 CPUtime=0.09 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 344 0 0 0 9 0 0 0 18 0 1 0 161331532 2035712 326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 497 326 170 317 0 176 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1988 [startup+0.301497 s] /proc/loadavg: 0.91 0.95 0.97 3/77 29730 /proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=2644 CPUtime=0.29 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 526 0 0 0 29 0 0 0 19 0 1 0 161331532 2707456 508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 661 508 170 317 0 340 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2644 [startup+0.701537 s] /proc/loadavg: 0.91 0.95 0.97 3/77 29730 /proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=3828 CPUtime=0.69 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 811 0 0 0 69 0 0 0 22 0 1 0 161331532 3919872 793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 957 793 170 317 0 636 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3828 [startup+1.50162 s] /proc/loadavg: 0.91 0.95 0.97 2/78 29731 /proc/meminfo: memFree=1613872/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=5140 CPUtime=1.49 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 1142 0 0 0 149 0 0 0 25 0 1 0 161331532 5263360 1124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 1285 1124 170 317 0 964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5140 [startup+3.10178 s] /proc/loadavg: 0.91 0.95 0.97 2/78 29731 /proc/meminfo: memFree=1611888/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=7496 CPUtime=3.09 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 1718 0 0 0 309 0 0 0 25 0 1 0 161331532 7675904 1700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 1874 1700 170 317 0 1553 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7496 [startup+6.3011 s] /proc/loadavg: 0.92 0.95 0.97 2/78 29731 /proc/meminfo: memFree=1608944/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=9780 CPUtime=6.29 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 2264 0 0 0 628 1 0 0 25 0 1 0 161331532 10014720 2246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 2445 2246 170 317 0 2124 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9780 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.97 2/78 29731 /proc/meminfo: memFree=1605808/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=12628 CPUtime=12.69 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 2968 0 0 0 1267 2 0 0 25 0 1 0 161331532 12931072 2950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 3157 2950 170 317 0 2836 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12628 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.97 2/78 29731 /proc/meminfo: memFree=1602480/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=15860 CPUtime=25.48 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 3756 0 0 0 2546 2 0 0 25 0 1 0 161331532 16240640 3738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 3965 3738 170 317 0 3644 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15860 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.97 2/78 29731 /proc/meminfo: memFree=1598000/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=20916 CPUtime=51.08 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 4886 0 0 0 5105 3 0 0 25 0 1 0 161331532 21417984 4868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 5229 4868 170 317 0 4908 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20916 [startup+102.307 s] /proc/loadavg: 0.98 0.96 0.97 2/78 29731 /proc/meminfo: memFree=1591984/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=26436 CPUtime=102.27 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 6354 0 0 0 10222 5 0 0 25 0 1 0 161331532 27070464 6336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 6609 6336 170 317 0 6288 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26436 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1586800/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=32228 CPUtime=162.25 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 7644 0 0 0 16219 6 0 0 25 0 1 0 161331532 33001472 7626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 8057 7626 170 317 0 7736 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32228 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1582960/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=36440 CPUtime=222.23 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 8601 0 0 0 22216 7 0 0 25 0 1 0 161331532 37314560 8525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 9110 8525 170 317 0 8789 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36440 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1579952/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=39756 CPUtime=282.22 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 9405 0 0 0 28213 9 0 0 25 0 1 0 161331532 40710144 9329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 9939 9329 170 317 0 9618 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 39756 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1577456/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=42128 CPUtime=342.21 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 10013 0 0 0 34211 10 0 0 25 0 1 0 161331532 43139072 9937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 10532 9937 170 317 0 10211 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 42128 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1574768/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=44800 CPUtime=402.19 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 10695 0 0 0 40208 11 0 0 25 0 1 0 161331532 45875200 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 11200 10619 170 317 0 10879 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 44800 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1572208/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=47164 CPUtime=462.18 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 11324 0 0 0 46205 13 0 0 25 0 1 0 161331532 48295936 11248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 11791 11248 170 317 0 11470 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 47164 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1569776/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=49256 CPUtime=522.15 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 11934 0 0 0 52202 13 0 0 25 0 1 0 161331532 50438144 11858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 12314 11858 170 317 0 11993 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 49256 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1566128/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=53632 CPUtime=582.14 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 12831 0 0 0 58199 15 0 0 25 0 1 0 161331532 54919168 12755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 13408 12755 170 317 0 13087 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 53632 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1563888/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=56140 CPUtime=642.13 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 13407 0 0 0 64197 16 0 0 25 0 1 0 161331532 57487360 13331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 14035 13331 170 317 0 13714 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 56140 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29731 /proc/meminfo: memFree=1555696/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=65220 CPUtime=822.09 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 15443 0 0 0 82190 19 0 0 25 0 1 0 161331532 66785280 15367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 16305 15367 170 317 0 15984 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 65220 [startup+882.302 s] /proc/loadavg: 1.03 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1553264/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=67900 CPUtime=882.07 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 16036 0 0 0 88187 20 0 0 25 0 1 0 161331532 69529600 15960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 16975 15960 170 317 0 16654 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 67900 [startup+942.302 s] /proc/loadavg: 1.01 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1551792/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=70436 CPUtime=942.06 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 16632 0 0 0 94185 21 0 0 25 0 1 0 161331532 72126464 16343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 17609 16343 170 317 0 17288 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 70436 [startup+1002.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1550064/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=71888 CPUtime=1002.05 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 17054 0 0 0 100183 22 0 0 25 0 1 0 161331532 73613312 16765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 17972 16765 170 317 0 17651 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 71888 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1548272/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=73808 CPUtime=1062.02 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 17527 0 0 0 106180 22 0 0 25 0 1 0 161331532 75579392 17238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 18452 17238 170 317 0 18131 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 73808 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1546224/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=75664 CPUtime=1122.01 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 18017 0 0 0 112178 23 0 0 25 0 1 0 161331532 77479936 17728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715810 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 18916 17728 170 317 0 18595 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 75664 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1544816/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=76972 CPUtime=1181.99 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 18372 0 0 0 118175 24 0 0 25 0 1 0 161331532 78819328 18083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 19243 18083 170 317 0 18922 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 76972 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1543408/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=78280 CPUtime=1241.98 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 18711 0 0 0 124173 25 0 0 25 0 1 0 161331532 80158720 18422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 19570 18422 170 317 0 19249 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 78280 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1541744/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=80024 CPUtime=1301.97 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 19149 0 0 0 130171 26 0 0 25 0 1 0 161331532 81944576 18860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 20006 18860 170 317 0 19685 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 80024 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1540144/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=81456 CPUtime=1361.95 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 19526 0 0 0 136168 27 0 0 25 0 1 0 161331532 83410944 19237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 20364 19237 170 317 0 20043 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 81456 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1538416/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=83500 CPUtime=1421.93 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 19959 0 0 0 142166 27 0 0 25 0 1 0 161331532 85504000 19670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 20875 19670 170 317 0 20554 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 83500 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29731 /proc/meminfo: memFree=1537264/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=84632 CPUtime=1481.92 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 20230 0 0 0 148164 28 0 0 25 0 1 0 161331532 86663168 19941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 21158 19941 170 317 0 20837 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 84632 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/84 29853 /proc/meminfo: memFree=1534712/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=85812 CPUtime=1541.84 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 20575 0 0 0 154154 30 0 0 25 0 1 0 161331532 87871488 20286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 21453 20286 170 317 0 21132 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 85812 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29929 /proc/meminfo: memFree=1534384/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=87024 CPUtime=1601.77 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 20918 0 0 0 160147 30 0 0 25 0 1 0 161331532 89112576 20629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 21756 20629 170 317 0 21435 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 87024 [startup+1662.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29929 /proc/meminfo: memFree=1533104/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=88328 CPUtime=1661.77 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 21247 0 0 0 166145 32 0 0 25 0 1 0 161331532 90447872 20958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 22082 20958 170 317 0 21761 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 88328 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29929 /proc/meminfo: memFree=1531824/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=89696 CPUtime=1721.75 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 21580 0 0 0 172142 33 0 0 25 0 1 0 161331532 91848704 21291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 22424 21291 170 317 0 22103 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 89696 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29929 /proc/meminfo: memFree=1530096/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=91404 CPUtime=1781.72 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 22014 0 0 0 178139 33 0 0 25 0 1 0 161331532 93597696 21725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 22851 21725 170 317 0 22530 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 91404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 29929 /proc/meminfo: memFree=1529584/2055920 swapFree=4154608/4192956 [pid=29730] ppid=29728 vsize=91796 CPUtime=1800.03 /proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 22135 0 0 0 179969 34 0 0 25 0 1 0 161331532 93999104 21846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29730/statm: 22949 21846 170 317 0 22628 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 91796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.09 CPU user time (s): 1799.72 CPU system time (s): 0.362944 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 91796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.362944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22151 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= 6676 runsolver used 2.13167 second user time and 4.41833 second system time The end
Begin job on node12 on Tue Apr 17 23:35:42 UTC 2007 IDJOB= 363532 IDBENCH= 1858 IDSOLVER= 172 FILE ID= node12/363532-1176852942 PBS_JOBID= 4590214 Free space on /tmp= 66102 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-p0201.opb COMMAND LINE= oree /tmp/evaluation/363532-1176852942/instance-363532-1176852942.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-363532-1176852942 -o ROOT/results/node12/solver-363532-1176852942 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363532-1176852942/instance-363532-1176852942.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED= 915801869 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1617488 kB Buffers: 38848 kB Cached: 302792 kB SwapCached: 17536 kB Active: 42452 kB Inactive: 328592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1617488 kB SwapTotal: 4192956 kB SwapFree: 4154608 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 30404 kB Slab: 52964 kB Committed_AS: 4268944 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= 66102 MiB End job on node12 on Wed Apr 18 00:05:45 UTC 2007