Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.31 | 1800.82 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg3.opb |
MD5SUM | bbee2849ae83900e79494d0f7a7c3755 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9060 |
Total number of constraints | 429 |
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 | 429 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 6930 |
Biggest coefficient in the objective function | 53730040872960 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 8516865379203027 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
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.29/0.34 c ...done 0.29/0.34 c #vars=9060 #constraints=490 hasObjective=yes 0.39/0.45 c res. mode=mod 0.39/0.45 c VSIDS like heuristics 0.39/0.45 c complete search running 0.39/0.49 c restart after 401 decisions 0.49/0.50 c nbDecision=500 #constraints=490 0.49/0.53 c restart after 801 decisions 0.49/0.54 c nbDecision=1000 #constraints=490 0.49/0.59 c nbDecision=1500 #constraints=490 0.59/0.60 c restart after 1601 decisions 0.59/0.63 c nbDecision=2000 #constraints=490 0.59/0.68 c nbDecision=2500 #constraints=490 0.69/0.72 c nbDecision=3000 #constraints=490 0.69/0.78 c restart after 3201 decisions 0.79/0.81 c nbDecision=3500 #constraints=515 0.79/0.85 c nbDecision=4000 #constraints=515 0.79/0.89 c nbDecision=4500 #constraints=515 1.29/1.35 c nbDecision=5000 #constraints=738 2.39/2.46 c nbDecision=5500 #constraints=1238 3.79/3.83 c nbDecision=6000 #constraints=1738 5.09/5.17 c restart after 6401 decisions 5.09/5.19 c nbDecision=6500 #constraints=2139 5.19/5.23 c nbDecision=7000 #constraints=2139 5.19/5.28 c nbDecision=7500 #constraints=2139 5.39/5.41 c nbDecision=8000 #constraints=2162 7.48/7.52 c nbDecision=8500 #constraints=2664 9.98/10.08 c nbDecision=9000 #constraints=3162 13.19/13.21 c nbDecision=9500 #constraints=3662 16.87/16.91 c nbDecision=10000 #constraints=4163 21.28/21.33 c nbDecision=10500 #constraints=4663 26.28/26.38 c nbDecision=11000 #constraints=5163 31.96/32.05 c nbDecision=11500 #constraints=5664 38.26/38.36 c nbDecision=12000 #constraints=6167 45.25/45.30 c nbDecision=12500 #constraints=6661 49.75/49.85 c restart after 12801 decisions 49.85/49.92 c nbDecision=13000 #constraints=6966 49.85/49.97 c nbDecision=13500 #constraints=6966 49.95/50.01 c nbDecision=14000 #constraints=6966 51.95/52.03 c nbDecision=14500 #constraints=7091 60.15/60.21 c nbDecision=15000 #constraints=7593 68.84/68.97 c nbDecision=15500 #constraints=8090 78.24/78.39 c nbDecision=16000 #constraints=8591 88.34/88.42 c nbDecision=16500 #constraints=9091 98.84/98.90 c nbDecision=17000 #constraints=9589 110.03/110.11 c nbDecision=17500 #constraints=10092 121.73/121.87 c nbDecision=18000 #constraints=10595 134.03/134.18 c nbDecision=18500 #constraints=11093 147.02/147.19 c nbDecision=19000 #constraints=11595 160.42/160.57 c nbDecision=19500 #constraints=12089 174.52/174.68 c nbDecision=20000 #constraints=12589 189.31/189.43 c nbDecision=20500 #constraints=13090 204.60/204.72 c nbDecision=21000 #constraints=13590 220.51/220.67 c nbDecision=21500 #constraints=14093 236.90/237.08 c nbDecision=22000 #constraints=14593 253.90/254.06 c nbDecision=22500 #constraints=15090 271.60/271.79 c nbDecision=23000 #constraints=15594 289.89/290.02 c nbDecision=23500 #constraints=16094 308.58/308.74 c nbDecision=24000 #constraints=16590 328.17/328.39 c nbDecision=24500 #constraints=17093 348.07/348.27 c nbDecision=25000 #constraints=17591 368.57/368.76 c nbDecision=25500 #constraints=18091 372.87/373.07 c restart after 25601 decisions 373.07/373.25 c nbDecision=26000 #constraints=18195 373.07/373.30 c nbDecision=26500 #constraints=18195 373.17/373.34 c nbDecision=27000 #constraints=18195 387.16/387.34 c nbDecision=27500 #constraints=18523 408.65/408.90 c nbDecision=28000 #constraints=19021 430.85/431.08 c nbDecision=28500 #constraints=19521 453.94/454.10 c nbDecision=29000 #constraints=20026 477.14/477.36 c nbDecision=29500 #constraints=20524 501.03/501.24 c nbDecision=30000 #constraints=21021 525.53/525.71 c nbDecision=30500 #constraints=21519 550.72/550.93 c nbDecision=31000 #constraints=22022 576.41/576.63 c nbDecision=31500 #constraints=22522 602.71/602.99 c nbDecision=32000 #constraints=23022 629.70/629.97 c nbDecision=32500 #constraints=23525 656.89/657.17 c nbDecision=33000 #constraints=24016 675.58/675.82 c nbDecision=33500 #constraints=24351 676.68/676.96 c nbDecision=34000 #constraints=24658 678.08/678.30 c nbDecision=34500 #constraints=24943 680.08/680.34 c nbDecision=35000 #constraints=25276 682.18/682.41 c nbDecision=35500 #constraints=25568 684.98/685.23 c nbDecision=36000 #constraints=25877 687.98/688.29 c nbDecision=36500 #constraints=26188 691.68/691.92 c nbDecision=37000 #constraints=26511 695.38/695.69 c nbDecision=37500 #constraints=26798 699.97/700.26 c nbDecision=38000 #constraints=27120 705.18/705.43 c nbDecision=38500 #constraints=27436 711.38/711.61 c nbDecision=39000 #constraints=27768 719.17/719.41 c nbDecision=39500 #constraints=28103 727.17/727.46 c nbDecision=40000 #constraints=28429 734.57/734.85 c nbDecision=40500 #constraints=28731 743.07/743.37 c nbDecision=41000 #constraints=29048 752.17/752.41 c nbDecision=41500 #constraints=29385 762.65/762.92 c nbDecision=42000 #constraints=29722 770.26/770.58 c nbDecision=42500 #constraints=29950 781.55/781.83 c nbDecision=43000 #constraints=30274 792.85/793.12 c nbDecision=43500 #constraints=30603 803.85/804.16 c nbDecision=44000 #constraints=30919 817.05/817.34 c nbDecision=44500 #constraints=31231 831.54/831.82 c nbDecision=45000 #constraints=31558 845.23/845.53 c nbDecision=45500 #constraints=31867 861.74/862.01 c nbDecision=46000 #constraints=32217 876.03/876.31 c nbDecision=46500 #constraints=32540 893.72/894.09 c nbDecision=47000 #constraints=32861 910.62/910.91 c nbDecision=47500 #constraints=33185 926.62/926.91 c nbDecision=48000 #constraints=33494 944.61/944.95 c nbDecision=48500 #constraints=33823 962.81/963.15 c nbDecision=49000 #constraints=34162 984.30/984.65 c nbDecision=49500 #constraints=34501 1002.80/1003.17 c nbDecision=50000 #constraints=34805 1022.60/1022.94 c nbDecision=50500 #constraints=35121 1044.49/1044.82 c nbDecision=51000 #constraints=35447 1052.68/1053.01 c restart after 51201 decisions 1053.68/1054.02 c nbDecision=51500 #constraints=35578 1053.68/1054.06 c nbDecision=52000 #constraints=35578 1053.78/1054.11 c nbDecision=52500 #constraints=35578 1056.88/1057.21 c nbDecision=53000 #constraints=35607 1078.37/1078.75 c nbDecision=53500 #constraints=35930 1100.27/1100.67 c nbDecision=54000 #constraints=36250 1123.76/1124.14 c nbDecision=54500 #constraints=36548 1146.66/1147.00 c nbDecision=55000 #constraints=36871 1170.55/1170.96 c nbDecision=55500 #constraints=37189 1194.35/1194.77 c nbDecision=56000 #constraints=37514 1216.84/1217.25 c nbDecision=56500 #constraints=37828 1239.73/1240.16 c nbDecision=57000 #constraints=38139 1265.83/1266.23 c nbDecision=57500 #constraints=38457 1293.32/1293.70 c nbDecision=58000 #constraints=38777 1297.22/1297.67 c nbDecision=58500 #constraints=39215 1301.12/1301.55 c nbDecision=59000 #constraints=39679 1306.61/1307.09 c nbDecision=59500 #constraints=40138 1313.62/1314.06 c nbDecision=60000 #constraints=40597 1322.41/1322.80 c nbDecision=60500 #constraints=41064 1332.11/1332.50 c nbDecision=61000 #constraints=41509 1343.31/1343.77 c nbDecision=61500 #constraints=41953 1356.00/1356.47 c nbDecision=62000 #constraints=42420 1371.59/1372.06 c nbDecision=62500 #constraints=42881 1387.49/1387.96 c nbDecision=63000 #constraints=43335 1406.18/1406.68 c nbDecision=63500 #constraints=43781 1427.78/1428.21 c nbDecision=64000 #constraints=44246 1451.07/1451.60 c nbDecision=64500 #constraints=44708 1471.97/1472.40 c nbDecision=65000 #constraints=45165 1499.17/1499.65 c nbDecision=65500 #constraints=45624 1527.35/1527.82 c nbDecision=66000 #constraints=46088 1558.95/1559.43 c nbDecision=66500 #constraints=46544 1586.34/1586.87 c nbDecision=67000 #constraints=46993 1618.23/1618.76 c nbDecision=67500 #constraints=47450 1648.52/1649.08 c nbDecision=68000 #constraints=47907 1684.72/1685.27 c nbDecision=68500 #constraints=48370 1723.00/1723.55 c nbDecision=69000 #constraints=48823 1761.39/1761.99 c nbDecision=69500 #constraints=49291 1800.09/1800.61 Received signal 15 1800.19/1800.75 1800.19/1800.75 s UNKNOWN 1800.19/1800.75 1800.19/1800.75 c user time= 1799.69 s 1800.19/1800.75 c system time= 0.554915 s 1800.19/1800.75 c wall clock time=1800.76
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-357334-1176994888 -o ROOT/results/node74/solver-357334-1176994888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357334-1176994888/instance-357334-1176994888.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.78 0.92 0.97 3/72 32141 /proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=1468 CPUtime=0 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147403544 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 367 161 127 317 0 46 0 [startup+0.0932249 s] /proc/loadavg: 0.78 0.92 0.97 3/72 32141 /proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=2544 CPUtime=0.09 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 440 0 0 0 9 0 0 0 18 0 1 0 147403544 2605056 422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 636 422 131 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.101223 s] /proc/loadavg: 0.78 0.92 0.97 3/72 32141 /proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=2676 CPUtime=0.09 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 462 0 0 0 9 0 0 0 18 0 1 0 147403544 2740224 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 669 444 131 317 0 348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2676 [startup+0.301246 s] /proc/loadavg: 0.78 0.92 0.97 3/72 32141 /proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=5232 CPUtime=0.29 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 1119 0 0 0 29 0 0 0 19 0 1 0 147403544 5357568 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 1308 1101 131 317 0 987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5232 [startup+0.701292 s] /proc/loadavg: 0.78 0.92 0.97 3/72 32141 /proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=7984 CPUtime=0.69 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 1790 0 0 0 69 0 0 0 23 0 1 0 147403544 8175616 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 1996 1772 138 317 0 1675 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7984 [startup+1.50138 s] /proc/loadavg: 0.78 0.92 0.97 2/73 32160 /proc/meminfo: memFree=1623088/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=8644 CPUtime=1.49 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 1970 0 0 0 149 0 0 0 25 0 1 0 147403544 8851456 1952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 2161 1952 139 317 0 1840 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8644 [startup+3.10157 s] /proc/loadavg: 0.78 0.92 0.97 2/73 32160 /proc/meminfo: memFree=1621744/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=10080 CPUtime=3.08 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 2326 0 0 0 308 0 0 0 25 0 1 0 147403544 10321920 2308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 2520 2308 139 317 0 2199 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10080 [startup+6.30294 s] /proc/loadavg: 0.80 0.92 0.97 2/73 32168 /proc/meminfo: memFree=1619312/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=12048 CPUtime=6.29 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 2814 0 0 0 628 1 0 0 25 0 1 0 147403544 12337152 2796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 3012 2796 139 317 0 2691 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12048 [startup+12.7017 s] /proc/loadavg: 0.81 0.92 0.97 2/73 32172 /proc/meminfo: memFree=1616392/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=14880 CPUtime=12.68 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 3489 0 0 0 1266 2 0 0 25 0 1 0 147403544 15237120 3471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 3720 3471 139 317 0 3399 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14880 [startup+25.5012 s] /proc/loadavg: 0.85 0.93 0.97 2/73 32182 /proc/meminfo: memFree=1613000/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=18700 CPUtime=25.47 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 4342 0 0 0 2544 3 0 0 25 0 1 0 147403544 19148800 4324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 4675 4324 139 317 0 4354 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 18700 [startup+51.1011 s] /proc/loadavg: 0.98 0.95 0.97 2/67 32202 /proc/meminfo: memFree=1610176/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=22368 CPUtime=51.05 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 5334 0 0 0 5101 4 0 0 25 0 1 0 147403544 22904832 5316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 5592 5316 139 317 0 5271 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 22368 [startup+102.306 s] /proc/loadavg: 1.11 0.99 0.98 2/67 32202 /proc/meminfo: memFree=1603904/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=29776 CPUtime=102.24 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 6955 0 0 0 10218 6 0 0 25 0 1 0 147403544 30490624 6879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 7444 6879 139 317 0 7123 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 29776 [startup+162.302 s] /proc/loadavg: 1.11 1.00 0.99 2/67 32202 /proc/meminfo: memFree=1599040/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=34236 CPUtime=162.22 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 8172 0 0 0 16215 7 0 0 25 0 1 0 147403544 35057664 8096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 8559 8096 139 317 0 8238 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 34236 [startup+222.302 s] /proc/loadavg: 1.17 1.03 1.00 2/67 32202 /proc/meminfo: memFree=1594880/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=37896 CPUtime=222.21 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 9189 0 0 0 22212 9 0 0 25 0 1 0 147403544 38805504 9113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 9474 9113 139 317 0 9153 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 37896 [startup+282.302 s] /proc/loadavg: 1.12 1.04 1.00 2/67 32202 /proc/meminfo: memFree=1591296/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=41276 CPUtime=282.19 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 10083 0 0 0 28209 10 0 0 25 0 1 0 147403544 42266624 10007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 10319 10007 139 317 0 9998 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 41276 [startup+342.302 s] /proc/loadavg: 1.16 1.06 1.01 2/67 32202 /proc/meminfo: memFree=1587272/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=48764 CPUtime=342.17 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 11591 0 0 0 34207 10 0 0 25 0 1 0 147403544 49934336 11004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 12191 11004 139 317 0 11870 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 48764 [startup+402.302 s] /proc/loadavg: 1.11 1.06 1.01 2/67 32202 /proc/meminfo: memFree=1584520/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=51372 CPUtime=402.15 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 12293 0 0 0 40204 11 0 0 25 0 1 0 147403544 52604928 11706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 12843 11706 139 317 0 12522 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 51372 [startup+462.302 s] /proc/loadavg: 1.15 1.08 1.01 2/67 32202 /proc/meminfo: memFree=1581640/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=53852 CPUtime=462.14 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 12991 0 0 0 46202 12 0 0 25 0 1 0 147403544 55144448 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 13463 12404 139 317 0 13142 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 53852 [startup+522.301 s] /proc/loadavg: 1.10 1.08 1.01 2/67 32202 /proc/meminfo: memFree=1579080/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=56196 CPUtime=522.13 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 13636 0 0 0 52200 13 0 0 25 0 1 0 147403544 57544704 13049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 14049 13049 139 317 0 13728 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 56196 [startup+582.301 s] /proc/loadavg: 1.08 1.08 1.01 2/67 32202 /proc/meminfo: memFree=1576584/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=58404 CPUtime=582.1 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 14264 0 0 0 58197 13 0 0 25 0 1 0 147403544 59805696 13677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 14601 13677 139 317 0 14280 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 58404 [startup+642.301 s] /proc/loadavg: 1.06 1.07 1.01 2/67 32202 /proc/meminfo: memFree=1574216/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=60492 CPUtime=642.1 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 14842 0 0 0 64196 14 0 0 25 0 1 0 147403544 61943808 14255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 15123 14255 139 317 0 14802 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 60492 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.08 1.06 1.00 2/67 32202 /proc/meminfo: memFree=1505416/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=130600 CPUtime=882.03 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 32046 0 0 0 88179 24 0 0 25 0 1 0 147403544 133734400 31459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 32650 31459 170 317 0 32329 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 130600 [startup+942.302 s] /proc/loadavg: 1.08 1.06 1.00 2/67 32202 /proc/meminfo: memFree=1494792/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=144856 CPUtime=942.01 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 34976 0 0 0 94175 26 0 0 25 0 1 0 147403544 148332544 34129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 36214 34129 170 317 0 35893 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 144856 [startup+1002.3 s] /proc/loadavg: 1.03 1.05 1.00 2/67 32202 /proc/meminfo: memFree=1486792/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=152268 CPUtime=1001.99 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 36930 0 0 0 100172 27 0 0 25 0 1 0 147403544 155922432 36083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 38067 36083 170 317 0 37746 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 152268 [startup+1062.3 s] /proc/loadavg: 1.01 1.04 1.00 2/67 32202 /proc/meminfo: memFree=1480136/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=158500 CPUtime=1061.98 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 38602 0 0 0 106170 28 0 0 25 0 1 0 147403544 162304000 37755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 39625 37755 170 317 0 39304 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 158500 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.00 2/67 32202 /proc/meminfo: memFree=1473672/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=164348 CPUtime=1121.96 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 40215 0 0 0 112167 29 0 0 25 0 1 0 147403544 168292352 39368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 41087 39368 170 317 0 40766 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 164348 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 32202 /proc/meminfo: memFree=1467528/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=170172 CPUtime=1181.95 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 41762 0 0 0 118164 31 0 0 25 0 1 0 147403544 174256128 40915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 42543 40915 170 317 0 42222 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 170172 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 32202 /proc/meminfo: memFree=1461128/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=175848 CPUtime=1241.93 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 43329 0 0 0 124161 32 0 0 25 0 1 0 147403544 180068352 42482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 43962 42482 170 317 0 43641 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 175848 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 32202 /proc/meminfo: memFree=1446856/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=189836 CPUtime=1301.92 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 46877 0 0 0 130158 34 0 0 25 0 1 0 147403544 194392064 46030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 47459 46030 170 317 0 47138 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 189836 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1417864/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=222440 CPUtime=1361.9 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 54905 0 0 0 136150 40 0 0 25 0 1 0 147403544 227778560 53299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 55610 53299 170 317 0 55289 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 222440 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1402248/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=239992 CPUtime=1421.89 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 59179 0 0 0 142146 43 0 0 25 0 1 0 147403544 245751808 57177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 59998 57177 170 317 0 59677 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 239992 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1391112/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=249856 CPUtime=1481.86 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 61951 0 0 0 148141 45 0 0 25 0 1 0 147403544 255852544 59949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 62464 59949 170 317 0 62143 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 249856 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1381768/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=258296 CPUtime=1541.85 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 64320 0 0 0 154138 47 0 0 25 0 1 0 147403544 264495104 62285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 64574 62285 170 317 0 64253 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 258296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1371656/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=270644 CPUtime=1601.83 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 66899 0 0 0 160134 49 0 0 25 0 1 0 147403544 277139456 64864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 67661 64864 170 317 0 67340 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 270644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1362952/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=283056 CPUtime=1661.82 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 69682 0 0 0 166131 51 0 0 25 0 1 0 147403544 289849344 67028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 70764 67028 170 317 0 70443 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 283056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1355592/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=292856 CPUtime=1721.8 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 72229 0 0 0 172127 53 0 0 25 0 1 0 147403544 299884544 68859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 73214 68859 170 317 0 72893 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 292856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1348872/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=299248 CPUtime=1781.78 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 73953 0 0 0 178124 54 0 0 25 0 1 0 147403544 306429952 70517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 74812 70517 170 317 0 74491 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 299248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1347016/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=301076 CPUtime=1800.09 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 74440 0 0 0 179954 55 0 0 25 0 1 0 147403544 308301824 70971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 75269 70971 170 317 0 74948 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 301076 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: 1.00 1.00 1.00 2/67 32202 /proc/meminfo: memFree=1347016/2055920 swapFree=4183056/4192956 [pid=32141] ppid=32139 vsize=0 CPUtime=1800.28 /proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194308 74463 0 0 0 179970 58 0 0 25 0 1 0 147403544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32141/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.31 CPU user time (s): 1799.71 CPU system time (s): 0.600908 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 301076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.600908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74463 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= 1425 runsolver used 2.14267 second user time and 4.11337 second system time The end
Begin job on node74 on Thu Apr 19 15:01:28 UTC 2007 IDJOB= 357334 IDBENCH= 2423 IDSOLVER= 172 FILE ID= node74/357334-1176994888 PBS_JOBID= 4630474 Free space on /tmp= 103203 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb COMMAND LINE= oree /tmp/evaluation/357334-1176994888/instance-357334-1176994888.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-357334-1176994888 -o ROOT/results/node74/solver-357334-1176994888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357334-1176994888/instance-357334-1176994888.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bbee2849ae83900e79494d0f7a7c3755 RANDOM SEED= 985524453 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1630352 kB Buffers: 35392 kB Cached: 316844 kB SwapCached: 3064 kB Active: 109092 kB Inactive: 253436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1630352 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 2904 kB Writeback: 0 kB Mapped: 16800 kB Slab: 48496 kB Committed_AS: 2043932 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103203 MiB End job on node74 on Thu Apr 19 15:31:31 UTC 2007