Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-blend.opb |
MD5SUM | eff6ad715055e79721cc364806b971f0 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 276.169 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 2490 |
Total number of constraints | 74 |
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 | 74 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 660 |
Biggest coefficient in the objective function | 14388140441600 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 203610440670021 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 78436840243200 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 789015556311444 |
Number of bits of the biggest sum of numbers | 50 |
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.01/0.06 c ...done 0.01/0.06 c #vars=2490 #constraints=118 hasObjective=yes 0.01/0.09 c res. mode=mod 0.01/0.09 c VSIDS like heuristics 0.01/0.09 c complete search running 0.09/0.18 c restart after 401 decisions 0.09/0.19 c nbDecision=500 #constraints=165 0.19/0.25 c restart after 801 decisions 0.19/0.28 c nbDecision=1000 #constraints=199 1.99/2.03 c nbDecision=1500 #constraints=606 2.48/2.50 c restart after 1601 decisions 3.30/3.32 c nbDecision=2000 #constraints=870 5.49/5.57 c nbDecision=2500 #constraints=1230 8.39/8.43 c nbDecision=3000 #constraints=1614 9.69/9.76 c restart after 3201 decisions 10.49/10.55 c nbDecision=3500 #constraints=1864 14.69/14.74 c nbDecision=4000 #constraints=2283 19.28/19.32 c nbDecision=4500 #constraints=2667 25.39/25.41 c nbDecision=5000 #constraints=3091 32.18/32.25 c nbDecision=5500 #constraints=3510 39.38/39.44 c nbDecision=6000 #constraints=3890 45.88/45.93 c restart after 6401 decisions 46.28/46.38 c nbDecision=6500 #constraints=4240 56.47/56.53 c nbDecision=7000 #constraints=4544 64.58/64.65 c nbDecision=7500 #constraints=4809 73.87/73.95 c nbDecision=8000 #constraints=5150 85.17/85.25 c nbDecision=8500 #constraints=5562 95.67/95.78 c nbDecision=9000 #constraints=5877 105.57/105.68 c nbDecision=9500 #constraints=6152 117.76/117.89 c nbDecision=10000 #constraints=6506 130.96/131.03 c nbDecision=10500 #constraints=6854 143.26/143.32 c nbDecision=11000 #constraints=7183 157.26/157.30 c nbDecision=11500 #constraints=7508 170.54/170.68 c nbDecision=12000 #constraints=7832 186.54/186.63 c nbDecision=12500 #constraints=8175 195.74/195.85 c restart after 12801 decisions 196.94/197.09 c nbDecision=13000 #constraints=8405 208.84/208.95 c nbDecision=13500 #constraints=8837 221.24/221.31 c nbDecision=14000 #constraints=9236 233.04/233.12 c nbDecision=14500 #constraints=9638 245.53/245.62 c nbDecision=15000 #constraints=10027 260.23/260.30 c nbDecision=15500 #constraints=10429 274.52/274.68 c nbDecision=16000 #constraints=10842 287.92/288.02 c nbDecision=16500 #constraints=11258 305.22/305.30 c nbDecision=17000 #constraints=11651 324.21/324.32 c nbDecision=17500 #constraints=12085 344.61/344.71 c nbDecision=18000 #constraints=12511 362.00/362.16 c nbDecision=18500 #constraints=12915 380.80/380.91 c nbDecision=19000 #constraints=13300 403.29/403.43 c nbDecision=19500 #constraints=13718 425.88/426.01 c nbDecision=20000 #constraints=14095 449.88/450.08 c nbDecision=20500 #constraints=14477 473.67/473.82 c nbDecision=21000 #constraints=14867 496.76/496.94 c nbDecision=21500 #constraints=15234 518.76/518.98 c nbDecision=22000 #constraints=15593 542.05/542.26 c nbDecision=22500 #constraints=15983 569.14/569.35 c nbDecision=23000 #constraints=16390 595.54/595.72 c nbDecision=23500 #constraints=16776 620.04/620.23 c nbDecision=24000 #constraints=17208 645.43/645.60 c nbDecision=24500 #constraints=17622 668.92/669.13 c nbDecision=25000 #constraints=18026 700.21/700.44 c nbDecision=25500 #constraints=18459 706.91/707.17 c restart after 25601 decisions 725.71/725.92 c nbDecision=26000 #constraints=18758 760.90/761.12 c nbDecision=26500 #constraints=19196 796.89/797.19 c nbDecision=27000 #constraints=19658 830.58/830.84 c nbDecision=27500 #constraints=20055 863.77/864.00 c nbDecision=28000 #constraints=20440 897.37/897.68 c nbDecision=28500 #constraints=20834 935.95/936.22 c nbDecision=29000 #constraints=21260 973.45/973.74 c nbDecision=29500 #constraints=21677 1007.24/1007.52 c nbDecision=30000 #constraints=22047 1046.33/1046.61 c nbDecision=30500 #constraints=22431 1087.11/1087.46 c nbDecision=31000 #constraints=22822 1135.70/1136.06 c nbDecision=31500 #constraints=23239 1181.20/1181.54 c nbDecision=32000 #constraints=23663 1232.98/1233.36 c nbDecision=32500 #constraints=24100 1272.27/1272.63 c nbDecision=33000 #constraints=24467 1306.47/1306.87 c nbDecision=33500 #constraints=24842 1345.05/1345.47 c nbDecision=34000 #constraints=25263 1386.94/1387.32 c nbDecision=34500 #constraints=25639 1434.63/1435.07 c nbDecision=35000 #constraints=26035 1475.11/1475.53 c nbDecision=35500 #constraints=26443 1522.20/1522.69 c nbDecision=36000 #constraints=26884 1570.50/1570.95 c nbDecision=36500 #constraints=27309 1612.69/1613.12 c nbDecision=37000 #constraints=27691 1654.08/1654.58 c nbDecision=37500 #constraints=28061 1696.56/1697.04 c nbDecision=38000 #constraints=28451 1741.95/1742.41 c nbDecision=38500 #constraints=28855 1784.64/1785.16 c nbDecision=39000 #constraints=29222 1800.04/1800.50 Received signal 15 1800.04/1800.50 1800.04/1800.50 s UNKNOWN 1800.04/1800.50 1800.04/1800.50 c user time= 1799.32 s 1800.04/1800.50 c system time= 0.732888 s 1800.04/1800.50 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-357353-1176995438 -o ROOT/results/node70/solver-357353-1176995438 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357353-1176995438/instance-357353-1176995438.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.93 3/64 28574 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=1468 CPUtime=0 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 139081139 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 367 160 131 317 0 46 0 [startup+0.019909 s] /proc/loadavg: 0.92 0.98 0.93 3/64 28574 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=1732 CPUtime=0.01 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 241 0 0 0 1 0 0 0 18 0 1 0 139081139 1773568 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 433 223 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101876 s] /proc/loadavg: 0.92 0.98 0.93 3/64 28574 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=2816 CPUtime=0.09 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 139081139 2883584 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 704 510 139 317 0 383 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2816 [startup+0.301896 s] /proc/loadavg: 0.92 0.98 0.93 3/64 28574 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=3744 CPUtime=0.29 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 753 0 0 0 29 0 0 0 19 0 1 0 139081139 3833856 735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710852 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 936 735 139 317 0 615 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3744 [startup+0.701935 s] /proc/loadavg: 0.92 0.98 0.93 3/64 28574 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=5444 CPUtime=0.69 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 1217 0 0 0 69 0 0 0 22 0 1 0 139081139 5574656 1199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 1361 1199 170 317 0 1040 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5444 [startup+1.50202 s] /proc/loadavg: 0.93 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1458152/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=8616 CPUtime=1.49 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 1987 0 0 0 149 0 0 0 25 0 1 0 139081139 8822784 1969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 2154 1969 170 317 0 1833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8616 [startup+3.10117 s] /proc/loadavg: 0.93 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1454184/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=14808 CPUtime=3.09 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 3547 0 0 0 308 1 0 0 25 0 1 0 139081139 15163392 3529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 3702 3529 170 317 0 3381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14808 [startup+6.3015 s] /proc/loadavg: 0.93 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1440808/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=26556 CPUtime=6.29 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 6353 0 0 0 627 2 0 0 25 0 1 0 139081139 27193344 6335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 6639 6335 170 317 0 6318 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26556 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1423544/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=44176 CPUtime=12.68 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 10605 0 0 0 1264 4 0 0 25 0 1 0 139081139 45236224 10587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 11044 10587 170 317 0 10723 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44176 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1391032/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=80216 CPUtime=25.49 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 18299 0 0 0 2540 9 0 0 25 0 1 0 139081139 82141184 18281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 20054 18281 170 317 0 19733 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 80216 [startup+51.102 s] /proc/loadavg: 0.97 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1355320/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=121692 CPUtime=51.08 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 27179 0 0 0 5095 13 0 0 25 0 1 0 139081139 124612608 27161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 30423 27161 170 317 0 30102 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 121692 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1319992/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=157352 CPUtime=102.27 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 35891 0 0 0 10209 18 0 0 25 0 1 0 139081139 161128448 35873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 39338 35873 170 317 0 39017 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 157352 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1289592/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=185180 CPUtime=162.25 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 43562 0 0 0 16202 23 0 0 25 0 1 0 139081139 189624320 43544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 46295 43544 170 317 0 45974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185180 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1254904/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=226860 CPUtime=222.24 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 52187 0 0 0 22197 27 0 0 25 0 1 0 139081139 232304640 52111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 56715 52111 170 317 0 56394 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 226860 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1228536/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=251836 CPUtime=282.22 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 58824 0 0 0 28190 32 0 0 25 0 1 0 139081139 257880064 58748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 62959 58748 170 317 0 62638 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 251836 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1207864/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=271416 CPUtime=342.21 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 63928 0 0 0 34187 34 0 0 25 0 1 0 139081139 277929984 63852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 67854 63852 170 317 0 67533 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 271416 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1189752/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=287940 CPUtime=402.19 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 68455 0 0 0 40182 37 0 0 25 0 1 0 139081139 294850560 68379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 71985 68379 170 317 0 71664 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 287940 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1175032/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=301288 CPUtime=462.17 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 72076 0 0 0 46179 38 0 0 25 0 1 0 139081139 308518912 72000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 75322 72000 170 317 0 75001 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 301288 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 28575 /proc/meminfo: memFree=1161080/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=314372 CPUtime=522.16 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 75625 0 0 0 52174 42 0 0 25 0 1 0 139081139 321916928 75549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 78593 75549 170 317 0 78272 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 314372 [startup+582.301 s] /proc/loadavg: 1.05 1.00 0.93 2/65 28575 /proc/meminfo: memFree=1141112/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=351512 CPUtime=582.14 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 83728 0 0 0 58169 45 0 0 25 0 1 0 139081139 359948288 80403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 87878 80403 170 317 0 87557 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 351512 [startup+642.301 s] /proc/loadavg: 1.06 1.01 0.94 2/65 28575 /proc/meminfo: memFree=1126264/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=371292 CPUtime=642.13 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 88550 0 0 0 64166 47 0 0 25 0 1 0 139081139 380203008 84136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 92823 84136 170 317 0 92502 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 371292 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.01 1.03 0.95 2/65 28575 /proc/meminfo: memFree=1079992/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=414124 CPUtime=882.06 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 100502 0 0 0 88153 53 0 0 25 0 1 0 139081139 424062976 95692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 103531 95692 170 317 0 103210 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 414124 [startup+942.301 s] /proc/loadavg: 1.00 1.02 0.95 2/65 28575 /proc/meminfo: memFree=1069368/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=423264 CPUtime=942.05 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 103207 0 0 0 94150 55 0 0 25 0 1 0 139081139 433422336 98364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 105816 98364 170 317 0 105495 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 423264 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.95 2/65 28575 /proc/meminfo: memFree=1059448/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=432256 CPUtime=1002.03 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 105661 0 0 0 100146 57 0 0 25 0 1 0 139081139 442630144 100818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 108064 100818 170 317 0 107743 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 432256 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.95 2/65 28575 /proc/meminfo: memFree=1050872/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=440352 CPUtime=1062.03 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 107852 0 0 0 106144 59 0 0 25 0 1 0 139081139 450920448 102976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 110088 102976 170 317 0 109767 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 440352 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=1042808/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=447680 CPUtime=1122.01 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 109878 0 0 0 112141 60 0 0 25 0 1 0 139081139 458424320 104969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 111920 104969 170 317 0 111599 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 447680 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=1034808/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=454976 CPUtime=1182 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 111925 0 0 0 118138 62 0 0 25 0 1 0 139081139 465895424 106983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 113744 106983 170 317 0 113423 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 454976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=1027064/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=461800 CPUtime=1241.97 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 113860 0 0 0 124135 62 0 0 25 0 1 0 139081139 472883200 108885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 115450 108885 170 317 0 115129 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 461800 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=1017464/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=469992 CPUtime=1301.97 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 116245 0 0 0 130133 64 0 0 25 0 1 0 139081139 481271808 111270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 117498 111270 170 317 0 117177 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 469992 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=1008120/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=478384 CPUtime=1361.95 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 118599 0 0 0 136130 65 0 0 25 0 1 0 139081139 489865216 113624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 119596 113624 170 317 0 119275 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 478384 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=1000440/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=485348 CPUtime=1421.94 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 120538 0 0 0 142128 66 0 0 25 0 1 0 139081139 496996352 115530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 121337 115530 170 317 0 121016 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 485348 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=991352/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=493808 CPUtime=1481.92 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 122821 0 0 0 148124 68 0 0 25 0 1 0 139081139 505659392 117813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 123452 117813 170 317 0 123131 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 493808 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=982200/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=502380 CPUtime=1541.9 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 125099 0 0 0 154122 68 0 0 25 0 1 0 139081139 514437120 120091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 125595 120091 170 317 0 125274 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 502380 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=972792/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=511076 CPUtime=1601.89 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 127507 0 0 0 160119 70 0 0 25 0 1 0 139081139 523341824 122466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 127769 122466 170 317 0 127448 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 511076 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=964408/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=518624 CPUtime=1661.87 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 129619 0 0 0 166116 71 0 0 25 0 1 0 139081139 531070976 124545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 129656 124545 170 317 0 129335 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 518624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=956152/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=526240 CPUtime=1721.86 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 131705 0 0 0 172115 71 0 0 25 0 1 0 139081139 538869760 126631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 131560 126631 170 317 0 131239 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 526240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=948344/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=533140 CPUtime=1781.84 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 133635 0 0 0 178112 72 0 0 25 0 1 0 139081139 545935360 128561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 133285 128561 170 317 0 132964 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 533140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=946296/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=535100 CPUtime=1800.04 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 134130 0 0 0 179931 73 0 0 25 0 1 0 139081139 547942400 129056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 133775 129056 170 317 0 133454 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 535100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 28575 /proc/meminfo: memFree=946296/2055920 swapFree=4183760/4192956 [pid=28574] ppid=28572 vsize=535100 CPUtime=1800.04 /proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 134130 0 0 0 179931 73 0 0 25 0 1 0 139081139 547942400 129056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28574/statm: 133775 129056 170 317 0 133454 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 535100 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.14 CPU user time (s): 1799.32 CPU system time (s): 0.817875 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 535100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 0.817875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134146 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= 2561 runsolver used 1.3358 second user time and 3.59745 second system time The end
Begin job on node70 on Thu Apr 19 15:10:38 UTC 2007 IDJOB= 357353 IDBENCH= 2462 IDSOLVER= 172 FILE ID= node70/357353-1176995438 PBS_JOBID= 4630424 Free space on /tmp= 66476 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-blend.opb COMMAND LINE= oree /tmp/evaluation/357353-1176995438/instance-357353-1176995438.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-357353-1176995438 -o ROOT/results/node70/solver-357353-1176995438 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357353-1176995438/instance-357353-1176995438.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= eff6ad715055e79721cc364806b971f0 RANDOM SEED= 463598082 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1463752 kB Buffers: 28700 kB Cached: 492692 kB SwapCached: 3092 kB Active: 23568 kB Inactive: 507756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1463752 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 1516 kB Writeback: 0 kB Mapped: 15916 kB Slab: 46924 kB Committed_AS: 2491192 kB PageTables: 1396 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= 66476 MiB End job on node70 on Thu Apr 19 15:40:41 UTC 2007