Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-blend.opb |
MD5SUM | b27b0c72b75cc4f9d136fed88900224a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -22 |
Best CPU time to get the best result obtained on this benchmark | 1800.34 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -24 |
Optimality of the best value was proved | YES |
Number of variables | 2490 |
Total number of constraints | 74 |
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 | 74 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 660 |
Biggest coefficient in the objective function | 37049 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524798 |
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 | 524862 |
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.03/0.04 c ...done 0.03/0.04 c #vars=2490 #constraints=118 hasObjective=yes 0.03/0.07 c res. mode=mod 0.03/0.07 c VSIDS like heuristics 0.03/0.07 c complete search running 0.49/0.54 c restart after 401 decisions 0.49/0.55 c nbDecision=500 #constraints=335 1.19/1.21 c restart after 801 decisions 1.29/1.39 c nbDecision=1000 #constraints=603 2.19/2.26 c nbDecision=1500 #constraints=911 2.49/2.53 c restart after 1601 decisions 3.19/3.26 c nbDecision=2000 #constraints=1228 4.59/4.68 c nbDecision=2500 #constraints=1624 6.19/6.28 c nbDecision=3000 #constraints=2009 6.89/6.94 c restart after 3201 decisions 7.69/7.71 c nbDecision=3500 #constraints=2293 9.59/9.65 c nbDecision=4000 #constraints=2721 11.39/11.45 c nbDecision=4500 #constraints=3140 13.28/13.31 c nbDecision=5000 #constraints=3548 14.99/15.06 c nbDecision=5500 #constraints=3942 16.69/16.79 c nbDecision=6000 #constraints=4329 19.09/19.11 c restart after 6401 decisions 19.29/19.38 c nbDecision=6500 #constraints=4664 20.48/20.51 c nbDecision=7000 #constraints=4963 20.79/20.88 c nbDecision=7500 #constraints=5390 21.68/21.72 c nbDecision=8000 #constraints=5812 22.68/22.76 c nbDecision=8500 #constraints=6204 23.79/23.80 c nbDecision=9000 #constraints=6548 25.09/25.19 c nbDecision=9500 #constraints=6922 26.48/26.55 c nbDecision=10000 #constraints=7353 27.38/27.41 c nbDecision=10500 #constraints=7761 28.29/28.33 c nbDecision=11000 #constraints=8048 30.18/30.24 c nbDecision=11500 #constraints=8392 32.08/32.19 c nbDecision=12000 #constraints=8815 33.68/33.77 c nbDecision=12500 #constraints=9254 35.18/35.22 c restart after 12801 decisions 36.78/36.85 c nbDecision=13000 #constraints=9595 42.38/42.48 c nbDecision=13500 #constraints=10007 48.29/48.32 c nbDecision=14000 #constraints=10405 53.98/54.01 c nbDecision=14500 #constraints=10808 59.77/59.89 c nbDecision=15000 #constraints=11189 66.07/66.12 c nbDecision=15500 #constraints=11571 73.27/73.31 c nbDecision=16000 #constraints=11954 77.87/77.96 c nbDecision=16500 #constraints=12333 81.17/81.29 c nbDecision=17000 #constraints=12690 85.06/85.17 c nbDecision=17500 #constraints=13048 90.66/90.72 c nbDecision=18000 #constraints=13444 95.17/95.25 c nbDecision=18500 #constraints=13814 99.56/99.62 c nbDecision=19000 #constraints=14138 105.16/105.25 c nbDecision=19500 #constraints=14513 109.26/109.33 c nbDecision=20000 #constraints=14842 114.36/114.42 c nbDecision=20500 #constraints=15209 119.66/119.73 c nbDecision=21000 #constraints=15568 123.36/123.44 c nbDecision=21500 #constraints=15882 130.35/130.44 c nbDecision=22000 #constraints=16235 135.06/135.11 c nbDecision=22500 #constraints=16562 141.16/141.27 c nbDecision=23000 #constraints=16906 147.45/147.53 c nbDecision=23500 #constraints=17261 152.95/153.02 c nbDecision=24000 #constraints=17576 160.15/160.21 c nbDecision=24500 #constraints=17932 166.14/166.27 c nbDecision=25000 #constraints=18281 172.65/172.76 c nbDecision=25500 #constraints=18601 174.25/174.32 c restart after 25601 decisions 182.64/182.73 c nbDecision=26000 #constraints=18824 193.74/193.89 c nbDecision=26500 #constraints=19225 203.24/203.35 c nbDecision=27000 #constraints=19590 212.14/212.29 c nbDecision=27500 #constraints=19968 220.63/220.76 c nbDecision=28000 #constraints=20346 229.43/229.56 c nbDecision=28500 #constraints=20696 239.13/239.20 c nbDecision=29000 #constraints=21068 246.03/246.12 c nbDecision=29500 #constraints=21409 256.02/256.10 c nbDecision=30000 #constraints=21757 264.02/264.11 c nbDecision=30500 #constraints=22104 272.62/272.76 c nbDecision=31000 #constraints=22442 281.42/281.55 c nbDecision=31500 #constraints=22792 288.72/288.87 c nbDecision=32000 #constraints=23115 299.41/299.50 c nbDecision=32500 #constraints=23481 307.41/307.55 c nbDecision=33000 #constraints=23803 318.11/318.26 c nbDecision=33500 #constraints=24150 325.90/326.07 c nbDecision=34000 #constraints=24459 337.41/337.59 c nbDecision=34500 #constraints=24792 345.80/345.94 c nbDecision=35000 #constraints=25121 357.80/357.99 c nbDecision=35500 #constraints=25476 367.30/367.46 c nbDecision=36000 #constraints=25809 377.20/377.30 c nbDecision=36500 #constraints=26120 385.59/385.72 c nbDecision=37000 #constraints=26431 396.99/397.16 c nbDecision=37500 #constraints=26774 407.19/407.37 c nbDecision=38000 #constraints=27088 416.18/416.36 c nbDecision=38500 #constraints=27392 428.17/428.36 c nbDecision=39000 #constraints=27719 438.07/438.27 c nbDecision=39500 #constraints=28028 448.97/449.11 c nbDecision=40000 #constraints=28352 458.97/459.14 c nbDecision=40500 #constraints=28658 468.57/468.76 c nbDecision=41000 #constraints=28966 477.47/477.65 c nbDecision=41500 #constraints=29250 488.17/488.32 c nbDecision=42000 #constraints=29565 497.86/498.04 c nbDecision=42500 #constraints=29864 508.16/508.36 c nbDecision=43000 #constraints=30159 516.96/517.13 c nbDecision=43500 #constraints=30422 525.95/526.12 c nbDecision=44000 #constraints=30712 535.75/535.94 c nbDecision=44500 #constraints=30980 546.75/546.91 c nbDecision=45000 #constraints=31272 556.94/557.18 c nbDecision=45500 #constraints=31543 578.93/579.15 c nbDecision=46000 #constraints=31864 595.54/595.77 c nbDecision=46500 #constraints=32198 605.93/606.13 c nbDecision=47000 #constraints=32451 621.03/621.23 c nbDecision=47500 #constraints=32672 640.82/641.02 c nbDecision=48000 #constraints=33067 658.02/658.28 c nbDecision=48500 #constraints=33461 671.11/671.33 c nbDecision=49000 #constraints=33823 685.22/685.48 c nbDecision=49500 #constraints=34157 705.51/705.73 c nbDecision=50000 #constraints=34568 720.50/720.74 c nbDecision=50500 #constraints=34914 733.00/733.22 c nbDecision=51000 #constraints=35279 741.30/741.52 c restart after 51201 decisions 745.10/745.34 c nbDecision=51500 #constraints=35523 748.59/748.88 c nbDecision=52000 #constraints=35908 752.50/752.74 c nbDecision=52500 #constraints=36296 755.09/755.31 c nbDecision=53000 #constraints=36725 757.69/757.98 c nbDecision=53500 #constraints=37090 761.49/761.70 c nbDecision=54000 #constraints=37569 764.89/765.11 c nbDecision=54500 #constraints=37954 769.19/769.49 c nbDecision=55000 #constraints=38378 773.39/773.63 c nbDecision=55500 #constraints=38769 778.19/778.41 c nbDecision=56000 #constraints=39199 782.49/782.76 c nbDecision=56500 #constraints=39573 788.18/788.48 c nbDecision=57000 #constraints=39971 793.48/793.74 c nbDecision=57500 #constraints=40317 798.59/798.82 c nbDecision=58000 #constraints=40701 804.48/804.77 c nbDecision=58500 #constraints=41042 811.38/811.64 c nbDecision=59000 #constraints=41411 814.98/815.21 c nbDecision=59500 #constraints=41861 822.08/822.30 c nbDecision=60000 #constraints=42247 830.17/830.45 c nbDecision=60500 #constraints=42609 838.17/838.48 c nbDecision=61000 #constraints=42964 846.77/847.01 c nbDecision=61500 #constraints=43349 856.57/856.82 c nbDecision=62000 #constraints=43752 868.37/868.68 c nbDecision=62500 #constraints=44227 876.66/876.91 c nbDecision=63000 #constraints=44572 887.96/888.29 c nbDecision=63500 #constraints=44974 899.16/899.43 c nbDecision=64000 #constraints=45317 910.75/911.01 c nbDecision=64500 #constraints=45724 920.45/920.74 c nbDecision=65000 #constraints=46065 931.55/931.80 c nbDecision=65500 #constraints=46375 942.55/942.81 c nbDecision=66000 #constraints=46760 957.24/957.56 c nbDecision=66500 #constraints=47174 971.84/972.11 c nbDecision=67000 #constraints=47609 987.43/987.79 c nbDecision=67500 #constraints=48021 1002.42/1002.73 c nbDecision=68000 #constraints=48460 1009.53/1009.89 c nbDecision=68500 #constraints=48754 1026.72/1027.00 c nbDecision=69000 #constraints=49189 1044.22/1044.55 c nbDecision=69500 #constraints=49621 1057.41/1057.74 c nbDecision=70000 #constraints=50005 1069.21/1069.57 c nbDecision=70500 #constraints=50356 1084.51/1084.85 c nbDecision=71000 #constraints=50814 1105.21/1105.51 c nbDecision=71500 #constraints=51260 1122.30/1122.69 c nbDecision=72000 #constraints=51605 1141.09/1141.45 c nbDecision=72500 #constraints=52019 1163.29/1163.69 c nbDecision=73000 #constraints=52463 1180.69/1181.08 c nbDecision=73500 #constraints=52811 1203.37/1203.71 c nbDecision=74000 #constraints=53288 1215.47/1215.87 c nbDecision=74500 #constraints=53734 1234.17/1234.56 c nbDecision=75000 #constraints=54200 1248.57/1248.93 c nbDecision=75500 #constraints=54575 1265.26/1265.62 c nbDecision=76000 #constraints=54895 1279.76/1280.11 c nbDecision=76500 #constraints=55228 1302.75/1303.15 c nbDecision=77000 #constraints=55602 1321.65/1322.06 c nbDecision=77500 #constraints=55999 1340.94/1341.33 c nbDecision=78000 #constraints=56326 1352.54/1352.99 c nbDecision=78500 #constraints=56648 1368.33/1368.73 c nbDecision=79000 #constraints=56968 1392.32/1392.76 c nbDecision=79500 #constraints=57432 1413.52/1413.96 c nbDecision=80000 #constraints=57777 1434.41/1434.87 c nbDecision=80500 #constraints=58064 1462.90/1463.39 c nbDecision=81000 #constraints=58501 1488.60/1489.06 c nbDecision=81500 #constraints=58903 1508.30/1508.79 c nbDecision=82000 #constraints=59298 1528.09/1528.58 c nbDecision=82500 #constraints=59716 1552.49/1552.93 c nbDecision=83000 #constraints=60098 1577.98/1578.48 c nbDecision=83500 #constraints=60500 1589.67/1590.15 c nbDecision=84000 #constraints=60874 1615.27/1615.80 c nbDecision=84500 #constraints=61275 1630.87/1631.39 c nbDecision=85000 #constraints=61589 1657.16/1657.69 c nbDecision=85500 #constraints=62048 1681.46/1681.91 c nbDecision=86000 #constraints=62436 1703.05/1703.55 c nbDecision=86500 #constraints=62770 1730.94/1731.42 c nbDecision=87000 #constraints=63120 1760.53/1761.00 c nbDecision=87500 #constraints=63550 1786.03/1786.53 c nbDecision=88000 #constraints=63895 1800.02/1800.50 Received signal 15 1800.02/1800.57 1800.02/1800.57 s UNKNOWN 1800.02/1800.57 1800.02/1800.57 c user time= 1798.96 s 1800.02/1800.57 c system time= 1.14783 s 1800.02/1800.57 c wall clock time=1800.57
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-356930-1176848738 -o ROOT/results/node19/solver-356930-1176848738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356930-1176848738/instance-356930-1176848738.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.95 0.98 3/77 10920 /proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=1468 CPUtime=0 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132791234 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 367 166 131 317 0 46 0 [startup+0.0325569 s] /proc/loadavg: 0.92 0.95 0.98 3/77 10920 /proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=2132 CPUtime=0.03 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 339 0 0 0 3 0 0 0 18 0 1 0 132791234 2183168 321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 533 321 131 317 0 212 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2132 [startup+0.101564 s] /proc/loadavg: 0.92 0.95 0.98 3/77 10920 /proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=2948 CPUtime=0.09 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 132791234 3018752 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 737 534 139 317 0 416 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2948 [startup+0.301585 s] /proc/loadavg: 0.92 0.95 0.98 3/77 10920 /proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=3596 CPUtime=0.29 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 712 0 0 0 29 0 0 0 19 0 1 0 132791234 3682304 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 899 694 139 317 0 578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3596 [startup+0.701629 s] /proc/loadavg: 0.92 0.95 0.98 3/77 10920 /proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=5580 CPUtime=0.69 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 1195 0 0 0 69 0 0 0 23 0 1 0 132791234 5713920 1177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 1395 1177 139 317 0 1074 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5580 [startup+1.50172 s] /proc/loadavg: 0.92 0.95 0.98 2/78 10921 /proc/meminfo: memFree=1605704/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=9048 CPUtime=1.49 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 2114 0 0 0 148 1 0 0 25 0 1 0 132791234 9265152 2096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 2262 2096 170 317 0 1941 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9048 [startup+3.10289 s] /proc/loadavg: 0.93 0.95 0.98 2/78 10921 /proc/meminfo: memFree=1600776/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=16148 CPUtime=3.09 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 3867 0 0 0 308 1 0 0 25 0 1 0 132791234 16535552 3849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 4037 3849 170 317 0 3716 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16148 [startup+6.30124 s] /proc/loadavg: 0.93 0.95 0.98 2/78 10921 /proc/meminfo: memFree=1584968/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=30640 CPUtime=6.29 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 7400 0 0 0 626 3 0 0 25 0 1 0 132791234 31375360 7382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 7660 7382 170 317 0 7339 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30640 [startup+12.7019 s] /proc/loadavg: 0.94 0.96 0.98 2/78 10921 /proc/meminfo: memFree=1562632/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=53204 CPUtime=12.69 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 12785 0 0 0 1263 6 0 0 25 0 1 0 132791234 54480896 12767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 13301 12767 170 317 0 12980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53204 [startup+25.5013 s] /proc/loadavg: 0.95 0.96 0.98 2/78 10921 /proc/meminfo: memFree=1511624/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=104668 CPUtime=25.49 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 25265 0 0 0 2536 13 0 0 25 0 1 0 132791234 107180032 25247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 26167 25247 170 317 0 25846 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104668 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.98 2/78 10921 /proc/meminfo: memFree=1472904/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=142988 CPUtime=51.08 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 34892 0 0 0 5090 18 0 0 25 0 1 0 132791234 146419712 34816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 35747 34816 170 317 0 35426 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 142988 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 10921 /proc/meminfo: memFree=1414920/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=205228 CPUtime=102.27 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 49209 0 0 0 10201 26 0 0 25 0 1 0 132791234 210153472 49133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718550 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 51307 49133 170 317 0 50986 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 205228 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1364936/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=255028 CPUtime=162.24 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 61928 0 0 0 16191 33 0 0 25 0 1 0 132791234 261148672 61738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 63757 61738 170 317 0 63436 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 255028 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1329096/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=289460 CPUtime=222.23 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 70745 0 0 0 22184 39 0 0 25 0 1 0 132791234 296407040 70555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 72365 70555 170 317 0 72044 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 289460 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1292680/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=337324 CPUtime=282.22 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 82237 0 0 0 28177 45 0 0 25 0 1 0 132791234 345419776 79737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 84331 79737 170 317 0 84010 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 337324 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1261448/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=368076 CPUtime=342.2 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 90581 0 0 0 34170 50 0 0 25 0 1 0 132791234 376909824 87454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 92019 87454 170 317 0 91698 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 368076 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1228296/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=411072 CPUtime=402.18 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 100645 0 0 0 40164 54 0 0 25 0 1 0 132791234 420937728 95769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 102768 95769 170 317 0 102447 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 411072 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1199752/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=437072 CPUtime=462.17 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 107715 0 0 0 46158 59 0 0 25 0 1 0 132791234 447561728 102839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 109268 102839 170 317 0 108947 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 437072 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1173576/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=460984 CPUtime=522.16 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 114363 0 0 0 52152 64 0 0 25 0 1 0 132791234 472047616 109421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 115246 109421 170 317 0 114925 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 460984 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1152712/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=480220 CPUtime=582.13 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 119604 0 0 0 58147 66 0 0 25 0 1 0 132791234 491745280 114563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 120055 114563 170 317 0 119734 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 480220 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10921 /proc/meminfo: memFree=1135432/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=496352 CPUtime=642.12 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 124153 0 0 0 64143 69 0 0 25 0 1 0 132791234 508264448 118853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 124088 118853 170 317 0 123767 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 496352 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10923 /proc/meminfo: memFree=1049736/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=578564 CPUtime=882.06 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 145597 0 0 0 88121 85 0 0 25 0 1 0 132791234 592449536 140231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 144641 140231 170 317 0 144320 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 578564 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10923 /proc/meminfo: memFree=1041608/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=586092 CPUtime=942.05 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 147636 0 0 0 94117 88 0 0 25 0 1 0 132791234 600158208 142270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 146523 142270 170 317 0 146202 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 586092 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10923 /proc/meminfo: memFree=1034824/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=592532 CPUtime=1002.03 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 149323 0 0 0 100113 90 0 0 25 0 1 0 132791234 606752768 143957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 148133 143957 170 317 0 147812 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 592532 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10923 /proc/meminfo: memFree=1024264/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=602040 CPUtime=1062.01 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 151974 0 0 0 106109 92 0 0 25 0 1 0 132791234 616488960 146608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 150510 146608 170 317 0 150189 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 602040 [startup+1122.3 s] /proc/loadavg: 1.06 0.99 0.98 2/78 10923 /proc/meminfo: memFree=1015112/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=610880 CPUtime=1122 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 154227 0 0 0 112106 94 0 0 25 0 1 0 132791234 625541120 148861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 152720 148861 170 317 0 152399 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 610880 [startup+1182.3 s] /proc/loadavg: 1.02 0.99 0.98 2/78 10923 /proc/meminfo: memFree=1009352/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=621520 CPUtime=1181.99 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 156615 0 0 0 118103 96 0 0 25 0 1 0 132791234 636436480 150325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 155380 150325 170 317 0 155059 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 621520 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 10923 /proc/meminfo: memFree=993928/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=641124 CPUtime=1241.97 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 161434 0 0 0 124098 99 0 0 25 0 1 0 132791234 656510976 154253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 160281 154253 170 317 0 159960 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 641124 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=987464/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=647036 CPUtime=1301.96 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 162968 0 0 0 130095 101 0 0 25 0 1 0 132791234 662564864 155754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 161759 155754 170 317 0 161438 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 647036 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=978952/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=654776 CPUtime=1361.93 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 165129 0 0 0 136091 102 0 0 25 0 1 0 132791234 670490624 157882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 163694 157882 170 317 0 163373 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 654776 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=972936/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=660744 CPUtime=1421.92 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 166647 0 0 0 142088 104 0 0 25 0 1 0 132791234 676601856 159367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 165186 159367 170 317 0 164865 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 660744 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=969224/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=664140 CPUtime=1481.9 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 167635 0 0 0 148085 105 0 0 25 0 1 0 132791234 680079360 160322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 166035 160322 170 317 0 165714 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 664140 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=961224/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=671496 CPUtime=1541.89 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 169633 0 0 0 154082 107 0 0 25 0 1 0 132791234 687611904 162320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 167874 162320 170 317 0 167553 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 671496 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=951368/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=680396 CPUtime=1601.88 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 172108 0 0 0 160079 109 0 0 25 0 1 0 132791234 696725504 164795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 170099 164795 170 317 0 169778 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 680396 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=942664/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=687836 CPUtime=1661.85 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 174251 0 0 0 166075 110 0 0 25 0 1 0 132791234 704344064 166938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 171959 166938 170 317 0 171638 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 687836 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=939080/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=691356 CPUtime=1721.84 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 175219 0 0 0 172072 112 0 0 25 0 1 0 132791234 707948544 167840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 172839 167840 170 317 0 172518 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 691356 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=935624/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=694388 CPUtime=1781.83 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 176081 0 0 0 178069 114 0 0 25 0 1 0 132791234 711053312 168702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 173597 168702 170 317 0 173276 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 694388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 10923 /proc/meminfo: memFree=934536/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=695556 CPUtime=1800.02 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 176378 0 0 0 179888 114 0 0 25 0 1 0 132791234 712249344 168966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 173889 168966 170 317 0 173568 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 695556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 0.99 0.98 2/79 10924 /proc/meminfo: memFree=1034240/2055920 swapFree=4159444/4192956 [pid=10920] ppid=10918 vsize=0 CPUtime=1800.12 /proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194308 176398 0 0 0 179896 116 0 0 25 0 1 0 132791234 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10920/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.23 CPU user time (s): 1798.97 CPU system time (s): 1.25681 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 695556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.97 system time used= 1.25681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 176398 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= 24911 runsolver used 2.17167 second user time and 4.31934 second system time The end
Begin job on node19 on Tue Apr 17 22:25:39 UTC 2007 IDJOB= 356930 IDBENCH= 1654 IDSOLVER= 172 FILE ID= node19/356930-1176848738 PBS_JOBID= 4590201 Free space on /tmp= 66488 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-blend.opb COMMAND LINE= oree /tmp/evaluation/356930-1176848738/instance-356930-1176848738.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-356930-1176848738 -o ROOT/results/node19/solver-356930-1176848738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356930-1176848738/instance-356930-1176848738.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b27b0c72b75cc4f9d136fed88900224a RANDOM SEED= 272747431 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1611496 kB Buffers: 38040 kB Cached: 331952 kB SwapCached: 2580 kB Active: 36144 kB Inactive: 356888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1611496 kB SwapTotal: 4192956 kB SwapFree: 4159444 kB Dirty: 1608 kB Writeback: 0 kB Mapped: 30756 kB Slab: 36892 kB Committed_AS: 2951756 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= 66488 MiB End job on node19 on Tue Apr 17 22:55:41 UTC 2007