Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.4 | 1800.93 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-cracpb1.opb |
MD5SUM | 75f6d21683e6eb738b98c93cf5598ff3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22199 |
Best CPU time to get the best result obtained on this benchmark | 1.03584 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22199 |
Optimality of the best value was proved | YES |
Number of variables | 572 |
Total number of constraints | 126 |
Number of constraints which are clauses | 3 |
Number of constraints which are cardinality constraints (but not clauses) | 54 |
Number of constraints which are nor clauses,nor cardinality constraints | 69 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 518 |
Number of terms in the objective function | 572 |
Biggest coefficient in the objective function | 5000 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 547769 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 5000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 547769 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.01 c ...done 0.00/0.01 c #vars=572 #constraints=216 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.02 c restart after 401 decisions 0.00/0.02 c nbDecision=500 #constraints=227 0.03/0.04 c restart after 801 decisions 0.03/0.04 c nbDecision=1000 #constraints=257 1.09/1.18 c nbDecision=1500 #constraints=680 1.49/1.57 c restart after 1601 decisions 1.89/1.93 c nbDecision=2000 #constraints=887 3.79/3.89 c nbDecision=2500 #constraints=1327 6.28/6.30 c nbDecision=3000 #constraints=1762 7.89/7.93 c restart after 3201 decisions 8.59/8.66 c nbDecision=3500 #constraints=1986 11.79/11.84 c nbDecision=4000 #constraints=2386 16.59/16.69 c nbDecision=4500 #constraints=2865 23.48/23.54 c nbDecision=5000 #constraints=3339 31.38/31.46 c nbDecision=5500 #constraints=3829 40.28/40.30 c nbDecision=6000 #constraints=4291 48.18/48.20 c restart after 6401 decisions 48.88/48.95 c nbDecision=6500 #constraints=4670 58.78/58.87 c nbDecision=7000 #constraints=5007 74.07/74.16 c nbDecision=7500 #constraints=5494 89.97/90.07 c nbDecision=8000 #constraints=5983 110.16/110.27 c nbDecision=8500 #constraints=6471 133.16/133.28 c nbDecision=9000 #constraints=6954 155.56/155.64 c nbDecision=9500 #constraints=7440 176.44/176.58 c nbDecision=10000 #constraints=7912 205.65/205.72 c nbDecision=10500 #constraints=8403 230.33/230.42 c nbDecision=11000 #constraints=8880 265.92/266.10 c nbDecision=11500 #constraints=9367 305.52/305.61 c nbDecision=12000 #constraints=9850 341.11/341.25 c nbDecision=12500 #constraints=10321 362.31/362.49 c restart after 12801 decisions 365.21/365.34 c nbDecision=13000 #constraints=10563 395.29/395.49 c nbDecision=13500 #constraints=10992 430.78/430.94 c nbDecision=14000 #constraints=11416 467.87/468.07 c nbDecision=14500 #constraints=11868 510.17/510.38 c nbDecision=15000 #constraints=12325 557.66/557.86 c nbDecision=15500 #constraints=12814 601.95/602.16 c nbDecision=16000 #constraints=13309 641.93/642.19 c nbDecision=16500 #constraints=13781 691.23/691.40 c nbDecision=17000 #constraints=14268 738.52/738.72 c nbDecision=17500 #constraints=14750 789.41/789.67 c nbDecision=18000 #constraints=15240 842.99/843.22 c nbDecision=18500 #constraints=15736 893.38/893.61 c nbDecision=19000 #constraints=16219 942.47/942.77 c nbDecision=19500 #constraints=16708 989.15/989.48 c nbDecision=20000 #constraints=17189 1056.24/1056.55 c nbDecision=20500 #constraints=17686 1116.53/1116.85 c nbDecision=21000 #constraints=18150 1188.50/1188.80 c nbDecision=21500 #constraints=18637 1264.59/1264.98 c nbDecision=22000 #constraints=19113 1339.47/1339.89 c nbDecision=22500 #constraints=19596 1391.06/1391.41 c nbDecision=23000 #constraints=19867 1458.34/1458.70 c nbDecision=23500 #constraints=20299 1514.24/1514.62 c nbDecision=24000 #constraints=20776 1568.62/1569.00 c nbDecision=24500 #constraints=21234 1620.11/1620.56 c nbDecision=25000 #constraints=21685 1672.32/1672.81 c nbDecision=25500 #constraints=22161 1684.41/1684.96 c restart after 25601 decisions 1709.58/1710.13 c nbDecision=26000 #constraints=22423 1766.57/1767.10 c nbDecision=26500 #constraints=22898 1800.07/1800.60 Received signal 15 1800.26/1800.86 1800.26/1800.86 s UNKNOWN 1800.26/1800.86 1800.26/1800.86 c user time= 1799.73 s 1800.26/1800.86 c system time= 0.608907 s 1800.26/1800.86 c wall clock time=1800.86
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-363490-1176852820 -o ROOT/results/node57/solver-363490-1176852820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363490-1176852820/instance-363490-1176852820.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.01 0.96 3/64 6010 /proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=1468 CPUtime=0 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 126417938 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 367 164 131 317 0 46 0 [startup+0.0319469 s] /proc/loadavg: 1.04 1.01 0.96 3/64 6010 /proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=1864 CPUtime=0.03 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 295 0 0 0 3 0 0 0 18 0 1 0 126417938 1908736 277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 466 277 139 317 0 145 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1864 [startup+0.102953 s] /proc/loadavg: 1.04 1.01 0.96 3/64 6010 /proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=2532 CPUtime=0.09 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 486 0 0 0 9 0 0 0 18 0 1 0 126417938 2592768 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 633 468 170 317 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2532 [startup+0.30197 s] /proc/loadavg: 1.04 1.01 0.96 3/64 6010 /proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=4248 CPUtime=0.29 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 924 0 0 0 29 0 0 0 19 0 1 0 126417938 4349952 906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 1062 906 170 317 0 741 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4248 [startup+0.702005 s] /proc/loadavg: 1.04 1.01 0.96 3/64 6010 /proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=6888 CPUtime=0.69 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 1552 0 0 0 69 0 0 0 23 0 1 0 126417938 7053312 1534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 1722 1534 170 317 0 1401 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6888 [startup+1.50108 s] /proc/loadavg: 1.04 1.01 0.96 2/65 6011 /proc/meminfo: memFree=1592432/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=10484 CPUtime=1.49 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 2482 0 0 0 148 1 0 0 25 0 1 0 126417938 10735616 2464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710870 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 2621 2464 170 317 0 2300 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10484 [startup+3.10121 s] /proc/loadavg: 1.04 1.01 0.96 2/65 6011 /proc/meminfo: memFree=1586928/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=16908 CPUtime=3.09 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 4077 0 0 0 307 2 0 0 25 0 1 0 126417938 17313792 4059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 4227 4059 170 317 0 3906 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16908 [startup+6.30149 s] /proc/loadavg: 1.04 1.01 0.96 2/65 6011 /proc/meminfo: memFree=1575280/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=27320 CPUtime=6.28 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 6671 0 0 0 625 3 0 0 25 0 1 0 126417938 27975680 6653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 6830 6653 170 317 0 6509 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27320 [startup+12.701 s] /proc/loadavg: 1.04 1.01 0.96 2/65 6011 /proc/meminfo: memFree=1561912/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=41276 CPUtime=12.68 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 9661 0 0 0 1264 4 0 0 25 0 1 0 126417938 42266624 9643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 10319 9643 170 317 0 9998 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41276 [startup+25.5022 s] /proc/loadavg: 1.03 1.01 0.96 2/65 6011 /proc/meminfo: memFree=1545592/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=55744 CPUtime=25.49 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 13560 0 0 0 2542 7 0 0 25 0 1 0 126417938 57081856 13542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 13936 13542 170 317 0 13615 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55744 [startup+51.1024 s] /proc/loadavg: 1.02 1.01 0.96 2/65 6011 /proc/meminfo: memFree=1523704/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=81368 CPUtime=51.08 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 19066 0 0 0 5098 10 0 0 25 0 1 0 126417938 83320832 19048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 20342 19048 170 317 0 20021 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 81368 [startup+102.306 s] /proc/loadavg: 1.01 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1498296/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=104656 CPUtime=102.27 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 25314 0 0 0 10212 15 0 0 25 0 1 0 126417938 107167744 25296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 26164 25296 170 317 0 25843 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 104656 [startup+162.303 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1478328/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=123652 CPUtime=162.26 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 30369 0 0 0 16208 18 0 0 25 0 1 0 126417938 126619648 30351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604220 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 30913 30351 170 317 0 30592 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 123652 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1455160/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=155020 CPUtime=222.24 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 36137 0 0 0 22203 21 0 0 25 0 1 0 126417938 158740480 36061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 38755 36061 170 317 0 38434 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 155020 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1441656/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=168328 CPUtime=282.22 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 39555 0 0 0 28198 24 0 0 25 0 1 0 126417938 172367872 39479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 42082 39479 170 317 0 41761 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 168328 [startup+342.303 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1429624/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=179840 CPUtime=342.21 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 42520 0 0 0 34195 26 0 0 25 0 1 0 126417938 184156160 42444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 44960 42444 170 317 0 44639 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 179840 [startup+402.303 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1418424/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=190796 CPUtime=402.2 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 45342 0 0 0 40192 28 0 0 25 0 1 0 126417938 195375104 45266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 47699 45266 170 317 0 47378 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 190796 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1406584/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=201276 CPUtime=462.18 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 48253 0 0 0 46189 29 0 0 25 0 1 0 126417938 206106624 48177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 50319 48177 170 317 0 49998 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 201276 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1396728/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=211008 CPUtime=522.17 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 50734 0 0 0 52186 31 0 0 25 0 1 0 126417938 216072192 50658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 52752 50658 170 317 0 52431 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 211008 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1386872/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=220120 CPUtime=582.15 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 53177 0 0 0 58183 32 0 0 25 0 1 0 126417938 225402880 53101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 55030 53101 170 317 0 54709 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 220120 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6011 /proc/meminfo: memFree=1375608/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=230244 CPUtime=642.14 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 55970 0 0 0 64181 33 0 0 25 0 1 0 126417938 235769856 55894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 57561 55894 170 317 0 57240 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 230244 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.08 1.03 0.97 2/65 6011 /proc/meminfo: memFree=1329528/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=277420 CPUtime=942.06 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 68234 0 0 0 94166 40 0 0 25 0 1 0 126417938 284078080 67351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 69355 67351 170 317 0 69034 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 277420 [startup+1002.3 s] /proc/loadavg: 1.03 1.02 0.97 2/65 6011 /proc/meminfo: memFree=1317112/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=311552 CPUtime=1002.05 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 75436 0 0 0 100162 43 0 0 25 0 1 0 126417938 319029248 70494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 77888 70494 170 317 0 77567 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 311552 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 0.97 2/65 6011 /proc/meminfo: memFree=1310008/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=318540 CPUtime=1062.03 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 77249 0 0 0 106158 45 0 0 25 0 1 0 126417938 326184960 72274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 79635 72274 170 317 0 79314 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 318540 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.97 2/65 6011 /proc/meminfo: memFree=1302264/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=325904 CPUtime=1122.03 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 79235 0 0 0 112156 47 0 0 25 0 1 0 126417938 333725696 74194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 81476 74194 170 317 0 81155 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 325904 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1295608/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=331800 CPUtime=1182 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 80936 0 0 0 118153 47 0 0 25 0 1 0 126417938 339763200 75862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 82950 75862 170 317 0 82629 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 331800 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1289400/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=337212 CPUtime=1241.99 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 82490 0 0 0 124151 48 0 0 25 0 1 0 126417938 345305088 77383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 84303 77383 170 317 0 83982 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 337212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1282936/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=342812 CPUtime=1301.98 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 84105 0 0 0 130149 49 0 0 25 0 1 0 126417938 351039488 78998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 85703 78998 170 317 0 85382 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 342812 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1277944/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=347748 CPUtime=1361.97 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 85382 0 0 0 136146 51 0 0 25 0 1 0 126417938 356093952 80242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 86937 80242 170 317 0 86616 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 347748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1272952/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=352284 CPUtime=1421.95 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 86705 0 0 0 142144 51 0 0 25 0 1 0 126417938 360738816 81499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 88071 81499 170 317 0 87750 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 352284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1266424/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=358876 CPUtime=1481.94 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 88559 0 0 0 148141 53 0 0 25 0 1 0 126417938 367489024 83122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 89719 83122 170 317 0 89398 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 358876 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1258616/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=366436 CPUtime=1541.92 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 90598 0 0 0 154138 54 0 0 25 0 1 0 126417938 375230464 85095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 91609 85095 170 317 0 91288 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 366436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6011 /proc/meminfo: memFree=1251320/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=373136 CPUtime=1601.91 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 92417 0 0 0 160136 55 0 0 25 0 1 0 126417938 382091264 86914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 93284 86914 170 317 0 92963 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 373136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/71 6127 /proc/meminfo: memFree=1241336/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=381104 CPUtime=1661.84 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 94616 0 0 0 166127 57 0 0 25 0 1 0 126417938 390250496 89080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/6010/statm: 95276 89080 170 317 0 94955 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 381104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6209 /proc/meminfo: memFree=1235512/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=387388 CPUtime=1721.78 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 96351 0 0 0 172120 58 0 0 25 0 1 0 126417938 396685312 90815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 96847 90815 170 317 0 96526 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 387388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6209 /proc/meminfo: memFree=1227192/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=394652 CPUtime=1781.77 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 98433 0 0 0 178117 60 0 0 25 0 1 0 126417938 404123648 92897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 98663 92897 170 317 0 98342 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 394652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6209 /proc/meminfo: memFree=1224504/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=396772 CPUtime=1800.07 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 99065 0 0 0 179947 60 0 0 25 0 1 0 126417938 406294528 93529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 99193 93529 170 317 0 98872 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 396772 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 0.97 2/65 6209 /proc/meminfo: memFree=1224504/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=396904 CPUtime=1800.26 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 99119 0 0 0 179966 60 0 0 25 0 1 0 126417938 406429696 93583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 99226 93583 170 317 0 98905 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 396904 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.97 2/65 6209 /proc/meminfo: memFree=1224504/2055920 swapFree=4174180/4192956 [pid=6010] ppid=6008 vsize=0 CPUtime=1800.36 /proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194308 99151 0 0 0 179972 64 0 0 25 0 1 0 126417938 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6010/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.4 CPU user time (s): 1799.73 CPU system time (s): 0.669898 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 396904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.669898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99151 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= 1261 runsolver used 1.3118 second user time and 3.69444 second system time The end
Begin job on node57 on Tue Apr 17 23:33:40 UTC 2007 IDJOB= 363490 IDBENCH= 1855 IDSOLVER= 172 FILE ID= node57/363490-1176852820 PBS_JOBID= 4590226 Free space on /tmp= 66511 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb COMMAND LINE= oree /tmp/evaluation/363490-1176852820/instance-363490-1176852820.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-363490-1176852820 -o ROOT/results/node57/solver-363490-1176852820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363490-1176852820/instance-363490-1176852820.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3 RANDOM SEED= 302637569 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1599696 kB Buffers: 26808 kB Cached: 368888 kB SwapCached: 13052 kB Active: 303556 kB Inactive: 111092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1599696 kB SwapTotal: 4192956 kB SwapFree: 4174180 kB Dirty: 1348 kB Writeback: 0 kB Mapped: 15468 kB Slab: 27624 kB Committed_AS: 838104 kB PageTables: 1408 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= 66511 MiB End job on node57 on Wed Apr 18 00:03:43 UTC 2007