Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1801.17 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standata.opb |
MD5SUM | 0fd8d82b89614ba6aec45b78f4728905 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 30004 |
Total number of constraints | 455 |
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 | 455 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 53687091200 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 326417514192 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 77387257610240 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 2427818341201528 |
Number of bits of the biggest sum of numbers | 52 |
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.29/0.34 c ...done 0.29/0.34 c #vars=30004 #constraints=616 hasObjective=yes 0.29/0.40 c res. mode=mod 0.29/0.40 c VSIDS like heuristics 0.29/0.40 c complete search running 0.79/0.88 c restart after 401 decisions 0.89/0.98 c nbDecision=500 #constraints=956 1.29/1.31 c restart after 801 decisions 1.49/1.54 c nbDecision=1000 #constraints=1322 2.20/2.23 c nbDecision=1500 #constraints=1749 2.30/2.39 c restart after 1601 decisions 2.89/2.90 c nbDecision=2000 #constraints=2075 3.69/3.74 c nbDecision=2500 #constraints=2516 4.69/4.71 c nbDecision=3000 #constraints=2939 5.09/5.13 c restart after 3201 decisions 5.49/5.58 c nbDecision=3500 #constraints=3260 6.60/6.62 c nbDecision=4000 #constraints=3640 7.80/7.89 c nbDecision=4500 #constraints=4043 9.29/9.32 c nbDecision=5000 #constraints=4433 10.89/10.95 c nbDecision=5500 #constraints=4807 12.79/12.87 c nbDecision=6000 #constraints=5197 14.49/14.56 c restart after 6401 decisions 14.79/14.85 c nbDecision=6500 #constraints=5570 16.69/16.77 c nbDecision=7000 #constraints=5979 19.08/19.12 c nbDecision=7500 #constraints=6380 21.88/21.90 c nbDecision=8000 #constraints=6778 24.67/24.79 c nbDecision=8500 #constraints=7147 27.76/27.83 c nbDecision=9000 #constraints=7517 31.15/31.30 c nbDecision=9500 #constraints=7915 34.64/34.79 c nbDecision=10000 #constraints=8324 38.33/38.46 c nbDecision=10500 #constraints=8726 42.44/42.55 c nbDecision=11000 #constraints=9124 46.94/47.02 c nbDecision=11500 #constraints=9500 51.44/51.51 c nbDecision=12000 #constraints=9919 56.23/56.31 c nbDecision=12500 #constraints=10312 59.04/59.19 c restart after 12801 decisions 59.94/60.00 c nbDecision=13000 #constraints=10653 65.03/65.19 c nbDecision=13500 #constraints=11049 70.43/70.54 c nbDecision=14000 #constraints=11449 75.72/75.80 c nbDecision=14500 #constraints=11812 82.00/82.17 c nbDecision=15000 #constraints=12222 88.51/88.65 c nbDecision=15500 #constraints=12585 94.51/94.68 c nbDecision=16000 #constraints=12974 100.71/100.83 c nbDecision=16500 #constraints=13372 107.90/108.06 c nbDecision=17000 #constraints=13760 114.79/114.94 c nbDecision=17500 #constraints=14122 122.58/122.79 c nbDecision=18000 #constraints=14515 130.48/130.62 c nbDecision=18500 #constraints=14883 138.08/138.25 c nbDecision=19000 #constraints=15282 145.87/146.05 c nbDecision=19500 #constraints=15678 153.57/153.76 c nbDecision=20000 #constraints=16068 162.76/162.91 c nbDecision=20500 #constraints=16439 172.15/172.39 c nbDecision=21000 #constraints=16818 180.95/181.19 c nbDecision=21500 #constraints=17229 190.55/190.76 c nbDecision=22000 #constraints=17600 200.73/200.93 c nbDecision=22500 #constraints=17987 210.53/210.76 c nbDecision=23000 #constraints=18409 220.72/220.95 c nbDecision=23500 #constraints=18806 231.12/231.38 c nbDecision=24000 #constraints=19185 242.81/243.04 c nbDecision=24500 #constraints=19575 254.51/254.72 c nbDecision=25000 #constraints=19981 266.20/266.49 c nbDecision=25500 #constraints=20370 268.70/268.90 c restart after 25601 decisions 275.80/276.09 c nbDecision=26000 #constraints=20688 287.99/288.24 c nbDecision=26500 #constraints=21061 300.58/300.88 c nbDecision=27000 #constraints=21436 314.07/314.31 c nbDecision=27500 #constraints=21832 326.87/327.10 c nbDecision=28000 #constraints=22208 339.45/339.70 c nbDecision=28500 #constraints=22596 352.45/352.72 c nbDecision=29000 #constraints=22978 365.74/366.03 c nbDecision=29500 #constraints=23338 380.03/380.38 c nbDecision=30000 #constraints=23718 393.92/394.26 c nbDecision=30500 #constraints=24113 407.71/408.07 c nbDecision=31000 #constraints=24470 421.51/421.82 c nbDecision=31500 #constraints=24834 438.80/439.19 c nbDecision=32000 #constraints=25239 455.09/455.43 c nbDecision=32500 #constraints=25625 470.98/471.35 c nbDecision=33000 #constraints=25999 488.87/489.27 c nbDecision=33500 #constraints=26376 506.46/506.84 c nbDecision=34000 #constraints=26777 524.05/524.43 c nbDecision=34500 #constraints=27167 541.43/541.82 c nbDecision=35000 #constraints=27544 559.72/560.17 c nbDecision=35500 #constraints=27934 577.52/577.95 c nbDecision=36000 #constraints=28314 596.70/597.11 c nbDecision=36500 #constraints=28706 616.09/616.52 c nbDecision=37000 #constraints=29104 635.28/635.80 c nbDecision=37500 #constraints=29489 655.46/655.94 c nbDecision=38000 #constraints=29867 674.85/675.38 c nbDecision=38500 #constraints=30244 694.43/694.95 c nbDecision=39000 #constraints=30605 715.03/715.56 c nbDecision=39500 #constraints=30963 736.62/737.18 c nbDecision=40000 #constraints=31357 760.20/760.72 c nbDecision=40500 #constraints=31740 783.69/784.21 c nbDecision=41000 #constraints=32133 805.67/806.20 c nbDecision=41500 #constraints=32508 828.27/828.82 c nbDecision=42000 #constraints=32890 850.75/851.34 c nbDecision=42500 #constraints=33243 872.53/873.14 c nbDecision=43000 #constraints=33626 894.52/895.11 c nbDecision=43500 #constraints=33986 916.82/917.47 c nbDecision=44000 #constraints=34364 941.40/942.02 c nbDecision=44500 #constraints=34747 965.07/965.79 c nbDecision=45000 #constraints=35109 988.87/989.54 c nbDecision=45500 #constraints=35476 1015.25/1015.91 c nbDecision=46000 #constraints=35853 1039.44/1040.15 c nbDecision=46500 #constraints=36216 1065.92/1066.65 c nbDecision=47000 #constraints=36602 1094.51/1095.20 c nbDecision=47500 #constraints=36989 1120.39/1121.15 c nbDecision=48000 #constraints=37374 1146.57/1147.32 c nbDecision=48500 #constraints=37737 1173.07/1173.83 c nbDecision=49000 #constraints=38089 1203.14/1203.95 c nbDecision=49500 #constraints=38474 1230.73/1231.54 c nbDecision=50000 #constraints=38817 1257.11/1257.98 c nbDecision=50500 #constraints=39218 1280.30/1281.19 c nbDecision=51000 #constraints=39611 1290.79/1291.67 c restart after 51201 decisions 1299.99/1300.80 c nbDecision=51500 #constraints=39967 1325.67/1326.55 c nbDecision=52000 #constraints=40363 1352.35/1353.20 c nbDecision=52500 #constraints=40734 1380.34/1381.27 c nbDecision=53000 #constraints=41125 1405.83/1406.75 c nbDecision=53500 #constraints=41494 1434.41/1435.34 c nbDecision=54000 #constraints=41884 1462.99/1463.90 c nbDecision=54500 #constraints=42262 1493.08/1494.00 c nbDecision=55000 #constraints=42652 1521.46/1522.42 c nbDecision=55500 #constraints=43008 1552.24/1553.30 c nbDecision=56000 #constraints=43375 1582.82/1583.81 c nbDecision=56500 #constraints=43744 1613.81/1614.82 c nbDecision=57000 #constraints=44101 1647.49/1648.50 c nbDecision=57500 #constraints=44481 1677.49/1678.54 c nbDecision=58000 #constraints=44832 1710.66/1711.79 c nbDecision=58500 #constraints=45227 1743.13/1744.21 c nbDecision=59000 #constraints=45599 1775.92/1777.07 c nbDecision=59500 #constraints=45981 1800.01/1801.10 Received signal 15 1800.01/1801.11 1800.01/1801.11 s UNKNOWN 1800.01/1801.11 1800.01/1801.11 c user time= 1799.62 s 1800.01/1801.11 c system time= 0.416936 s 1800.01/1801.11 c wall clock time=1801.12
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-357342-1176995109 -o ROOT/results/node17/solver-357342-1176995109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357342-1176995109/instance-357342-1176995109.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.92 0.98 0.99 3/77 1617 /proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=1468 CPUtime=0 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147428467 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711148 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 367 163 131 317 0 46 0 [startup+0.102113 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1617 /proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=3468 CPUtime=0.09 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 682 0 0 0 9 0 0 0 18 0 1 0 147428467 3551232 664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 867 664 131 317 0 546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.201124 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1617 /proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=5320 CPUtime=0.19 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 1189 0 0 0 19 0 0 0 18 0 1 0 147428467 5447680 1073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 1330 1073 131 317 0 1009 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5320 [startup+0.301134 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1617 /proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=6836 CPUtime=0.29 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 1630 0 0 0 29 0 0 0 19 0 1 0 147428467 7000064 1416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 1709 1416 131 317 0 1388 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6836 [startup+0.701175 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1617 /proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=11660 CPUtime=0.69 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 2810 0 0 0 68 1 0 0 23 0 1 0 147428467 11939840 2596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 2915 2596 139 317 0 2594 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11660 [startup+1.50126 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1534824/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=12316 CPUtime=1.49 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 2990 0 0 0 148 1 0 0 25 0 1 0 147428467 12611584 2776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 3079 2776 139 317 0 2758 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12316 [startup+3.10143 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1533288/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=14856 CPUtime=3.09 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 3597 0 0 0 308 1 0 0 25 0 1 0 147428467 15212544 3383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 3714 3383 139 317 0 3393 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14856 [startup+6.30176 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1527408/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=20392 CPUtime=6.29 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 4982 0 0 0 627 2 0 0 25 0 1 0 147428467 20881408 4768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540763 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 5098 4768 139 317 0 4777 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20392 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1517168/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=30416 CPUtime=12.69 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 7502 0 0 0 1267 2 0 0 25 0 1 0 147428467 31145984 7288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590823 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 7604 7288 170 317 0 7283 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30416 [startup+25.5028 s] /proc/loadavg: 0.95 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1507568/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=39752 CPUtime=25.46 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 9801 0 0 0 2543 3 0 0 25 0 1 0 147428467 40706048 9587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 9938 9587 170 317 0 9617 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 39752 [startup+51.1024 s] /proc/loadavg: 0.96 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1490992/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=56444 CPUtime=51.04 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 14022 0 0 0 5098 6 0 0 25 0 1 0 147428467 57798656 13751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 14111 13751 170 317 0 13790 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 56444 [startup+102.303 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1469232/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=80332 CPUtime=102.21 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 19389 0 0 0 10212 9 0 0 25 0 1 0 147428467 82259968 19118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 20083 19118 170 317 0 19762 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 80332 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1452592/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=95948 CPUtime=162.16 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 23589 0 0 0 16205 11 0 0 25 0 1 0 147428467 98250752 23318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716176 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 23987 23318 170 317 0 23666 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 95948 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1437744/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=112452 CPUtime=222.13 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 27829 0 0 0 22199 14 0 0 25 0 1 0 147428467 115150848 26982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 28113 26982 170 317 0 27792 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 112452 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1421168/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=133716 CPUtime=282.09 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 32023 0 0 0 28193 16 0 0 25 0 1 0 147428467 136925184 31176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718570 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 33429 31176 170 317 0 33108 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 133716 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1410224/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=143688 CPUtime=342.05 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 34727 0 0 0 34187 18 0 0 25 0 1 0 147428467 147136512 33880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 35922 33880 170 317 0 35601 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 143688 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1400368/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=153208 CPUtime=402.02 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 37314 0 0 0 40182 20 0 0 25 0 1 0 147428467 156884992 36401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 38302 36401 170 317 0 37981 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 153208 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1391216/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=161272 CPUtime=461.99 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 39530 0 0 0 46178 21 0 0 25 0 1 0 147428467 165142528 38617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 40318 38617 170 317 0 39997 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 161272 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1618 /proc/meminfo: memFree=1383216/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=168228 CPUtime=521.95 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 41540 0 0 0 52173 22 0 0 25 0 1 0 147428467 172265472 40627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 42057 40627 170 317 0 41736 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 168228 [startup+582.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1374960/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=175656 CPUtime=581.91 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 43603 0 0 0 58168 23 0 0 25 0 1 0 147428467 179871744 42690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1617/statm: 43914 42690 170 317 0 43593 0 Current children cumulated CPU time (s) 581.91 Current children cumulated vsize (KiB) 175656 [startup+642.301 s] /proc/loadavg: 1.06 1.01 1.00 2/78 1618 /proc/meminfo: memFree=1368368/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=182068 CPUtime=641.88 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 45265 0 0 0 64164 24 0 0 25 0 1 0 147428467 186437632 44352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 45517 44352 170 317 0 45196 0 Current children cumulated CPU time (s) 641.88 Current children cumulated vsize (KiB) 182068 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.11 1.06 1.01 2/78 1618 /proc/meminfo: memFree=1346416/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=201624 CPUtime=821.76 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 50758 0 0 0 82149 27 0 0 25 0 1 0 147428467 206462976 49779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 50406 49779 170 317 0 50085 0 Current children cumulated CPU time (s) 821.76 Current children cumulated vsize (KiB) 201624 [startup+882.305 s] /proc/loadavg: 1.04 1.05 1.00 2/78 1618 /proc/meminfo: memFree=1340016/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=208712 CPUtime=881.73 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 52593 0 0 0 88145 28 0 0 25 0 1 0 147428467 213721088 51388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 52178 51388 170 317 0 51857 0 Current children cumulated CPU time (s) 881.73 Current children cumulated vsize (KiB) 208712 [startup+942.301 s] /proc/loadavg: 1.01 1.04 1.00 2/78 1618 /proc/meminfo: memFree=1322992/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=237160 CPUtime=941.7 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 56838 0 0 0 94140 30 0 0 25 0 1 0 147428467 242851840 55633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 59290 55633 170 317 0 58969 0 Current children cumulated CPU time (s) 941.7 Current children cumulated vsize (KiB) 237160 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 1618 /proc/meminfo: memFree=1316784/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=249264 CPUtime=1001.66 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 59756 0 0 0 100135 31 0 0 25 0 1 0 147428467 255246336 57186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 62316 57186 170 317 0 61995 0 Current children cumulated CPU time (s) 1001.66 Current children cumulated vsize (KiB) 249264 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1618 /proc/meminfo: memFree=1309872/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=255780 CPUtime=1061.63 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 61554 0 0 0 106131 32 0 0 25 0 1 0 147428467 261918720 58919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 63945 58919 170 317 0 63624 0 Current children cumulated CPU time (s) 1061.63 Current children cumulated vsize (KiB) 255780 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1618 /proc/meminfo: memFree=1302832/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=262392 CPUtime=1121.59 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 63291 0 0 0 112127 32 0 0 25 0 1 0 147428467 268689408 60656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 65598 60656 170 317 0 65277 0 Current children cumulated CPU time (s) 1121.59 Current children cumulated vsize (KiB) 262392 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1618 /proc/meminfo: memFree=1297008/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=268056 CPUtime=1181.55 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 64758 0 0 0 118122 33 0 0 25 0 1 0 147428467 274489344 62123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 67014 62123 170 317 0 66693 0 Current children cumulated CPU time (s) 1181.55 Current children cumulated vsize (KiB) 268056 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1289456/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=274632 CPUtime=1241.52 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 66628 0 0 0 124118 34 0 0 25 0 1 0 147428467 281223168 63993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 68658 63993 170 317 0 68337 0 Current children cumulated CPU time (s) 1241.52 Current children cumulated vsize (KiB) 274632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1285296/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=278688 CPUtime=1301.49 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 67636 0 0 0 130114 35 0 0 25 0 1 0 147428467 285376512 65001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 69672 65001 170 317 0 69351 0 Current children cumulated CPU time (s) 1301.49 Current children cumulated vsize (KiB) 278688 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1279664/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=283584 CPUtime=1361.46 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 69102 0 0 0 136110 36 0 0 25 0 1 0 147428467 290390016 66402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 70896 66402 170 317 0 70575 0 Current children cumulated CPU time (s) 1361.46 Current children cumulated vsize (KiB) 283584 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1274736/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=288184 CPUtime=1421.41 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 70324 0 0 0 142105 36 0 0 25 0 1 0 147428467 295100416 67624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 72046 67624 170 317 0 71725 0 Current children cumulated CPU time (s) 1421.41 Current children cumulated vsize (KiB) 288184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1268400/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=293664 CPUtime=1481.38 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 71913 0 0 0 148101 37 0 0 25 0 1 0 147428467 300711936 69213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 73416 69213 170 317 0 73095 0 Current children cumulated CPU time (s) 1481.38 Current children cumulated vsize (KiB) 293664 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1263792/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=298020 CPUtime=1541.36 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 73049 0 0 0 154098 38 0 0 25 0 1 0 147428467 305172480 70349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 74505 70349 170 317 0 74184 0 Current children cumulated CPU time (s) 1541.36 Current children cumulated vsize (KiB) 298020 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1258864/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=302360 CPUtime=1601.32 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 74337 0 0 0 160093 39 0 0 25 0 1 0 147428467 309616640 71637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 75590 71637 170 317 0 75269 0 Current children cumulated CPU time (s) 1601.32 Current children cumulated vsize (KiB) 302360 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1253936/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=306808 CPUtime=1661.29 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 75543 0 0 0 166089 40 0 0 25 0 1 0 147428467 314171392 72843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 76702 72843 170 317 0 76381 0 Current children cumulated CPU time (s) 1661.29 Current children cumulated vsize (KiB) 306808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1248560/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=311576 CPUtime=1721.26 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 76895 0 0 0 172086 40 0 0 25 0 1 0 147428467 319053824 74195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 77894 74195 170 317 0 77573 0 Current children cumulated CPU time (s) 1721.26 Current children cumulated vsize (KiB) 311576 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1243952/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=315932 CPUtime=1781.21 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 78043 0 0 0 178080 41 0 0 25 0 1 0 147428467 323514368 75310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 78983 75310 170 317 0 78662 0 Current children cumulated CPU time (s) 1781.21 Current children cumulated vsize (KiB) 315932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1618 /proc/meminfo: memFree=1242544/2055920 swapFree=4141660/4192956 [pid=1617] ppid=1615 vsize=317280 CPUtime=1800.01 /proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 78387 0 0 0 179960 41 0 0 25 0 1 0 147428467 324894720 75654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 0 0 0 /proc/1617/statm: 79320 75654 170 317 0 78999 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 317280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.17 CPU time (s): 1800.09 CPU user time (s): 1799.62 CPU system time (s): 0.464929 CPU usage (%): 99.9398 Max. virtual memory (cumulated for all children) (KiB): 317280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.464929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78403 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= 40735 runsolver used 1.78373 second user time and 4.79027 second system time The end
Begin job on node17 on Thu Apr 19 15:05:10 UTC 2007 IDJOB= 357342 IDBENCH= 2435 IDSOLVER= 172 FILE ID= node17/357342-1176995109 PBS_JOBID= 4630469 Free space on /tmp= 66390 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb COMMAND LINE= oree /tmp/evaluation/357342-1176995109/instance-357342-1176995109.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-357342-1176995109 -o ROOT/results/node17/solver-357342-1176995109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357342-1176995109/instance-357342-1176995109.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0fd8d82b89614ba6aec45b78f4728905 RANDOM SEED= 918638773 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1545608 kB Buffers: 37108 kB Cached: 380772 kB SwapCached: 14192 kB Active: 217684 kB Inactive: 235580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1545608 kB SwapTotal: 4192956 kB SwapFree: 4141660 kB Dirty: 2588 kB Writeback: 0 kB Mapped: 41524 kB Slab: 42600 kB Committed_AS: 7118928 kB PageTables: 1824 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= 66390 MiB End job on node17 on Thu Apr 19 15:35:13 UTC 2007