Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.2 | 1801.98 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 1a5510d564851e49e3b50f1a87922ca2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4722 |
Best CPU time to get the best result obtained on this benchmark | 74.2227 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4722 |
Optimality of the best value was proved | YES |
Number of variables | 1989 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 1989 |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
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.03 c ...done 0.00/0.03 c #vars=1989 #constraints=194 hasObjective=yes 0.04/0.07 c res. mode=mod 0.04/0.07 c VSIDS like heuristics 0.04/0.07 c complete search running 0.04/0.08 c restart after 401 decisions 0.04/0.08 c nbDecision=500 #constraints=194 0.04/0.09 c restart after 801 decisions 0.04/0.09 c nbDecision=1000 #constraints=194 0.20/0.28 c nbDecision=1500 #constraints=268 0.40/0.42 c restart after 1601 decisions 0.40/0.44 c nbDecision=2000 #constraints=312 1.29/1.31 c nbDecision=2500 #constraints=598 2.29/2.32 c nbDecision=3000 #constraints=844 2.59/2.66 c restart after 3201 decisions 2.69/2.72 c nbDecision=3500 #constraints=918 4.09/4.17 c nbDecision=4000 #constraints=1147 6.19/6.30 c nbDecision=4500 #constraints=1397 6.89/6.95 c nbDecision=5000 #constraints=1627 8.19/8.29 c nbDecision=5500 #constraints=1940 10.08/10.18 c nbDecision=6000 #constraints=2256 12.59/12.69 c restart after 6401 decisions 12.89/12.90 c nbDecision=6500 #constraints=2547 13.09/13.18 c nbDecision=7000 #constraints=2557 17.29/17.31 c nbDecision=7500 #constraints=2916 22.69/22.71 c nbDecision=8000 #constraints=3295 29.07/29.15 c nbDecision=8500 #constraints=3697 36.78/36.88 c nbDecision=9000 #constraints=4013 46.87/46.99 c nbDecision=9500 #constraints=4371 59.27/59.33 c nbDecision=10000 #constraints=4752 76.06/76.12 c nbDecision=10500 #constraints=5170 92.65/92.76 c nbDecision=11000 #constraints=5560 111.45/111.56 c nbDecision=11500 #constraints=5951 143.34/143.48 c nbDecision=12000 #constraints=6427 189.12/189.29 c nbDecision=12500 #constraints=6944 214.12/214.26 c restart after 12801 decisions 215.71/215.83 c nbDecision=13000 #constraints=7218 221.81/221.93 c nbDecision=13500 #constraints=7293 242.40/242.52 c nbDecision=14000 #constraints=7615 266.59/266.72 c nbDecision=14500 #constraints=7978 302.08/302.25 c nbDecision=15000 #constraints=8378 336.37/336.51 c nbDecision=15500 #constraints=8791 371.75/371.93 c nbDecision=16000 #constraints=9179 423.63/423.80 c nbDecision=16500 #constraints=9651 493.01/493.28 c nbDecision=17000 #constraints=10102 528.80/529.09 c nbDecision=17500 #constraints=10472 597.57/597.85 c nbDecision=18000 #constraints=10980 628.36/628.69 c nbDecision=18500 #constraints=11283 674.94/675.21 c nbDecision=19000 #constraints=11692 719.93/720.29 c nbDecision=19500 #constraints=12109 787.90/788.20 c nbDecision=20000 #constraints=12577 836.79/837.15 c nbDecision=20500 #constraints=12955 904.56/904.90 c nbDecision=21000 #constraints=13396 983.73/984.14 c nbDecision=21500 #constraints=13869 1082.89/1083.32 c nbDecision=22000 #constraints=14382 1173.26/1173.76 c nbDecision=22500 #constraints=14777 1268.52/1269.08 c nbDecision=23000 #constraints=15244 1387.48/1388.02 c nbDecision=23500 #constraints=15717 1502.44/1503.06 c nbDecision=24000 #constraints=16205 1616.39/1617.03 c nbDecision=24500 #constraints=16711 1733.63/1734.46 c nbDecision=25000 #constraints=17194 1800.01/1800.80 Received signal 15 1801.11/1801.91 1801.11/1801.91 s UNKNOWN 1801.11/1801.91 1801.11/1801.91 c user time= 1800.51 s 1801.11/1801.91 c system time= 0.614906 s 1801.11/1801.91 c wall clock time=1801.91
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-357051-1176852787 -o ROOT/results/node10/solver-357051-1176852787 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357051-1176852787/instance-357051-1176852787.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 15678 /proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=1468 CPUtime=0 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161316273 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 367 161 126 317 0 46 0 [startup+0.0429409 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15678 /proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=2536 CPUtime=0.04 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 436 0 0 0 4 0 0 0 18 0 1 0 161316273 2596864 418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 634 418 137 317 0 313 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2536 [startup+0.101953 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15678 /proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=2668 CPUtime=0.1 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 492 0 0 0 10 0 0 0 18 0 1 0 161316273 2732032 474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 667 474 138 317 0 346 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2668 [startup+0.301996 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15678 /proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=3876 CPUtime=0.3 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 795 0 0 0 30 0 0 0 19 0 1 0 161316273 3969024 777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 969 777 139 317 0 648 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3876 [startup+0.701084 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15678 /proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=5872 CPUtime=0.69 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 1279 0 0 0 69 0 0 0 23 0 1 0 161316273 6012928 1261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 1468 1261 139 317 0 1147 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5872 [startup+1.50126 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1801976/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=9040 CPUtime=1.49 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 2079 0 0 0 149 0 0 0 25 0 1 0 161316273 9256960 2061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 2260 2061 139 317 0 1939 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9040 [startup+3.1016 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1798072/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=13536 CPUtime=3.09 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 3193 0 0 0 308 1 0 0 25 0 1 0 161316273 13860864 3175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 3384 3175 139 317 0 3063 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13536 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1791800/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=18920 CPUtime=6.29 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 4510 0 0 0 628 1 0 0 25 0 1 0 161316273 19374080 4492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 4730 4492 139 317 0 4409 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18920 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1771072/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=40040 CPUtime=12.69 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 9579 0 0 0 1265 4 0 0 25 0 1 0 161316273 41000960 9561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 10010 9561 139 317 0 9689 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40040 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1752192/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=58900 CPUtime=25.48 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 14051 0 0 0 2541 7 0 0 25 0 1 0 161316273 60313600 14033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 14725 14033 139 317 0 14404 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58900 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1733248/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=78212 CPUtime=51.07 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 18827 0 0 0 5098 9 0 0 25 0 1 0 161316273 80089088 18809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 19553 18809 139 317 0 19232 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 78212 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1706048/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=107220 CPUtime=102.26 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 25482 0 0 0 10213 13 0 0 25 0 1 0 161316273 109793280 25464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 26805 25464 139 317 0 26484 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 107220 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1684224/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=130800 CPUtime=162.23 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 30948 0 0 0 16208 15 0 0 25 0 1 0 161316273 133939200 30930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 32700 30930 139 317 0 32379 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 130800 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1665984/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=148788 CPUtime=222.21 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 35466 0 0 0 22203 18 0 0 25 0 1 0 161316273 152358912 35448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 37197 35448 139 317 0 36876 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 148788 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1649280/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=167376 CPUtime=282.19 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 39661 0 0 0 28198 21 0 0 25 0 1 0 161316273 171393024 39643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 41844 39643 139 317 0 41523 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 167376 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1636288/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=180384 CPUtime=342.16 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 42926 0 0 0 34193 23 0 0 25 0 1 0 161316273 184713216 42850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 45096 42850 139 317 0 44775 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 180384 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1624448/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=193072 CPUtime=402.14 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 45893 0 0 0 40189 25 0 0 25 0 1 0 161316273 197705728 45817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 48268 45817 139 317 0 47947 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 193072 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1610752/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=209104 CPUtime=462.12 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 49297 0 0 0 46185 27 0 0 25 0 1 0 161316273 214122496 49221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 52276 49221 139 317 0 51955 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 209104 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1598912/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=221748 CPUtime=522.1 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 52270 0 0 0 52180 30 0 0 25 0 1 0 161316273 227069952 52194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 55437 52194 139 317 0 55116 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 221748 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1587776/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=233532 CPUtime=582.07 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 55012 0 0 0 58176 31 0 0 25 0 1 0 161316273 239136768 54936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 58383 54936 139 317 0 58062 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 233532 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1578176/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=244024 CPUtime=642.05 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 57351 0 0 0 64172 33 0 0 25 0 1 0 161316273 249880576 57275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 61006 57275 139 317 0 60685 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 244024 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1525184/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=302104 CPUtime=1001.92 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 70477 0 0 0 100149 43 0 0 25 0 1 0 161316273 309354496 70401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 75526 70401 139 317 0 75205 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 302104 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1516864/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=311096 CPUtime=1061.89 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 72544 0 0 0 106145 44 0 0 25 0 1 0 161316273 318562304 72468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 77774 72468 139 317 0 77453 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 311096 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1509952/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=317520 CPUtime=1121.88 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 74249 0 0 0 112142 46 0 0 25 0 1 0 161316273 325140480 74173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 79380 74173 139 317 0 79059 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 317520 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1503104/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=324656 CPUtime=1181.85 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 75957 0 0 0 118138 47 0 0 25 0 1 0 161316273 332447744 75881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 81164 75881 139 317 0 80843 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 324656 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1495424/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=332392 CPUtime=1241.83 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 77827 0 0 0 124135 48 0 0 25 0 1 0 161316273 340369408 77751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 83098 77751 139 317 0 82777 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 332392 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1487232/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=340772 CPUtime=1301.82 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 79864 0 0 0 130132 50 0 0 25 0 1 0 161316273 348950528 79788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 85193 79788 139 317 0 84872 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 340772 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1480256/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=347656 CPUtime=1361.79 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 81632 0 0 0 136128 51 0 0 25 0 1 0 161316273 355999744 81556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 86914 81556 139 317 0 86593 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 347656 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1473152/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=354564 CPUtime=1421.77 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 83346 0 0 0 142124 53 0 0 25 0 1 0 161316273 363073536 83270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 88641 83270 139 317 0 88320 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 354564 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1467072/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=360448 CPUtime=1481.74 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 84901 0 0 0 148121 53 0 0 25 0 1 0 161316273 369098752 84825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 90112 84825 139 317 0 89791 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 360448 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 15679 /proc/meminfo: memFree=1460032/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=367356 CPUtime=1541.72 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 86622 0 0 0 154117 55 0 0 25 0 1 0 161316273 376172544 86546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 91839 86546 139 317 0 91518 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 367356 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1452288/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=375372 CPUtime=1601.7 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 88629 0 0 0 160114 56 0 0 25 0 1 0 161316273 384380928 88439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 93843 88439 139 317 0 93522 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 375372 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15679 /proc/meminfo: memFree=1445824/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=381928 CPUtime=1661.68 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 90266 0 0 0 166110 58 0 0 25 0 1 0 161316273 391094272 90076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 95482 90076 139 317 0 95161 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 381928 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/84 15853 /proc/meminfo: memFree=1438336/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=388792 CPUtime=1721.55 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 92032 0 0 0 172095 60 0 0 25 0 1 0 161316273 398123008 91611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 97198 91611 139 317 0 96877 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 388792 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15877 /proc/meminfo: memFree=1432832/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=395300 CPUtime=1781.52 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 93658 0 0 0 178091 61 0 0 25 0 1 0 161316273 404787200 93204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 98825 93204 139 317 0 98504 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 395300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15877 /proc/meminfo: memFree=1431040/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=397036 CPUtime=1800.01 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94147 0 0 0 179940 61 0 0 25 0 1 0 161316273 406564864 93627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 99259 93627 139 317 0 98938 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 397036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15877 /proc/meminfo: memFree=1431040/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=397036 CPUtime=1800.61 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94172 0 0 0 180000 61 0 0 25 0 1 0 161316273 406564864 93652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 99259 93652 139 317 0 98938 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (KiB) 397036 [startup+1801.81 s] /proc/loadavg: 0.99 0.98 0.99 2/79 15878 /proc/meminfo: memFree=1430904/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=397180 CPUtime=1801.01 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94182 0 0 0 180040 61 0 0 25 0 1 0 161316273 406712320 93662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 99295 93662 139 317 0 98974 0 Current children cumulated CPU time (s) 1801.01 Current children cumulated vsize (KiB) 397180 [startup+1801.9 s] /proc/loadavg: 0.99 0.98 0.99 2/79 15878 /proc/meminfo: memFree=1430904/2055920 swapFree=4152288/4192956 [pid=15678] ppid=15676 vsize=397180 CPUtime=1801.11 /proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94183 0 0 0 180050 61 0 0 25 0 1 0 161316273 406712320 93663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 99295 93663 139 317 0 98974 0 Current children cumulated CPU time (s) 1801.11 Current children cumulated vsize (KiB) 397180 Child status: 0 Real time (s): 1801.98 CPU time (s): 1801.2 CPU user time (s): 1800.52 CPU system time (s): 0.682896 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (KiB): 397180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.52 system time used= 0.682896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94199 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= 3915 runsolver used 2.15967 second user time and 4.33834 second system time The end
Begin job on node10 on Tue Apr 17 23:33:08 UTC 2007 IDJOB= 357051 IDBENCH= 1852 IDSOLVER= 172 FILE ID= node10/357051-1176852787 PBS_JOBID= 4590181 Free space on /tmp= 66300 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-l152lav.opb COMMAND LINE= oree /tmp/evaluation/357051-1176852787/instance-357051-1176852787.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-357051-1176852787 -o ROOT/results/node10/solver-357051-1176852787 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357051-1176852787/instance-357051-1176852787.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2 RANDOM SEED= 880381866 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1808280 kB Buffers: 19588 kB Cached: 163096 kB SwapCached: 8736 kB Active: 39872 kB Inactive: 166028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808280 kB SwapTotal: 4192956 kB SwapFree: 4152288 kB Dirty: 1512 kB Writeback: 0 kB Mapped: 30220 kB Slab: 27384 kB Committed_AS: 3507952 kB PageTables: 1708 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= 66300 MiB End job on node10 on Wed Apr 18 00:03:11 UTC 2007