Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb |
MD5SUM | e211111a6c1a3c27b5e79e770c101730 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 41 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 40 |
Optimality of the best value was proved | NO |
Number of variables | 15742 |
Total number of constraints | 530 |
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 | 530 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 522 |
Number of terms in the objective function | 1442 |
Biggest coefficient in the objective function | 62322 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525467 |
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 | 525467 |
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.17 c ...done 0.09/0.17 c #vars=15742 #constraints=803 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 1.39/1.47 c restart after 401 decisions 1.79/1.82 c nbDecision=500 #constraints=1278 2.79/2.82 c restart after 801 decisions 3.39/3.44 c nbDecision=1000 #constraints=1760 5.29/5.30 c nbDecision=1500 #constraints=2260 5.58/5.69 c restart after 1601 decisions 7.38/7.42 c nbDecision=2000 #constraints=2745 9.79/9.80 c nbDecision=2500 #constraints=3245 12.29/12.31 c nbDecision=3000 #constraints=3745 13.29/13.39 c restart after 3201 decisions 14.99/15.03 c nbDecision=3500 #constraints=4229 18.08/18.11 c nbDecision=4000 #constraints=4729 20.98/21.07 c nbDecision=4500 #constraints=5229 24.39/24.50 c nbDecision=5000 #constraints=5729 27.87/27.93 c nbDecision=5500 #constraints=6229 31.48/31.56 c nbDecision=6000 #constraints=6729 34.47/34.55 c restart after 6401 decisions 36.17/36.29 c nbDecision=6500 #constraints=7218 41.18/41.22 c nbDecision=7000 #constraints=7718 45.98/46.06 c nbDecision=7500 #constraints=8218 51.58/51.68 c nbDecision=8000 #constraints=8718 56.97/57.05 c nbDecision=8500 #constraints=9218 62.07/62.17 c nbDecision=9000 #constraints=9718 68.07/68.13 c nbDecision=9500 #constraints=10218 73.47/73.53 c nbDecision=10000 #constraints=10718 78.96/79.06 c nbDecision=10500 #constraints=11218 85.36/85.40 c nbDecision=11000 #constraints=11718 91.06/91.13 c nbDecision=11500 #constraints=12218 97.66/97.72 c nbDecision=12000 #constraints=12718 103.85/103.96 c nbDecision=12500 #constraints=13218 107.76/107.89 c restart after 12801 decisions 112.06/112.11 c nbDecision=13000 #constraints=13707 119.65/119.79 c nbDecision=13500 #constraints=14207 128.25/128.34 c nbDecision=14000 #constraints=14707 136.55/136.69 c nbDecision=14500 #constraints=15207 144.65/144.78 c nbDecision=15000 #constraints=15707 153.44/153.51 c nbDecision=15500 #constraints=16207 161.84/161.97 c nbDecision=16000 #constraints=16707 170.13/170.27 c nbDecision=16500 #constraints=17207 179.03/179.19 c nbDecision=17000 #constraints=17707 187.34/187.46 c nbDecision=17500 #constraints=18207 196.53/196.63 c nbDecision=18000 #constraints=18707 205.13/205.27 c nbDecision=18500 #constraints=19207 214.23/214.37 c nbDecision=19000 #constraints=19707 223.32/223.43 c nbDecision=19500 #constraints=20207 231.92/232.07 c nbDecision=20000 #constraints=20707 241.52/241.67 c nbDecision=20500 #constraints=21207 250.81/250.93 c nbDecision=21000 #constraints=21707 260.11/260.21 c nbDecision=21500 #constraints=22207 269.31/269.49 c nbDecision=22000 #constraints=22707 278.60/278.78 c nbDecision=22500 #constraints=23207 288.40/288.55 c nbDecision=23000 #constraints=23707 298.10/298.27 c nbDecision=23500 #constraints=24207 307.80/307.96 c nbDecision=24000 #constraints=24707 317.50/317.65 c nbDecision=24500 #constraints=25207 327.70/327.82 c nbDecision=25000 #constraints=25707 337.89/338.00 c nbDecision=25500 #constraints=26207 339.69/339.81 c restart after 25601 decisions 349.39/349.59 c nbDecision=26000 #constraints=26693 359.38/359.60 c nbDecision=26500 #constraints=27193 369.98/370.12 c nbDecision=27000 #constraints=27693 380.38/380.56 c nbDecision=27500 #constraints=28193 391.08/391.28 c nbDecision=28000 #constraints=28693 401.67/401.86 c nbDecision=28500 #constraints=29193 412.37/412.55 c nbDecision=29000 #constraints=29693 423.56/423.70 c nbDecision=29500 #constraints=30193 434.56/434.79 c nbDecision=30000 #constraints=30693 446.06/446.26 c nbDecision=30500 #constraints=31193 457.75/457.95 c nbDecision=31000 #constraints=31693 468.95/469.17 c nbDecision=31500 #constraints=32193 480.56/480.70 c nbDecision=32000 #constraints=32693 492.04/492.29 c nbDecision=32500 #constraints=33193 503.94/504.12 c nbDecision=33000 #constraints=33693 515.83/516.00 c nbDecision=33500 #constraints=34193 527.44/527.62 c nbDecision=34000 #constraints=34693 538.53/538.74 c nbDecision=34500 #constraints=35194 549.63/549.86 c nbDecision=35000 #constraints=35694 560.63/560.87 c nbDecision=35500 #constraints=36193 570.62/570.80 c nbDecision=36000 #constraints=36693 579.43/579.66 c nbDecision=36500 #constraints=37193 586.72/586.96 c nbDecision=37000 #constraints=37693 591.71/591.99 c nbDecision=37500 #constraints=38193 611.21/611.42 c nbDecision=38000 #constraints=38693 633.81/634.09 c nbDecision=38500 #constraints=39193 655.20/655.41 c nbDecision=39000 #constraints=39693 677.09/677.34 c nbDecision=39500 #constraints=40193 698.20/698.46 c nbDecision=40000 #constraints=40693 720.18/720.41 c nbDecision=40500 #constraints=41193 740.98/741.26 c nbDecision=41000 #constraints=41693 763.26/763.58 c nbDecision=41500 #constraints=42193 784.66/784.96 c nbDecision=42000 #constraints=42693 805.86/806.14 c nbDecision=42500 #constraints=43193 827.65/827.99 c nbDecision=43000 #constraints=43693 849.34/849.66 c nbDecision=43500 #constraints=44193 870.74/871.09 c nbDecision=44000 #constraints=44693 892.13/892.45 c nbDecision=44500 #constraints=45193 913.53/913.81 c nbDecision=45000 #constraints=45693 934.92/935.25 c nbDecision=45500 #constraints=46193 956.31/956.69 c nbDecision=46000 #constraints=46693 977.90/978.26 c nbDecision=46500 #constraints=47193 999.70/1000.00 c nbDecision=47000 #constraints=47693 1021.09/1021.42 c nbDecision=47500 #constraints=48193 1042.19/1042.56 c nbDecision=48000 #constraints=48693 1064.19/1064.50 c nbDecision=48500 #constraints=49193 1085.58/1085.91 c nbDecision=49000 #constraints=49693 1107.87/1108.24 c nbDecision=49500 #constraints=50193 1129.26/1129.64 c nbDecision=50000 #constraints=50693 1151.76/1152.11 c nbDecision=50500 #constraints=51193 1174.35/1174.72 c nbDecision=51000 #constraints=51693 1182.84/1183.22 c restart after 51201 decisions 1207.04/1207.44 c nbDecision=51500 #constraints=52182 1238.33/1238.78 c nbDecision=52000 #constraints=52682 1267.83/1268.26 c nbDecision=52500 #constraints=53182 1298.72/1299.20 c nbDecision=53000 #constraints=53682 1328.10/1328.55 c nbDecision=53500 #constraints=54182 1360.90/1361.38 c nbDecision=54000 #constraints=54682 1391.49/1391.93 c nbDecision=54500 #constraints=55182 1422.28/1422.75 c nbDecision=55000 #constraints=55682 1452.58/1453.02 c nbDecision=55500 #constraints=56182 1482.96/1483.43 c nbDecision=56000 #constraints=56682 1513.15/1513.62 c nbDecision=56500 #constraints=57182 1543.24/1543.79 c nbDecision=57000 #constraints=57682 1572.44/1572.97 c nbDecision=57500 #constraints=58182 1603.33/1603.86 c nbDecision=58000 #constraints=58682 1632.92/1633.41 c nbDecision=58500 #constraints=59182 1661.21/1661.80 c nbDecision=59000 #constraints=59683 1692.10/1692.65 c nbDecision=59500 #constraints=60182 1721.59/1722.19 c nbDecision=60000 #constraints=60682 1750.49/1751.05 c nbDecision=60500 #constraints=61182 1779.48/1780.04 c nbDecision=61000 #constraints=61682 1800.08/1800.60 Received signal 15 1800.08/1800.67 1800.08/1800.67 s UNKNOWN 1800.08/1800.67 1800.08/1800.67 c user time= 1799.28 s 1800.08/1800.67 c system time= 0.871867 s 1800.08/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/node17/watcher-356929-1176848727 -o ROOT/results/node17/solver-356929-1176848727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356929-1176848727/instance-356929-1176848727.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17790 /proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=0 CPUtime=0 /proc/17790/stat : 17790 (runsolver) R 17788 17790 17492 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 132790190 0 0 18446744073709551615 0 0 0 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0 /proc/17790/statm: 0 0 0 0 0 0 0 [startup+0.0253211 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17790 /proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=1732 CPUtime=0.01 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 245 0 0 0 1 0 0 0 19 0 1 0 132790190 1773568 227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 433 227 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101329 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17790 /proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=3316 CPUtime=0.09 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 625 0 0 0 9 0 0 0 19 0 1 0 132790190 3395584 607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 829 607 131 317 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.301348 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17790 /proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=7104 CPUtime=0.29 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 1571 0 0 0 29 0 0 0 20 0 1 0 132790190 7274496 1553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 1776 1553 139 317 0 1455 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7104 [startup+0.70139 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17790 /proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=7764 CPUtime=0.68 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 1752 0 0 0 68 0 0 0 24 0 1 0 132790190 7950336 1734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 1941 1734 139 317 0 1620 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7764 [startup+1.50147 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17791 /proc/meminfo: memFree=1715320/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=9080 CPUtime=1.49 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 2073 0 0 0 148 1 0 0 25 0 1 0 132790190 9297920 2055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 2270 2055 139 317 0 1949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9080 [startup+3.10164 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17791 /proc/meminfo: memFree=1713144/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=11332 CPUtime=3.09 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 2622 0 0 0 308 1 0 0 25 0 1 0 132790190 11603968 2604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 2833 2604 139 317 0 2512 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11332 [startup+6.30198 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17791 /proc/meminfo: memFree=1708408/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=15620 CPUtime=6.28 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 3725 0 0 0 627 1 0 0 25 0 1 0 132790190 15994880 3707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 3905 3707 139 317 0 3584 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15620 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/78 17791 /proc/meminfo: memFree=1700792/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=23336 CPUtime=12.69 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 5569 0 0 0 1266 3 0 0 25 0 1 0 132790190 23896064 5551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 5834 5551 139 317 0 5513 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23336 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17791 /proc/meminfo: memFree=1688952/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=35460 CPUtime=25.48 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 8396 0 0 0 2543 5 0 0 25 0 1 0 132790190 36311040 8378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 8865 8378 139 317 0 8544 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35460 [startup+51.1017 s] /proc/loadavg: 1.02 1.00 1.00 2/78 17791 /proc/meminfo: memFree=1675768/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=47700 CPUtime=51.07 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 11743 0 0 0 5099 8 0 0 25 0 1 0 132790190 48844800 11682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 11925 11682 139 317 0 11604 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47700 [startup+102.306 s] /proc/loadavg: 1.12 1.03 1.01 2/78 17791 /proc/meminfo: memFree=1651576/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=73780 CPUtime=102.26 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 17809 0 0 0 10212 14 0 0 25 0 1 0 132790190 75550720 17663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 18445 17663 139 317 0 18124 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 73780 [startup+162.301 s] /proc/loadavg: 1.10 1.04 1.01 2/78 17791 /proc/meminfo: memFree=1634296/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=89760 CPUtime=162.24 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 22159 0 0 0 16205 19 0 0 25 0 1 0 132790190 91914240 22013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 22440 22013 139 317 0 22119 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 89760 [startup+222.302 s] /proc/loadavg: 1.16 1.06 1.01 2/78 17791 /proc/meminfo: memFree=1614072/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=117952 CPUtime=222.22 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 28952 0 0 0 22198 24 0 0 25 0 1 0 132790190 120782848 26991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273593 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 29488 26991 139 317 0 29167 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117952 [startup+282.302 s] /proc/loadavg: 1.10 1.06 1.01 2/78 17791 /proc/meminfo: memFree=1598264/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=131940 CPUtime=282.21 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 32989 0 0 0 28192 29 0 0 25 0 1 0 132790190 135106560 30995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 32985 30995 139 317 0 32664 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 131940 [startup+342.301 s] /proc/loadavg: 1.08 1.06 1.01 2/78 17791 /proc/meminfo: memFree=1583160/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=145416 CPUtime=342.18 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 36878 0 0 0 34186 32 0 0 25 0 1 0 132790190 148905984 34715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 36354 34715 139 317 0 36033 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 145416 [startup+402.301 s] /proc/loadavg: 1.03 1.05 1.01 2/78 17791 /proc/meminfo: memFree=1568824/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=157820 CPUtime=402.17 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 40501 0 0 0 40181 36 0 0 25 0 1 0 132790190 161607680 38305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 39455 38305 139 317 0 39134 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 157820 [startup+462.302 s] /proc/loadavg: 1.01 1.04 1.00 2/78 17791 /proc/meminfo: memFree=1555512/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=169308 CPUtime=462.15 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 43808 0 0 0 46176 39 0 0 25 0 1 0 132790190 173371392 41612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 42327 41612 139 317 0 42006 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 169308 [startup+522.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 17791 /proc/meminfo: memFree=1540088/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=207312 CPUtime=522.13 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 52997 0 0 0 52169 44 0 0 25 0 1 0 132790190 212287488 45503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 51828 45503 139 317 0 51507 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 207312 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17791 /proc/meminfo: memFree=1524856/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=219984 CPUtime=582.12 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 56778 0 0 0 58165 47 0 0 25 0 1 0 132790190 225263616 49284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 54996 49284 139 317 0 54675 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 219984 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17791 /proc/meminfo: memFree=1514232/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=229088 CPUtime=642.1 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 59442 0 0 0 64160 50 0 0 25 0 1 0 132790190 234586112 51883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 57272 51883 139 317 0 56951 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 229088 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1486392/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=252980 CPUtime=882.04 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 66400 0 0 0 88146 58 0 0 25 0 1 0 132790190 259051520 58841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 63245 58841 139 317 0 62924 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 252980 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1479288/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=258920 CPUtime=942.02 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 68182 0 0 0 94142 60 0 0 25 0 1 0 132790190 265134080 60623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 64730 60623 139 317 0 64409 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 258920 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1471992/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=264992 CPUtime=1002 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 69976 0 0 0 100138 62 0 0 25 0 1 0 132790190 271351808 62417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 66248 62417 139 317 0 65927 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 264992 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1464888/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=270800 CPUtime=1061.98 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 71759 0 0 0 106134 64 0 0 25 0 1 0 132790190 277299200 64200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 67700 64200 139 317 0 67379 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 270800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1458232/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=277960 CPUtime=1121.96 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 73751 0 0 0 112130 66 0 0 25 0 1 0 132790190 284631040 65854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 69490 65854 139 317 0 69169 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 277960 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1451128/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=283900 CPUtime=1181.94 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 75507 0 0 0 118126 68 0 0 25 0 1 0 132790190 290713600 67610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 70975 67610 139 317 0 70654 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 283900 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1446584/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=287728 CPUtime=1241.93 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 76665 0 0 0 124123 70 0 0 25 0 1 0 132790190 294633472 68768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 71932 68768 139 317 0 71611 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 287728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1441400/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=291952 CPUtime=1301.92 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 77916 0 0 0 130120 72 0 0 25 0 1 0 132790190 298958848 70019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 72988 70019 139 317 0 72667 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 291952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1436920/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=295916 CPUtime=1361.9 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 79025 0 0 0 136116 74 0 0 25 0 1 0 132790190 303017984 71128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 73979 71128 139 317 0 73658 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 295916 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1431928/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=300196 CPUtime=1421.89 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 80273 0 0 0 142113 76 0 0 25 0 1 0 132790190 307400704 72376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 75049 72376 139 317 0 74728 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 300196 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1426616/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=304692 CPUtime=1481.86 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 81590 0 0 0 148108 78 0 0 25 0 1 0 132790190 312004608 73693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 76173 73693 139 317 0 75852 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 304692 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1421560/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=308920 CPUtime=1541.84 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 82853 0 0 0 154105 79 0 0 25 0 1 0 132790190 316334080 74956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 77230 74956 139 317 0 76909 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 308920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1416504/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=313144 CPUtime=1601.83 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 84120 0 0 0 160102 81 0 0 25 0 1 0 132790190 320659456 76223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 78286 76223 139 317 0 77965 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 313144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1411256/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=317632 CPUtime=1661.81 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 85417 0 0 0 166099 82 0 0 25 0 1 0 132790190 325255168 77520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 79408 77520 139 317 0 79087 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 317632 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1406264/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=321856 CPUtime=1721.79 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 86675 0 0 0 172095 84 0 0 25 0 1 0 132790190 329580544 78778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 80464 78778 139 317 0 80143 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 321856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1400952/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=326212 CPUtime=1781.78 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 87979 0 0 0 178092 86 0 0 25 0 1 0 132790190 334041088 80082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 81553 80082 139 317 0 81232 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 326212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1399224/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=327664 CPUtime=1800.08 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 88415 0 0 0 179921 87 0 0 25 0 1 0 132790190 335527936 80518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 81916 80518 139 317 0 81595 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 327664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17793 /proc/meminfo: memFree=1399224/2055920 swapFree=4123136/4192956 [pid=17790] ppid=17788 vsize=0 CPUtime=1800.18 /proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194308 88432 0 0 0 179929 89 0 0 25 0 1 0 132790190 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.22 CPU user time (s): 1799.29 CPU system time (s): 0.925859 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 327664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 0.925859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88432 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= 7 involuntary context switches= 2150 runsolver used 2.12368 second user time and 4.22936 second system time The end
Begin job on node17 on Tue Apr 17 22:25:27 UTC 2007 IDJOB= 356929 IDBENCH= 1652 IDSOLVER= 172 FILE ID= node17/356929-1176848727 PBS_JOBID= 4590198 Free space on /tmp= 66469 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-etamacro.opb COMMAND LINE= oree /tmp/evaluation/356929-1176848727/instance-356929-1176848727.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-356929-1176848727 -o ROOT/results/node17/solver-356929-1176848727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356929-1176848727/instance-356929-1176848727.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e211111a6c1a3c27b5e79e770c101730 RANDOM SEED= 994369007 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1722584 kB Buffers: 35256 kB Cached: 188580 kB SwapCached: 32524 kB Active: 96480 kB Inactive: 169540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1722584 kB SwapTotal: 4192956 kB SwapFree: 4123136 kB Dirty: 1856 kB Writeback: 0 kB Mapped: 34528 kB Slab: 52836 kB Committed_AS: 7032916 kB PageTables: 1796 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= 66469 MiB End job on node17 on Tue Apr 17 22:55:30 UTC 2007