Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1801.03 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb |
MD5SUM | 5786f17317bd882619b652d49c5f0155 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 6.46102 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 45485 |
Total number of constraints | 1026 |
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 | 1026 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 619 |
Number of terms in the objective function | 30780 |
Biggest coefficient in the objective function | 531 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 550278 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261632 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 550278 |
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... 1.09/1.15 c ...done 1.09/1.15 c #vars=45485 #constraints=1654 hasObjective=yes 1.39/1.44 c res. mode=mod 1.39/1.44 c VSIDS like heuristics 1.39/1.44 c complete search running 7.99/8.09 c restart after 401 decisions 9.39/9.42 c nbDecision=500 #constraints=2003 13.69/13.70 c restart after 801 decisions 16.78/16.88 c nbDecision=1000 #constraints=2392 25.38/25.42 c nbDecision=1500 #constraints=2891 27.28/27.30 c restart after 1601 decisions 31.58/31.61 c nbDecision=2000 #constraints=3314 35.68/35.77 c nbDecision=2500 #constraints=3814 40.58/40.63 c nbDecision=3000 #constraints=4316 42.48/42.58 c restart after 3201 decisions 49.47/49.52 c nbDecision=3500 #constraints=4738 62.37/62.42 c nbDecision=4000 #constraints=5237 75.37/75.48 c nbDecision=4500 #constraints=5739 88.76/88.88 c nbDecision=5000 #constraints=6238 102.26/102.34 c nbDecision=5500 #constraints=6737 115.95/116.06 c nbDecision=6000 #constraints=7237 127.25/127.34 c restart after 6401 decisions 130.04/130.19 c nbDecision=6500 #constraints=7660 139.94/140.08 c nbDecision=7000 #constraints=8150 149.44/149.59 c nbDecision=7500 #constraints=8650 159.33/159.44 c nbDecision=8000 #constraints=9149 169.43/169.50 c nbDecision=8500 #constraints=9649 179.72/179.83 c nbDecision=9000 #constraints=10149 190.52/190.65 c nbDecision=9500 #constraints=10649 201.52/201.67 c nbDecision=10000 #constraints=11149 212.81/212.94 c nbDecision=10500 #constraints=11651 224.21/224.33 c nbDecision=11000 #constraints=12149 236.31/236.50 c nbDecision=11500 #constraints=12651 248.41/248.59 c nbDecision=12000 #constraints=13150 260.60/260.70 c nbDecision=12500 #constraints=13650 268.20/268.33 c restart after 12801 decisions 275.88/276.02 c nbDecision=13000 #constraints=14061 289.04/289.27 c nbDecision=13500 #constraints=14562 302.90/303.11 c nbDecision=14000 #constraints=15062 317.59/317.82 c nbDecision=14500 #constraints=15564 333.36/333.64 c nbDecision=15000 #constraints=16062 348.86/349.11 c nbDecision=15500 #constraints=16564 365.35/365.61 c nbDecision=16000 #constraints=17064 381.94/382.25 c nbDecision=16500 #constraints=17561 400.64/400.91 c nbDecision=17000 #constraints=18062 418.74/419.05 c nbDecision=17500 #constraints=18563 438.03/438.36 c nbDecision=18000 #constraints=19063 459.52/459.86 c nbDecision=18500 #constraints=19564 478.22/478.56 c nbDecision=19000 #constraints=20061 497.10/497.45 c nbDecision=19500 #constraints=20561 518.20/518.53 c nbDecision=20000 #constraints=21061 537.99/538.40 c nbDecision=20500 #constraints=21561 558.99/559.31 c nbDecision=21000 #constraints=22062 581.97/582.32 c nbDecision=21500 #constraints=22561 605.47/605.83 c nbDecision=22000 #constraints=23063 631.16/631.58 c nbDecision=22500 #constraints=23563 653.45/653.85 c nbDecision=23000 #constraints=24062 677.54/677.97 c nbDecision=23500 #constraints=24563 701.34/701.76 c nbDecision=24000 #constraints=25062 728.32/728.72 c nbDecision=24500 #constraints=25564 754.21/754.62 c nbDecision=25000 #constraints=26064 780.51/780.93 c nbDecision=25500 #constraints=26563 786.70/787.12 c restart after 25601 decisions 822.49/822.92 c nbDecision=26000 #constraints=26991 867.07/867.59 c nbDecision=26500 #constraints=27490 913.66/914.13 c nbDecision=27000 #constraints=27991 959.24/959.78 c nbDecision=27500 #constraints=28491 1005.52/1006.10 c nbDecision=28000 #constraints=28990 1052.50/1053.03 c nbDecision=28500 #constraints=29490 1099.99/1100.51 c nbDecision=29000 #constraints=29991 1147.26/1147.89 c nbDecision=29500 #constraints=30491 1195.85/1196.43 c nbDecision=30000 #constraints=30990 1244.73/1245.39 c nbDecision=30500 #constraints=31491 1294.01/1294.61 c nbDecision=31000 #constraints=31984 1342.50/1343.16 c nbDecision=31500 #constraints=32483 1392.07/1392.77 c nbDecision=32000 #constraints=32985 1441.46/1442.18 c nbDecision=32500 #constraints=33483 1492.24/1492.97 c nbDecision=33000 #constraints=33983 1543.12/1543.87 c nbDecision=33500 #constraints=34484 1595.11/1595.85 c nbDecision=34000 #constraints=34986 1646.99/1647.70 c nbDecision=34500 #constraints=35485 1699.17/1699.90 c nbDecision=35000 #constraints=35983 1750.75/1751.60 c nbDecision=35500 #constraints=36483 1800.03/1800.80 Received signal 15 1800.13/1800.95 1800.13/1800.95 s UNKNOWN 1800.13/1800.95 1800.13/1800.95 c user time= 1799.42 s 1800.13/1800.95 c system time= 0.775882 s 1800.13/1800.95 c wall clock time=1800.95
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-363042-1176850586 -o ROOT/results/node40/solver-363042-1176850586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363042-1176850586/instance-363042-1176850586.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 31833 /proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=1620 CPUtime=0 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 13938221 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 405 175 126 317 0 84 0 [startup+0.071846 s] /proc/loadavg: 0.91 0.95 0.98 3/77 31833 /proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=2624 CPUtime=0.06 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 537 0 0 0 6 0 0 0 18 0 1 0 13938221 2686976 421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 656 421 127 317 0 335 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2624 [startup+0.102851 s] /proc/loadavg: 0.91 0.95 0.98 3/77 31833 /proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=3024 CPUtime=0.09 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 13938221 3096576 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 756 532 131 317 0 435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3024 [startup+0.301896 s] /proc/loadavg: 0.91 0.95 0.98 3/77 31833 /proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=7460 CPUtime=0.29 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 1702 0 0 0 29 0 0 0 19 0 1 0 13938221 7639040 1586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 1865 1586 131 317 0 1544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7460 [startup+0.701976 s] /proc/loadavg: 0.91 0.95 0.98 3/77 31833 /proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=16116 CPUtime=0.69 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 3805 0 0 0 68 1 0 0 22 0 1 0 13938221 16502784 3689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 4029 3689 131 317 0 3708 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16116 [startup+1.50114 s] /proc/loadavg: 0.91 0.95 0.98 2/78 31834 /proc/meminfo: memFree=1596792/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=37140 CPUtime=1.49 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 9038 0 0 0 145 4 0 0 25 0 1 0 13938221 38031360 8922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 9285 8922 138 317 0 8964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37140 [startup+3.10148 s] /proc/loadavg: 0.91 0.95 0.98 2/78 31834 /proc/meminfo: memFree=1582072/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=37284 CPUtime=3.09 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 9053 0 0 0 305 4 0 0 25 0 1 0 13938221 38178816 8937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 9321 8937 139 317 0 9000 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37284 [startup+6.30119 s] /proc/loadavg: 0.92 0.95 0.98 2/78 31834 /proc/meminfo: memFree=1581304/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=38192 CPUtime=6.29 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 9284 0 0 0 624 5 0 0 25 0 1 0 13938221 39108608 9168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 9548 9168 139 317 0 9227 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38192 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.98 2/78 31834 /proc/meminfo: memFree=1578360/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=41224 CPUtime=12.69 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 10031 0 0 0 1264 5 0 0 25 0 1 0 13938221 42213376 9915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 10306 9915 139 317 0 9985 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41224 [startup+25.5022 s] /proc/loadavg: 0.94 0.96 0.98 2/78 31834 /proc/meminfo: memFree=1572280/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=47120 CPUtime=25.48 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 11503 0 0 0 2542 6 0 0 25 0 1 0 13938221 48250880 11387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 11780 11387 139 317 0 11459 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47120 [startup+51.1025 s] /proc/loadavg: 0.96 0.96 0.98 2/78 31834 /proc/meminfo: memFree=1556280/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=63148 CPUtime=51.07 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 15509 0 0 0 5098 9 0 0 25 0 1 0 13938221 64663552 15393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 15787 15393 139 317 0 15466 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63148 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/78 31834 /proc/meminfo: memFree=1538936/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=82088 CPUtime=102.26 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 19854 0 0 0 10213 13 0 0 25 0 1 0 13938221 84058112 19695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 20522 19695 139 317 0 20201 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82088 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31834 /proc/meminfo: memFree=1518584/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=101148 CPUtime=162.24 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 24977 0 0 0 16205 19 0 0 25 0 1 0 13938221 103575552 24818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 25287 24818 139 317 0 24966 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 101148 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31834 /proc/meminfo: memFree=1491448/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=131836 CPUtime=222.21 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 31679 0 0 0 22197 24 0 0 25 0 1 0 13938221 135000064 31520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 32959 31520 139 317 0 32638 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 131836 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 31906 /proc/meminfo: memFree=1472304/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=149044 CPUtime=282.15 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 36285 0 0 0 28187 28 0 0 25 0 1 0 13938221 152621056 36040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 37261 36040 139 317 0 36940 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 149044 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1456632/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=164428 CPUtime=342.06 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 40409 0 0 0 34175 31 0 0 25 0 1 0 13938221 168374272 40164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 41107 40164 139 317 0 40786 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 164428 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1439096/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=195384 CPUtime=402.04 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 47261 0 0 0 40170 34 0 0 25 0 1 0 13938221 200073216 44574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 48846 44574 139 317 0 48525 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 195384 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1426296/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=206696 CPUtime=462.02 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 50458 0 0 0 46165 37 0 0 25 0 1 0 13938221 211656704 47738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 51674 47738 139 317 0 51353 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 206696 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1413496/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=218540 CPUtime=521.99 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 53823 0 0 0 52159 40 0 0 25 0 1 0 13938221 223784960 50971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 54635 50971 139 317 0 54314 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 218540 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1401592/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=229144 CPUtime=581.97 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 56776 0 0 0 58154 43 0 0 25 0 1 0 13938221 234643456 53891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 57286 53891 139 317 0 56965 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 229144 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1390968/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=238240 CPUtime=641.95 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 59440 0 0 0 64150 45 0 0 25 0 1 0 13938221 243957760 56522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 59560 56522 139 317 0 59239 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 238240 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1359480/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=268572 CPUtime=881.86 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 67883 0 0 0 88133 53 0 0 25 0 1 0 13938221 275017728 64432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 67143 64432 139 317 0 66822 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 268572 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1354168/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=273264 CPUtime=941.85 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 69209 0 0 0 94130 55 0 0 25 0 1 0 13938221 279822336 65758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 68316 65758 139 317 0 67995 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 273264 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1348792/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=277836 CPUtime=1001.82 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 70547 0 0 0 100125 57 0 0 25 0 1 0 13938221 284504064 67096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 69459 67096 139 317 0 69138 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 277836 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32032 /proc/meminfo: memFree=1343800/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=282396 CPUtime=1061.81 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 71813 0 0 0 106122 59 0 0 25 0 1 0 13938221 289173504 68362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 70599 68362 139 317 0 70278 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 282396 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1338296/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=287016 CPUtime=1121.77 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 73113 0 0 0 112118 59 0 0 25 0 1 0 13938221 293904384 69662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 71754 69662 139 317 0 71433 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 287016 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1333176/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=291708 CPUtime=1181.75 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 74425 0 0 0 118114 61 0 0 25 0 1 0 13938221 298708992 70941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 72927 70941 139 317 0 72606 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 291708 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1328184/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=296004 CPUtime=1241.74 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 75642 0 0 0 124111 63 0 0 25 0 1 0 13938221 303108096 72158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 74001 72158 139 317 0 73680 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 296004 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1323064/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=300336 CPUtime=1301.71 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 76910 0 0 0 130108 63 0 0 25 0 1 0 13938221 307544064 73426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 75084 73426 139 317 0 74763 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 300336 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1318072/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=304924 CPUtime=1361.69 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 78160 0 0 0 136104 65 0 0 25 0 1 0 13938221 312242176 74676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 76231 74676 139 317 0 75910 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 304924 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1312952/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=309616 CPUtime=1421.67 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 79502 0 0 0 142101 66 0 0 25 0 1 0 13938221 317046784 75952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 77404 75952 139 317 0 77083 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 309616 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1308088/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=314064 CPUtime=1481.64 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 80721 0 0 0 148097 67 0 0 25 0 1 0 13938221 321601536 77171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 78516 77171 139 317 0 78195 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 314064 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1300344/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=352956 CPUtime=1541.62 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 89765 0 0 0 154090 72 0 0 25 0 1 0 13938221 361426944 79065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 88239 79065 139 317 0 87918 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 352956 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1295608/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=357508 CPUtime=1601.6 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 91070 0 0 0 160087 73 0 0 25 0 1 0 13938221 366088192 80272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 89377 80272 139 317 0 89056 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 357508 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1290616/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=361972 CPUtime=1661.58 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 92393 0 0 0 166083 75 0 0 25 0 1 0 13938221 370659328 81530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 90493 81530 139 317 0 90172 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 361972 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32034 /proc/meminfo: memFree=1285752/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=366148 CPUtime=1721.56 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 93594 0 0 0 172080 76 0 0 25 0 1 0 13938221 374935552 82731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 91537 82731 139 317 0 91216 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 366148 [startup+1782.3 s] /proc/loadavg: 1.04 0.99 0.99 2/78 32034 /proc/meminfo: memFree=1281016/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=370316 CPUtime=1781.54 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 94783 0 0 0 178077 77 0 0 25 0 1 0 13938221 379203584 83920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 92579 83920 139 317 0 92258 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 370316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.11 1.00 0.99 2/78 32034 /proc/meminfo: memFree=1279480/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=371616 CPUtime=1800.03 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 95153 0 0 0 179926 77 0 0 25 0 1 0 13938221 380534784 84290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 92904 84290 139 317 0 92583 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 371616 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.11 1.00 0.99 2/78 32034 /proc/meminfo: memFree=1279480/2055920 swapFree=4192024/4192956 [pid=31833] ppid=31831 vsize=0 CPUtime=1800.23 /proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194308 95174 0 0 0 179943 80 0 0 25 0 1 0 13938221 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31833/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.26 CPU user time (s): 1799.43 CPU system time (s): 0.830873 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 371616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.830873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95174 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= 3314 runsolver used 2.07568 second user time and 4.48132 second system time The end
Begin job on node40 on Tue Apr 17 22:56:27 UTC 2007 IDJOB= 363042 IDBENCH= 1725 IDSOLVER= 172 FILE ID= node40/363042-1176850586 PBS_JOBID= 4590176 Free space on /tmp= 66543 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb COMMAND LINE= oree /tmp/evaluation/363042-1176850586/instance-363042-1176850586.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-363042-1176850586 -o ROOT/results/node40/solver-363042-1176850586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363042-1176850586/instance-363042-1176850586.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5786f17317bd882619b652d49c5f0155 RANDOM SEED= 281858908 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1617944 kB Buffers: 32952 kB Cached: 238776 kB SwapCached: 0 kB Active: 31748 kB Inactive: 341424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1617944 kB SwapTotal: 4192956 kB SwapFree: 4192024 kB Dirty: 4616 kB Writeback: 0 kB Mapped: 119936 kB Slab: 50248 kB Committed_AS: 246904 kB PageTables: 1864 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= 66543 MiB End job on node40 on Tue Apr 17 23:26:29 UTC 2007