Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-afiro.opb |
MD5SUM | d412dc68829850bad6555fa34c6ad801 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -65 |
Optimality of the best value was proved | NO |
Number of variables | 960 |
Total number of constraints | 27 |
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 | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 222156 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524394 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524468 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=960 #constraints=36 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.19/0.28 c restart after 401 decisions 0.49/0.58 c nbDecision=500 #constraints=468 0.69/0.79 c restart after 801 decisions 0.89/0.90 c nbDecision=1000 #constraints=919 1.39/1.42 c nbDecision=1500 #constraints=1419 1.49/1.52 c restart after 1601 decisions 1.79/1.88 c nbDecision=2000 #constraints=1876 2.39/2.49 c nbDecision=2500 #constraints=2376 3.19/3.25 c nbDecision=3000 #constraints=2870 3.49/3.50 c restart after 3201 decisions 4.09/4.18 c nbDecision=3500 #constraints=3331 4.89/4.97 c nbDecision=4000 #constraints=3829 5.49/5.55 c nbDecision=4500 #constraints=4327 6.29/6.35 c nbDecision=5000 #constraints=4828 7.39/7.41 c nbDecision=5500 #constraints=5328 8.79/8.82 c nbDecision=6000 #constraints=5828 10.59/10.69 c restart after 6401 decisions 11.29/11.39 c nbDecision=6500 #constraints=6295 13.29/13.37 c nbDecision=7000 #constraints=6795 15.19/15.25 c nbDecision=7500 #constraints=7295 17.19/17.24 c nbDecision=8000 #constraints=7792 19.59/19.67 c nbDecision=8500 #constraints=8292 21.79/21.86 c nbDecision=9000 #constraints=8792 24.28/24.32 c nbDecision=9500 #constraints=9292 26.99/27.05 c nbDecision=10000 #constraints=9792 29.48/29.59 c nbDecision=10500 #constraints=10292 32.78/32.90 c nbDecision=11000 #constraints=10792 35.88/35.95 c nbDecision=11500 #constraints=11292 39.18/39.21 c nbDecision=12000 #constraints=11792 42.58/42.61 c nbDecision=12500 #constraints=12292 44.38/44.49 c restart after 12801 decisions 46.28/46.37 c nbDecision=13000 #constraints=12761 49.57/49.69 c nbDecision=13500 #constraints=13261 54.38/54.49 c nbDecision=14000 #constraints=13761 58.18/58.26 c nbDecision=14500 #constraints=14261 61.78/61.82 c nbDecision=15000 #constraints=14761 65.27/65.37 c nbDecision=15500 #constraints=15261 69.08/69.10 c nbDecision=16000 #constraints=15761 72.77/72.87 c nbDecision=16500 #constraints=16261 76.57/76.66 c nbDecision=17000 #constraints=16761 80.47/80.51 c nbDecision=17500 #constraints=17261 84.37/84.48 c nbDecision=18000 #constraints=17761 88.47/88.60 c nbDecision=18500 #constraints=18261 92.67/92.74 c nbDecision=19000 #constraints=18761 96.87/96.99 c nbDecision=19500 #constraints=19261 101.17/101.22 c nbDecision=20000 #constraints=19761 105.57/105.65 c nbDecision=20500 #constraints=20261 109.86/109.95 c nbDecision=21000 #constraints=20761 114.37/114.47 c nbDecision=21500 #constraints=21261 118.66/118.80 c nbDecision=22000 #constraints=21761 122.96/123.00 c nbDecision=22500 #constraints=22261 127.75/127.81 c nbDecision=23000 #constraints=22761 132.66/132.72 c nbDecision=23500 #constraints=23261 137.76/137.85 c nbDecision=24000 #constraints=23759 143.65/143.75 c nbDecision=24500 #constraints=24259 149.65/149.71 c nbDecision=25000 #constraints=24759 155.85/155.94 c nbDecision=25500 #constraints=25259 157.16/157.28 c restart after 25601 decisions 163.05/163.10 c nbDecision=26000 #constraints=25738 168.95/169.10 c nbDecision=26500 #constraints=26238 175.15/175.20 c nbDecision=27000 #constraints=26738 181.25/181.39 c nbDecision=27500 #constraints=27238 187.34/187.47 c nbDecision=28000 #constraints=27738 193.65/193.73 c nbDecision=28500 #constraints=28238 199.84/199.99 c nbDecision=29000 #constraints=28738 206.94/207.07 c nbDecision=29500 #constraints=29238 213.25/213.36 c nbDecision=30000 #constraints=29738 219.64/219.71 c nbDecision=30500 #constraints=30238 225.74/225.87 c nbDecision=31000 #constraints=30738 231.94/232.07 c nbDecision=31500 #constraints=31238 237.73/237.87 c nbDecision=32000 #constraints=31738 243.73/243.89 c nbDecision=32500 #constraints=32239 250.23/250.38 c nbDecision=33000 #constraints=32738 257.24/257.31 c nbDecision=33500 #constraints=33238 264.33/264.46 c nbDecision=34000 #constraints=33738 275.12/275.20 c nbDecision=34500 #constraints=34238 283.52/283.67 c nbDecision=35000 #constraints=34738 292.12/292.28 c nbDecision=35500 #constraints=35238 300.72/300.80 c nbDecision=36000 #constraints=35738 309.31/309.43 c nbDecision=36500 #constraints=36238 318.02/318.10 c nbDecision=37000 #constraints=36738 326.71/326.89 c nbDecision=37500 #constraints=37238 335.51/335.61 c nbDecision=38000 #constraints=37738 343.61/343.75 c nbDecision=38500 #constraints=38238 351.91/352.08 c nbDecision=39000 #constraints=38738 360.10/360.28 c nbDecision=39500 #constraints=39239 369.10/369.25 c nbDecision=40000 #constraints=39738 379.20/379.35 c nbDecision=40500 #constraints=40238 389.20/389.39 c nbDecision=41000 #constraints=40738 399.29/399.44 c nbDecision=41500 #constraints=41239 409.60/409.74 c nbDecision=42000 #constraints=41738 419.89/420.01 c nbDecision=42500 #constraints=42238 430.09/430.25 c nbDecision=43000 #constraints=42738 440.39/440.50 c nbDecision=43500 #constraints=43238 450.08/450.26 c nbDecision=44000 #constraints=43738 459.78/459.90 c nbDecision=44500 #constraints=44238 469.38/469.53 c nbDecision=45000 #constraints=44738 478.58/478.80 c nbDecision=45500 #constraints=45238 489.47/489.68 c nbDecision=46000 #constraints=45738 501.57/501.73 c nbDecision=46500 #constraints=46239 515.46/515.62 c nbDecision=47000 #constraints=46738 527.07/527.26 c nbDecision=47500 #constraints=47238 538.96/539.12 c nbDecision=48000 #constraints=47738 550.46/550.60 c nbDecision=48500 #constraints=48238 561.36/561.58 c nbDecision=49000 #constraints=48738 572.26/572.47 c nbDecision=49500 #constraints=49238 583.15/583.31 c nbDecision=50000 #constraints=49738 593.54/593.73 c nbDecision=50500 #constraints=50238 605.65/605.81 c nbDecision=51000 #constraints=50738 610.84/611.09 c restart after 51201 decisions 627.34/627.50 c nbDecision=51500 #constraints=51203 638.94/639.17 c nbDecision=52000 #constraints=51703 647.03/647.24 c nbDecision=52500 #constraints=52203 659.83/660.09 c nbDecision=53000 #constraints=52703 669.43/669.66 c nbDecision=53500 #constraints=53203 681.02/681.27 c nbDecision=54000 #constraints=53703 691.62/691.88 c nbDecision=54500 #constraints=54203 703.12/703.31 c nbDecision=55000 #constraints=54703 714.42/714.61 c nbDecision=55500 #constraints=55203 725.61/725.87 c nbDecision=56000 #constraints=55703 737.31/737.56 c nbDecision=56500 #constraints=56203 749.41/749.60 c nbDecision=57000 #constraints=56703 761.21/761.48 c nbDecision=57500 #constraints=57203 773.50/773.72 c nbDecision=58000 #constraints=57703 785.40/785.61 c nbDecision=58500 #constraints=58203 797.89/798.20 c nbDecision=59000 #constraints=58703 809.59/809.81 c nbDecision=59500 #constraints=59203 822.60/822.85 c nbDecision=60000 #constraints=59703 832.89/833.13 c nbDecision=60500 #constraints=60201 847.29/847.50 c nbDecision=61000 #constraints=60701 860.88/861.16 c nbDecision=61500 #constraints=61201 872.28/872.58 c nbDecision=62000 #constraints=61701 884.57/884.84 c nbDecision=62500 #constraints=62201 899.48/899.70 c nbDecision=63000 #constraints=62701 914.47/914.77 c nbDecision=63500 #constraints=63200 929.37/929.63 c nbDecision=64000 #constraints=63699 944.06/944.31 c nbDecision=64500 #constraints=64199 958.86/959.13 c nbDecision=65000 #constraints=64698 974.75/975.01 c nbDecision=65500 #constraints=65197 990.65/990.91 c nbDecision=66000 #constraints=65697 1006.82/1007.15 c nbDecision=66500 #constraints=66198 1020.09/1020.48 c nbDecision=67000 #constraints=66696 1036.05/1036.47 c nbDecision=67500 #constraints=67196 1056.84/1057.28 c nbDecision=68000 #constraints=67697 1077.23/1077.60 c nbDecision=68500 #constraints=68196 1098.03/1098.43 c nbDecision=69000 #constraints=68696 1118.92/1119.35 c nbDecision=69500 #constraints=69196 1139.81/1140.24 c nbDecision=70000 #constraints=69696 1161.02/1161.49 c nbDecision=70500 #constraints=70196 1182.51/1182.91 c nbDecision=71000 #constraints=70696 1203.90/1204.40 c nbDecision=71500 #constraints=71196 1224.00/1224.49 c nbDecision=72000 #constraints=71696 1244.29/1244.79 c nbDecision=72500 #constraints=72196 1266.49/1266.93 c nbDecision=73000 #constraints=72697 1289.18/1289.69 c nbDecision=73500 #constraints=73196 1312.18/1312.66 c nbDecision=74000 #constraints=73696 1334.87/1335.40 c nbDecision=74500 #constraints=74196 1357.67/1358.19 c nbDecision=75000 #constraints=74696 1380.25/1380.70 c nbDecision=75500 #constraints=75196 1401.35/1401.86 c nbDecision=76000 #constraints=75697 1423.55/1424.05 c nbDecision=76500 #constraints=76196 1447.74/1448.22 c nbDecision=77000 #constraints=76696 1472.04/1472.58 c nbDecision=77500 #constraints=77196 1496.23/1496.72 c nbDecision=78000 #constraints=77696 1520.92/1521.43 c nbDecision=78500 #constraints=78196 1545.81/1546.37 c nbDecision=79000 #constraints=78696 1570.61/1571.18 c nbDecision=79500 #constraints=79196 1595.71/1596.28 c nbDecision=80000 #constraints=79696 1621.40/1621.98 c nbDecision=80500 #constraints=80196 1647.99/1648.55 c nbDecision=81000 #constraints=80696 1674.69/1675.29 c nbDecision=81500 #constraints=81196 1701.67/1702.29 c nbDecision=82000 #constraints=81696 1728.67/1729.22 c nbDecision=82500 #constraints=82196 1755.57/1756.16 c nbDecision=83000 #constraints=82696 1781.36/1781.95 c nbDecision=83500 #constraints=83196 1800.06/1800.60 Received signal 15 1800.06/1800.61 1800.06/1800.61 s UNKNOWN 1800.06/1800.61 1800.06/1800.61 c user time= 1799.28 s 1800.06/1800.61 c system time= 0.792879 s 1800.06/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-356966-1176849861 -o ROOT/results/node43/solver-356966-1176849861 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356966-1176849861/instance-356966-1176849861.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23657 /proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=1468 CPUtime=0 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132897921 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 367 170 131 317 0 46 0 [startup+0.088036 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23657 /proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=1996 CPUtime=0.08 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 306 0 0 0 8 0 0 0 18 0 1 0 132897921 2043904 288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 499 288 139 317 0 178 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1996 [startup+0.101036 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23657 /proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=1996 CPUtime=0.09 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 320 0 0 0 9 0 0 0 18 0 1 0 132897921 2043904 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 499 302 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301054 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23657 /proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=2656 CPUtime=0.29 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 498 0 0 0 29 0 0 0 19 0 1 0 132897921 2719744 480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 664 480 139 317 0 343 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2656 [startup+0.701088 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23657 /proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=3596 CPUtime=0.69 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 701 0 0 0 69 0 0 0 23 0 1 0 132897921 3682304 683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 899 683 139 317 0 578 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3596 [startup+1.50116 s] /proc/loadavg: 0.91 0.95 0.97 2/78 23658 /proc/meminfo: memFree=1318800/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=6236 CPUtime=1.49 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 1389 0 0 0 149 0 0 0 25 0 1 0 132897921 6385664 1371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 1559 1371 139 317 0 1238 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6236 [startup+3.1013 s] /proc/loadavg: 0.92 0.95 0.97 2/78 23658 /proc/meminfo: memFree=1314768/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=12504 CPUtime=3.09 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 2882 0 0 0 308 1 0 0 25 0 1 0 132897921 12804096 2864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 3126 2864 139 317 0 2805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12504 [startup+6.30157 s] /proc/loadavg: 0.92 0.95 0.97 2/78 23658 /proc/meminfo: memFree=1304080/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=23132 CPUtime=6.29 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 5472 0 0 0 626 3 0 0 25 0 1 0 132897921 23687168 5454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 5783 5454 170 317 0 5462 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23132 [startup+12.7011 s] /proc/loadavg: 0.93 0.96 0.97 2/78 23658 /proc/meminfo: memFree=1291024/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=33096 CPUtime=12.69 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 7986 0 0 0 1265 4 0 0 25 0 1 0 132897921 33890304 7968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 8274 7968 170 317 0 7953 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33096 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.97 2/78 23658 /proc/meminfo: memFree=1278608/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=46828 CPUtime=25.48 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 11038 0 0 0 2542 6 0 0 25 0 1 0 132897921 47951872 10963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 11707 10963 170 317 0 11386 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46828 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.97 2/78 23658 /proc/meminfo: memFree=1264336/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=60436 CPUtime=51.08 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 14593 0 0 0 5098 10 0 0 25 0 1 0 132897921 61886464 14518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 15109 14518 170 317 0 14788 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60436 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 23658 /proc/meminfo: memFree=1245392/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=82976 CPUtime=102.27 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 20396 0 0 0 10213 14 0 0 25 0 1 0 132897921 84967424 19251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 20744 19251 170 317 0 20423 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 82976 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1227792/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=99344 CPUtime=162.25 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 24955 0 0 0 16207 18 0 0 25 0 1 0 132897921 101728256 23678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 24836 23678 170 317 0 24515 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 99344 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1213456/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=111600 CPUtime=222.24 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 28537 0 0 0 22202 22 0 0 25 0 1 0 132897921 114278400 27227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715649 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 27900 27227 170 317 0 27579 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 111600 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1199376/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=137132 CPUtime=282.22 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 34897 0 0 0 28197 25 0 0 25 0 1 0 132897921 140423168 30760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 34283 30760 170 317 0 33962 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 137132 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1188496/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=146620 CPUtime=342.21 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 37651 0 0 0 34193 28 0 0 25 0 1 0 132897921 150138880 33449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710934 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 36655 33449 170 317 0 36334 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 146620 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1178000/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=157404 CPUtime=402.19 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 40640 0 0 0 40189 30 0 0 25 0 1 0 132897921 161181696 36080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 39351 36080 170 317 0 39030 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 157404 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1168656/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=165516 CPUtime=462.18 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 42970 0 0 0 46185 33 0 0 25 0 1 0 132897921 169488384 38410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 41379 38410 170 317 0 41058 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 165516 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1159952/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=173228 CPUtime=522.16 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 45222 0 0 0 52181 35 0 0 25 0 1 0 132897921 177385472 40597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 43307 40597 170 317 0 42986 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 173228 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1151504/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=180436 CPUtime=582.15 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 47298 0 0 0 58177 38 0 0 25 0 1 0 132897921 184766464 42673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 45109 42673 170 317 0 44788 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 180436 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1143632/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=187408 CPUtime=642.14 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 49346 0 0 0 64174 40 0 0 25 0 1 0 132897921 191905792 44623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 46852 44623 170 317 0 46531 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 187408 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1110416/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=217736 CPUtime=822.09 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 57773 0 0 0 82160 49 0 0 25 0 1 0 132897921 222961664 52918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 54434 52918 170 317 0 54113 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 217736 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1098192/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=231356 CPUtime=882.08 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 60815 0 0 0 88157 51 0 0 25 0 1 0 132897921 236908544 55960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 57839 55960 170 317 0 57518 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 231356 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23658 /proc/meminfo: memFree=1088912/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=239748 CPUtime=942.06 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 63185 0 0 0 94153 53 0 0 25 0 1 0 132897921 245501952 58297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 59937 58297 170 317 0 59616 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 239748 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/84 23684 /proc/meminfo: memFree=1077136/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=267196 CPUtime=1002.04 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 70296 0 0 0 100147 57 0 0 25 0 1 0 132897921 273608704 60894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 66799 60894 170 317 0 66478 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 267196 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1069880/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=280308 CPUtime=1061.94 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 73869 0 0 0 106134 60 0 0 25 0 1 0 132897921 287035392 62918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 70077 62918 170 317 0 69756 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 280308 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1064016/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=286188 CPUtime=1121.92 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 75549 0 0 0 112130 62 0 0 25 0 1 0 132897921 293056512 64404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 71547 64404 170 317 0 71226 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 286188 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1057872/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=292752 CPUtime=1181.91 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 77119 0 0 0 118127 64 0 0 25 0 1 0 132897921 299778048 65974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 73188 65974 170 317 0 72867 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 292752 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1051856/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=298384 CPUtime=1241.89 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 78670 0 0 0 124124 65 0 0 25 0 1 0 132897921 305545216 67460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 74596 67460 170 317 0 74275 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 298384 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1046096/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=304160 CPUtime=1301.88 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 80289 0 0 0 130122 66 0 0 25 0 1 0 132897921 311459840 68885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 76040 68885 170 317 0 75719 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 304160 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1040144/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=309956 CPUtime=1361.86 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 81841 0 0 0 136118 68 0 0 25 0 1 0 132897921 317394944 70372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 77489 70372 170 317 0 77168 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 309956 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1033104/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=316268 CPUtime=1421.85 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 83583 0 0 0 142116 69 0 0 25 0 1 0 132897921 323858432 72114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 79067 72114 170 317 0 78746 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 316268 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1028112/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=320748 CPUtime=1481.84 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 84856 0 0 0 148113 71 0 0 25 0 1 0 132897921 328445952 73387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 80187 73387 170 317 0 79866 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 320748 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1022736/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=325192 CPUtime=1541.81 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 86183 0 0 0 154109 72 0 0 25 0 1 0 132897921 332996608 74714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 81298 74714 170 317 0 80977 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 325192 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1018000/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=329824 CPUtime=1601.81 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 87483 0 0 0 160107 74 0 0 25 0 1 0 132897921 337739776 75885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 82456 75885 170 317 0 82135 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 329824 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1013520/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=333764 CPUtime=1661.78 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 88629 0 0 0 166103 75 0 0 25 0 1 0 132897921 341774336 77031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 83441 77031 170 317 0 83120 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 333764 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1008656/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=338132 CPUtime=1721.77 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 89878 0 0 0 172100 77 0 0 25 0 1 0 132897921 346247168 78280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 84533 78280 170 317 0 84212 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 338132 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1003024/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=343512 CPUtime=1781.76 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 91402 0 0 0 178098 78 0 0 25 0 1 0 132897921 351756288 79675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 85878 79675 170 317 0 85557 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 343512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23856 /proc/meminfo: memFree=1000528/2055920 swapFree=4184648/4192956 [pid=23657] ppid=23655 vsize=345588 CPUtime=1800.06 /proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 92015 0 0 0 179927 79 0 0 25 0 1 0 132897921 353882112 80288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23657/statm: 86397 80288 170 317 0 86076 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 345588 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): 1800.68 CPU time (s): 1800.14 CPU user time (s): 1799.3 CPU system time (s): 0.844871 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 345588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.844871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92031 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= 10967 runsolver used 2.13068 second user time and 4.43732 second system time The end
Begin job on node43 on Tue Apr 17 22:44:21 UTC 2007 IDJOB= 356966 IDBENCH= 1700 IDSOLVER= 172 FILE ID= node43/356966-1176849861 PBS_JOBID= 4590225 Free space on /tmp= 66508 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-afiro.opb COMMAND LINE= oree /tmp/evaluation/356966-1176849861/instance-356966-1176849861.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-356966-1176849861 -o ROOT/results/node43/solver-356966-1176849861 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356966-1176849861/instance-356966-1176849861.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 695903981 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1322608 kB Buffers: 62236 kB Cached: 443332 kB SwapCached: 2596 kB Active: 268540 kB Inactive: 386004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1322608 kB SwapTotal: 4192956 kB SwapFree: 4184648 kB Dirty: 1380 kB Writeback: 0 kB Mapped: 164264 kB Slab: 64196 kB Committed_AS: 1711796 kB PageTables: 1896 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= 66508 MiB End job on node43 on Tue Apr 17 23:14:24 UTC 2007