Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb |
MD5SUM | 03b4fab8c58cfc4ea6c0d3c2d05c0d91 |
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 | 14036 |
Total number of constraints | 600 |
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 | 600 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1523 |
Number of terms in the objective function | 13668 |
Biggest coefficient in the objective function | 1162 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 535890 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262020 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535890 |
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.09/0.17 c ...done 0.09/0.17 c #vars=14036 #constraints=701 hasObjective=yes 0.29/0.34 c res. mode=mod 0.29/0.34 c VSIDS like heuristics 0.29/0.34 c complete search running 0.39/0.41 c restart after 401 decisions 0.39/0.42 c nbDecision=500 #constraints=701 0.39/0.46 c restart after 801 decisions 0.39/0.49 c nbDecision=1000 #constraints=701 0.49/0.55 c nbDecision=1500 #constraints=701 0.49/0.56 c restart after 1601 decisions 0.59/0.62 c nbDecision=2000 #constraints=701 0.59/0.68 c nbDecision=2500 #constraints=701 2.79/2.80 c nbDecision=3000 #constraints=935 4.98/5.06 c restart after 3201 decisions 5.08/5.16 c nbDecision=3500 #constraints=1131 5.18/5.23 c nbDecision=4000 #constraints=1131 6.78/6.87 c nbDecision=4500 #constraints=1262 14.98/15.03 c nbDecision=5000 #constraints=1760 26.57/26.68 c nbDecision=5500 #constraints=2261 41.67/41.70 c nbDecision=6000 #constraints=2762 56.17/56.26 c restart after 6401 decisions 56.97/57.04 c nbDecision=6500 #constraints=3168 57.07/57.11 c nbDecision=7000 #constraints=3168 57.77/57.83 c nbDecision=7500 #constraints=3168 64.97/65.01 c nbDecision=8000 #constraints=3589 76.36/76.47 c nbDecision=8500 #constraints=4097 90.45/90.58 c nbDecision=9000 #constraints=4588 107.35/107.47 c nbDecision=9500 #constraints=5083 126.45/126.55 c nbDecision=10000 #constraints=5593 148.15/148.23 c nbDecision=10500 #constraints=6093 173.13/173.25 c nbDecision=11000 #constraints=6593 201.33/201.50 c nbDecision=11500 #constraints=7078 233.23/233.37 c nbDecision=12000 #constraints=7588 268.51/268.66 c nbDecision=12500 #constraints=8097 291.00/291.12 c restart after 12801 decisions 294.10/294.27 c nbDecision=13000 #constraints=8392 294.50/294.61 c nbDecision=13500 #constraints=8392 298.91/299.01 c nbDecision=14000 #constraints=8416 347.20/347.34 c nbDecision=14500 #constraints=8916 399.48/399.61 c nbDecision=15000 #constraints=9433 450.37/450.57 c nbDecision=15500 #constraints=9911 505.46/505.65 c nbDecision=16000 #constraints=10425 564.04/564.29 c nbDecision=16500 #constraints=10938 623.42/623.68 c nbDecision=17000 #constraints=11422 687.21/687.45 c nbDecision=17500 #constraints=11928 753.89/754.13 c nbDecision=18000 #constraints=12427 823.78/824.09 c nbDecision=18500 #constraints=12918 896.56/896.85 c nbDecision=19000 #constraints=13417 974.94/975.25 c nbDecision=19500 #constraints=13931 1055.62/1055.90 c nbDecision=20000 #constraints=14430 1136.90/1137.27 c nbDecision=20500 #constraints=14928 1223.28/1223.64 c nbDecision=21000 #constraints=15434 1310.66/1311.03 c nbDecision=21500 #constraints=15921 1402.94/1403.39 c nbDecision=22000 #constraints=16424 1497.71/1498.15 c nbDecision=22500 #constraints=16923 1598.29/1598.80 c nbDecision=23000 #constraints=17437 1699.07/1699.53 c nbDecision=23500 #constraints=17935 1800.05/1800.50 Received signal 15 1800.05/1800.54 1800.05/1800.54 s UNKNOWN 1800.05/1800.54 1800.05/1800.54 c user time= 1798.75 s 1800.05/1800.54 c system time= 1.34279 s 1800.05/1800.54 c wall clock time=1800.55
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-356997-1176850910 -o ROOT/results/node15/solver-356997-1176850910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356997-1176850910/instance-356997-1176850910.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.91 0.97 0.99 3/83 1977 /proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1620 CPUtime=0 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 133008618 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 405 176 126 317 0 84 0 [startup+0.103313 s] /proc/loadavg: 0.91 0.97 0.99 3/83 1977 /proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=3460 CPUtime=0.09 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 133008618 3543040 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 865 617 131 317 0 544 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3460 [startup+0.201322 s] /proc/loadavg: 0.91 0.97 0.99 3/83 1977 /proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=6324 CPUtime=0.19 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 1378 0 0 0 19 0 0 0 19 0 1 0 133008618 6475776 1327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 1581 1327 137 317 0 1260 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6324 [startup+0.301331 s] /proc/loadavg: 0.91 0.97 0.99 3/83 1977 /proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=6588 CPUtime=0.29 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 1471 0 0 0 29 0 0 0 20 0 1 0 133008618 6746112 1420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 1647 1420 137 317 0 1326 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6588 [startup+0.701367 s] /proc/loadavg: 0.91 0.97 0.99 3/83 1977 /proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=6720 CPUtime=0.69 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 1481 0 0 0 69 0 0 0 24 0 1 0 133008618 6881280 1430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 1680 1430 138 317 0 1359 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6720 [startup+1.50144 s] /proc/loadavg: 0.92 0.97 0.99 2/84 1978 /proc/meminfo: memFree=1690560/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=13292 CPUtime=1.49 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 2959 0 0 0 148 1 0 0 25 0 1 0 133008618 13611008 2908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 3323 2908 139 317 0 3002 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13292 [startup+3.10159 s] /proc/loadavg: 0.92 0.97 0.99 2/84 1980 /proc/meminfo: memFree=1682880/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=25548 CPUtime=3.09 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 5751 0 0 0 307 2 0 0 25 0 1 0 133008618 26161152 5700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 6387 5700 139 317 0 6066 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25548 [startup+6.30188 s] /proc/loadavg: 0.93 0.97 0.99 2/78 2002 /proc/meminfo: memFree=1668272/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=43904 CPUtime=6.28 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 9925 0 0 0 624 4 0 0 25 0 1 0 133008618 44957696 9874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 10976 9874 139 317 0 10655 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43904 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.99 2/78 2002 /proc/meminfo: memFree=1641784/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=66896 CPUtime=12.67 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 15032 0 0 0 1261 6 0 0 25 0 1 0 133008618 68501504 14981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 16724 14981 139 317 0 16403 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 66896 [startup+25.5016 s] /proc/loadavg: 0.95 0.97 0.99 2/78 2002 /proc/meminfo: memFree=1603640/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=107424 CPUtime=25.47 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 24279 0 0 0 2536 11 0 0 25 0 1 0 133008618 110002176 24228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 26856 24228 139 317 0 26535 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 107424 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.99 2/78 2002 /proc/meminfo: memFree=1552120/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=169584 CPUtime=51.07 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 37231 0 0 0 5090 17 0 0 25 0 1 0 133008618 173654016 37180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 42396 37180 139 317 0 42075 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 169584 [startup+102.302 s] /proc/loadavg: 0.98 0.97 0.99 2/78 2002 /proc/meminfo: memFree=1433592/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=308348 CPUtime=102.26 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 66633 0 0 0 10196 30 0 0 25 0 1 0 133008618 315748352 66582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 77087 66582 139 317 0 76766 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 308348 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2002 /proc/meminfo: memFree=1358008/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=387928 CPUtime=162.24 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 85629 0 0 0 16185 39 0 0 25 0 1 0 133008618 397238272 85578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 96982 85579 139 317 0 96661 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 387928 [startup+222.306 s] /proc/loadavg: 1.03 0.99 0.99 2/78 2002 /proc/meminfo: memFree=1302456/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=444820 CPUtime=222.23 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 99375 0 0 0 22178 45 0 0 25 0 1 0 133008618 455495680 99324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 111205 99324 139 317 0 110884 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 444820 [startup+282.301 s] /proc/loadavg: 1.01 0.99 0.99 2/78 2002 /proc/meminfo: memFree=1257144/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=491572 CPUtime=282.21 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 110795 0 0 0 28171 50 0 0 25 0 1 0 133008618 503369728 110744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 122893 110744 139 317 0 122572 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 491572 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2002 /proc/meminfo: memFree=1227128/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=523760 CPUtime=342.2 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 118177 0 0 0 34166 54 0 0 25 0 1 0 133008618 536330240 118068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 130940 118068 139 317 0 130619 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 523760 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2002 /proc/meminfo: memFree=1159864/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=628608 CPUtime=402.17 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 135032 0 0 0 40157 60 0 0 25 0 1 0 133008618 643694592 134923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 157152 134923 139 317 0 156831 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 628608 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2002 /proc/meminfo: memFree=1130104/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=660392 CPUtime=462.17 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 142442 0 0 0 46153 64 0 0 25 0 1 0 133008618 676241408 142333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 165098 142333 139 317 0 164777 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 660392 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2002 /proc/meminfo: memFree=1101752/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=690600 CPUtime=522.15 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 149576 0 0 0 52148 67 0 0 25 0 1 0 133008618 707174400 149467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 172650 149467 139 317 0 172329 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 690600 [startup+582.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 2002 /proc/meminfo: memFree=1074296/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=718716 CPUtime=582.14 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 156343 0 0 0 58143 71 0 0 25 0 1 0 133008618 735965184 156234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 179679 156234 139 317 0 179358 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 718716 [startup+642.301 s] /proc/loadavg: 1.05 1.01 1.00 2/78 2002 /proc/meminfo: memFree=1048952/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=744968 CPUtime=642.12 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 162762 0 0 0 64138 74 0 0 25 0 1 0 133008618 762847232 162653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 186242 162653 139 317 0 185921 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 744968 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.02 1.00 2/78 2002 /proc/meminfo: memFree=957304/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=840472 CPUtime=882.06 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 185512 0 0 0 88120 86 0 0 25 0 1 0 133008618 860643328 185403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 210118 185403 139 317 0 209797 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 840472 [startup+942.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2002 /proc/meminfo: memFree=935864/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=862260 CPUtime=942.05 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 190915 0 0 0 94116 89 0 0 25 0 1 0 133008618 882954240 190806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 215565 190806 139 317 0 215244 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 862260 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2002 /proc/meminfo: memFree=914552/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=883304 CPUtime=1002.03 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 196203 0 0 0 100111 92 0 0 25 0 1 0 133008618 904503296 196094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 220826 196094 139 317 0 220505 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 883304 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=896504/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=903140 CPUtime=1062.02 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 200716 0 0 0 106107 95 0 0 25 0 1 0 133008618 924815360 200607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 225785 200607 139 317 0 225464 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 903140 [startup+1122.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 2002 /proc/meminfo: memFree=876152/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=923320 CPUtime=1122.01 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 205775 0 0 0 112103 98 0 0 25 0 1 0 133008618 945479680 205666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 230830 205666 139 317 0 230509 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 923320 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 2002 /proc/meminfo: memFree=856760/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=942736 CPUtime=1181.99 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 210664 0 0 0 118098 101 0 0 25 0 1 0 133008618 965361664 210555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 235684 210555 139 317 0 235363 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 942736 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=839672/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=961504 CPUtime=1241.97 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 214893 0 0 0 124094 103 0 0 25 0 1 0 133008618 984580096 214784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 240376 214784 139 317 0 240055 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 961504 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=821176/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=979784 CPUtime=1301.96 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 219525 0 0 0 130090 106 0 0 25 0 1 0 133008618 1003298816 219416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 244946 219416 139 317 0 244625 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 979784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=803128/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=997200 CPUtime=1361.95 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 224002 0 0 0 136087 108 0 0 25 0 1 0 133008618 1021132800 223893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 249300 223893 139 317 0 248979 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 997200 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=787128/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1015068 CPUtime=1421.94 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 227943 0 0 0 142083 111 0 0 25 0 1 0 133008618 1039429632 227834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 253767 227834 139 317 0 253446 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1015068 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=769464/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1032904 CPUtime=1481.91 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 232501 0 0 0 148078 113 0 0 25 0 1 0 133008618 1057693696 232278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 258226 232278 139 317 0 257905 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1032904 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=716536/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1189804 CPUtime=1541.91 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 263700 0 0 0 154066 125 0 0 25 0 1 0 133008618 1218359296 245360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 297451 245360 139 317 0 297130 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1189804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=701816/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1207020 CPUtime=1601.89 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 267576 0 0 0 160062 127 0 0 25 0 1 0 133008618 1235988480 249071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 301755 249071 139 317 0 301434 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1207020 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=683960/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1223456 CPUtime=1661.88 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 272074 0 0 0 166058 130 0 0 25 0 1 0 133008618 1252818944 253503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 305864 253503 139 317 0 305543 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1223456 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=669432/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1239500 CPUtime=1721.86 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 275694 0 0 0 172054 132 0 0 25 0 1 0 133008618 1269248000 257123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 309875 257123 139 317 0 309554 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1239500 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=651704/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1256388 CPUtime=1781.84 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 280270 0 0 0 178051 133 0 0 25 0 1 0 133008618 1286541312 261567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 314097 261567 139 317 0 313776 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1256388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2002 /proc/meminfo: memFree=647288/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=1261100 CPUtime=1800.05 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 281336 0 0 0 179871 134 0 0 25 0 1 0 133008618 1291366400 262633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 315275 262633 139 317 0 314954 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1261100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2003 /proc/meminfo: memFree=1553264/2055920 swapFree=4169120/4192956 [pid=1977] ppid=1975 vsize=0 CPUtime=1800.24 /proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194308 281352 0 0 0 179875 149 0 0 25 0 1 0 133008618 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1977/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.27 CPU user time (s): 1798.76 CPU system time (s): 1.51577 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1261100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.76 system time used= 1.51577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281352 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= 4595 runsolver used 2.14267 second user time and 4.39833 second system time The end
Begin job on node15 on Tue Apr 17 23:01:50 UTC 2007 IDJOB= 356997 IDBENCH= 1753 IDSOLVER= 172 FILE ID= node15/356997-1176850910 PBS_JOBID= 4590209 Free space on /tmp= 66492 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb COMMAND LINE= oree /tmp/evaluation/356997-1176850910/instance-356997-1176850910.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-356997-1176850910 -o ROOT/results/node15/solver-356997-1176850910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356997-1176850910/instance-356997-1176850910.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 03b4fab8c58cfc4ea6c0d3c2d05c0d91 RANDOM SEED= 778741898 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1699360 kB Buffers: 34696 kB Cached: 247900 kB SwapCached: 2528 kB Active: 199312 kB Inactive: 107704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1699360 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1944 kB Writeback: 0 kB Mapped: 32256 kB Slab: 34568 kB Committed_AS: 6166268 kB PageTables: 2120 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= 66492 MiB End job on node15 on Tue Apr 17 23:31:53 UTC 2007