Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb |
MD5SUM | 06abf2507bf67e08d71dcaed3569abdd |
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 | 60075 |
Total number of constraints | 2257 |
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 | 2257 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 941 |
Number of terms in the objective function | 8142 |
Biggest coefficient in the objective function | 10478 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531689 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531689 |
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.99/1.08 c ...done 0.99/1.08 c #vars=60075 #constraints=2738 hasObjective=yes 1.20/1.29 c res. mode=mod 1.20/1.29 c VSIDS like heuristics 1.20/1.29 c complete search running 2.19/2.26 c restart after 401 decisions 2.49/2.58 c nbDecision=500 #constraints=2796 3.19/3.21 c restart after 801 decisions 3.69/3.74 c nbDecision=1000 #constraints=2854 5.09/5.14 c nbDecision=1500 #constraints=3228 5.39/5.49 c restart after 1601 decisions 6.29/6.39 c nbDecision=2000 #constraints=3329 8.39/8.48 c nbDecision=2500 #constraints=3756 11.09/11.14 c nbDecision=3000 #constraints=4232 12.39/12.45 c restart after 3201 decisions 13.19/13.21 c nbDecision=3500 #constraints=4426 15.18/15.29 c nbDecision=4000 #constraints=4824 18.09/18.19 c nbDecision=4500 #constraints=5258 22.09/22.15 c nbDecision=5000 #constraints=5747 27.08/27.11 c nbDecision=5500 #constraints=6228 30.68/30.80 c nbDecision=6000 #constraints=6721 33.18/33.22 c restart after 6401 decisions 33.68/33.71 c nbDecision=6500 #constraints=7111 37.98/38.09 c nbDecision=7000 #constraints=7356 49.47/49.60 c nbDecision=7500 #constraints=7842 60.17/60.25 c nbDecision=8000 #constraints=8287 70.76/70.83 c nbDecision=8500 #constraints=8725 84.36/84.48 c nbDecision=9000 #constraints=9177 102.16/102.22 c nbDecision=9500 #constraints=9665 118.35/118.43 c nbDecision=10000 #constraints=10156 139.34/139.47 c nbDecision=10500 #constraints=10645 158.74/158.87 c nbDecision=11000 #constraints=11135 181.43/181.57 c nbDecision=11500 #constraints=11627 205.22/205.40 c nbDecision=12000 #constraints=12127 230.21/230.38 c nbDecision=12500 #constraints=12621 246.00/246.11 c restart after 12801 decisions 246.90/247.04 c nbDecision=13000 #constraints=12923 250.10/250.26 c nbDecision=13500 #constraints=13255 254.60/254.73 c nbDecision=14000 #constraints=13727 259.70/259.82 c nbDecision=14500 #constraints=14180 265.60/265.77 c nbDecision=15000 #constraints=14624 272.50/272.61 c nbDecision=15500 #constraints=15014 280.29/280.45 c nbDecision=16000 #constraints=15497 289.69/289.89 c nbDecision=16500 #constraints=15982 299.19/299.36 c nbDecision=17000 #constraints=16440 310.18/310.37 c nbDecision=17500 #constraints=16912 332.17/332.39 c nbDecision=18000 #constraints=17350 364.67/364.84 c nbDecision=18500 #constraints=17836 389.05/389.22 c nbDecision=19000 #constraints=18280 417.14/417.37 c nbDecision=19500 #constraints=18768 448.74/448.97 c nbDecision=20000 #constraints=19258 481.32/481.58 c nbDecision=20500 #constraints=19750 521.81/522.05 c nbDecision=21000 #constraints=20244 561.00/561.27 c nbDecision=21500 #constraints=20730 596.71/597.02 c nbDecision=22000 #constraints=21230 630.56/630.99 c nbDecision=22500 #constraints=21720 668.05/668.41 c nbDecision=23000 #constraints=22221 706.14/706.50 c nbDecision=23500 #constraints=22715 744.52/744.93 c nbDecision=24000 #constraints=23211 783.01/783.47 c nbDecision=24500 #constraints=23706 823.29/823.79 c nbDecision=25000 #constraints=24201 862.58/863.08 c nbDecision=25500 #constraints=24694 871.78/872.28 c restart after 25601 decisions 873.48/873.93 c nbDecision=26000 #constraints=24798 892.67/893.15 c nbDecision=26500 #constraints=25238 910.96/911.49 c nbDecision=27000 #constraints=25666 945.15/945.67 c nbDecision=27500 #constraints=26069 996.83/997.34 c nbDecision=28000 #constraints=26533 1016.52/1017.09 c nbDecision=28500 #constraints=27008 1037.51/1038.03 c nbDecision=29000 #constraints=27439 1058.71/1059.21 c nbDecision=29500 #constraints=27846 1086.30/1086.83 c nbDecision=30000 #constraints=28277 1141.68/1142.24 c nbDecision=30500 #constraints=28761 1201.36/1201.98 c nbDecision=31000 #constraints=29262 1259.13/1259.79 c nbDecision=31500 #constraints=29726 1326.82/1327.44 c nbDecision=32000 #constraints=30225 1395.09/1395.79 c nbDecision=32500 #constraints=30719 1463.07/1463.75 c nbDecision=33000 #constraints=31213 1529.75/1530.47 c nbDecision=33500 #constraints=31691 1594.52/1595.28 c nbDecision=34000 #constraints=32154 1665.59/1666.33 c nbDecision=34500 #constraints=32658 1734.38/1735.17 c nbDecision=35000 #constraints=33154 1800.06/1800.80 Received signal 15 1800.06/1800.85 1800.06/1800.85 s UNKNOWN 1800.06/1800.85 1800.06/1800.85 c user time= 1799.9 s 1800.06/1800.85 c system time= 0.215967 s 1800.06/1800.85 c wall clock time=1800.86
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-356974-1176850289 -o ROOT/results/node25/solver-356974-1176850289 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356974-1176850289/instance-356974-1176850289.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16141 /proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=1620 CPUtime=0 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132946042 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 405 175 126 317 0 84 0 [startup+0.103419 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16141 /proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=2940 CPUtime=0.1 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 544 0 0 0 10 0 0 0 18 0 1 0 132946042 3010560 526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 735 526 131 317 0 414 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2940 [startup+0.201434 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16141 /proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=4700 CPUtime=0.19 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 977 0 0 0 19 0 0 0 18 0 1 0 132946042 4812800 959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 1175 959 131 317 0 854 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4700 [startup+0.301451 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16141 /proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=6584 CPUtime=0.29 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 1447 0 0 0 29 0 0 0 19 0 1 0 132946042 6742016 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 1646 1429 131 317 0 1325 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6584 [startup+0.702519 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16141 /proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=14740 CPUtime=0.7 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 3493 0 0 0 69 1 0 0 22 0 1 0 132946042 15093760 3475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 3685 3476 131 317 0 3364 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14740 [startup+1.50166 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1747464/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=32312 CPUtime=1.49 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 7885 0 0 0 146 3 0 0 25 0 1 0 132946042 33087488 7867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 8078 7867 138 317 0 7757 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32312 [startup+3.10193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1742856/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=32596 CPUtime=3.09 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 7927 0 0 0 306 3 0 0 25 0 1 0 132946042 33378304 7909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 8149 7909 139 317 0 7828 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32596 [startup+6.30148 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1741704/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=33520 CPUtime=6.29 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 8161 0 0 0 625 4 0 0 25 0 1 0 132946042 34324480 8143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 8380 8143 139 317 0 8059 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33520 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1738760/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=36548 CPUtime=12.69 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 8967 0 0 0 1265 4 0 0 25 0 1 0 132946042 37425152 8949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 9137 8949 170 317 0 8816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36548 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1734088/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=41528 CPUtime=25.48 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 10187 0 0 0 2543 5 0 0 25 0 1 0 132946042 42524672 10132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 10382 10132 170 317 0 10061 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41528 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1729160/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=46852 CPUtime=51.08 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 11411 0 0 0 5101 7 0 0 25 0 1 0 132946042 47976448 11356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 11713 11356 170 317 0 11392 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46852 [startup+102.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1723592/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=52220 CPUtime=102.26 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 12788 0 0 0 10218 8 0 0 25 0 1 0 132946042 53473280 12733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 13055 12733 170 317 0 12734 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52220 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1718600/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=57868 CPUtime=162.24 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 14093 0 0 0 16215 9 0 0 25 0 1 0 132946042 59256832 13966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 14467 13966 170 317 0 14146 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 57868 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1714504/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=62664 CPUtime=222.22 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 15108 0 0 0 22212 10 0 0 25 0 1 0 132946042 64167936 14981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 15666 14981 170 317 0 15345 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 62664 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1707784/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=69380 CPUtime=282.19 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 16787 0 0 0 28208 11 0 0 25 0 1 0 132946042 71045120 16660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 17345 16660 170 317 0 17024 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 69380 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1703880/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=73244 CPUtime=342.17 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 17745 0 0 0 34205 12 0 0 25 0 1 0 132946042 75001856 17618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 18311 17618 170 317 0 17990 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 73244 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1701640/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=75532 CPUtime=402.15 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 18304 0 0 0 40203 12 0 0 25 0 1 0 132946042 77344768 18177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 18883 18177 170 317 0 18562 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 75532 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1699400/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=78580 CPUtime=462.13 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 19089 0 0 0 46200 13 0 0 25 0 1 0 132946042 80465920 18698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 19645 18698 170 317 0 19324 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 78580 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16142 /proc/meminfo: memFree=1697736/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=80812 CPUtime=522.11 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 19622 0 0 0 52198 13 0 0 25 0 1 0 132946042 82751488 19132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 20203 19132 170 317 0 19882 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 80812 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 16216 /proc/meminfo: memFree=1694520/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=83104 CPUtime=582.05 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 20248 0 0 0 58191 14 0 0 25 0 1 0 132946042 85098496 19583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 20776 19583 170 317 0 20455 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 83104 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1693704/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=84808 CPUtime=641.95 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 20725 0 0 0 64181 14 0 0 25 0 1 0 132946042 86843392 20060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 21202 20060 170 317 0 20881 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 84808 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1686792/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=92280 CPUtime=881.88 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 22602 0 0 0 88172 16 0 0 25 0 1 0 132946042 94494720 21805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 23070 21805 170 317 0 22749 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 92280 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1684488/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=94852 CPUtime=941.84 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 23269 0 0 0 94168 16 0 0 25 0 1 0 132946042 97128448 22406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 23713 22406 170 317 0 23392 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 94852 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1683016/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=96024 CPUtime=1001.83 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 23629 0 0 0 100166 17 0 0 25 0 1 0 132946042 98328576 22766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 24006 22766 170 317 0 23685 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 96024 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1680200/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=98728 CPUtime=1061.81 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 24330 0 0 0 106163 18 0 0 25 0 1 0 132946042 101097472 23467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 24682 23467 170 317 0 24361 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 98728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1678664/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=100420 CPUtime=1121.79 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 24751 0 0 0 112161 18 0 0 25 0 1 0 132946042 102830080 23855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 25105 23855 170 317 0 24784 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 100420 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1677384/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=101984 CPUtime=1181.77 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25135 0 0 0 118159 18 0 0 25 0 1 0 132946042 104431616 24173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 25496 24173 170 317 0 25175 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 101984 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1676104/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=103168 CPUtime=1241.74 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25447 0 0 0 124156 18 0 0 25 0 1 0 132946042 105644032 24485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 25792 24485 170 317 0 25471 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 103168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1675080/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=104076 CPUtime=1301.73 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25715 0 0 0 130154 19 0 0 25 0 1 0 132946042 106573824 24753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 26019 24753 170 317 0 25698 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 104076 [startup+1362.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 16340 /proc/meminfo: memFree=1674056/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=104912 CPUtime=1361.7 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25973 0 0 0 136151 19 0 0 25 0 1 0 132946042 107429888 25011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 26228 25011 170 317 0 25907 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 104912 [startup+1422.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 16340 /proc/meminfo: memFree=1672968/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=105824 CPUtime=1421.68 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 26236 0 0 0 142149 19 0 0 25 0 1 0 132946042 108363776 25274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 26456 25274 170 317 0 26135 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 105824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1671880/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=106608 CPUtime=1481.67 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 26499 0 0 0 148147 20 0 0 25 0 1 0 132946042 109166592 25537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 26652 25537 170 317 0 26331 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 106608 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1670792/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=107916 CPUtime=1541.65 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 26817 0 0 0 154145 20 0 0 25 0 1 0 132946042 110505984 25789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 26979 25789 170 317 0 26658 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 107916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1669896/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=108704 CPUtime=1601.62 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27073 0 0 0 160142 20 0 0 25 0 1 0 132946042 111312896 26045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 27176 26045 170 317 0 26855 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 108704 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1668808/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=109752 CPUtime=1661.6 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27330 0 0 0 166140 20 0 0 25 0 1 0 132946042 112386048 26302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 27438 26302 170 317 0 27117 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 109752 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1667784/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=111052 CPUtime=1721.58 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27697 0 0 0 172137 21 0 0 25 0 1 0 132946042 113717248 26570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 27763 26570 170 317 0 27442 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 111052 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1666696/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=111848 CPUtime=1781.56 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27949 0 0 0 178135 21 0 0 25 0 1 0 132946042 114532352 26822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 27962 26822 170 317 0 27641 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 111848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1666440/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=112116 CPUtime=1800.06 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 28027 0 0 0 179985 21 0 0 25 0 1 0 132946042 114806784 26900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 28029 26900 170 317 0 27708 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 112116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16340 /proc/meminfo: memFree=1666440/2055920 swapFree=4166424/4192956 [pid=16141] ppid=16139 vsize=112116 CPUtime=1800.06 /proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 28027 0 0 0 179985 21 0 0 25 0 1 0 132946042 114806784 26900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16141/statm: 28029 26900 170 317 0 27708 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 112116 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.15 CPU user time (s): 1799.92 CPU system time (s): 0.236963 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 112116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.236963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28043 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= 5157 runsolver used 1.3398 second user time and 3.64644 second system time The end
Begin job on node25 on Tue Apr 17 22:51:30 UTC 2007 IDJOB= 356974 IDBENCH= 1711 IDSOLVER= 172 FILE ID= node25/356974-1176850289 PBS_JOBID= 4590194 Free space on /tmp= 66477 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-nesm.opb COMMAND LINE= oree /tmp/evaluation/356974-1176850289/instance-356974-1176850289.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-356974-1176850289 -o ROOT/results/node25/solver-356974-1176850289 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356974-1176850289/instance-356974-1176850289.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 06abf2507bf67e08d71dcaed3569abdd RANDOM SEED= 121853887 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1774632 kB Buffers: 22864 kB Cached: 189860 kB SwapCached: 20788 kB Active: 38260 kB Inactive: 200924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1774632 kB SwapTotal: 4192956 kB SwapFree: 4166424 kB Dirty: 4272 kB Writeback: 0 kB Mapped: 15420 kB Slab: 28116 kB Committed_AS: 2111728 kB PageTables: 1472 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= 66477 MiB End job on node25 on Tue Apr 17 23:21:33 UTC 2007