Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.28 | 1800.92 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb |
MD5SUM | 7946286f4c1a7ac44cf771db2f48f590 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 309773 |
Total number of constraints | 5980 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 5964 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 24690 |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 38252041742581760 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 82366741301042726133 |
Number of bits of the sum of numbers in the objective function | 67 |
Biggest number in a constraint | 38252041742581760 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 82366741301042726133 |
Number of bits of the biggest sum of numbers | 67 |
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... 3.89/3.94 c ...done 3.89/3.94 c #vars=309773 #constraints=10348 hasObjective=yes 5.88/5.92 c res. mode=mod 5.88/5.92 c VSIDS like heuristics 5.88/5.92 c complete search running 14.19/14.29 c restart after 401 decisions 18.59/18.67 c nbDecision=500 #constraints=10348 19.99/20.03 c restart after 801 decisions 24.79/24.87 c nbDecision=1000 #constraints=10348 26.98/27.09 c nbDecision=1500 #constraints=10348 27.49/27.54 c restart after 1601 decisions 33.18/33.20 c nbDecision=2000 #constraints=10348 35.38/35.40 c nbDecision=2500 #constraints=10348 37.58/37.62 c nbDecision=3000 #constraints=10348 38.48/38.52 c restart after 3201 decisions 43.78/43.84 c nbDecision=3500 #constraints=10348 45.98/46.08 c nbDecision=4000 #constraints=10348 48.18/48.30 c nbDecision=4500 #constraints=10348 50.48/50.52 c nbDecision=5000 #constraints=10348 52.68/52.73 c nbDecision=5500 #constraints=10348 54.87/54.94 c nbDecision=6000 #constraints=10348 56.67/56.72 c restart after 6401 decisions 61.07/61.13 c nbDecision=6500 #constraints=10348 63.27/63.35 c nbDecision=7000 #constraints=10348 65.47/65.59 c nbDecision=7500 #constraints=10348 67.76/67.82 c nbDecision=8000 #constraints=10348 69.96/70.04 c nbDecision=8500 #constraints=10348 72.16/72.25 c nbDecision=9000 #constraints=10348 74.36/74.47 c nbDecision=9500 #constraints=10348 76.56/76.68 c nbDecision=10000 #constraints=10348 78.76/78.88 c nbDecision=10500 #constraints=10348 81.06/81.11 c nbDecision=11000 #constraints=10348 83.26/83.33 c nbDecision=11500 #constraints=10348 85.46/85.56 c nbDecision=12000 #constraints=10348 87.66/87.78 c nbDecision=12500 #constraints=10348 89.06/89.11 c restart after 12801 decisions 93.85/93.97 c nbDecision=13000 #constraints=10348 96.05/96.18 c nbDecision=13500 #constraints=10348 98.35/98.41 c nbDecision=14000 #constraints=10348 100.55/100.65 c nbDecision=14500 #constraints=10348 102.75/102.88 c nbDecision=15000 #constraints=10348 105.05/105.11 c nbDecision=15500 #constraints=10348 107.25/107.35 c nbDecision=16000 #constraints=10348 109.44/109.56 c nbDecision=16500 #constraints=10348 111.65/111.78 c nbDecision=17000 #constraints=10348 113.85/113.98 c nbDecision=17500 #constraints=10348 116.05/116.19 c nbDecision=18000 #constraints=10348 118.35/118.40 c nbDecision=18500 #constraints=10348 120.55/120.63 c nbDecision=19000 #constraints=10348 122.75/122.84 c nbDecision=19500 #constraints=10348 124.95/125.07 c nbDecision=20000 #constraints=10348 127.15/127.29 c nbDecision=20500 #constraints=10348 129.35/129.49 c nbDecision=21000 #constraints=10348 131.55/131.69 c nbDecision=21500 #constraints=10348 133.74/133.88 c nbDecision=22000 #constraints=10348 135.94/136.08 c nbDecision=22500 #constraints=10348 138.14/138.26 c nbDecision=23000 #constraints=10348 140.34/140.48 c nbDecision=23500 #constraints=10348 142.54/142.69 c nbDecision=24000 #constraints=10348 144.84/144.90 c nbDecision=24500 #constraints=10348 147.04/147.11 c nbDecision=25000 #constraints=10348 149.14/149.28 c nbDecision=25500 #constraints=10348 149.64/149.72 c restart after 25601 decisions 155.33/155.49 c nbDecision=26000 #constraints=10348 157.64/157.71 c nbDecision=26500 #constraints=10348 159.83/159.95 c nbDecision=27000 #constraints=10348 162.03/162.19 c nbDecision=27500 #constraints=10348 164.33/164.42 c nbDecision=28000 #constraints=10348 166.53/166.66 c nbDecision=28500 #constraints=10348 168.73/168.88 c nbDecision=29000 #constraints=10348 170.93/171.09 c nbDecision=29500 #constraints=10348 173.23/173.30 c nbDecision=30000 #constraints=10348 175.43/175.51 c nbDecision=30500 #constraints=10348 177.63/177.73 c nbDecision=31000 #constraints=10348 179.82/179.95 c nbDecision=31500 #constraints=10348 182.02/182.16 c nbDecision=32000 #constraints=10348 184.22/184.39 c nbDecision=32500 #constraints=10348 186.52/186.61 c nbDecision=33000 #constraints=10348 188.62/188.79 c nbDecision=33500 #constraints=10348 190.82/190.99 c nbDecision=34000 #constraints=10348 193.02/193.16 c nbDecision=34500 #constraints=10348 195.22/195.36 c nbDecision=35000 #constraints=10348 197.42/197.55 c nbDecision=35500 #constraints=10348 199.62/199.76 c nbDecision=36000 #constraints=10348 201.82/201.98 c nbDecision=36500 #constraints=10348 204.02/204.18 c nbDecision=37000 #constraints=10348 206.21/206.39 c nbDecision=37500 #constraints=10348 208.41/208.58 c nbDecision=38000 #constraints=10348 210.61/210.76 c nbDecision=38500 #constraints=10348 212.81/212.94 c nbDecision=39000 #constraints=10348 215.01/215.12 c nbDecision=39500 #constraints=10348 217.21/217.31 c nbDecision=40000 #constraints=10348 219.41/219.51 c nbDecision=40500 #constraints=10348 221.61/221.71 c nbDecision=41000 #constraints=10348 223.81/223.91 c nbDecision=41500 #constraints=10348 226.01/226.10 c nbDecision=42000 #constraints=10348 228.10/228.27 c nbDecision=42500 #constraints=10348 230.30/230.44 c nbDecision=43000 #constraints=10348 232.50/232.62 c nbDecision=43500 #constraints=10348 234.61/234.79 c nbDecision=44000 #constraints=10348 236.81/236.96 c nbDecision=44500 #constraints=10348 239.01/239.11 c nbDecision=45000 #constraints=10348 241.11/241.29 c nbDecision=45500 #constraints=10348 243.31/243.45 c nbDecision=46000 #constraints=10348 245.91/246.00 c nbDecision=46500 #constraints=10348 248.21/248.34 c nbDecision=47000 #constraints=10348 252.80/252.93 c nbDecision=47500 #constraints=10702 258.40/258.56 c nbDecision=48000 #constraints=11201 264.59/264.79 c nbDecision=48500 #constraints=11700 271.50/271.65 c nbDecision=49000 #constraints=12204 278.99/279.13 c nbDecision=49500 #constraints=12702 287.19/287.39 c nbDecision=50000 #constraints=13198 296.19/296.38 c nbDecision=50500 #constraints=13703 305.98/306.13 c nbDecision=51000 #constraints=14200 310.08/310.27 c restart after 51201 decisions 315.59/315.71 c nbDecision=51500 #constraints=14400 317.78/317.93 c nbDecision=52000 #constraints=14400 319.98/320.15 c nbDecision=52500 #constraints=14400 322.18/322.39 c nbDecision=53000 #constraints=14400 324.48/324.62 c nbDecision=53500 #constraints=14400 326.68/326.86 c nbDecision=54000 #constraints=14400 328.88/329.08 c nbDecision=54500 #constraints=14400 331.07/331.29 c nbDecision=55000 #constraints=14400 333.27/333.49 c nbDecision=55500 #constraints=14400 335.57/335.70 c nbDecision=56000 #constraints=14400 337.77/337.92 c nbDecision=56500 #constraints=14400 339.97/340.14 c nbDecision=57000 #constraints=14400 342.17/342.37 c nbDecision=57500 #constraints=14400 344.37/344.59 c nbDecision=58000 #constraints=14400 346.67/346.81 c nbDecision=58500 #constraints=14400 348.87/349.00 c nbDecision=59000 #constraints=14400 351.07/351.20 c nbDecision=59500 #constraints=14400 353.17/353.38 c nbDecision=60000 #constraints=14400 355.37/355.58 c nbDecision=60500 #constraints=14400 357.56/357.77 c nbDecision=61000 #constraints=14400 359.76/359.99 c nbDecision=61500 #constraints=14400 362.06/362.20 c nbDecision=62000 #constraints=14400 364.26/364.40 c nbDecision=62500 #constraints=14400 366.46/366.60 c nbDecision=63000 #constraints=14400 368.56/368.78 c nbDecision=63500 #constraints=14400 370.76/370.96 c nbDecision=64000 #constraints=14400 372.96/373.15 c nbDecision=64500 #constraints=14400 375.16/375.33 c nbDecision=65000 #constraints=14400 377.36/377.51 c nbDecision=65500 #constraints=14400 379.46/379.70 c nbDecision=66000 #constraints=14400 381.66/381.89 c nbDecision=66500 #constraints=14400 383.85/384.08 c nbDecision=67000 #constraints=14400 386.05/386.28 c nbDecision=67500 #constraints=14400 388.25/388.46 c nbDecision=68000 #constraints=14400 390.45/390.64 c nbDecision=68500 #constraints=14400 392.65/392.82 c nbDecision=69000 #constraints=14400 394.75/394.99 c nbDecision=69500 #constraints=14400 396.95/397.16 c nbDecision=70000 #constraints=14400 399.15/399.33 c nbDecision=70500 #constraints=14400 401.25/401.50 c nbDecision=71000 #constraints=14400 403.45/403.67 c nbDecision=71500 #constraints=14400 405.84/406.07 c nbDecision=72000 #constraints=14400 408.34/408.57 c nbDecision=72500 #constraints=14400 415.24/415.40 c nbDecision=73000 #constraints=14652 426.44/426.69 c nbDecision=73500 #constraints=15154 438.54/438.73 c nbDecision=74000 #constraints=15655 451.43/451.63 c nbDecision=74500 #constraints=16153 465.13/465.34 c nbDecision=75000 #constraints=16655 479.43/479.66 c nbDecision=75500 #constraints=17153 494.61/494.89 c nbDecision=76000 #constraints=17655 510.60/510.80 c nbDecision=76500 #constraints=18154 527.30/527.50 c nbDecision=77000 #constraints=18655 544.60/544.89 c nbDecision=77500 #constraints=19152 562.89/563.17 c nbDecision=78000 #constraints=19654 581.79/582.08 c nbDecision=78500 #constraints=20154 601.58/601.81 c nbDecision=79000 #constraints=20655 622.37/622.64 c nbDecision=79500 #constraints=21153 644.27/644.56 c nbDecision=80000 #constraints=21655 666.65/666.96 c nbDecision=80500 #constraints=22156 689.65/689.91 c nbDecision=81000 #constraints=22657 713.13/713.46 c nbDecision=81500 #constraints=23156 737.33/737.63 c nbDecision=82000 #constraints=23652 762.32/762.63 c nbDecision=82500 #constraints=24155 787.81/788.12 c nbDecision=83000 #constraints=24652 814.10/814.45 c nbDecision=83500 #constraints=25157 840.99/841.30 c nbDecision=84000 #constraints=25653 868.59/868.90 c nbDecision=84500 #constraints=26152 896.97/897.32 c nbDecision=85000 #constraints=26655 926.06/926.43 c nbDecision=85500 #constraints=27154 955.85/956.25 c nbDecision=86000 #constraints=27653 986.64/987.01 c nbDecision=86500 #constraints=28153 1017.82/1018.27 c nbDecision=87000 #constraints=28655 1049.92/1050.38 c nbDecision=87500 #constraints=29155 1082.61/1083.03 c nbDecision=88000 #constraints=29652 1116.19/1116.64 c nbDecision=88500 #constraints=30157 1150.28/1150.77 c nbDecision=89000 #constraints=30654 1185.38/1185.87 c nbDecision=89500 #constraints=31156 1221.05/1221.54 c nbDecision=90000 #constraints=31654 1257.65/1258.13 c nbDecision=90500 #constraints=32159 1294.73/1295.20 c nbDecision=91000 #constraints=32658 1332.42/1332.98 c nbDecision=91500 #constraints=33152 1371.00/1371.53 c nbDecision=92000 #constraints=33654 1410.29/1410.80 c nbDecision=92500 #constraints=34153 1450.28/1450.88 c nbDecision=93000 #constraints=34654 1491.36/1491.92 c nbDecision=93500 #constraints=35155 1532.65/1533.27 c nbDecision=94000 #constraints=35655 1574.93/1575.55 c nbDecision=94500 #constraints=36156 1618.02/1618.63 c nbDecision=95000 #constraints=36656 1661.60/1662.23 c nbDecision=95500 #constraints=37156 1705.99/1706.62 c nbDecision=96000 #constraints=37654 1751.07/1751.72 c nbDecision=96500 #constraints=38153 1797.16/1797.89 c nbDecision=97000 #constraints=38657 1800.07/1800.70 Received signal 15 1800.16/1800.82 1800.16/1800.82 s UNKNOWN 1800.16/1800.82 1800.16/1800.82 c user time= 1799.63 s 1800.16/1800.82 c system time= 0.550916 s 1800.16/1800.82 c wall clock time=1800.82
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-357388-1176996462 -o ROOT/results/node20/solver-357388-1176996462 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357388-1176996462/instance-357388-1176996462.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: 1.00 1.00 1.00 3/77 472 /proc/meminfo: memFree=1788720/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=1468 CPUtime=0 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147563620 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 367 160 127 317 0 46 0 [startup+0.058103 s] /proc/loadavg: 1.00 1.00 1.00 3/77 472 /proc/meminfo: memFree=1788720/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=2400 CPUtime=0.05 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 458 0 0 0 5 0 0 0 18 0 1 0 147563620 2457600 342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827805 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 600 342 127 317 0 279 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2400 [startup+0.102111 s] /proc/loadavg: 1.00 1.00 1.00 3/77 472 /proc/meminfo: memFree=1788720/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=3824 CPUtime=0.09 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 719 0 0 0 9 0 0 0 18 0 1 0 147563620 3915776 603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 956 606 127 317 0 635 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3824 [startup+0.301152 s] /proc/loadavg: 1.00 1.00 1.00 3/77 472 /proc/meminfo: memFree=1788720/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=5520 CPUtime=0.29 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 1539 0 0 0 29 0 0 0 19 0 1 0 147563620 5652480 1037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827805 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 1380 1037 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701232 s] /proc/loadavg: 1.00 1.00 1.00 3/77 472 /proc/meminfo: memFree=1788720/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=9548 CPUtime=0.69 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 3013 0 0 0 68 1 0 0 22 0 1 0 147563620 9777152 1998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 2387 1998 128 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50139 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1780328/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=15532 CPUtime=1.49 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 4550 0 0 0 147 2 0 0 25 0 1 0 147563620 15904768 3437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284210 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 3883 3437 131 317 0 3562 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15532 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1763816/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=46300 CPUtime=3.09 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 12026 0 0 0 303 6 0 0 25 0 1 0 147563620 47411200 10913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 11575 10913 131 317 0 11254 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46300 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1694760/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=102804 CPUtime=6.29 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 25972 0 0 0 617 12 0 0 25 0 1 0 147563620 105271296 24826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25701 24826 137 317 0 25380 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102804 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1689520/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=103064 CPUtime=12.69 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 26025 0 0 0 1257 12 0 0 25 0 1 0 147563620 105537536 24879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25766 24879 138 317 0 25445 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 103064 [startup+25.5022 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1689520/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=103064 CPUtime=25.49 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 26026 0 0 0 2537 12 0 0 25 0 1 0 147563620 105537536 24880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25766 24880 138 317 0 25445 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 103064 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1689584/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=103064 CPUtime=51.07 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 26027 0 0 0 5095 12 0 0 25 0 1 0 147563620 105537536 24881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25766 24881 138 317 0 25445 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 103064 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1689584/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=103064 CPUtime=102.25 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 26033 0 0 0 10213 12 0 0 25 0 1 0 147563620 105537536 24887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25766 24887 138 317 0 25445 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 103064 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1689584/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=103100 CPUtime=162.23 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 26041 0 0 0 16210 13 0 0 25 0 1 0 147563620 105574400 24895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25775 24895 138 317 0 25454 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 103100 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1689520/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=103100 CPUtime=222.21 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 26047 0 0 0 22208 13 0 0 25 0 1 0 147563620 105574400 24901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 25775 24901 138 317 0 25454 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 103100 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1679024/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=114328 CPUtime=282.19 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 28779 0 0 0 28202 17 0 0 25 0 1 0 147563620 117071872 27562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 28582 27562 139 317 0 28261 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 114328 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1673264/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=119696 CPUtime=342.17 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 30175 0 0 0 34198 19 0 0 25 0 1 0 147563620 122568704 28958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 29924 28958 139 317 0 29603 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 119696 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1673264/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=119696 CPUtime=402.14 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 30175 0 0 0 40195 19 0 0 25 0 1 0 147563620 122568704 28958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 29924 28958 139 317 0 29603 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 119696 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1664176/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=129076 CPUtime=462.13 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 32447 0 0 0 46191 22 0 0 25 0 1 0 147563620 132173824 31230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 32269 31230 139 317 0 31948 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 129076 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1656816/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=136184 CPUtime=522.1 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 34277 0 0 0 52186 24 0 0 25 0 1 0 147563620 139452416 33060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 34046 33060 139 317 0 33725 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 136184 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1648816/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=145780 CPUtime=582.09 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 36267 0 0 0 58183 26 0 0 25 0 1 0 147563620 149278720 35050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 36445 35050 139 317 0 36124 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 145780 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 473 /proc/meminfo: memFree=1643248/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=151532 CPUtime=642.07 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 37780 0 0 0 64179 28 0 0 25 0 1 0 147563620 155168768 36421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 37883 36421 139 317 0 37562 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 151532 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1619696/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=179692 CPUtime=941.95 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 44623 0 0 0 94160 35 0 0 25 0 1 0 147563620 184004608 42274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 44923 42274 139 317 0 44602 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 179692 [startup+1002.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 475 /proc/meminfo: memFree=1615792/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=183348 CPUtime=1001.93 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 45589 0 0 0 100156 37 0 0 25 0 1 0 147563620 187748352 43240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 45837 43240 139 317 0 45516 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 183348 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 475 /proc/meminfo: memFree=1612080/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=186604 CPUtime=1061.92 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 46518 0 0 0 106153 39 0 0 25 0 1 0 147563620 191082496 44169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 46651 44169 139 317 0 46330 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 186604 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1608688/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=189756 CPUtime=1121.89 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 47367 0 0 0 112149 40 0 0 25 0 1 0 147563620 194310144 45018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 47439 45018 139 317 0 47118 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 189756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1605232/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=192748 CPUtime=1181.88 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 48234 0 0 0 118146 42 0 0 25 0 1 0 147563620 197373952 45885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 48187 45885 139 317 0 47866 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 192748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1601776/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=195648 CPUtime=1241.85 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 49075 0 0 0 124142 43 0 0 25 0 1 0 147563620 200343552 46726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 48912 46726 139 317 0 48591 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 195648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1598640/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=198500 CPUtime=1301.83 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 49847 0 0 0 130140 43 0 0 25 0 1 0 147563620 203264000 47498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 49625 47498 139 317 0 49304 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 198500 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1595504/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=201480 CPUtime=1361.81 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 50699 0 0 0 136136 45 0 0 25 0 1 0 147563620 206315520 48284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 50370 48284 139 317 0 50049 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 201480 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1592496/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=204216 CPUtime=1421.79 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 51426 0 0 0 142133 46 0 0 25 0 1 0 147563620 209117184 49011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 51054 49011 139 317 0 50733 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 204216 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1589488/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=206800 CPUtime=1481.77 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 52179 0 0 0 148129 48 0 0 25 0 1 0 147563620 211763200 49764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 51700 49764 139 317 0 51379 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 206800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1586736/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=209272 CPUtime=1541.75 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 52868 0 0 0 154125 50 0 0 25 0 1 0 147563620 214294528 50453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 52318 50453 139 317 0 51997 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 209272 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1583856/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=211740 CPUtime=1601.73 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 53584 0 0 0 160122 51 0 0 25 0 1 0 147563620 216821760 51169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 52935 51169 139 317 0 52614 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 211740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1581168/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=214072 CPUtime=1661.7 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 54251 0 0 0 166118 52 0 0 25 0 1 0 147563620 219209728 51836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 53518 51836 139 317 0 53197 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 214072 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1578608/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=216408 CPUtime=1721.68 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 54893 0 0 0 172115 53 0 0 25 0 1 0 147563620 221601792 52478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 54102 52478 139 317 0 53781 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 216408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 475 /proc/meminfo: memFree=1575984/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=218620 CPUtime=1781.66 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 55531 0 0 0 178112 54 0 0 25 0 1 0 147563620 223866880 53116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 54655 53116 139 317 0 54334 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 218620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1575024/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=219400 CPUtime=1800.07 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 55752 0 0 0 179952 55 0 0 25 0 1 0 147563620 224665600 53337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 54850 53337 139 317 0 54529 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 219400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1575024/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=219400 CPUtime=1800.16 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194304 55754 0 0 0 179961 55 0 0 25 0 1 0 147563620 224665600 53339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 54850 53339 139 317 0 54529 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 219400 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 475 /proc/meminfo: memFree=1575024/2055920 swapFree=4155228/4192956 [pid=472] ppid=470 vsize=0 CPUtime=1800.25 /proc/472/stat : 472 (oree) R 470 472 32269 0 -1 4194308 55770 0 0 0 179969 56 0 0 25 0 1 0 147563620 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/472/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.28 CPU user time (s): 1799.7 CPU system time (s): 0.58791 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 219400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.58791 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55770 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= 1700 runsolver used 1.9787 second user time and 4.5763 second system time The end
Begin job on node20 on Thu Apr 19 15:27:43 UTC 2007 IDJOB= 357388 IDBENCH= 2509 IDSOLVER= 172 FILE ID= node20/357388-1176996462 PBS_JOBID= 4630460 Free space on /tmp= 66442 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb COMMAND LINE= oree /tmp/evaluation/357388-1176996462/instance-357388-1176996462.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-357388-1176996462 -o ROOT/results/node20/solver-357388-1176996462 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357388-1176996462/instance-357388-1176996462.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7946286f4c1a7ac44cf771db2f48f590 RANDOM SEED= 897123644 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1789128 kB Buffers: 29336 kB Cached: 153752 kB SwapCached: 16084 kB Active: 93916 kB Inactive: 112228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789128 kB SwapTotal: 4192956 kB SwapFree: 4155228 kB Dirty: 15688 kB Writeback: 0 kB Mapped: 30116 kB Slab: 46236 kB Committed_AS: 1893036 kB PageTables: 1744 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= 66442 MiB End job on node20 on Thu Apr 19 15:57:46 UTC 2007