Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb |
MD5SUM | 485ca531ffda98d59a839bf46c37d61d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 262449 |
Best CPU time to get the best result obtained on this benchmark | 1800.44 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262412 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
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 | 525077 |
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.05/0.07 c ...done 0.05/0.07 c #vars=7561 #constraints=338 hasObjective=yes 0.05/0.08 c res. mode=mod 0.05/0.08 c VSIDS like heuristics 0.05/0.08 c complete search running 0.19/0.22 c restart after 401 decisions 0.19/0.25 c nbDecision=500 #constraints=547 0.29/0.33 c restart after 801 decisions 0.29/0.39 c nbDecision=1000 #constraints=872 0.49/0.57 c nbDecision=1500 #constraints=1216 0.59/0.61 c restart after 1601 decisions 0.69/0.76 c nbDecision=2000 #constraints=1467 0.89/0.94 c nbDecision=2500 #constraints=1852 1.10/1.17 c nbDecision=3000 #constraints=2168 1.19/1.27 c restart after 3201 decisions 1.39/1.43 c nbDecision=3500 #constraints=2363 1.69/1.71 c nbDecision=4000 #constraints=2617 1.99/2.04 c nbDecision=4500 #constraints=2769 2.29/2.37 c nbDecision=5000 #constraints=3019 2.69/2.72 c nbDecision=5500 #constraints=3139 3.09/3.12 c nbDecision=6000 #constraints=3283 3.79/3.81 c restart after 6401 decisions 3.99/4.04 c nbDecision=6500 #constraints=3445 5.29/5.35 c nbDecision=7000 #constraints=3616 6.79/6.83 c nbDecision=7500 #constraints=3743 7.89/7.96 c nbDecision=8000 #constraints=3941 9.09/9.19 c nbDecision=8500 #constraints=4032 11.69/11.75 c nbDecision=9000 #constraints=4181 13.19/13.23 c nbDecision=9500 #constraints=4286 14.78/14.81 c nbDecision=10000 #constraints=4436 19.48/19.59 c nbDecision=10500 #constraints=4592 25.68/25.78 c nbDecision=11000 #constraints=4816 27.78/27.82 c nbDecision=11500 #constraints=5059 29.48/29.53 c nbDecision=12000 #constraints=5232 31.18/31.24 c nbDecision=12500 #constraints=5424 32.08/32.10 c restart after 12801 decisions 35.67/35.71 c nbDecision=13000 #constraints=5641 39.68/39.70 c nbDecision=13500 #constraints=5865 43.38/43.48 c nbDecision=14000 #constraints=6042 47.57/47.62 c nbDecision=14500 #constraints=6325 51.77/51.82 c nbDecision=15000 #constraints=6623 55.97/56.02 c nbDecision=15500 #constraints=6890 60.56/60.62 c nbDecision=16000 #constraints=7187 64.77/64.88 c nbDecision=16500 #constraints=7488 69.76/69.83 c nbDecision=17000 #constraints=7758 74.67/74.79 c nbDecision=17500 #constraints=8064 79.96/80.07 c nbDecision=18000 #constraints=8329 85.26/85.34 c nbDecision=18500 #constraints=8656 89.36/89.49 c nbDecision=19000 #constraints=8917 96.15/96.26 c nbDecision=19500 #constraints=9101 102.16/102.29 c nbDecision=20000 #constraints=9398 108.85/108.95 c nbDecision=20500 #constraints=9648 113.25/113.37 c nbDecision=21000 #constraints=9969 120.75/120.85 c nbDecision=21500 #constraints=10230 126.85/126.90 c nbDecision=22000 #constraints=10544 133.34/133.46 c nbDecision=22500 #constraints=10824 141.84/141.92 c nbDecision=23000 #constraints=11056 150.64/150.77 c nbDecision=23500 #constraints=11355 159.03/159.12 c nbDecision=24000 #constraints=11604 169.53/169.69 c nbDecision=24500 #constraints=11846 178.92/179.04 c nbDecision=25000 #constraints=12190 186.52/186.66 c nbDecision=25500 #constraints=12456 188.12/188.28 c restart after 25601 decisions 198.81/198.95 c nbDecision=26000 #constraints=12706 204.82/204.92 c nbDecision=26500 #constraints=12962 216.81/216.99 c nbDecision=27000 #constraints=13215 230.91/231.02 c nbDecision=27500 #constraints=13465 250.30/250.45 c nbDecision=28000 #constraints=13701 282.19/282.31 c nbDecision=28500 #constraints=13978 311.58/311.79 c nbDecision=29000 #constraints=14204 331.47/331.62 c nbDecision=29500 #constraints=14421 350.77/350.94 c nbDecision=30000 #constraints=14627 373.55/373.77 c nbDecision=30500 #constraints=14868 400.45/400.69 c nbDecision=31000 #constraints=15070 410.94/411.11 c nbDecision=31500 #constraints=15367 421.14/421.30 c nbDecision=32000 #constraints=15682 434.83/435.09 c nbDecision=32500 #constraints=15951 458.83/459.02 c nbDecision=33000 #constraints=16261 495.51/495.70 c nbDecision=33500 #constraints=16473 519.41/519.62 c nbDecision=34000 #constraints=16645 539.69/539.95 c nbDecision=34500 #constraints=16737 554.28/554.53 c nbDecision=35000 #constraints=16861 572.08/572.38 c nbDecision=35500 #constraints=17020 592.48/592.75 c nbDecision=36000 #constraints=17421 601.07/601.32 c nbDecision=36500 #constraints=17543 615.77/616.02 c nbDecision=37000 #constraints=17670 637.26/637.55 c nbDecision=37500 #constraints=17815 648.25/648.54 c nbDecision=38000 #constraints=17915 656.85/657.13 c nbDecision=38500 #constraints=18012 670.14/670.48 c nbDecision=39000 #constraints=18123 692.43/692.74 c nbDecision=39500 #constraints=18284 703.64/703.93 c nbDecision=40000 #constraints=18400 723.23/723.52 c nbDecision=40500 #constraints=18561 731.33/731.69 c nbDecision=41000 #constraints=18668 749.52/749.84 c nbDecision=41500 #constraints=18823 769.11/769.49 c nbDecision=42000 #constraints=18976 780.60/780.94 c nbDecision=42500 #constraints=19088 800.90/801.23 c nbDecision=43000 #constraints=19251 812.69/813.04 c nbDecision=43500 #constraints=19368 823.39/823.76 c nbDecision=44000 #constraints=19481 840.39/840.75 c nbDecision=44500 #constraints=19593 865.67/866.02 c nbDecision=45000 #constraints=19806 884.57/884.91 c nbDecision=45500 #constraints=19937 905.16/905.58 c nbDecision=46000 #constraints=20069 920.15/920.54 c nbDecision=46500 #constraints=20168 932.15/932.52 c nbDecision=47000 #constraints=20282 942.05/942.48 c nbDecision=47500 #constraints=20375 965.04/965.46 c nbDecision=48000 #constraints=20516 976.83/977.24 c nbDecision=48500 #constraints=20622 998.62/999.00 c nbDecision=49000 #constraints=20729 1017.13/1017.56 c nbDecision=49500 #constraints=20907 1031.82/1032.29 c nbDecision=50000 #constraints=21064 1051.51/1051.96 c nbDecision=50500 #constraints=21209 1081.40/1081.81 c nbDecision=51000 #constraints=21368 1088.09/1088.53 c restart after 51201 decisions 1098.19/1098.60 c nbDecision=51500 #constraints=21475 1125.28/1125.75 c nbDecision=52000 #constraints=21590 1153.87/1154.39 c nbDecision=52500 #constraints=21745 1167.36/1167.90 c nbDecision=53000 #constraints=21853 1196.95/1197.41 c nbDecision=53500 #constraints=22001 1217.45/1217.98 c nbDecision=54000 #constraints=22134 1241.03/1241.57 c nbDecision=54500 #constraints=22357 1268.12/1268.66 c nbDecision=55000 #constraints=22605 1287.52/1288.01 c nbDecision=55500 #constraints=22721 1317.41/1317.95 c nbDecision=56000 #constraints=22895 1338.60/1339.13 c nbDecision=56500 #constraints=23021 1362.69/1363.27 c nbDecision=57000 #constraints=23167 1383.49/1384.09 c nbDecision=57500 #constraints=23273 1404.48/1405.06 c nbDecision=58000 #constraints=23392 1426.57/1427.12 c nbDecision=58500 #constraints=23523 1453.46/1454.09 c nbDecision=59000 #constraints=23670 1478.55/1479.20 c nbDecision=59500 #constraints=23827 1506.24/1506.80 c nbDecision=60000 #constraints=24036 1530.23/1530.86 c nbDecision=60500 #constraints=24163 1562.82/1563.41 c nbDecision=61000 #constraints=24345 1581.82/1582.49 c nbDecision=61500 #constraints=24441 1607.30/1607.97 c nbDecision=62000 #constraints=24584 1628.10/1628.80 c nbDecision=62500 #constraints=24698 1651.89/1652.54 c nbDecision=63000 #constraints=24881 1672.07/1672.71 c nbDecision=63500 #constraints=24991 1705.26/1705.91 c nbDecision=64000 #constraints=25200 1727.16/1727.88 c nbDecision=64500 #constraints=25311 1752.65/1753.38 c nbDecision=65000 #constraints=25448 1784.04/1784.74 c nbDecision=65500 #constraints=25629 1800.04/1800.71 Received signal 15 1800.04/1800.77 1800.04/1800.77 s UNKNOWN 1800.04/1800.77 1800.04/1800.77 c user time= 1799.4 s 1800.04/1800.77 c system time= 0.708892 s 1800.04/1800.77 c wall clock time=1800.77
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-357021-1176851812 -o ROOT/results/node37/solver-357021-1176851812 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357021-1176851812/instance-357021-1176851812.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19616 /proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=1468 CPUtime=0 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 133093621 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 367 163 131 317 0 46 0 [startup+0.0608381 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19616 /proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=2548 CPUtime=0.05 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 449 0 0 0 5 0 0 0 18 0 1 0 133093621 2609152 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 637 431 131 317 0 316 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2548 [startup+0.102845 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19616 /proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=3792 CPUtime=0.09 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 757 0 0 0 9 0 0 0 18 0 1 0 133093621 3883008 739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 948 739 139 317 0 627 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3792 [startup+0.302884 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19616 /proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=3924 CPUtime=0.29 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 133093621 4018176 768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 981 768 139 317 0 660 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3924 [startup+0.701961 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19616 /proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=4212 CPUtime=0.69 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 874 0 0 0 69 0 0 0 23 0 1 0 133093621 4313088 856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 1053 856 139 317 0 732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4212 [startup+1.50111 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1625920/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=4844 CPUtime=1.49 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 1021 0 0 0 149 0 0 0 25 0 1 0 133093621 4960256 1003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 1211 1003 139 317 0 890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4844 [startup+3.10141 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1625280/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=5504 CPUtime=3.09 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 1170 0 0 0 309 0 0 0 25 0 1 0 133093621 5636096 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 1376 1152 139 317 0 1055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5504 [startup+6.30201 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1620480/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=12560 CPUtime=6.29 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 2884 0 0 0 628 1 0 0 25 0 1 0 133093621 12861440 2866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 3140 2866 139 317 0 2819 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12560 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1614024/2055920 swapFree=4129676/4192956 [pid=19616] ppid=19614 vsize=18180 CPUtime=12.69 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 4218 0 0 0 1268 1 0 0 25 0 1 0 133093621 18616320 4200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 4545 4200 139 317 0 4224 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18180 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1607560/2055920 swapFree=4129740/4192956 [pid=19616] ppid=19614 vsize=23252 CPUtime=25.48 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 5470 0 0 0 2546 2 0 0 25 0 1 0 133093621 23810048 5452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 5813 5452 139 317 0 5492 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23252 [startup+51.1025 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1591752/2055920 swapFree=4129740/4192956 [pid=19616] ppid=19614 vsize=39740 CPUtime=51.08 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 9627 0 0 0 5104 4 0 0 25 0 1 0 133093621 40693760 9609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 9935 9609 170 317 0 9614 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39740 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1563208/2055920 swapFree=4129740/4192956 [pid=19616] ppid=19614 vsize=67828 CPUtime=102.26 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 16641 0 0 0 10218 8 0 0 25 0 1 0 133093621 69455872 16566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 16957 16566 170 317 0 16636 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 67828 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1549512/2055920 swapFree=4129740/4192956 [pid=19616] ppid=19614 vsize=81696 CPUtime=162.23 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 20049 0 0 0 16213 10 0 0 25 0 1 0 133093621 83656704 19974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 20424 19974 170 317 0 20103 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 81696 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1526600/2055920 swapFree=4129804/4192956 [pid=19616] ppid=19614 vsize=106416 CPUtime=222.21 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 25765 0 0 0 22208 13 0 0 25 0 1 0 133093621 108969984 25690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 26604 25690 170 317 0 26283 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 106416 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1517320/2055920 swapFree=4129804/4192956 [pid=19616] ppid=19614 vsize=116356 CPUtime=282.19 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 28084 0 0 0 28204 15 0 0 25 0 1 0 133093621 119148544 28009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 29089 28009 170 317 0 28768 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 116356 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1499720/2055920 swapFree=4129868/4192956 [pid=19616] ppid=19614 vsize=134640 CPUtime=342.17 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 32448 0 0 0 34200 17 0 0 25 0 1 0 133093621 137871360 32373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 33660 32373 170 317 0 33339 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 134640 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1484040/2055920 swapFree=4129996/4192956 [pid=19616] ppid=19614 vsize=150716 CPUtime=402.14 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 36401 0 0 0 40195 19 0 0 25 0 1 0 133093621 154333184 36326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 37679 36326 170 317 0 37358 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 150716 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1464264/2055920 swapFree=4129996/4192956 [pid=19616] ppid=19614 vsize=171208 CPUtime=462.12 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 41332 0 0 0 46191 21 0 0 25 0 1 0 133093621 175316992 41257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 42802 41257 170 317 0 42481 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 171208 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1449736/2055920 swapFree=4129996/4192956 [pid=19616] ppid=19614 vsize=190028 CPUtime=522.1 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 45164 0 0 0 52187 23 0 0 25 0 1 0 133093621 194588672 44976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 47507 44976 170 317 0 47186 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 190028 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1434376/2055920 swapFree=4130060/4192956 [pid=19616] ppid=19614 vsize=205396 CPUtime=582.08 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 48885 0 0 0 58182 26 0 0 25 0 1 0 133093621 210325504 48697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 51349 48697 170 317 0 51028 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 205396 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1405832/2055920 swapFree=4130124/4192956 [pid=19616] ppid=19614 vsize=238752 CPUtime=642.06 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 55992 0 0 0 64176 30 0 0 25 0 1 0 133093621 244482048 55804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 59688 55804 170 317 0 59367 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 238752 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1325640/2055920 swapFree=4130380/4192956 [pid=19616] ppid=19614 vsize=326700 CPUtime=881.97 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 76008 0 0 0 88155 42 0 0 25 0 1 0 133093621 334540800 75820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 81675 75820 170 317 0 81354 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 326700 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1305800/2055920 swapFree=4130380/4192956 [pid=19616] ppid=19614 vsize=347268 CPUtime=941.95 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 81002 0 0 0 94151 44 0 0 25 0 1 0 133093621 355602432 80814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 86817 80814 170 317 0 86496 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 347268 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1292232/2055920 swapFree=4130508/4192956 [pid=19616] ppid=19614 vsize=361060 CPUtime=1001.92 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 84356 0 0 0 100146 46 0 0 25 0 1 0 133093621 369725440 84168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 90265 84168 170 317 0 89944 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 361060 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1281288/2055920 swapFree=4130508/4192956 [pid=19616] ppid=19614 vsize=373168 CPUtime=1061.9 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 87098 0 0 0 106143 47 0 0 25 0 1 0 133093621 382124032 86910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 93292 86910 170 317 0 92971 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 373168 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1260104/2055920 swapFree=4130508/4192956 [pid=19616] ppid=19614 vsize=402368 CPUtime=1121.88 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 92358 0 0 0 112139 49 0 0 25 0 1 0 133093621 412024832 92170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 100592 92170 170 317 0 100271 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 402368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1248648/2055920 swapFree=4130636/4192956 [pid=19616] ppid=19614 vsize=414960 CPUtime=1181.86 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 95210 0 0 0 118135 51 0 0 25 0 1 0 133093621 424919040 95022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 103740 95022 170 317 0 103419 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 414960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1225736/2055920 swapFree=4130636/4192956 [pid=19616] ppid=19614 vsize=445232 CPUtime=1241.83 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 100925 0 0 0 124129 54 0 0 25 0 1 0 133093621 455917568 100737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 111308 100737 170 317 0 110987 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 445232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19617 /proc/meminfo: memFree=1213064/2055920 swapFree=4130764/4192956 [pid=19616] ppid=19614 vsize=458296 CPUtime=1301.82 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 104076 0 0 0 130126 56 0 0 25 0 1 0 133093621 469295104 103888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 114574 103888 170 317 0 114253 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 458296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19619 /proc/meminfo: memFree=1198664/2055920 swapFree=4130764/4192956 [pid=19616] ppid=19614 vsize=472768 CPUtime=1361.79 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 107725 0 0 0 136122 57 0 0 25 0 1 0 133093621 484114432 107537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 118192 107537 170 317 0 117871 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 472768 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19619 /proc/meminfo: memFree=1186248/2055920 swapFree=4130892/4192956 [pid=19616] ppid=19614 vsize=485952 CPUtime=1421.77 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 110768 0 0 0 142118 59 0 0 25 0 1 0 133093621 497614848 110580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 121488 110580 170 317 0 121167 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 485952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19619 /proc/meminfo: memFree=1174600/2055920 swapFree=4130892/4192956 [pid=19616] ppid=19614 vsize=497384 CPUtime=1481.75 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 113717 0 0 0 148114 61 0 0 25 0 1 0 133093621 509321216 113529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 124346 113529 170 317 0 124025 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 497384 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19619 /proc/meminfo: memFree=1163208/2055920 swapFree=4130892/4192956 [pid=19616] ppid=19614 vsize=508720 CPUtime=1541.73 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 116525 0 0 0 154110 63 0 0 25 0 1 0 133093621 520929280 116337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 127180 116337 170 317 0 126859 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 508720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19619 /proc/meminfo: memFree=1146568/2055920 swapFree=4130956/4192956 [pid=19616] ppid=19614 vsize=532676 CPUtime=1601.71 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 120756 0 0 0 160107 64 0 0 25 0 1 0 133093621 545460224 120568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 133169 120568 170 317 0 132848 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 532676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19619 /proc/meminfo: memFree=1131912/2055920 swapFree=4130956/4192956 [pid=19616] ppid=19614 vsize=546568 CPUtime=1661.68 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 124361 0 0 0 166102 66 0 0 25 0 1 0 133093621 559685632 124173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 136642 124173 170 317 0 136321 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 546568 [startup+1722.3 s] /proc/loadavg: 1.08 1.02 1.01 2/79 19619 /proc/meminfo: memFree=1120072/2055920 swapFree=4131020/4192956 [pid=19616] ppid=19614 vsize=559508 CPUtime=1721.66 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 127314 0 0 0 172098 68 0 0 25 0 1 0 133093621 572936192 127126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 139877 127126 170 317 0 139556 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 559508 [startup+1782.3 s] /proc/loadavg: 1.03 1.01 1.00 2/79 19619 /proc/meminfo: memFree=1109768/2055920 swapFree=4131020/4192956 [pid=19616] ppid=19614 vsize=569488 CPUtime=1781.64 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 129864 0 0 0 178094 70 0 0 25 0 1 0 133093621 583155712 129676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 142372 129676 170 317 0 142051 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 569488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.02 1.01 1.00 2/79 19619 /proc/meminfo: memFree=1103944/2055920 swapFree=4131020/4192956 [pid=19616] ppid=19614 vsize=575364 CPUtime=1800.04 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 131294 0 0 0 179934 70 0 0 25 0 1 0 133093621 589172736 131106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 143841 131106 170 317 0 143520 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 575364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.02 1.01 1.00 2/79 19619 /proc/meminfo: memFree=1103944/2055920 swapFree=4131020/4192956 [pid=19616] ppid=19614 vsize=0 CPUtime=1800.14 /proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194308 131311 0 0 0 179941 73 0 0 25 0 1 0 133093621 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19616/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.21 CPU user time (s): 1799.41 CPU system time (s): 0.794879 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 575364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.794879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131311 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= 2510 runsolver used 1.84772 second user time and 4.71828 second system time The end
Begin job on node37 on Tue Apr 17 23:16:52 UTC 2007 IDJOB= 357021 IDBENCH= 1784 IDSOLVER= 172 FILE ID= node37/357021-1176851812 PBS_JOBID= 4590205 Free space on /tmp= 66462 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-rout.opb COMMAND LINE= oree /tmp/evaluation/357021-1176851812/instance-357021-1176851812.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-357021-1176851812 -o ROOT/results/node37/solver-357021-1176851812 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357021-1176851812/instance-357021-1176851812.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d RANDOM SEED= 116973744 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1629664 kB Buffers: 37344 kB Cached: 303956 kB SwapCached: 3256 kB Active: 190288 kB Inactive: 177224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1629664 kB SwapTotal: 4192956 kB SwapFree: 4129676 kB Dirty: 1588 kB Writeback: 0 kB Mapped: 33316 kB Slab: 44160 kB Committed_AS: 1100644 kB PageTables: 2000 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= 66462 MiB End job on node37 on Tue Apr 17 23:46:55 UTC 2007