Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb |
MD5SUM | 26050490bdc7147f2ccbcc29a5d8feeb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13710 |
Total number of constraints | 327 |
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 | 327 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1710 |
Number of terms in the objective function | 690 |
Biggest coefficient in the objective function | 20011 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524791 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525557 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.21 c ...done 0.19/0.21 c #vars=13710 #constraints=515 hasObjective=yes 0.19/0.26 c res. mode=mod 0.19/0.26 c VSIDS like heuristics 0.19/0.26 c complete search running 0.69/0.79 c restart after 401 decisions 0.79/0.86 c nbDecision=500 #constraints=718 1.39/1.46 c restart after 801 decisions 1.79/1.87 c nbDecision=1000 #constraints=982 3.09/3.15 c nbDecision=1500 #constraints=1273 3.29/3.37 c restart after 1601 decisions 3.69/3.70 c nbDecision=2000 #constraints=1449 4.09/4.18 c nbDecision=2500 #constraints=1578 4.79/4.89 c nbDecision=3000 #constraints=1717 5.09/5.12 c restart after 3201 decisions 5.49/5.55 c nbDecision=3500 #constraints=1864 6.08/6.13 c nbDecision=4000 #constraints=1975 7.89/7.97 c nbDecision=4500 #constraints=2220 12.99/13.08 c nbDecision=5000 #constraints=2544 13.88/13.91 c nbDecision=5500 #constraints=2684 14.68/14.75 c nbDecision=6000 #constraints=2782 15.39/15.43 c restart after 6401 decisions 15.58/15.60 c nbDecision=6500 #constraints=2913 16.19/16.27 c nbDecision=7000 #constraints=3011 17.28/17.33 c nbDecision=7500 #constraints=3102 19.48/19.55 c nbDecision=8000 #constraints=3259 20.78/20.85 c nbDecision=8500 #constraints=3384 21.48/21.59 c nbDecision=9000 #constraints=3455 23.79/23.86 c nbDecision=9500 #constraints=3619 26.88/27.00 c nbDecision=10000 #constraints=3850 35.08/35.10 c nbDecision=10500 #constraints=4225 37.38/37.41 c nbDecision=11000 #constraints=4343 42.78/42.87 c nbDecision=11500 #constraints=4650 45.68/45.77 c nbDecision=12000 #constraints=4817 49.17/49.24 c nbDecision=12500 #constraints=5027 51.17/51.28 c restart after 12801 decisions 51.87/51.95 c nbDecision=13000 #constraints=5175 53.88/53.92 c nbDecision=13500 #constraints=5286 56.47/56.53 c nbDecision=14000 #constraints=5427 58.97/59.01 c nbDecision=14500 #constraints=5565 61.17/61.21 c nbDecision=15000 #constraints=5678 63.47/63.52 c nbDecision=15500 #constraints=5776 66.27/66.34 c nbDecision=16000 #constraints=5947 69.07/69.14 c nbDecision=16500 #constraints=6087 72.97/73.02 c nbDecision=17000 #constraints=6295 82.96/83.01 c nbDecision=17500 #constraints=6675 86.76/86.86 c nbDecision=18000 #constraints=6807 93.56/93.69 c nbDecision=18500 #constraints=7071 101.27/101.37 c nbDecision=19000 #constraints=7337 105.06/105.13 c nbDecision=19500 #constraints=7476 108.06/108.18 c nbDecision=20000 #constraints=7574 114.65/114.70 c nbDecision=20500 #constraints=7810 118.96/119.04 c nbDecision=21000 #constraints=7966 124.55/124.61 c nbDecision=21500 #constraints=8156 132.15/132.20 c nbDecision=22000 #constraints=8492 141.26/141.30 c nbDecision=22500 #constraints=8876 153.15/153.21 c nbDecision=23000 #constraints=9250 165.45/165.56 c nbDecision=23500 #constraints=9656 178.05/178.15 c nbDecision=24000 #constraints=10078 190.63/190.73 c nbDecision=24500 #constraints=10484 204.84/204.90 c nbDecision=25000 #constraints=10843 212.13/212.28 c nbDecision=25500 #constraints=11014 213.23/213.34 c restart after 25601 decisions 217.33/217.43 c nbDecision=26000 #constraints=11122 222.43/222.50 c nbDecision=26500 #constraints=11234 234.83/234.95 c nbDecision=27000 #constraints=11555 240.42/240.55 c nbDecision=27500 #constraints=11688 247.83/247.99 c nbDecision=28000 #constraints=11861 254.03/254.13 c nbDecision=28500 #constraints=12018 262.42/262.57 c nbDecision=29000 #constraints=12186 270.42/270.59 c nbDecision=29500 #constraints=12359 283.52/283.60 c nbDecision=30000 #constraints=12664 292.91/293.02 c nbDecision=30500 #constraints=12861 301.61/301.75 c nbDecision=31000 #constraints=13079 313.41/313.58 c nbDecision=31500 #constraints=13308 325.01/325.13 c nbDecision=32000 #constraints=13547 333.80/333.96 c nbDecision=32500 #constraints=13720 345.31/345.46 c nbDecision=33000 #constraints=13973 356.39/356.51 c nbDecision=33500 #constraints=14172 368.99/369.14 c nbDecision=34000 #constraints=14467 387.19/387.39 c nbDecision=34500 #constraints=14820 403.89/404.04 c nbDecision=35000 #constraints=15149 412.18/412.31 c nbDecision=35500 #constraints=15282 420.68/420.85 c nbDecision=36000 #constraints=15419 429.18/429.36 c nbDecision=36500 #constraints=15547 439.98/440.13 c nbDecision=37000 #constraints=15758 453.77/453.96 c nbDecision=37500 #constraints=16022 470.47/470.65 c nbDecision=38000 #constraints=16328 483.47/483.65 c nbDecision=38500 #constraints=16524 493.76/493.98 c nbDecision=39000 #constraints=16710 505.36/505.56 c nbDecision=39500 #constraints=16898 519.06/519.25 c nbDecision=40000 #constraints=17116 533.66/533.87 c nbDecision=40500 #constraints=17356 548.66/548.80 c nbDecision=41000 #constraints=17591 564.15/564.36 c nbDecision=41500 #constraints=17855 579.04/579.28 c nbDecision=42000 #constraints=18096 599.44/599.68 c nbDecision=42500 #constraints=18430 620.43/620.60 c nbDecision=43000 #constraints=18754 635.23/635.49 c nbDecision=43500 #constraints=18953 651.93/652.11 c nbDecision=44000 #constraints=19184 678.31/678.59 c nbDecision=44500 #constraints=19513 690.12/690.32 c nbDecision=45000 #constraints=19701 701.71/701.90 c nbDecision=45500 #constraints=19870 723.40/723.66 c nbDecision=46000 #constraints=20182 742.10/742.34 c nbDecision=46500 #constraints=20449 753.89/754.11 c nbDecision=47000 #constraints=20605 773.29/773.56 c nbDecision=47500 #constraints=20891 790.60/790.85 c nbDecision=48000 #constraints=21093 805.99/806.20 c nbDecision=48500 #constraints=21280 821.68/821.99 c nbDecision=49000 #constraints=21509 840.28/840.55 c nbDecision=49500 #constraints=21781 855.17/855.44 c nbDecision=50000 #constraints=21987 875.67/875.91 c nbDecision=50500 #constraints=22251 896.97/897.28 c nbDecision=51000 #constraints=22517 904.77/905.06 c restart after 51201 decisions 913.16/913.45 c nbDecision=51500 #constraints=22676 930.15/930.40 c nbDecision=52000 #constraints=22888 947.55/947.86 c nbDecision=52500 #constraints=23116 971.15/971.42 c nbDecision=53000 #constraints=23415 989.84/990.19 c nbDecision=53500 #constraints=23660 1013.24/1013.50 c nbDecision=54000 #constraints=23924 1037.13/1037.49 c nbDecision=54500 #constraints=24203 1066.42/1066.77 c nbDecision=55000 #constraints=24545 1089.62/1089.92 c nbDecision=55500 #constraints=24815 1113.01/1113.34 c nbDecision=56000 #constraints=25070 1140.81/1141.16 c nbDecision=56500 #constraints=25419 1163.19/1163.52 c nbDecision=57000 #constraints=25659 1189.09/1189.49 c nbDecision=57500 #constraints=25927 1209.49/1209.82 c nbDecision=58000 #constraints=26147 1235.18/1235.51 c nbDecision=58500 #constraints=26435 1256.88/1257.27 c nbDecision=59000 #constraints=26681 1284.56/1284.98 c nbDecision=59500 #constraints=26969 1318.86/1319.26 c nbDecision=60000 #constraints=27321 1354.25/1354.65 c nbDecision=60500 #constraints=27666 1394.15/1394.53 c nbDecision=61000 #constraints=28071 1437.43/1437.87 c nbDecision=61500 #constraints=28461 1486.52/1487.00 c nbDecision=62000 #constraints=28869 1521.91/1522.35 c nbDecision=62500 #constraints=29165 1546.21/1546.66 c nbDecision=63000 #constraints=29379 1574.17/1574.66 c nbDecision=63500 #constraints=29658 1602.03/1602.55 c nbDecision=64000 #constraints=29924 1637.50/1638.09 c nbDecision=64500 #constraints=30263 1666.09/1666.65 c nbDecision=65000 #constraints=30539 1708.38/1708.95 c nbDecision=65500 #constraints=30936 1746.27/1746.89 c nbDecision=66000 #constraints=31318 1784.26/1784.86 c nbDecision=66500 #constraints=31696 1800.06/1800.60 Received signal 15 1800.06/1800.68 1800.06/1800.68 s UNKNOWN 1800.06/1800.68 1800.06/1800.68 c user time= 1799.3 s 1800.06/1800.68 c system time= 0.84887 s 1800.06/1800.68 c wall clock time=1800.68
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-356954-1176849301 -o ROOT/results/node14/solver-356954-1176849301 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356954-1176849301/instance-356954-1176849301.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.99 0.97 0.98 3/77 1725 /proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=1468 CPUtime=0 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 162 0 0 0 0 0 0 0 19 0 1 0 132847877 1503232 144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 367 144 126 317 0 46 0 [startup+0.07539 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1725 /proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=3068 CPUtime=0.06 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 590 0 0 0 6 0 0 0 19 0 1 0 132847877 3141632 572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 767 572 131 317 0 446 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3068 [startup+0.101392 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1725 /proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=3728 CPUtime=0.09 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 737 0 0 0 9 0 0 0 19 0 1 0 132847877 3817472 719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 932 719 131 317 0 611 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3728 [startup+0.30141 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1725 /proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=8440 CPUtime=0.29 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 1915 0 0 0 29 0 0 0 21 0 1 0 132847877 8642560 1897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 2110 1897 139 317 0 1789 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8440 [startup+0.701448 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1725 /proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=10276 CPUtime=0.69 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 2422 0 0 0 68 1 0 0 25 0 1 0 132847877 10522624 2404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 2569 2404 170 317 0 2248 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10276 [startup+1.50152 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1825344/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=13452 CPUtime=1.49 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 3211 0 0 0 148 1 0 0 25 0 1 0 132847877 13774848 3193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 3363 3193 170 317 0 3042 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13452 [startup+3.10167 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1820800/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=20504 CPUtime=3.09 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 4976 0 0 0 307 2 0 0 25 0 1 0 132847877 20996096 4958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 5126 4958 170 317 0 4805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20504 [startup+6.30198 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1810880/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=27564 CPUtime=6.28 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 6740 0 0 0 626 2 0 0 25 0 1 0 132847877 28225536 6722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 6891 6722 170 317 0 6570 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27564 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1798976/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=38344 CPUtime=12.69 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 9364 0 0 0 1265 4 0 0 25 0 1 0 132847877 39264256 9346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718704 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 9586 9346 170 317 0 9265 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38344 [startup+25.5028 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1783232/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=54792 CPUtime=25.48 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 13273 0 0 0 2542 6 0 0 25 0 1 0 132847877 56107008 13255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 13698 13255 170 317 0 13377 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54792 [startup+51.1022 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1756736/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=80912 CPUtime=51.07 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 19827 0 0 0 5098 9 0 0 25 0 1 0 132847877 82853888 19809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 20228 19809 170 317 0 19907 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 80912 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1726 /proc/meminfo: memFree=1718464/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=122576 CPUtime=102.27 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 29313 0 0 0 10213 14 0 0 25 0 1 0 132847877 125517824 29295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 30644 29295 170 317 0 30323 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 122576 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1683392/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=155628 CPUtime=162.24 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 38145 0 0 0 16205 19 0 0 25 0 1 0 132847877 159363072 38070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 38907 38070 170 317 0 38586 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 155628 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1648640/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=197048 CPUtime=222.23 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 46736 0 0 0 22199 24 0 0 25 0 1 0 132847877 201777152 46661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 49262 46661 170 317 0 48941 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 197048 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1624896/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=222748 CPUtime=282.22 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 52767 0 0 0 28194 28 0 0 25 0 1 0 132847877 228093952 52692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541583 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 55687 52692 170 317 0 55366 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 222748 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1603648/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=242528 CPUtime=342.2 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 57986 0 0 0 34189 31 0 0 25 0 1 0 132847877 248348672 57911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 60632 57911 170 317 0 60311 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 242528 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1583744/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=261060 CPUtime=402.19 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 62959 0 0 0 40185 34 0 0 25 0 1 0 132847877 267325440 62884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 65265 62884 170 317 0 64944 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 261060 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1566912/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=277688 CPUtime=462.17 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 67166 0 0 0 46180 37 0 0 25 0 1 0 132847877 284352512 67091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 69422 67091 170 317 0 69101 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 277688 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1551680/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=292160 CPUtime=522.15 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 71076 0 0 0 52176 39 0 0 25 0 1 0 132847877 299171840 70888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 73040 70888 170 317 0 72719 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 292160 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1535808/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=308068 CPUtime=582.14 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 75242 0 0 0 58172 42 0 0 25 0 1 0 132847877 315461632 74823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 77017 74823 170 317 0 76696 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 308068 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1521344/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=325360 CPUtime=642.13 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 79579 0 0 0 64168 45 0 0 25 0 1 0 132847877 333168640 78401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 81340 78401 170 317 0 81019 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 325360 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1460992/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=401748 CPUtime=882.07 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 98581 0 0 0 88152 55 0 0 25 0 1 0 132847877 411389952 93443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 100437 93443 170 317 0 100116 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 401748 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1449600/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=412192 CPUtime=942.05 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 101440 0 0 0 94148 57 0 0 25 0 1 0 132847877 422084608 96302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 103048 96302 170 317 0 102727 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 412192 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1437312/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=423120 CPUtime=1002.03 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 104532 0 0 0 100145 58 0 0 25 0 1 0 132847877 433274880 99361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 105780 99361 170 317 0 105459 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 423120 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1425920/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=433072 CPUtime=1062.02 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 107381 0 0 0 106142 60 0 0 25 0 1 0 132847877 443465728 102210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 108268 102210 170 317 0 107947 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 433072 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1412672/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=453608 CPUtime=1122.01 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 112192 0 0 0 112138 63 0 0 25 0 1 0 132847877 464494592 105503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 113402 105503 170 317 0 113081 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 453608 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1400704/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=464052 CPUtime=1181.99 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 115250 0 0 0 118134 65 0 0 25 0 1 0 132847877 475189248 108495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 116013 108495 170 317 0 115692 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 464052 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1389248/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=473848 CPUtime=1241.98 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 118101 0 0 0 124131 67 0 0 25 0 1 0 132847877 485220352 111346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 118462 111346 170 317 0 118141 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 473848 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1378048/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=483656 CPUtime=1301.97 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 120881 0 0 0 130128 69 0 0 25 0 1 0 132847877 495263744 114093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 120914 114093 170 317 0 120593 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 483656 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1366528/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=494012 CPUtime=1361.95 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 123815 0 0 0 136124 71 0 0 25 0 1 0 132847877 505868288 116994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 123503 116994 170 317 0 123182 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 494012 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1355328/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=503860 CPUtime=1421.94 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 126623 0 0 0 142121 73 0 0 25 0 1 0 132847877 515952640 119769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 125965 119769 170 317 0 125644 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 503860 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1728 /proc/meminfo: memFree=1345088/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=512944 CPUtime=1481.92 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 129240 0 0 0 148117 75 0 0 25 0 1 0 132847877 525254656 122353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 128236 122353 170 317 0 127915 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 512944 [startup+1542.3 s] /proc/loadavg: 1.06 0.99 0.99 2/78 1728 /proc/meminfo: memFree=1335424/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=521620 CPUtime=1541.91 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 131708 0 0 0 154114 77 0 0 25 0 1 0 132847877 534138880 124755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 130405 124755 170 317 0 130084 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 521620 [startup+1602.3 s] /proc/loadavg: 1.02 0.99 0.99 2/84 1907 /proc/meminfo: memFree=1324168/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=530780 CPUtime=1601.83 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 134343 0 0 0 160104 79 0 0 25 0 1 0 132847877 543518720 127291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 132695 127291 170 317 0 132374 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 530780 [startup+1662.3 s] /proc/loadavg: 1.01 0.99 0.99 2/78 1936 /proc/meminfo: memFree=1314624/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=541904 CPUtime=1661.79 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 137005 0 0 0 166098 81 0 0 25 0 1 0 132847877 554909696 129920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 135476 129920 170 317 0 135155 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 541904 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 1936 /proc/meminfo: memFree=1303680/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=553440 CPUtime=1721.77 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 139757 0 0 0 172095 82 0 0 25 0 1 0 132847877 566722560 132672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 138360 132672 170 317 0 138039 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 553440 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 1936 /proc/meminfo: memFree=1291776/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=563784 CPUtime=1781.76 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 142724 0 0 0 178092 84 0 0 25 0 1 0 132847877 577314816 135606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 140946 135606 170 317 0 140625 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 563784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/78 1936 /proc/meminfo: memFree=1288384/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=566460 CPUtime=1800.06 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 143548 0 0 0 179922 84 0 0 25 0 1 0 132847877 580055040 136430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 141615 136430 170 317 0 141294 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 566460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/78 1936 /proc/meminfo: memFree=1288384/2055920 swapFree=4145412/4192956 [pid=1725] ppid=1723 vsize=0 CPUtime=1800.17 /proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194308 143564 0 0 0 179930 87 0 0 25 0 1 0 132847877 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1725/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.25 CPU user time (s): 1799.3 CPU system time (s): 0.943856 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 566460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.943856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143564 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= 7 involuntary context switches= 37274 runsolver used 2.07868 second user time and 4.48132 second system time The end
Begin job on node14 on Tue Apr 17 22:35:01 UTC 2007 IDJOB= 356954 IDBENCH= 1684 IDSOLVER= 172 FILE ID= node14/356954-1176849301 PBS_JOBID= 4590212 Free space on /tmp= 66297 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-scfxm1.opb COMMAND LINE= oree /tmp/evaluation/356954-1176849301/instance-356954-1176849301.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-356954-1176849301 -o ROOT/results/node14/solver-356954-1176849301 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356954-1176849301/instance-356954-1176849301.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 26050490bdc7147f2ccbcc29a5d8feeb RANDOM SEED= 168041034 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1835872 kB Buffers: 32728 kB Cached: 119968 kB SwapCached: 14788 kB Active: 67552 kB Inactive: 111464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835872 kB SwapTotal: 4192956 kB SwapFree: 4145412 kB Dirty: 2036 kB Writeback: 0 kB Mapped: 29836 kB Slab: 26516 kB Committed_AS: 6574216 kB PageTables: 1784 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= 66297 MiB End job on node14 on Tue Apr 17 23:05:04 UTC 2007