Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-brandy.opb |
MD5SUM | 7959aed3004450db7e4c9db414503999 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 6.579 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7470 |
Total number of constraints | 182 |
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 | 182 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3540 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 131073 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524346 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527202 |
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.09/0.18 c ...done 0.09/0.18 c #vars=7470 #constraints=322 hasObjective=yes 0.19/0.21 c res. mode=mod 0.19/0.21 c VSIDS like heuristics 0.19/0.21 c complete search running 0.39/0.42 c restart after 401 decisions 0.39/0.43 c nbDecision=500 #constraints=396 0.59/0.67 c restart after 801 decisions 0.69/0.72 c nbDecision=1000 #constraints=497 0.99/1.06 c nbDecision=1500 #constraints=592 1.09/1.11 c restart after 1601 decisions 1.29/1.33 c nbDecision=2000 #constraints=692 1.69/1.74 c nbDecision=2500 #constraints=818 2.39/2.49 c nbDecision=3000 #constraints=1102 2.89/2.92 c restart after 3201 decisions 2.99/3.08 c nbDecision=3500 #constraints=1306 4.40/4.43 c nbDecision=4000 #constraints=1675 5.59/5.62 c nbDecision=4500 #constraints=1913 7.09/7.11 c nbDecision=5000 #constraints=2152 8.38/8.43 c nbDecision=5500 #constraints=2388 9.80/9.87 c nbDecision=6000 #constraints=2605 10.99/11.08 c restart after 6401 decisions 11.09/11.16 c nbDecision=6500 #constraints=2786 11.59/11.63 c nbDecision=7000 #constraints=2845 11.99/12.08 c nbDecision=7500 #constraints=2884 12.59/12.69 c nbDecision=8000 #constraints=2966 13.29/13.33 c nbDecision=8500 #constraints=3042 13.79/13.81 c nbDecision=9000 #constraints=3099 14.09/14.18 c nbDecision=9500 #constraints=3153 14.59/14.67 c nbDecision=10000 #constraints=3206 15.48/15.56 c nbDecision=10500 #constraints=3344 16.28/16.33 c nbDecision=11000 #constraints=3464 17.08/17.10 c nbDecision=11500 #constraints=3562 17.68/17.79 c nbDecision=12000 #constraints=3642 18.39/18.48 c nbDecision=12500 #constraints=3717 18.89/19.00 c restart after 12801 decisions 19.19/19.27 c nbDecision=13000 #constraints=3792 21.08/21.11 c nbDecision=13500 #constraints=4175 23.18/23.26 c nbDecision=14000 #constraints=4562 25.58/25.70 c nbDecision=14500 #constraints=4953 28.49/28.60 c nbDecision=15000 #constraints=5375 31.79/31.83 c nbDecision=15500 #constraints=5784 35.09/35.16 c nbDecision=16000 #constraints=6146 39.18/39.22 c nbDecision=16500 #constraints=6531 43.88/43.93 c nbDecision=17000 #constraints=6945 48.88/48.98 c nbDecision=17500 #constraints=7356 54.07/54.14 c nbDecision=18000 #constraints=7753 59.57/59.67 c nbDecision=18500 #constraints=8157 65.77/65.88 c nbDecision=19000 #constraints=8571 72.17/72.29 c nbDecision=19500 #constraints=8989 78.97/79.07 c nbDecision=20000 #constraints=9406 86.26/86.39 c nbDecision=20500 #constraints=9820 94.77/94.84 c nbDecision=21000 #constraints=10225 104.17/104.21 c nbDecision=21500 #constraints=10657 114.16/114.24 c nbDecision=22000 #constraints=11076 125.26/125.36 c nbDecision=22500 #constraints=11511 137.56/137.63 c nbDecision=23000 #constraints=11955 145.65/145.70 c nbDecision=23500 #constraints=12299 154.15/154.21 c nbDecision=24000 #constraints=12647 163.65/163.76 c nbDecision=24500 #constraints=12979 173.75/173.87 c nbDecision=25000 #constraints=13344 184.54/184.69 c nbDecision=25500 #constraints=13735 186.84/186.93 c restart after 25601 decisions 193.04/193.10 c nbDecision=26000 #constraints=13918 203.74/203.87 c nbDecision=26500 #constraints=14136 214.03/214.19 c nbDecision=27000 #constraints=14325 227.83/227.97 c nbDecision=27500 #constraints=14587 240.63/240.71 c nbDecision=28000 #constraints=14824 251.03/251.19 c nbDecision=28500 #constraints=15033 263.12/263.23 c nbDecision=29000 #constraints=15272 275.42/275.57 c nbDecision=29500 #constraints=15499 287.02/287.12 c nbDecision=30000 #constraints=15689 299.11/299.25 c nbDecision=30500 #constraints=15903 312.01/312.16 c nbDecision=31000 #constraints=16142 320.61/320.78 c nbDecision=31500 #constraints=16271 334.11/334.24 c nbDecision=32000 #constraints=16513 346.90/347.03 c nbDecision=32500 #constraints=16730 360.99/361.15 c nbDecision=33000 #constraints=16963 372.60/372.75 c nbDecision=33500 #constraints=17157 386.40/386.53 c nbDecision=34000 #constraints=17406 399.79/399.96 c nbDecision=34500 #constraints=17641 411.09/411.23 c nbDecision=35000 #constraints=17834 419.38/419.60 c nbDecision=35500 #constraints=17965 426.38/426.54 c nbDecision=36000 #constraints=18090 432.08/432.28 c nbDecision=36500 #constraints=18183 441.18/441.36 c nbDecision=37000 #constraints=18378 458.67/458.86 c nbDecision=37500 #constraints=18668 474.47/474.61 c nbDecision=38000 #constraints=18891 493.67/493.86 c nbDecision=38500 #constraints=19152 508.96/509.20 c nbDecision=39000 #constraints=19387 524.65/524.85 c nbDecision=39500 #constraints=19610 536.45/536.65 c nbDecision=40000 #constraints=19807 551.85/552.00 c nbDecision=40500 #constraints=20053 567.84/568.04 c nbDecision=41000 #constraints=20305 581.34/581.59 c nbDecision=41500 #constraints=20517 597.54/597.72 c nbDecision=42000 #constraints=20767 613.13/613.37 c nbDecision=42500 #constraints=21010 629.73/629.90 c nbDecision=43000 #constraints=21265 644.23/644.48 c nbDecision=43500 #constraints=21471 661.02/661.29 c nbDecision=44000 #constraints=21700 676.02/676.28 c nbDecision=44500 #constraints=21921 690.31/690.53 c nbDecision=45000 #constraints=22110 705.81/706.08 c nbDecision=45500 #constraints=22331 720.21/720.47 c nbDecision=46000 #constraints=22537 733.41/733.67 c nbDecision=46500 #constraints=22712 747.29/747.50 c nbDecision=47000 #constraints=22897 760.70/760.98 c nbDecision=47500 #constraints=23068 777.39/777.68 c nbDecision=48000 #constraints=23297 793.08/793.31 c nbDecision=48500 #constraints=23517 811.08/811.38 c nbDecision=49000 #constraints=23747 828.48/828.70 c nbDecision=49500 #constraints=23972 844.98/845.29 c nbDecision=50000 #constraints=24182 859.97/860.24 c nbDecision=50500 #constraints=24382 877.17/877.47 c nbDecision=51000 #constraints=24609 882.66/882.99 c restart after 51201 decisions 888.46/888.74 c nbDecision=51500 #constraints=24762 909.66/909.95 c nbDecision=52000 #constraints=25025 931.66/931.96 c nbDecision=52500 #constraints=25276 943.75/944.04 c nbDecision=53000 #constraints=25430 962.04/962.33 c nbDecision=53500 #constraints=25710 981.34/981.69 c nbDecision=54000 #constraints=25980 1002.93/1003.25 c nbDecision=54500 #constraints=26242 1022.93/1023.22 c nbDecision=55000 #constraints=26473 1040.33/1040.69 c nbDecision=55500 #constraints=26690 1058.49/1058.89 c nbDecision=56000 #constraints=26881 1079.64/1080.01 c nbDecision=56500 #constraints=27132 1097.62/1098.05 c nbDecision=57000 #constraints=27344 1115.30/1115.72 c nbDecision=57500 #constraints=27577 1129.20/1129.62 c nbDecision=58000 #constraints=27743 1151.49/1151.94 c nbDecision=58500 #constraints=28004 1170.18/1170.63 c nbDecision=59000 #constraints=28202 1191.58/1192.05 c nbDecision=59500 #constraints=28453 1210.28/1210.79 c nbDecision=60000 #constraints=28668 1223.37/1223.83 c nbDecision=60500 #constraints=28819 1240.97/1241.47 c nbDecision=61000 #constraints=29028 1254.36/1254.80 c nbDecision=61500 #constraints=29180 1267.76/1268.24 c nbDecision=62000 #constraints=29385 1290.25/1290.76 c nbDecision=62500 #constraints=29688 1314.55/1315.01 c nbDecision=63000 #constraints=29952 1338.14/1338.62 c nbDecision=63500 #constraints=30188 1363.73/1364.28 c nbDecision=64000 #constraints=30448 1389.73/1390.20 c nbDecision=64500 #constraints=30711 1411.22/1411.79 c nbDecision=65000 #constraints=30943 1426.22/1426.80 c nbDecision=65500 #constraints=31094 1446.21/1446.76 c nbDecision=66000 #constraints=31318 1462.91/1463.40 c nbDecision=66500 #constraints=31493 1478.10/1478.69 c nbDecision=67000 #constraints=31661 1493.70/1494.26 c nbDecision=67500 #constraints=31828 1504.90/1505.44 c nbDecision=68000 #constraints=31948 1513.39/1513.99 c nbDecision=68500 #constraints=32016 1520.00/1520.53 c nbDecision=69000 #constraints=32078 1535.79/1536.39 c nbDecision=69500 #constraints=32221 1558.29/1558.83 c nbDecision=70000 #constraints=32432 1576.78/1577.39 c nbDecision=70500 #constraints=32605 1598.38/1598.96 c nbDecision=71000 #constraints=32809 1616.47/1617.02 c nbDecision=71500 #constraints=32989 1633.97/1634.60 c nbDecision=72000 #constraints=33151 1658.36/1658.90 c nbDecision=72500 #constraints=33382 1672.15/1672.76 c nbDecision=73000 #constraints=33498 1683.05/1683.62 c nbDecision=73500 #constraints=33590 1691.65/1692.25 c nbDecision=74000 #constraints=33651 1713.35/1713.93 c nbDecision=74500 #constraints=33869 1736.34/1736.99 c nbDecision=75000 #constraints=34103 1752.54/1753.19 c nbDecision=75500 #constraints=34265 1772.33/1772.94 c nbDecision=76000 #constraints=34430 1790.93/1791.58 c nbDecision=76500 #constraints=34627 1800.03/1800.60 Received signal 15 1800.13/1800.74 1800.13/1800.74 s UNKNOWN 1800.13/1800.74 1800.13/1800.74 c user time= 1799.34 s 1800.13/1800.74 c system time= 0.834873 s 1800.13/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-362958-1176849807 -o ROOT/results/node63/solver-362958-1176849807 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362958-1176849807/instance-362958-1176849807.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.77 0.92 0.94 2/64 21980 /proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=1468 CPUtime=0 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 160970626 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715266 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 367 163 131 317 0 46 0 [startup+0.066461 s] /proc/loadavg: 0.77 0.92 0.94 2/64 21980 /proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=3012 CPUtime=0.06 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 552 0 0 0 6 0 0 0 18 0 1 0 160970626 3084288 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 753 535 131 317 0 432 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3012 [startup+0.101465 s] /proc/loadavg: 0.77 0.92 0.94 2/64 21980 /proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=3976 CPUtime=0.09 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 763 0 0 0 9 0 0 0 18 0 1 0 160970626 4071424 745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 994 745 131 317 0 673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3976 [startup+0.301485 s] /proc/loadavg: 0.77 0.92 0.94 2/64 21980 /proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=7928 CPUtime=0.29 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 1758 0 0 0 29 0 0 0 19 0 1 0 160970626 8118272 1740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 1982 1740 139 317 0 1661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7928 [startup+0.701528 s] /proc/loadavg: 0.77 0.92 0.94 2/64 21980 /proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=8844 CPUtime=0.69 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 2034 0 0 0 69 0 0 0 23 0 1 0 160970626 9056256 2016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 2211 2016 170 317 0 1890 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8844 [startup+1.50161 s] /proc/loadavg: 0.77 0.92 0.94 2/65 21981 /proc/meminfo: memFree=1656772/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=11336 CPUtime=1.49 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 2653 0 0 0 149 0 0 0 25 0 1 0 160970626 11608064 2635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 2834 2635 170 317 0 2513 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11336 [startup+3.10178 s] /proc/loadavg: 0.79 0.92 0.94 2/65 21981 /proc/meminfo: memFree=1651460/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=20704 CPUtime=3.09 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 4978 0 0 0 308 1 0 0 25 0 1 0 160970626 21200896 4960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 5176 4960 170 317 0 4855 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20704 [startup+6.30112 s] /proc/loadavg: 0.79 0.92 0.94 2/65 21981 /proc/meminfo: memFree=1635716/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=32992 CPUtime=6.29 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 8023 0 0 0 626 3 0 0 25 0 1 0 160970626 33783808 8005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 8248 8005 170 317 0 7927 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32992 [startup+12.7018 s] /proc/loadavg: 0.82 0.93 0.94 2/65 21981 /proc/meminfo: memFree=1622020/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=49228 CPUtime=12.68 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 11701 0 0 0 1264 4 0 0 25 0 1 0 160970626 50409472 11683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 12307 11683 170 317 0 11986 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49228 [startup+25.5011 s] /proc/loadavg: 0.85 0.93 0.94 2/65 21981 /proc/meminfo: memFree=1588996/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=77984 CPUtime=25.48 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 19250 0 0 0 2539 9 0 0 25 0 1 0 160970626 79855616 19232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 19496 19232 170 317 0 19175 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77984 [startup+51.1019 s] /proc/loadavg: 0.90 0.93 0.94 2/65 21981 /proc/meminfo: memFree=1543492/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=126136 CPUtime=51.07 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 30611 0 0 0 5092 15 0 0 25 0 1 0 160970626 129163264 30593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 31534 30593 170 317 0 31213 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 126136 [startup+102.304 s] /proc/loadavg: 0.96 0.94 0.94 2/65 21981 /proc/meminfo: memFree=1486404/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=189860 CPUtime=102.27 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 44752 0 0 0 10205 22 0 0 25 0 1 0 160970626 194416640 44677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 47465 44677 170 317 0 47144 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 189860 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.94 2/65 21981 /proc/meminfo: memFree=1449732/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=225416 CPUtime=162.25 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 53982 0 0 0 16198 27 0 0 25 0 1 0 160970626 230825984 53907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712503 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 56354 53907 170 317 0 56033 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 225416 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.94 2/65 21981 /proc/meminfo: memFree=1425220/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=247392 CPUtime=222.24 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 60009 0 0 0 22193 31 0 0 25 0 1 0 160970626 253329408 59934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 61848 59934 170 317 0 61527 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 247392 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.94 2/65 21981 /proc/meminfo: memFree=1408580/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=262712 CPUtime=282.22 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 64183 0 0 0 28189 33 0 0 25 0 1 0 160970626 269017088 64108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 65678 64108 170 317 0 65357 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 262712 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1392388/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=277956 CPUtime=342.2 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 68318 0 0 0 34185 35 0 0 25 0 1 0 160970626 284626944 68130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 69489 68130 170 317 0 69168 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 277956 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1376516/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=292568 CPUtime=402.19 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 72316 0 0 0 40181 38 0 0 25 0 1 0 160970626 299589632 72128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 73142 72128 170 317 0 72821 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 292568 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1352324/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=345564 CPUtime=462.17 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 83561 0 0 0 46174 43 0 0 25 0 1 0 160970626 353857536 78093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 86391 78093 170 317 0 86070 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 345564 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1338372/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=358236 CPUtime=522.15 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 87230 0 0 0 52170 45 0 0 25 0 1 0 160970626 366833664 81630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 89559 81630 170 317 0 89238 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 358236 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1323332/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=371920 CPUtime=582.14 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 90963 0 0 0 58166 48 0 0 25 0 1 0 160970626 380846080 85363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 92980 85363 170 317 0 92659 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 371920 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1308292/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=385024 CPUtime=642.13 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 94670 0 0 0 64163 50 0 0 25 0 1 0 160970626 394264576 89070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 96256 89070 170 317 0 95935 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 385024 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1255108/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=431372 CPUtime=882.06 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 107999 0 0 0 88147 59 0 0 25 0 1 0 160970626 441724928 102333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 107843 102333 170 317 0 107522 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 431372 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1243652/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=442196 CPUtime=942.05 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 110972 0 0 0 94144 61 0 0 25 0 1 0 160970626 452808704 105240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 110549 105240 170 317 0 110228 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 442196 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 21981 /proc/meminfo: memFree=1230980/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=453700 CPUtime=1002.03 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 114121 0 0 0 100141 62 0 0 25 0 1 0 160970626 464588800 108356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 113425 108356 170 317 0 113104 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 453700 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/71 22053 /proc/meminfo: memFree=1218060/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=463360 CPUtime=1061.99 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 117046 0 0 0 106135 64 0 0 25 0 1 0 160970626 474480640 111281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 115840 111281 170 317 0 115519 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 463360 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1206596/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=475200 CPUtime=1121.89 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 120135 0 0 0 112122 67 0 0 25 0 1 0 160970626 486604800 114370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 118800 114370 170 317 0 118479 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 475200 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1195972/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=485040 CPUtime=1181.89 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 122887 0 0 0 118120 69 0 0 25 0 1 0 160970626 496680960 117122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 121260 117122 170 317 0 120939 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 485040 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1183748/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=495448 CPUtime=1241.87 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 125920 0 0 0 124116 71 0 0 25 0 1 0 160970626 507338752 120089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 123862 120089 170 317 0 123541 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 495448 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1171524/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=506456 CPUtime=1301.85 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 128942 0 0 0 130113 72 0 0 25 0 1 0 160970626 518610944 123111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 126614 123111 170 317 0 126293 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 506456 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1161860/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=515244 CPUtime=1361.83 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 131382 0 0 0 136110 73 0 0 25 0 1 0 160970626 527609856 125551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 128811 125551 170 317 0 128490 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 515244 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1150532/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=524484 CPUtime=1421.82 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 134193 0 0 0 142108 74 0 0 25 0 1 0 160970626 537071616 128362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604452 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 131121 128362 170 317 0 130800 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 524484 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1140100/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=534080 CPUtime=1481.8 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 136888 0 0 0 148105 75 0 0 25 0 1 0 160970626 546897920 130991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 133520 130991 170 317 0 133199 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 534080 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1130564/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=542576 CPUtime=1541.79 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 139264 0 0 0 154102 77 0 0 25 0 1 0 160970626 555597824 133367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 135644 133367 170 317 0 135323 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 542576 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1121348/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=551292 CPUtime=1601.77 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 141658 0 0 0 160099 78 0 0 25 0 1 0 160970626 564523008 135695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 137823 135695 170 317 0 137502 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 551292 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1112004/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=560656 CPUtime=1661.75 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 144267 0 0 0 166096 79 0 0 25 0 1 0 160970626 574111744 138012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 140164 138012 170 317 0 139843 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 560656 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1102980/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=568636 CPUtime=1721.75 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 146543 0 0 0 172094 81 0 0 25 0 1 0 160970626 582283264 140288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 142159 140288 170 317 0 141838 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 568636 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1093316/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=577088 CPUtime=1781.72 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 148941 0 0 0 178090 82 0 0 25 0 1 0 160970626 590938112 142686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 144272 142686 170 317 0 143951 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 577088 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1089796/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=579604 CPUtime=1800.03 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 149801 0 0 0 179920 83 0 0 25 0 1 0 160970626 593514496 143546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 144901 143546 170 317 0 144580 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 579604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.94 2/65 22179 /proc/meminfo: memFree=1089796/2055920 swapFree=4168472/4192956 [pid=21980] ppid=21978 vsize=0 CPUtime=1800.22 /proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194308 149824 0 0 0 179934 88 0 0 25 0 1 0 160970626 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21980/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.27 CPU user time (s): 1799.35 CPU system time (s): 0.924859 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 579604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.35 system time used= 0.924859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149824 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= 2521 runsolver used 1.22381 second user time and 3.76843 second system time The end
Begin job on node63 on Tue Apr 17 22:43:27 UTC 2007 IDJOB= 362958 IDBENCH= 1699 IDSOLVER= 172 FILE ID= node63/362958-1176849807 PBS_JOBID= 4590235 Free space on /tmp= 66506 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-brandy.opb COMMAND LINE= oree /tmp/evaluation/362958-1176849807/instance-362958-1176849807.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-362958-1176849807 -o ROOT/results/node63/solver-362958-1176849807 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362958-1176849807/instance-362958-1176849807.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7959aed3004450db7e4c9db414503999 RANDOM SEED= 809784473 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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: 1665380 kB Buffers: 27876 kB Cached: 300076 kB SwapCached: 18916 kB Active: 234880 kB Inactive: 117380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1665380 kB SwapTotal: 4192956 kB SwapFree: 4168472 kB Dirty: 2088 kB Writeback: 0 kB Mapped: 15136 kB Slab: 24336 kB Committed_AS: 1947760 kB PageTables: 1460 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= 66506 MiB End job on node63 on Tue Apr 17 23:13:30 UTC 2007