Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
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.08/0.09 c ...done 0.08/0.09 c #vars=7195 #constraints=959 hasObjective=yes 0.09/0.11 c res. mode=mod 0.09/0.11 c VSIDS like heuristics 0.09/0.11 c complete search running 0.09/0.14 c restart after 401 decisions 0.09/0.16 c nbDecision=500 #constraints=961 0.09/0.18 c restart after 801 decisions 0.19/0.20 c nbDecision=1000 #constraints=962 1.29/1.37 c nbDecision=1500 #constraints=1195 1.89/1.90 c restart after 1601 decisions 1.99/2.01 c nbDecision=2000 #constraints=1259 4.90/4.95 c nbDecision=2500 #constraints=1624 9.39/9.46 c nbDecision=3000 #constraints=2067 10.99/11.07 c restart after 3201 decisions 11.39/11.45 c nbDecision=3500 #constraints=2230 16.69/16.72 c nbDecision=4000 #constraints=2602 22.68/22.73 c nbDecision=4500 #constraints=3035 31.49/31.54 c nbDecision=5000 #constraints=3484 40.78/40.81 c nbDecision=5500 #constraints=3928 49.28/49.36 c nbDecision=6000 #constraints=4355 56.17/56.27 c restart after 6401 decisions 57.97/58.03 c nbDecision=6500 #constraints=4709 64.37/64.43 c nbDecision=7000 #constraints=4887 75.27/75.37 c nbDecision=7500 #constraints=5329 87.87/87.91 c nbDecision=8000 #constraints=5763 100.07/100.13 c nbDecision=8500 #constraints=6198 118.06/118.13 c nbDecision=9000 #constraints=6633 139.16/139.20 c nbDecision=9500 #constraints=7063 167.35/167.41 c nbDecision=10000 #constraints=7515 188.94/189.03 c nbDecision=10500 #constraints=7929 205.65/205.72 c nbDecision=11000 #constraints=8355 227.23/227.30 c nbDecision=11500 #constraints=8796 247.03/247.11 c nbDecision=12000 #constraints=9231 270.42/270.56 c nbDecision=12500 #constraints=9675 285.41/285.53 c restart after 12801 decisions 291.11/291.27 c nbDecision=13000 #constraints=9933 322.11/322.29 c nbDecision=13500 #constraints=10213 366.89/367.01 c nbDecision=14000 #constraints=10656 403.09/403.28 c nbDecision=14500 #constraints=11070 437.87/438.02 c nbDecision=15000 #constraints=11499 484.16/484.36 c nbDecision=15500 #constraints=11942 531.35/531.51 c nbDecision=16000 #constraints=12382 574.24/574.47 c nbDecision=16500 #constraints=12817 604.43/604.65 c nbDecision=17000 #constraints=13252 635.32/635.56 c nbDecision=17500 #constraints=13691 675.31/675.58 c nbDecision=18000 #constraints=14134 718.20/718.44 c nbDecision=18500 #constraints=14554 768.09/768.35 c nbDecision=19000 #constraints=14969 811.77/812.05 c nbDecision=19500 #constraints=15409 852.96/853.25 c nbDecision=20000 #constraints=15823 903.25/903.51 c nbDecision=20500 #constraints=16253 959.54/959.82 c nbDecision=21000 #constraints=16671 1023.42/1023.75 c nbDecision=21500 #constraints=17098 1085.50/1085.86 c nbDecision=22000 #constraints=17521 1133.29/1133.68 c nbDecision=22500 #constraints=17941 1201.27/1201.62 c nbDecision=23000 #constraints=18385 1255.05/1255.42 c nbDecision=23500 #constraints=18795 1288.04/1288.43 c nbDecision=24000 #constraints=19042 1327.14/1327.59 c nbDecision=24500 #constraints=19485 1364.82/1365.21 c nbDecision=25000 #constraints=19931 1409.21/1409.60 c nbDecision=25500 #constraints=20370 1418.81/1419.29 c restart after 25601 decisions 1440.41/1440.84 c nbDecision=26000 #constraints=20475 1491.39/1491.86 c nbDecision=26500 #constraints=20906 1537.78/1538.23 c nbDecision=27000 #constraints=21351 1579.57/1580.01 c nbDecision=27500 #constraints=21787 1628.35/1628.82 c nbDecision=28000 #constraints=22240 1684.54/1685.05 c nbDecision=28500 #constraints=22673 1748.62/1749.11 c nbDecision=29000 #constraints=23105 1800.01/1800.50 Received signal 15 1800.12/1800.67 1800.12/1800.67 s UNKNOWN 1800.12/1800.67 1800.12/1800.67 c user time= 1799.04 s 1800.12/1800.67 c system time= 1.14583 s 1800.12/1800.67 c wall clock time=1800.67
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-357009-1176851305 -o ROOT/results/node35/solver-357009-1176851305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357009-1176851305/instance-357009-1176851305.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 0.99 0.96 3/77 7516 /proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=1468 CPUtime=0 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 133045903 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 367 160 131 317 0 46 0 [startup+0.089397 s] /proc/loadavg: 1.00 0.99 0.96 3/77 7516 /proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=3208 CPUtime=0.08 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 594 0 0 0 8 0 0 0 18 0 1 0 133045903 3284992 576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 802 578 131 317 0 481 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3208 [startup+0.102397 s] /proc/loadavg: 1.00 0.99 0.96 3/77 7516 /proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=4192 CPUtime=0.09 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 833 0 0 0 9 0 0 0 18 0 1 0 133045903 4292608 815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 1048 815 137 317 0 727 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4192 [startup+0.30242 s] /proc/loadavg: 1.00 0.99 0.96 3/77 7516 /proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=4976 CPUtime=0.29 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 1050 0 0 0 29 0 0 0 20 0 1 0 133045903 5095424 1032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 1244 1032 139 317 0 923 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4976 [startup+0.702466 s] /proc/loadavg: 1.00 0.99 0.96 3/77 7516 /proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=7976 CPUtime=0.69 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 1776 0 0 0 69 0 0 0 24 0 1 0 133045903 8167424 1758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530440 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 1994 1758 170 317 0 1673 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7976 [startup+1.50156 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1833920/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=12640 CPUtime=1.49 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 2869 0 0 0 148 1 0 0 25 0 1 0 133045903 12943360 2851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 3160 2851 170 317 0 2839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12640 [startup+3.10175 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1829056/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=20152 CPUtime=3.09 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 4572 0 0 0 307 2 0 0 25 0 1 0 133045903 20635648 4554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 5038 4554 170 317 0 4717 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20152 [startup+6.30112 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1813248/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=35908 CPUtime=6.29 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 8203 0 0 0 626 3 0 0 25 0 1 0 133045903 36769792 8185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 8977 8185 170 317 0 8656 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35908 [startup+12.7019 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1791552/2055920 swapFree=4112720/4192956 [pid=7516] ppid=7514 vsize=59404 CPUtime=12.69 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 13407 0 0 0 1264 5 0 0 25 0 1 0 133045903 60829696 13389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 14851 13389 170 317 0 14530 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59404 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1755712/2055920 swapFree=4112784/4192956 [pid=7516] ppid=7514 vsize=96556 CPUtime=25.48 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 21847 0 0 0 2540 8 0 0 25 0 1 0 133045903 98873344 21829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 24139 21829 170 317 0 23818 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96556 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1706816/2055920 swapFree=4112784/4192956 [pid=7516] ppid=7514 vsize=149248 CPUtime=51.08 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 34070 0 0 0 5094 14 0 0 25 0 1 0 133045903 152829952 34052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 37312 34052 170 317 0 36991 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 149248 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1629952/2055920 swapFree=4112784/4192956 [pid=7516] ppid=7514 vsize=236052 CPUtime=102.27 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 52980 0 0 0 10204 23 0 0 25 0 1 0 133045903 241717248 52962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 59013 52962 170 317 0 58692 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 236052 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1583552/2055920 swapFree=4112784/4192956 [pid=7516] ppid=7514 vsize=284184 CPUtime=162.25 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 64692 0 0 0 16196 29 0 0 25 0 1 0 133045903 291004416 64630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 71046 64630 170 317 0 70725 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 284184 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1534912/2055920 swapFree=4112848/4192956 [pid=7516] ppid=7514 vsize=333216 CPUtime=222.23 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 76778 0 0 0 22189 34 0 0 25 0 1 0 133045903 341213184 76716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 83304 76716 170 317 0 82983 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 333216 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1480064/2055920 swapFree=4112848/4192956 [pid=7516] ppid=7514 vsize=407504 CPUtime=282.22 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 90639 0 0 0 28181 41 0 0 25 0 1 0 133045903 417284096 90577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 101876 90577 170 317 0 101555 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 407504 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1454080/2055920 swapFree=4112912/4192956 [pid=7516] ppid=7514 vsize=438700 CPUtime=342.2 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 96906 0 0 0 34176 44 0 0 25 0 1 0 133045903 449228800 96844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 109675 96844 170 317 0 109354 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 438700 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1427264/2055920 swapFree=4112912/4192956 [pid=7516] ppid=7514 vsize=466644 CPUtime=402.19 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 103660 0 0 0 40170 49 0 0 25 0 1 0 133045903 477843456 103598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 116661 103598 170 317 0 116340 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 466644 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1400384/2055920 swapFree=4112976/4192956 [pid=7516] ppid=7514 vsize=494312 CPUtime=462.17 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 110290 0 0 0 46166 51 0 0 25 0 1 0 133045903 506175488 110228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 123578 110228 170 317 0 123257 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 494312 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1377600/2055920 swapFree=4112976/4192956 [pid=7516] ppid=7514 vsize=518684 CPUtime=522.15 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 116094 0 0 0 52161 54 0 0 25 0 1 0 133045903 531132416 116032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 129671 116032 170 317 0 129350 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 518684 [startup+582.303 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1350848/2055920 swapFree=4112976/4192956 [pid=7516] ppid=7514 vsize=545512 CPUtime=582.14 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 122766 0 0 0 58157 57 0 0 25 0 1 0 133045903 558604288 122618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 136378 122618 170 317 0 136057 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 545512 [startup+642.303 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1320320/2055920 swapFree=4113044/4192956 [pid=7516] ppid=7514 vsize=576416 CPUtime=642.12 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 130332 0 0 0 64152 60 0 0 25 0 1 0 133045903 590249984 130184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 144104 130184 170 317 0 143783 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 576416 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1216064/2055920 swapFree=4113172/4192956 [pid=7516] ppid=7514 vsize=683652 CPUtime=942.04 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 156398 0 0 0 94129 75 0 0 25 0 1 0 133045903 700059648 156250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 170913 156250 170 317 0 170592 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 683652 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1195072/2055920 swapFree=4113172/4192956 [pid=7516] ppid=7514 vsize=705372 CPUtime=1002.02 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 161576 0 0 0 100125 77 0 0 25 0 1 0 133045903 722300928 161428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 176343 161428 170 317 0 176022 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 705372 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1180416/2055920 swapFree=4113236/4192956 [pid=7516] ppid=7514 vsize=719908 CPUtime=1062 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 165290 0 0 0 106120 80 0 0 25 0 1 0 133045903 737185792 165142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 179977 165142 170 317 0 179656 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 719908 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1146048/2055920 swapFree=4113236/4192956 [pid=7516] ppid=7514 vsize=801172 CPUtime=1121.99 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 181762 0 0 0 112114 85 0 0 25 0 1 0 133045903 820400128 173628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 200293 173628 170 317 0 199972 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 801172 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1130880/2055920 swapFree=4113236/4192956 [pid=7516] ppid=7514 vsize=816224 CPUtime=1181.98 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 185612 0 0 0 118110 88 0 0 25 0 1 0 133045903 835813376 177478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 204056 177478 170 317 0 203735 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 816224 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1106688/2055920 swapFree=4113300/4192956 [pid=7516] ppid=7514 vsize=857276 CPUtime=1241.95 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 194184 0 0 0 124104 91 0 0 25 0 1 0 133045903 877850624 183443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 214319 183443 170 317 0 213998 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 857276 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1087808/2055920 swapFree=4113300/4192956 [pid=7516] ppid=7514 vsize=875964 CPUtime=1301.95 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 198870 0 0 0 130101 94 0 0 25 0 1 0 133045903 896987136 188129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 218991 188129 170 317 0 218670 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 875964 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1062272/2055920 swapFree=4113364/4192956 [pid=7516] ppid=7514 vsize=901940 CPUtime=1361.92 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 205310 0 0 0 136095 97 0 0 25 0 1 0 133045903 923586560 194569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 225485 194569 170 317 0 225164 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 901940 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1040064/2055920 swapFree=4113364/4192956 [pid=7516] ppid=7514 vsize=925040 CPUtime=1421.91 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 210767 0 0 0 142091 100 0 0 25 0 1 0 133045903 947240960 200026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 231260 200026 170 317 0 230939 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 925040 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1026304/2055920 swapFree=4113364/4192956 [pid=7516] ppid=7514 vsize=938856 CPUtime=1481.89 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 214241 0 0 0 148087 102 0 0 25 0 1 0 133045903 961388544 203500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 234714 203500 170 317 0 234393 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 938856 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=1006016/2055920 swapFree=4113428/4192956 [pid=7516] ppid=7514 vsize=959624 CPUtime=1541.87 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 219300 0 0 0 154083 104 0 0 25 0 1 0 133045903 982654976 208559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 239906 208559 170 317 0 239585 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 959624 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=984960/2055920 swapFree=4113428/4192956 [pid=7516] ppid=7514 vsize=980816 CPUtime=1601.86 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 224583 0 0 0 160079 107 0 0 25 0 1 0 133045903 1004355584 213842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 245204 213842 170 317 0 244883 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 980816 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=967616/2055920 swapFree=4113492/4192956 [pid=7516] ppid=7514 vsize=997988 CPUtime=1661.85 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 228881 0 0 0 166075 110 0 0 25 0 1 0 133045903 1021939712 218140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 249497 218140 170 317 0 249176 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 997988 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=950848/2055920 swapFree=4113492/4192956 [pid=7516] ppid=7514 vsize=1014516 CPUtime=1721.83 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 233080 0 0 0 172071 112 0 0 25 0 1 0 133045903 1038864384 222339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 253629 222339 170 317 0 253308 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1014516 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=935296/2055920 swapFree=4113556/4192956 [pid=7516] ppid=7514 vsize=1030236 CPUtime=1781.82 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 236929 0 0 0 178068 114 0 0 25 0 1 0 133045903 1054961664 226188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 257559 226188 170 317 0 257238 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1030236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.96 2/78 7517 /proc/meminfo: memFree=930688/2055920 swapFree=4113556/4192956 [pid=7516] ppid=7514 vsize=1034628 CPUtime=1800.01 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 238070 0 0 0 179887 114 0 0 25 0 1 0 133045903 1059459072 227329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 258657 227329 170 317 0 258336 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1034628 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.96 2/79 7518 /proc/meminfo: memFree=930680/2055920 swapFree=4113556/4192956 [pid=7516] ppid=7514 vsize=1034628 CPUtime=1800.12 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 238070 0 0 0 179898 114 0 0 25 0 1 0 133045903 1059459072 227329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 258657 227329 170 317 0 258336 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 1034628 [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.96 2/79 7518 /proc/meminfo: memFree=930680/2055920 swapFree=4113556/4192956 [pid=7516] ppid=7514 vsize=0 CPUtime=1800.3 /proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194308 238086 0 0 0 179904 126 0 0 25 0 1 0 133045903 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7516/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.35 CPU user time (s): 1799.05 CPU system time (s): 1.2978 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1034628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.05 system time used= 1.2978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 238086 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= 28889 runsolver used 2.09668 second user time and 4.37533 second system time The end
Begin job on node35 on Tue Apr 17 23:08:25 UTC 2007 IDJOB= 357009 IDBENCH= 1771 IDSOLVER= 172 FILE ID= node35/357009-1176851305 PBS_JOBID= 4590219 Free space on /tmp= 66477 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb COMMAND LINE= oree /tmp/evaluation/357009-1176851305/instance-357009-1176851305.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-357009-1176851305 -o ROOT/results/node35/solver-357009-1176851305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357009-1176851305/instance-357009-1176851305.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 6147519 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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.232 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.232 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: 1842400 kB Buffers: 32720 kB Cached: 101336 kB SwapCached: 24792 kB Active: 111072 kB Inactive: 67972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842400 kB SwapTotal: 4192956 kB SwapFree: 4112720 kB Dirty: 1612 kB Writeback: 0 kB Mapped: 38540 kB Slab: 19812 kB Committed_AS: 2361752 kB PageTables: 1996 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= 66477 MiB End job on node35 on Tue Apr 17 23:38:27 UTC 2007