Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.36 | 1800.99 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb |
MD5SUM | a432642e9fdf105f945bae55612ade38 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 280 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 130 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 43691 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524412 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261245 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524412 |
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.00/0.00 c ...done 0.00/0.00 c #vars=280 #constraints=18 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.29/0.38 c restart after 401 decisions 0.29/0.38 c nbDecision=500 #constraints=253 0.79/0.83 c restart after 801 decisions 0.89/0.93 c nbDecision=1000 #constraints=520 2.49/2.52 c nbDecision=1500 #constraints=1021 2.79/2.89 c restart after 1601 decisions 4.09/4.15 c nbDecision=2000 #constraints=1373 7.09/7.17 c nbDecision=2500 #constraints=1873 10.99/11.08 c nbDecision=3000 #constraints=2373 12.89/12.96 c restart after 3201 decisions 14.48/14.51 c nbDecision=3500 #constraints=2707 20.19/20.28 c nbDecision=4000 #constraints=3206 27.38/27.44 c nbDecision=4500 #constraints=3706 36.88/36.95 c nbDecision=5000 #constraints=4207 48.78/48.88 c nbDecision=5500 #constraints=4707 61.97/62.06 c nbDecision=6000 #constraints=5207 73.47/73.56 c restart after 6401 decisions 73.87/73.93 c nbDecision=6500 #constraints=5608 90.47/90.51 c nbDecision=7000 #constraints=6041 109.06/109.13 c nbDecision=7500 #constraints=6540 127.65/127.70 c nbDecision=8000 #constraints=7040 148.85/148.93 c nbDecision=8500 #constraints=7541 171.74/171.84 c nbDecision=9000 #constraints=8040 194.14/194.25 c nbDecision=9500 #constraints=8542 215.73/215.82 c nbDecision=10000 #constraints=9040 239.12/239.23 c nbDecision=10500 #constraints=9542 266.82/266.98 c nbDecision=11000 #constraints=10041 296.41/296.57 c nbDecision=11500 #constraints=10539 327.61/327.80 c nbDecision=12000 #constraints=11040 358.79/358.96 c nbDecision=12500 #constraints=11540 377.39/377.56 c restart after 12801 decisions 380.68/380.86 c nbDecision=13000 #constraints=11868 418.77/418.93 c nbDecision=13500 #constraints=12368 455.06/455.22 c nbDecision=14000 #constraints=12868 498.65/498.86 c nbDecision=14500 #constraints=13367 538.75/538.91 c nbDecision=15000 #constraints=13867 580.73/580.99 c nbDecision=15500 #constraints=14368 625.28/625.59 c nbDecision=16000 #constraints=14868 666.59/666.96 c nbDecision=16500 #constraints=15367 708.47/708.84 c nbDecision=17000 #constraints=15867 749.66/750.04 c nbDecision=17500 #constraints=16368 793.44/793.83 c nbDecision=18000 #constraints=16868 841.44/841.83 c nbDecision=18500 #constraints=17369 893.41/893.86 c nbDecision=19000 #constraints=17868 940.20/940.63 c nbDecision=19500 #constraints=18368 988.39/988.81 c nbDecision=20000 #constraints=18869 1041.67/1042.14 c nbDecision=20500 #constraints=19369 1092.16/1092.63 c nbDecision=21000 #constraints=19868 1140.25/1140.71 c nbDecision=21500 #constraints=20368 1190.23/1190.71 c nbDecision=22000 #constraints=20868 1260.81/1261.39 c nbDecision=22500 #constraints=21368 1329.89/1330.47 c nbDecision=23000 #constraints=21868 1400.07/1400.67 c nbDecision=23500 #constraints=22368 1468.76/1469.36 c nbDecision=24000 #constraints=22868 1533.84/1534.47 c nbDecision=24500 #constraints=23369 1597.12/1597.74 c nbDecision=25000 #constraints=23869 1663.20/1663.89 c nbDecision=25500 #constraints=24369 1675.10/1675.80 c restart after 25601 decisions 1713.48/1714.19 c nbDecision=26000 #constraints=24687 1788.66/1789.38 c nbDecision=26500 #constraints=25186 1800.08/1800.71 Received signal 15 1800.27/1800.96 1800.27/1800.96 s UNKNOWN 1800.27/1800.96 1800.27/1800.96 c user time= 1799.94 s 1800.27/1800.96 c system time= 0.39094 s 1800.27/1800.96 c wall clock time=1800.96
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-356869-1176846643 -o ROOT/results/node45/solver-356869-1176846643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356869-1176846643/instance-356869-1176846643.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.98 3/77 17419 /proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=1468 CPUtime=0 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 200 0 0 0 0 0 0 0 18 0 1 0 39509948 1503232 182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 367 182 137 317 0 46 0 [startup+0.083411 s] /proc/loadavg: 0.91 0.95 0.98 3/77 17419 /proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=1864 CPUtime=0.08 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 295 0 0 0 8 0 0 0 18 0 1 0 39509948 1908736 277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 466 277 139 317 0 145 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1864 [startup+0.101411 s] /proc/loadavg: 0.91 0.95 0.98 3/77 17419 /proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=1996 CPUtime=0.09 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 320 0 0 0 9 0 0 0 18 0 1 0 39509948 2043904 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 499 302 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301432 s] /proc/loadavg: 0.91 0.95 0.98 3/77 17419 /proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=2784 CPUtime=0.29 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 518 0 0 0 29 0 0 0 19 0 1 0 39509948 2850816 500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 696 500 139 317 0 375 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2784 [startup+0.701473 s] /proc/loadavg: 0.91 0.95 0.98 3/77 17419 /proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=3964 CPUtime=0.69 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 825 0 0 0 69 0 0 0 22 0 1 0 39509948 4059136 807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 991 807 139 317 0 670 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3964 [startup+1.50155 s] /proc/loadavg: 0.91 0.95 0.98 2/78 17420 /proc/meminfo: memFree=1628648/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=5936 CPUtime=1.49 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 1292 0 0 0 148 1 0 0 25 0 1 0 39509948 6078464 1274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 1484 1274 139 317 0 1163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5936 [startup+3.10172 s] /proc/loadavg: 0.91 0.95 0.98 2/78 17420 /proc/meminfo: memFree=1626408/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=8468 CPUtime=3.09 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 1926 0 0 0 308 1 0 0 25 0 1 0 39509948 8671232 1908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 2117 1908 139 317 0 1796 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8468 [startup+6.30104 s] /proc/loadavg: 0.92 0.95 0.98 2/78 17420 /proc/meminfo: memFree=1622120/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=11900 CPUtime=6.29 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 2788 0 0 0 627 2 0 0 25 0 1 0 39509948 12185600 2770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 2975 2770 139 317 0 2654 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11900 [startup+12.7027 s] /proc/loadavg: 0.93 0.95 0.98 2/78 17420 /proc/meminfo: memFree=1617192/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=17092 CPUtime=12.69 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 3956 0 0 0 1266 3 0 0 25 0 1 0 39509948 17502208 3938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 4273 3938 139 317 0 3952 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17092 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.98 3/78 17420 /proc/meminfo: memFree=1610600/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=23160 CPUtime=25.48 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 5502 0 0 0 2544 4 0 0 25 0 1 0 39509948 23715840 5484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 5790 5484 139 317 0 5469 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23160 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/78 17420 /proc/meminfo: memFree=1603432/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=30832 CPUtime=51.08 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 7294 0 0 0 5102 6 0 0 25 0 1 0 39509948 31571968 7276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 7708 7276 139 317 0 7387 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30832 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 17420 /proc/meminfo: memFree=1594024/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=40428 CPUtime=102.26 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 9634 0 0 0 10218 8 0 0 25 0 1 0 39509948 41398272 9616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 10107 9616 170 317 0 9786 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40428 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1585448/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=48676 CPUtime=162.24 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 11762 0 0 0 16214 10 0 0 25 0 1 0 39509948 49844224 11744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 12169 11744 170 317 0 11848 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48676 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1576872/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=58004 CPUtime=222.23 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 13941 0 0 0 22211 12 0 0 25 0 1 0 39509948 59396096 13866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 14501 13866 170 317 0 14180 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 58004 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1569960/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=65552 CPUtime=282.22 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 15681 0 0 0 28208 14 0 0 25 0 1 0 39509948 67125248 15606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 16388 15606 170 317 0 16067 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 65552 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1563176/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=73460 CPUtime=342.19 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 17356 0 0 0 34204 15 0 0 25 0 1 0 39509948 75223040 17281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 18365 17281 170 317 0 18044 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 73460 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1557992/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=78624 CPUtime=402.17 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 18658 0 0 0 40201 16 0 0 25 0 1 0 39509948 80510976 18583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 19656 18583 170 317 0 19335 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 78624 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1553256/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=83372 CPUtime=462.16 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 19840 0 0 0 46199 17 0 0 25 0 1 0 39509948 85372928 19765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 20843 19765 170 317 0 20522 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 83372 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1548968/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=88464 CPUtime=522.14 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 20953 0 0 0 52196 18 0 0 25 0 1 0 39509948 90587136 20878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 22116 20878 170 317 0 21795 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 88464 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17420 /proc/meminfo: memFree=1544488/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=92260 CPUtime=582.13 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 22031 0 0 0 58193 20 0 0 25 0 1 0 39509948 94474240 21956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 23065 21956 170 317 0 22744 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 92260 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 17558 /proc/meminfo: memFree=1539376/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=95724 CPUtime=642.03 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 22983 0 0 0 64182 21 0 0 25 0 1 0 39509948 98021376 22908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 23931 22908 170 317 0 23610 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 95724 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17618 /proc/meminfo: memFree=1519400/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=119392 CPUtime=941.9 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 28613 0 0 0 94164 26 0 0 25 0 1 0 39509948 122257408 28161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 29848 28161 170 317 0 29527 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 119392 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17618 /proc/meminfo: memFree=1515880/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=122668 CPUtime=1001.89 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 29519 0 0 0 100162 27 0 0 25 0 1 0 39509948 125612032 29034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 30667 29034 170 317 0 30346 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 122668 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1512680/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=126096 CPUtime=1061.87 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 30458 0 0 0 106159 28 0 0 25 0 1 0 39509948 129122304 29907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 31524 29907 170 317 0 31203 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 126096 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1508904/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=130432 CPUtime=1121.85 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 31478 0 0 0 112157 28 0 0 25 0 1 0 39509948 133562368 30861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 32608 30861 170 317 0 32287 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 130432 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1504808/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=134572 CPUtime=1181.83 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 32565 0 0 0 118154 29 0 0 25 0 1 0 39509948 137801728 31882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 33643 31882 170 317 0 33322 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 134572 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1502504/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=136672 CPUtime=1241.82 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 33134 0 0 0 124152 30 0 0 25 0 1 0 39509948 139952128 32418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 34168 32418 170 317 0 33847 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 136672 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1500008/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=140176 CPUtime=1301.81 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 33979 0 0 0 130150 31 0 0 25 0 1 0 39509948 143540224 33032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 35044 33032 170 317 0 34723 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 140176 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1497832/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=142268 CPUtime=1361.79 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 34584 0 0 0 136147 32 0 0 25 0 1 0 39509948 145682432 33571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 35567 33571 170 317 0 35246 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 142268 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1495592/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=144380 CPUtime=1421.77 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 35156 0 0 0 142144 33 0 0 25 0 1 0 39509948 147845120 34143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 36095 34143 170 317 0 35774 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 144380 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1492008/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=150592 CPUtime=1481.75 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 36561 0 0 0 148141 34 0 0 25 0 1 0 39509948 154206208 35020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 37648 35020 170 317 0 37327 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 150592 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1489512/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=153080 CPUtime=1541.74 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 37228 0 0 0 154139 35 0 0 25 0 1 0 39509948 156753920 35654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 38270 35654 170 317 0 37949 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 153080 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1486952/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=155308 CPUtime=1601.71 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 37877 0 0 0 160136 35 0 0 25 0 1 0 39509948 159035392 36303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 38827 36303 170 317 0 38506 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 155308 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1484072/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=159204 CPUtime=1661.7 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 38808 0 0 0 166134 36 0 0 25 0 1 0 39509948 163024896 36970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530479 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 39801 36970 170 317 0 39480 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 159204 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1482152/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=160912 CPUtime=1721.69 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 39320 0 0 0 172131 38 0 0 25 0 1 0 39509948 164773888 37482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 40228 37482 170 317 0 39907 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 160912 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1479784/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=163152 CPUtime=1781.67 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 39939 0 0 0 178129 38 0 0 25 0 1 0 39509948 167067648 38068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 40788 38068 170 317 0 40467 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 163152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1479144/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=163676 CPUtime=1800.08 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 40098 0 0 0 179969 39 0 0 25 0 1 0 39509948 167604224 38227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 40919 38227 170 317 0 40598 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 163676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1479144/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=163676 CPUtime=1800.17 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 40098 0 0 0 179978 39 0 0 25 0 1 0 39509948 167604224 38227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 40919 38227 170 317 0 40598 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 163676 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17620 /proc/meminfo: memFree=1479144/2055920 swapFree=4141448/4192956 [pid=17419] ppid=17417 vsize=163676 CPUtime=1800.27 /proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 40098 0 0 0 179988 39 0 0 25 0 1 0 39509948 167604224 38227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17419/statm: 40919 38227 170 317 0 40598 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 163676 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.36 CPU user time (s): 1799.95 CPU system time (s): 0.415936 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 163676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.415936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40114 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= 26252 runsolver used 2.19766 second user time and 4.36034 second system time The end
Begin job on node45 on Tue Apr 17 21:50:43 UTC 2007 IDJOB= 356869 IDBENCH= 1573 IDSOLVER= 172 FILE ID= node45/356869-1176846643 PBS_JOBID= 4590162 Free space on /tmp= 66483 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb COMMAND LINE= oree /tmp/evaluation/356869-1176846643/instance-356869-1176846643.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-356869-1176846643 -o ROOT/results/node45/solver-356869-1176846643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356869-1176846643/instance-356869-1176846643.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a432642e9fdf105f945bae55612ade38 RANDOM SEED= 930831976 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1632648 kB Buffers: 37940 kB Cached: 299956 kB SwapCached: 32908 kB Active: 243816 kB Inactive: 136164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1632648 kB SwapTotal: 4192956 kB SwapFree: 4141448 kB Dirty: 1420 kB Writeback: 0 kB Mapped: 31820 kB Slab: 28876 kB Committed_AS: 1105388 kB PageTables: 1732 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= 66483 MiB End job on node45 on Tue Apr 17 22:20:46 UTC 2007