Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb |
MD5SUM | 927ab7fb1c72ef94d2253f029f4e072a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 27420 |
Total number of constraints | 654 |
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 | 654 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1710 |
Number of terms in the objective function | 1380 |
Biggest coefficient in the objective function | 10006 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525320 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525557 |
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.39/0.41 c ...done 0.39/0.41 c #vars=27420 #constraints=1029 hasObjective=yes 0.49/0.53 c res. mode=mod 0.49/0.53 c VSIDS like heuristics 0.49/0.53 c complete search running 1.59/1.66 c restart after 401 decisions 1.79/1.80 c nbDecision=500 #constraints=1398 3.09/3.17 c restart after 801 decisions 3.89/3.92 c nbDecision=1000 #constraints=1834 6.99/7.00 c nbDecision=1500 #constraints=2329 7.69/7.73 c restart after 1601 decisions 9.39/9.43 c nbDecision=2000 #constraints=2773 12.29/12.37 c nbDecision=2500 #constraints=3270 15.89/15.98 c nbDecision=3000 #constraints=3767 17.80/17.82 c restart after 3201 decisions 18.60/18.68 c nbDecision=3500 #constraints=4115 23.90/23.99 c nbDecision=4000 #constraints=4577 30.39/30.41 c nbDecision=4500 #constraints=5077 37.99/38.04 c nbDecision=5000 #constraints=5576 46.29/46.33 c nbDecision=5500 #constraints=6075 54.49/54.57 c nbDecision=6000 #constraints=6574 63.59/63.69 c restart after 6401 decisions 64.49/64.59 c nbDecision=6500 #constraints=7004 76.79/76.88 c nbDecision=7000 #constraints=7502 89.99/90.09 c nbDecision=7500 #constraints=7998 104.09/104.18 c nbDecision=8000 #constraints=8497 119.19/119.27 c nbDecision=8500 #constraints=8997 134.59/134.67 c nbDecision=9000 #constraints=9494 153.19/153.26 c nbDecision=9500 #constraints=9996 169.49/169.53 c nbDecision=10000 #constraints=10491 190.10/190.14 c nbDecision=10500 #constraints=10990 210.49/210.53 c nbDecision=11000 #constraints=11489 232.89/232.92 c nbDecision=11500 #constraints=11986 255.60/255.65 c nbDecision=12000 #constraints=12488 276.70/276.74 c nbDecision=12500 #constraints=12983 290.20/290.29 c restart after 12801 decisions 298.80/298.88 c nbDecision=13000 #constraints=13421 326.90/326.93 c nbDecision=13500 #constraints=13913 354.90/354.93 c nbDecision=14000 #constraints=14413 386.70/386.74 c nbDecision=14500 #constraints=14911 418.40/418.48 c nbDecision=15000 #constraints=15410 448.20/448.21 c nbDecision=15500 #constraints=15910 481.71/481.74 c nbDecision=16000 #constraints=16406 517.91/517.96 c nbDecision=16500 #constraints=16909 552.68/552.76 c nbDecision=17000 #constraints=17409 590.13/590.25 c nbDecision=17500 #constraints=17905 622.22/622.35 c nbDecision=18000 #constraints=18396 655.62/655.75 c nbDecision=18500 #constraints=18899 685.32/685.43 c nbDecision=19000 #constraints=19395 723.02/723.10 c nbDecision=19500 #constraints=19889 766.63/766.77 c nbDecision=20000 #constraints=20390 809.92/810.06 c nbDecision=20500 #constraints=20887 853.82/853.94 c nbDecision=21000 #constraints=21385 893.72/893.89 c nbDecision=21500 #constraints=21882 941.03/941.14 c nbDecision=22000 #constraints=22379 975.63/975.73 c nbDecision=22500 #constraints=22877 1026.24/1026.31 c nbDecision=23000 #constraints=23371 1076.23/1076.30 c nbDecision=23500 #constraints=23870 1125.73/1125.86 c nbDecision=24000 #constraints=24368 1167.14/1167.21 c nbDecision=24500 #constraints=24864 1226.44/1226.58 c nbDecision=25000 #constraints=25357 1282.34/1282.45 c nbDecision=25500 #constraints=25855 1292.53/1292.69 c restart after 25601 decisions 1309.44/1309.55 c nbDecision=26000 #constraints=26131 1369.84/1369.93 c nbDecision=26500 #constraints=26630 1430.14/1430.25 c nbDecision=27000 #constraints=27129 1491.74/1491.85 c nbDecision=27500 #constraints=27631 1556.74/1556.83 c nbDecision=28000 #constraints=28128 1622.25/1622.32 c nbDecision=28500 #constraints=28626 1683.95/1684.05 c nbDecision=29000 #constraints=29123 1746.55/1746.62 c nbDecision=29500 #constraints=29620 1800.06/1800.10 Received signal 15 1800.06/1800.13 1800.06/1800.13 s UNKNOWN 1800.06/1800.13 1800.06/1800.13 c user time= 1799.43 s 1800.06/1800.13 c system time= 0.660899 s 1800.06/1800.13 c wall clock time=1800.13
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-356975-1176850317 -o ROOT/results/node16/solver-356975-1176850317 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356975-1176850317/instance-356975-1176850317.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.98 3/77 29373 /proc/meminfo: memFree=1857344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=1468 CPUtime=0 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132949356 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 367 167 131 317 0 46 0 [startup+0.017664 s] /proc/loadavg: 0.92 0.98 0.98 3/77 29373 /proc/meminfo: memFree=1857344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=1880 CPUtime=0.01 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 260 0 0 0 1 0 0 0 18 0 1 0 132949356 1925120 242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 470 242 131 317 0 149 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1880 [startup+0.101646 s] /proc/loadavg: 0.92 0.98 0.98 3/77 29373 /proc/meminfo: memFree=1857344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=3732 CPUtime=0.09 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 755 0 0 0 9 0 0 0 18 0 1 0 132949356 3821568 737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266224 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 966 738 131 317 0 645 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.301605 s] /proc/loadavg: 0.92 0.98 0.98 3/77 29373 /proc/meminfo: memFree=1857344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=8388 CPUtime=0.29 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 1872 0 0 0 29 0 0 0 19 0 1 0 132949356 8589312 1854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 2097 1854 131 317 0 1776 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8388 [startup+0.701521 s] /proc/loadavg: 0.92 0.98 0.98 3/77 29373 /proc/meminfo: memFree=1857344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=15528 CPUtime=0.69 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 3666 0 0 0 68 1 0 0 23 0 1 0 132949356 15900672 3648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 3882 3648 139 317 0 3561 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15528 [startup+1.50136 s] /proc/loadavg: 0.92 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1841976/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=18688 CPUtime=1.49 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 4440 0 0 0 148 1 0 0 25 0 1 0 132949356 19136512 4422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 4672 4422 139 317 0 4351 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18688 [startup+3.10102 s] /proc/loadavg: 0.92 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1838776/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=22652 CPUtime=3.09 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 5443 0 0 0 307 2 0 0 25 0 1 0 132949356 23195648 5425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 5663 5425 139 317 0 5342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22652 [startup+6.30137 s] /proc/loadavg: 0.93 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1831160/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=29224 CPUtime=6.29 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 6958 0 0 0 627 2 0 0 25 0 1 0 132949356 29925376 6940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 7306 6940 139 317 0 6985 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29224 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1817976/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=42540 CPUtime=12.69 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 10160 0 0 0 1266 3 0 0 25 0 1 0 132949356 43560960 10142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 10635 10142 139 317 0 10314 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42540 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1802296/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=56564 CPUtime=25.49 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 13860 0 0 0 2544 5 0 0 25 0 1 0 132949356 57921536 13842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 14141 13842 139 317 0 13820 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56564 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1781752/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=79564 CPUtime=51.09 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 19024 0 0 0 5101 8 0 0 25 0 1 0 132949356 81473536 19006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 19891 19006 139 317 0 19570 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 79564 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1760760/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=98480 CPUtime=102.3 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 24254 0 0 0 10218 12 0 0 25 0 1 0 132949356 100843520 24179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 24620 24179 139 317 0 24299 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 98480 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1737208/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=129744 CPUtime=162.3 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 30150 0 0 0 16214 16 0 0 25 0 1 0 132949356 132857856 30075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 32436 30075 139 317 0 32115 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 129744 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1721656/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=143752 CPUtime=222.3 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 33986 0 0 0 22211 19 0 0 25 0 1 0 132949356 147202048 33911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 35938 33911 139 317 0 35617 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 143752 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1707768/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=156296 CPUtime=282.3 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 37468 0 0 0 28208 22 0 0 25 0 1 0 132949356 160047104 37393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 39074 37393 139 317 0 38753 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 156296 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1696632/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=166240 CPUtime=342.3 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 40247 0 0 0 34205 25 0 0 25 0 1 0 132949356 170229760 40172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 41560 40172 170 317 0 41239 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 166240 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1686584/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=175216 CPUtime=402.31 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 42774 0 0 0 40204 27 0 0 25 0 1 0 132949356 179421184 42699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 43804 42699 170 317 0 43483 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 175216 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1676472/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=184224 CPUtime=462.31 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 45306 0 0 0 46202 29 0 0 25 0 1 0 132949356 188645376 45231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 46056 45231 170 317 0 45735 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 184224 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29374 /proc/meminfo: memFree=1668408/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=192176 CPUtime=522.31 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 47520 0 0 0 52200 31 0 0 25 0 1 0 132949356 196788224 47332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 48044 47332 170 317 0 47723 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 192176 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/84 29542 /proc/meminfo: memFree=1653952/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=225176 CPUtime=582.23 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 54504 0 0 0 58188 35 0 0 25 0 1 0 132949356 230580224 50521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 56294 50521 170 317 0 55973 0 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (KiB) 225176 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1644984/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=235664 CPUtime=642.22 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 57403 0 0 0 64185 37 0 0 25 0 1 0 132949356 241319936 53024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 58916 53024 170 317 0 58595 0 Current children cumulated CPU time (s) 642.22 Current children cumulated vsize (KiB) 235664 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1612664/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=265004 CPUtime=882.22 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 65890 0 0 0 88178 44 0 0 25 0 1 0 132949356 271364096 61082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 66251 61082 170 317 0 65930 0 Current children cumulated CPU time (s) 882.22 Current children cumulated vsize (KiB) 265004 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1605624/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=271364 CPUtime=942.23 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 67700 0 0 0 94177 46 0 0 25 0 1 0 132949356 277876736 62859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 67841 62859 170 317 0 67520 0 Current children cumulated CPU time (s) 942.23 Current children cumulated vsize (KiB) 271364 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1597560/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=278468 CPUtime=1002.23 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 69826 0 0 0 100176 47 0 0 25 0 1 0 132949356 285151232 64886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 69617 64886 170 317 0 69296 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 278468 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1591288/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=283872 CPUtime=1062.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 71385 0 0 0 106175 49 0 0 25 0 1 0 132949356 290684928 66445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 70968 66445 170 317 0 70647 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 283872 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1584888/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=289548 CPUtime=1122.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 73039 0 0 0 112173 51 0 0 25 0 1 0 132949356 296497152 68066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 72387 68066 170 317 0 72066 0 Current children cumulated CPU time (s) 1122.24 Current children cumulated vsize (KiB) 289548 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1578104/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=295356 CPUtime=1182.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 74727 0 0 0 118172 52 0 0 25 0 1 0 132949356 302444544 69754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 73839 69754 170 317 0 73518 0 Current children cumulated CPU time (s) 1182.24 Current children cumulated vsize (KiB) 295356 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1572536/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=300244 CPUtime=1242.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 76113 0 0 0 124170 54 0 0 25 0 1 0 132949356 307449856 71140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 75061 71140 170 317 0 74740 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 300244 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1566712/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=305128 CPUtime=1302.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 77539 0 0 0 130169 55 0 0 25 0 1 0 132949356 312451072 72566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 76282 72566 170 317 0 75961 0 Current children cumulated CPU time (s) 1302.24 Current children cumulated vsize (KiB) 305128 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1561592/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=309744 CPUtime=1362.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 78862 0 0 0 136168 56 0 0 25 0 1 0 132949356 317177856 73889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 77436 73889 170 317 0 77115 0 Current children cumulated CPU time (s) 1362.24 Current children cumulated vsize (KiB) 309744 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1556280/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=314216 CPUtime=1422.25 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 80154 0 0 0 142167 58 0 0 25 0 1 0 132949356 321757184 75181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 78554 75181 170 317 0 78233 0 Current children cumulated CPU time (s) 1422.25 Current children cumulated vsize (KiB) 314216 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1551032/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=318832 CPUtime=1482.24 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 81496 0 0 0 148165 59 0 0 25 0 1 0 132949356 326483968 76523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 79708 76523 170 317 0 79387 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 318832 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1545976/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=323084 CPUtime=1542.25 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 82745 0 0 0 154165 60 0 0 25 0 1 0 132949356 330838016 77772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 80771 77772 170 317 0 80450 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 323084 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1540984/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=327304 CPUtime=1602.25 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 84005 0 0 0 160164 61 0 0 25 0 1 0 132949356 335159296 79032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 81826 79032 170 317 0 81505 0 Current children cumulated CPU time (s) 1602.25 Current children cumulated vsize (KiB) 327304 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1535864/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=331528 CPUtime=1662.25 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 85255 0 0 0 166162 63 0 0 25 0 1 0 132949356 339484672 80282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 82882 80282 170 317 0 82561 0 Current children cumulated CPU time (s) 1662.25 Current children cumulated vsize (KiB) 331528 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1531320/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=335492 CPUtime=1722.26 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 86413 0 0 0 172162 64 0 0 25 0 1 0 132949356 343543808 81440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 83873 81440 170 317 0 83552 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 335492 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1525752/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=340108 CPUtime=1782.25 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 87780 0 0 0 178160 65 0 0 25 0 1 0 132949356 348270592 82807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 85027 82807 170 317 0 84706 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 340108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1524344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=341552 CPUtime=1800.06 /proc/29373/stat : 29373 (oree) R 29371 29373 29228 0 -1 4194304 88163 0 0 0 179940 66 0 0 25 0 1 0 132949356 349749248 83157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29373/statm: 85388 83157 170 317 0 85067 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 341552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 0.99 0.98 0.98 2/78 29572 /proc/meminfo: memFree=1524344/2055920 swapFree=4134660/4192956 [pid=29373] ppid=29371 vsize=0 CPUtime=1800.15 /proc/29373/stat : 29373 (oree) D 29371 29373 29228 0 -1 4194308 88179 0 0 0 179944 71 0 0 25 0 1 0 132949356 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/29373/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.22 CPU time (s): 1800.16 CPU user time (s): 1799.44 CPU system time (s): 0.713891 CPU usage (%): 99.9967 Max. virtual memory (cumulated for all children) (KiB): 341552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.713891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88179 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= 37549 runsolver used 2.10168 second user time and 4.45232 second system time The end
Begin job on node16 on Tue Apr 17 22:51:57 UTC 2007 IDJOB= 356975 IDBENCH= 1712 IDSOLVER= 172 FILE ID= node16/356975-1176850317 PBS_JOBID= 4590224 Free space on /tmp= 66398 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb COMMAND LINE= oree /tmp/evaluation/356975-1176850317/instance-356975-1176850317.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-356975-1176850317 -o ROOT/results/node16/solver-356975-1176850317 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356975-1176850317/instance-356975-1176850317.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 927ab7fb1c72ef94d2253f029f4e072a RANDOM SEED= 525840450 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1857752 kB Buffers: 36728 kB Cached: 91732 kB SwapCached: 26784 kB Active: 99596 kB Inactive: 66708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857752 kB SwapTotal: 4192956 kB SwapFree: 4134660 kB Dirty: 2780 kB Writeback: 0 kB Mapped: 30804 kB Slab: 17392 kB Committed_AS: 6416128 kB PageTables: 1836 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= 66398 MiB End job on node16 on Tue Apr 17 23:21:59 UTC 2007