Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 354560 | 1800.12 | 1800.64 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb |
MD5SUM | d9b1bd39de70fdcf73e5c42a9dd94c9e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 344750 |
Best CPU time to get the best result obtained on this benchmark | 3.32849 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 344750 |
Optimality of the best value was proved | YES |
Number of variables | 90 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 90 |
Number of terms in the objective function | 90 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 15032909794 |
Number of bits of the sum of numbers in the objective function | 34 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 15032909794 |
Number of bits of the biggest sum of numbers | 34 |
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.00/0.00 c ...done 0.00/0.00 c #vars=90 #constraints=7 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.49/0.54 c restart after 401 decisions 0.59/0.67 c nbDecision=500 #constraints=442 0.69/0.78 c nbDecision=579 #constraints=501 0.69/0.78 c linear search for optimum 0.69/0.78 o 385024 0.69/0.78 c nbDecision=589 #constraints=502 0.69/0.78 o 376832 0.69/0.78 c nbDecision=598 #constraints=503 0.69/0.78 o 372736 0.69/0.79 c nbDecision=611 #constraints=508 0.69/0.79 o 368640 0.69/0.79 c nbDecision=620 #constraints=509 0.69/0.79 o 364544 0.99/1.08 c restart after 801 decisions 1.39/1.44 c nbDecision=1000 #constraints=861 2.99/3.01 c nbDecision=1500 #constraints=1366 3.19/3.21 c restart after 1601 decisions 4.79/4.80 c nbDecision=2000 #constraints=1827 7.09/7.18 c nbDecision=2500 #constraints=2328 10.68/10.71 c nbDecision=2990 #constraints=2799 10.68/10.71 o 362496 10.68/10.71 c nbDecision=2999 #constraints=2800 10.68/10.71 o 358400 10.68/10.72 c nbDecision=3000 #constraints=2802 11.59/11.63 c restart after 3201 decisions 13.49/13.55 c nbDecision=3500 #constraints=3274 18.38/18.41 c nbDecision=4000 #constraints=3776 23.68/23.79 c nbDecision=4500 #constraints=4276 30.19/30.23 c nbDecision=5000 #constraints=4778 38.48/38.54 c nbDecision=5500 #constraints=5274 45.88/45.94 c nbDecision=6000 #constraints=5775 54.08/54.17 c restart after 6401 decisions 55.08/55.13 c nbDecision=6500 #constraints=6239 64.58/64.68 c nbDecision=7000 #constraints=6741 76.68/76.75 c nbDecision=7500 #constraints=7239 85.37/85.42 c nbDecision=7852 #constraints=7583 85.37/85.42 o 355328 87.07/87.18 c nbDecision=8000 #constraints=7733 97.97/98.07 c nbDecision=8500 #constraints=8239 110.07/110.13 c nbDecision=9000 #constraints=8736 125.46/125.50 c nbDecision=9500 #constraints=9237 145.16/145.21 c nbDecision=10000 #constraints=9738 161.76/161.87 c nbDecision=10500 #constraints=10234 178.94/179.00 c nbDecision=11000 #constraints=10738 195.65/195.77 c nbDecision=11500 #constraints=11238 212.54/212.68 c nbDecision=12000 #constraints=11738 234.73/234.88 c nbDecision=12500 #constraints=12239 243.34/243.44 c restart after 12801 decisions 249.53/249.64 c nbDecision=13000 #constraints=12703 271.23/271.32 c nbDecision=13500 #constraints=13195 291.82/291.99 c nbDecision=14000 #constraints=13698 316.61/316.74 c nbDecision=14500 #constraints=14205 337.51/337.69 c nbDecision=15000 #constraints=14697 359.71/359.84 c nbDecision=15500 #constraints=15199 381.80/381.97 c nbDecision=16000 #constraints=15695 406.90/407.02 c nbDecision=16500 #constraints=16198 434.89/435.01 c nbDecision=17000 #constraints=16699 459.98/460.18 c nbDecision=17500 #constraints=17201 483.28/483.49 c nbDecision=18000 #constraints=17703 509.67/509.83 c nbDecision=18500 #constraints=18199 543.36/543.59 c nbDecision=19000 #constraints=18696 577.46/577.63 c nbDecision=19500 #constraints=19204 613.55/613.74 c nbDecision=20000 #constraints=19698 644.54/644.76 c nbDecision=20500 #constraints=20198 678.53/678.75 c nbDecision=21000 #constraints=20696 711.22/711.49 c nbDecision=21500 #constraints=21197 747.01/747.23 c nbDecision=22000 #constraints=21699 785.40/785.65 c nbDecision=22500 #constraints=22195 812.89/813.13 c nbDecision=23000 #constraints=22702 848.31/848.68 c nbDecision=23500 #constraints=23196 886.29/886.65 c nbDecision=24000 #constraints=23698 929.58/929.95 c nbDecision=24500 #constraints=24198 978.57/978.95 c nbDecision=25000 #constraints=24700 1011.15/1011.50 c nbDecision=25500 #constraints=25201 1020.65/1021.00 c restart after 25601 decisions 1052.04/1052.47 c nbDecision=26000 #constraints=25668 1093.34/1093.71 c nbDecision=26500 #constraints=26169 1136.63/1137.06 c nbDecision=27000 #constraints=26671 1184.02/1184.49 c nbDecision=27500 #constraints=27174 1185.01/1185.41 c nbDecision=27516 #constraints=27182 1185.01/1185.41 o 354560 1212.21/1212.61 c nbDecision=28000 #constraints=27673 1255.81/1256.30 c nbDecision=28500 #constraints=28173 1293.39/1293.89 c nbDecision=29000 #constraints=28675 1344.07/1344.50 c nbDecision=29500 #constraints=29173 1402.56/1403.05 c nbDecision=30000 #constraints=29672 1461.25/1461.78 c nbDecision=30500 #constraints=30173 1503.64/1504.10 c nbDecision=31000 #constraints=30669 1550.53/1551.04 c nbDecision=31500 #constraints=31172 1599.52/1600.06 c nbDecision=32000 #constraints=31673 1657.80/1658.30 c nbDecision=32500 #constraints=32169 1708.09/1708.67 c nbDecision=33000 #constraints=32669 1748.28/1748.83 c nbDecision=33500 #constraints=33172 1799.07/1799.66 c nbDecision=34000 #constraints=33670 1800.07/1800.60 Received signal 15 1800.07/1800.60 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.07/1800.61 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.07/1800.61 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.07/1800.61 v -x83 x84 -x85 -x86 x87 x88 -x89 -x90 1800.07/1800.61 1800.07/1800.61 c user time= 1799.59 s 1800.07/1800.61 c system time= 0.497924 s 1800.07/1800.61 c wall clock time=1800.61
OK 354560
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-365400-1176994049 -o ROOT/results/node43/solver-365400-1176994049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365400-1176994049/instance-365400-1176994049.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6936 /proc/meminfo: memFree=1606528/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=1468 CPUtime=0 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 147316673 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 367 170 139 317 0 46 0 [startup+0.100747 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6936 /proc/meminfo: memFree=1606528/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=1732 CPUtime=0.09 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 264 0 0 0 9 0 0 0 18 0 1 0 147316673 1773568 246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 433 246 139 317 0 112 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1732 [startup+0.201755 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6936 /proc/meminfo: memFree=1606528/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=1988 CPUtime=0.19 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 313 0 0 0 19 0 0 0 18 0 1 0 147316673 2035712 295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 497 295 139 317 0 176 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1988 [startup+0.301762 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6936 /proc/meminfo: memFree=1606528/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=2380 CPUtime=0.29 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 406 0 0 0 29 0 0 0 19 0 1 0 147316673 2437120 388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 595 388 139 317 0 274 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2380 [startup+0.701797 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6936 /proc/meminfo: memFree=1606528/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=3284 CPUtime=0.69 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 645 0 0 0 69 0 0 0 23 0 1 0 147316673 3362816 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714426 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 821 627 139 317 0 500 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3284 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1603384/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=5092 CPUtime=1.49 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 1129 0 0 0 149 0 0 0 25 0 1 0 147316673 5214208 1111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 1273 1111 170 317 0 952 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5092 [startup+3.10201 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1601272/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=7496 CPUtime=3.09 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 1722 0 0 0 309 0 0 0 25 0 1 0 147316673 7675904 1704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715680 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 1874 1704 170 317 0 1553 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7496 [startup+6.30128 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1597952/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=11280 CPUtime=6.29 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 2591 0 0 0 628 1 0 0 25 0 1 0 147316673 11550720 2573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 2820 2573 170 317 0 2499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11280 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1593472/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=14800 CPUtime=12.69 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 3504 0 0 0 1267 2 0 0 25 0 1 0 147316673 15155200 3486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 3700 3486 170 317 0 3379 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14800 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1587328/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=21444 CPUtime=25.48 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 4989 0 0 0 2545 3 0 0 25 0 1 0 147316673 21958656 4971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 5361 4971 170 317 0 5040 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21444 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1581248/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=27164 CPUtime=51.08 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 6491 0 0 0 5103 5 0 0 25 0 1 0 147316673 27815936 6473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 6791 6473 170 317 0 6470 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27164 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1570560/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=39528 CPUtime=102.27 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 9188 0 0 0 10219 8 0 0 25 0 1 0 147316673 40476672 9113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 9882 9113 170 317 0 9561 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39528 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1563456/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=46428 CPUtime=162.26 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 10998 0 0 0 16215 11 0 0 25 0 1 0 147316673 47542272 10923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 11607 10923 170 317 0 11286 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 46428 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1556736/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=52440 CPUtime=222.24 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 12608 0 0 0 22211 13 0 0 25 0 1 0 147316673 53698560 12533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 13110 12533 170 317 0 12789 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52440 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6937 /proc/meminfo: memFree=1550592/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=58164 CPUtime=282.22 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 14132 0 0 0 28207 15 0 0 25 0 1 0 147316673 59559936 14057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 14541 14057 170 317 0 14220 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 58164 [startup+342.301 s] /proc/loadavg: 1.04 1.00 1.00 2/78 6937 /proc/meminfo: memFree=1545472/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=63008 CPUtime=342.21 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 15373 0 0 0 34204 17 0 0 25 0 1 0 147316673 64520192 15298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 15752 15298 170 317 0 15431 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 63008 [startup+402.302 s] /proc/loadavg: 1.05 1.01 1.00 2/78 6937 /proc/meminfo: memFree=1540480/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=67724 CPUtime=402.2 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 16608 0 0 0 40202 18 0 0 25 0 1 0 147316673 69349376 16533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 16931 16533 170 317 0 16610 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 67724 [startup+462.302 s] /proc/loadavg: 1.05 1.02 1.00 2/78 6937 /proc/meminfo: memFree=1534336/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=79408 CPUtime=462.18 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 19185 0 0 0 46199 19 0 0 25 0 1 0 147316673 81313792 18040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 19852 18040 170 317 0 19531 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 79408 [startup+522.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 6937 /proc/meminfo: memFree=1529792/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=83952 CPUtime=522.17 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 20311 0 0 0 52196 21 0 0 25 0 1 0 147316673 85966848 19166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 20988 19166 170 317 0 20667 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 83952 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6937 /proc/meminfo: memFree=1526272/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=87080 CPUtime=582.15 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 21172 0 0 0 58193 22 0 0 25 0 1 0 147316673 89169920 20027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 21770 20027 170 317 0 21449 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 87080 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6937 /proc/meminfo: memFree=1522688/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=90336 CPUtime=642.13 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 22061 0 0 0 64190 23 0 0 25 0 1 0 147316673 92504064 20916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 22584 20916 170 317 0 22263 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 90336 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1508032/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=102764 CPUtime=881.99 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 25527 0 0 0 88169 30 0 0 25 0 1 0 147316673 105230336 24349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 25691 24349 170 317 0 25370 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 102764 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1505344/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=105080 CPUtime=941.97 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 26195 0 0 0 94166 31 0 0 25 0 1 0 147316673 107601920 25017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 26270 25017 170 317 0 25949 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 105080 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1502400/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=107728 CPUtime=1001.96 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 26916 0 0 0 100164 32 0 0 25 0 1 0 147316673 110313472 25738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 26932 25738 170 317 0 26611 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 107728 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1499136/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=110560 CPUtime=1061.94 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 27722 0 0 0 106161 33 0 0 25 0 1 0 147316673 113213440 26511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 27640 26511 170 317 0 27319 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 110560 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1496384/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=113148 CPUtime=1121.93 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 28438 0 0 0 112159 34 0 0 25 0 1 0 147316673 115863552 27194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 28287 27194 170 317 0 27966 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 113148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1493696/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=115356 CPUtime=1181.92 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 29086 0 0 0 118156 36 0 0 25 0 1 0 147316673 118124544 27842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 28839 27842 170 317 0 28518 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 115356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1490304/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=118716 CPUtime=1241.9 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 29962 0 0 0 124153 37 0 0 25 0 1 0 147316673 121565184 28685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 29679 28685 170 317 0 29358 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 118716 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1487296/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=121296 CPUtime=1301.88 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 30722 0 0 0 130150 38 0 0 25 0 1 0 147316673 124207104 29412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 30324 29412 170 317 0 30003 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 121296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1484928/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=123364 CPUtime=1361.87 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 31297 0 0 0 136148 39 0 0 25 0 1 0 147316673 126324736 29987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 30841 29987 170 317 0 30520 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 123364 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1482880/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=125328 CPUtime=1421.86 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 31827 0 0 0 142145 41 0 0 25 0 1 0 147316673 128335872 30484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 31332 30484 170 317 0 31011 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 125328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1480448/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=127400 CPUtime=1481.85 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 32423 0 0 0 148142 43 0 0 25 0 1 0 147316673 130457600 31080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 31850 31080 170 317 0 31529 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 127400 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1478144/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=129468 CPUtime=1541.84 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 32984 0 0 0 154140 44 0 0 25 0 1 0 147316673 132575232 31641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 32367 31641 170 317 0 32046 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 129468 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1475456/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=132188 CPUtime=1601.82 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 33733 0 0 0 160137 45 0 0 25 0 1 0 147316673 135360512 32291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604145 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 33047 32291 170 317 0 32726 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 132188 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1473280/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=133988 CPUtime=1661.8 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 34252 0 0 0 166134 46 0 0 25 0 1 0 147316673 137203712 32810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 33497 32810 170 317 0 33176 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 133988 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1468800/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=150556 CPUtime=1721.79 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 38100 0 0 0 172131 48 0 0 25 0 1 0 147316673 154169344 33862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 37639 33862 170 317 0 37318 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 150556 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1466880/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=153288 CPUtime=1781.77 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 38816 0 0 0 178128 49 0 0 25 0 1 0 147316673 156966912 34353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 38322 34353 170 317 0 38001 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 153288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1466112/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=154060 CPUtime=1800.07 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 39039 0 0 0 179958 49 0 0 25 0 1 0 147316673 157757440 34543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 38515 34543 170 317 0 38194 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 154060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7135 /proc/meminfo: memFree=1466112/2055920 swapFree=4184648/4192956 [pid=6936] ppid=6934 vsize=154060 CPUtime=1800.07 /proc/6936/stat : 6936 (oree) R 6934 6936 6463 0 -1 4194304 39039 0 0 0 179958 49 0 0 25 0 1 0 147316673 157757440 34543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6936/statm: 38515 34543 170 317 0 38194 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 154060 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.12 CPU user time (s): 1799.59 CPU system time (s): 0.52392 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 154060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.52392 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39055 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= 35975 runsolver used 2.13468 second user time and 4.42233 second system time The end
Begin job on node43 on Thu Apr 19 14:47:29 UTC 2007 IDJOB= 365400 IDBENCH= 2374 IDSOLVER= 172 FILE ID= node43/365400-1176994049 PBS_JOBID= 4630428 Free space on /tmp= 66434 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb COMMAND LINE= oree /tmp/evaluation/365400-1176994049/instance-365400-1176994049.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-365400-1176994049 -o ROOT/results/node43/solver-365400-1176994049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365400-1176994049/instance-365400-1176994049.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d9b1bd39de70fdcf73e5c42a9dd94c9e RANDOM SEED= 131743711 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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: 1607064 kB Buffers: 11416 kB Cached: 264500 kB SwapCached: 2068 kB Active: 138180 kB Inactive: 250388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1607064 kB SwapTotal: 4192956 kB SwapFree: 4184648 kB Dirty: 1308 kB Writeback: 0 kB Mapped: 128440 kB Slab: 45760 kB Committed_AS: 1756712 kB PageTables: 1896 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= 66434 MiB End job on node43 on Thu Apr 19 15:17:31 UTC 2007