Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | UNSAT | 809.855 | 810.053 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb |
MD5SUM | f70781d9e1b73a3f03aa1ef3a5aa83c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.45017 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 29038 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 531731 |
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 | 531731 |
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.42 c ...done 0.39/0.42 c #vars=23376 #constraints=1537 hasObjective=yes 5.29/5.30 c res. mode=mod 5.29/5.30 c VSIDS like heuristics 5.29/5.30 c complete search running 10.09/10.13 c restart after 401 decisions 10.09/10.18 c nbDecision=500 #constraints=1719 14.98/15.02 c restart after 801 decisions 16.78/16.83 c nbDecision=1000 #constraints=1966 25.89/25.91 c nbDecision=1500 #constraints=2291 28.08/28.15 c restart after 1601 decisions 33.48/33.52 c nbDecision=2000 #constraints=2551 42.98/43.01 c nbDecision=2500 #constraints=2863 52.88/52.90 c nbDecision=3000 #constraints=3175 57.48/57.57 c restart after 3201 decisions 61.07/61.19 c nbDecision=3500 #constraints=3422 71.48/71.59 c nbDecision=4000 #constraints=3721 83.37/83.44 c nbDecision=4500 #constraints=4046 90.87/90.99 c nbDecision=5000 #constraints=4241 98.67/98.72 c nbDecision=5500 #constraints=4436 106.17/106.23 c nbDecision=6000 #constraints=4618 112.66/112.76 c restart after 6401 decisions 112.76/112.87 c nbDecision=6500 #constraints=4774 120.66/120.71 c nbDecision=7000 #constraints=4956 128.66/128.78 c nbDecision=7500 #constraints=5138 137.46/137.55 c nbDecision=8000 #constraints=5333 145.96/146.03 c nbDecision=8500 #constraints=5515 154.56/154.62 c nbDecision=9000 #constraints=5697 163.35/163.45 c nbDecision=9500 #constraints=5879 172.34/172.45 c nbDecision=10000 #constraints=6061 181.55/181.65 c nbDecision=10500 #constraints=6243 190.95/191.05 c nbDecision=11000 #constraints=6425 200.55/200.62 c nbDecision=11500 #constraints=6607 212.94/213.05 c nbDecision=12000 #constraints=6841 220.84/220.91 c nbDecision=12500 #constraints=6984 230.14/230.21 c restart after 12801 decisions 231.74/231.86 c nbDecision=13000 #constraints=7179 238.54/238.61 c nbDecision=13500 #constraints=7296 249.03/249.10 c nbDecision=14000 #constraints=7478 257.43/257.50 c nbDecision=14500 #constraints=7621 264.42/264.56 c nbDecision=15000 #constraints=7738 277.53/277.68 c nbDecision=15500 #constraints=7959 284.12/284.24 c nbDecision=16000 #constraints=8063 297.62/297.75 c nbDecision=16500 #constraints=8284 305.12/305.28 c nbDecision=17000 #constraints=8401 318.31/318.42 c nbDecision=17500 #constraints=8609 326.81/326.97 c nbDecision=18000 #constraints=8739 336.21/336.36 c nbDecision=18500 #constraints=8882 348.31/348.44 c nbDecision=19000 #constraints=9064 355.40/355.57 c nbDecision=19500 #constraints=9168 370.30/370.49 c nbDecision=20000 #constraints=9389 378.49/378.67 c nbDecision=20500 #constraints=9506 392.99/393.11 c nbDecision=21000 #constraints=9714 401.40/401.55 c nbDecision=21500 #constraints=9831 413.49/413.64 c nbDecision=22000 #constraints=10000 425.69/425.88 c nbDecision=22500 #constraints=10169 433.49/433.65 c nbDecision=23000 #constraints=10273 449.69/449.87 c nbDecision=23500 #constraints=10494 457.68/457.86 c nbDecision=24000 #constraints=10598 474.28/474.41 c nbDecision=24500 #constraints=10819 483.37/483.53 c nbDecision=25000 #constraints=10936 496.47/496.62 c nbDecision=25500 #constraints=11105 501.37/501.58 c restart after 25601 decisions 507.86/508.02 c nbDecision=26000 #constraints=11248 516.17/516.38 c nbDecision=26500 #constraints=11352 532.66/532.83 c nbDecision=27000 #constraints=11560 542.26/542.42 c nbDecision=27500 #constraints=11677 548.05/548.26 c nbDecision=28000 #constraints=11813 552.65/552.89 c nbDecision=28500 #constraints=12079 556.76/556.91 c nbDecision=29000 #constraints=12317 560.15/560.36 c nbDecision=29500 #constraints=12513 565.15/565.35 c nbDecision=30000 #constraints=12793 569.35/569.55 c nbDecision=30500 #constraints=13017 573.75/573.98 c nbDecision=31000 #constraints=13269 578.25/578.45 c nbDecision=31500 #constraints=13507 583.05/583.22 c nbDecision=32000 #constraints=13745 587.35/587.51 c nbDecision=32500 #constraints=13969 592.25/592.40 c nbDecision=33000 #constraints=14221 596.85/597.01 c nbDecision=33500 #constraints=14445 601.94/602.12 c nbDecision=34000 #constraints=14697 605.94/606.12 c nbDecision=34500 #constraints=14879 611.84/612.02 c nbDecision=35000 #constraints=15173 617.24/617.45 c nbDecision=35500 #constraints=15425 621.64/621.82 c nbDecision=36000 #constraints=15621 627.64/627.83 c nbDecision=36500 #constraints=15901 632.84/633.03 c nbDecision=37000 #constraints=16125 638.53/638.71 c nbDecision=37500 #constraints=16377 643.93/644.16 c nbDecision=38000 #constraints=16615 649.03/649.27 c nbDecision=38500 #constraints=16825 655.03/655.20 c nbDecision=39000 #constraints=17077 660.43/660.69 c nbDecision=39500 #constraints=17301 666.43/666.64 c nbDecision=40000 #constraints=17553 672.73/672.97 c nbDecision=40500 #constraints=17805 678.02/678.20 c nbDecision=41000 #constraints=18001 684.62/684.85 c nbDecision=41500 #constraints=18281 690.62/690.84 c nbDecision=42000 #constraints=18505 697.23/697.46 c nbDecision=42500 #constraints=18757 704.82/705.09 c nbDecision=43000 #constraints=18995 712.11/712.40 c nbDecision=43500 #constraints=19205 720.82/721.07 c nbDecision=44000 #constraints=19457 729.12/729.30 c nbDecision=44500 #constraints=19695 737.11/737.36 c nbDecision=45000 #constraints=19933 746.21/746.44 c nbDecision=45500 #constraints=20185 752.71/752.97 c nbDecision=46000 #constraints=20353 762.90/763.15 c nbDecision=46500 #constraints=20661 771.31/771.55 c nbDecision=47000 #constraints=20885 779.71/779.94 c nbDecision=47500 #constraints=21109 789.00/789.26 c nbDecision=48000 #constraints=21375 797.89/798.18 c nbDecision=48500 #constraints=21613 806.70/806.90 c nbDecision=49000 #constraints=21837 809.80/810.02 c nbDecision=49183 #constraints=21920 809.80/810.02 809.80/810.02 s UNSATISFIABLE 809.80/810.02 809.80/810.02 c user time= 809.568 s 809.80/810.02 c system time= 0.26196 s 809.80/810.02 c wall clock time=810.027
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-362902-1176849174 -o ROOT/results/node72/solver-362902-1176849174 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362902-1176849174/instance-362902-1176849174.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/77 18032 /proc/meminfo: memFree=1670008/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=1620 CPUtime=0 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160955839 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 405 175 126 317 0 84 0 [startup+0.026629 s] /proc/loadavg: 0.92 0.98 0.99 2/77 18032 /proc/meminfo: memFree=1670008/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=1884 CPUtime=0.02 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 272 0 0 0 2 0 0 0 18 0 1 0 160955839 1929216 254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 471 255 131 317 0 150 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1884 [startup+0.101645 s] /proc/loadavg: 0.92 0.98 0.99 2/77 18032 /proc/meminfo: memFree=1670008/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=3600 CPUtime=0.09 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 708 0 0 0 9 0 0 0 18 0 1 0 160955839 3686400 690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 900 690 131 317 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.301653 s] /proc/loadavg: 0.92 0.98 0.99 2/77 18032 /proc/meminfo: memFree=1670008/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=8640 CPUtime=0.29 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 1971 0 0 0 29 0 0 0 19 0 1 0 160955839 8847360 1953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 2160 1954 131 317 0 1839 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8640 [startup+0.70169 s] /proc/loadavg: 0.92 0.98 0.99 2/77 18032 /proc/meminfo: memFree=1670008/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=14476 CPUtime=0.69 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 3438 0 0 0 68 1 0 0 23 0 1 0 160955839 14823424 3420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 3619 3420 137 317 0 3298 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14476 [startup+1.50176 s] /proc/loadavg: 0.92 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1656816/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=14872 CPUtime=1.49 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 3521 0 0 0 148 1 0 0 25 0 1 0 160955839 15228928 3503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 3718 3503 137 317 0 3397 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14872 [startup+3.10191 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1656048/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=15268 CPUtime=3.09 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 3647 0 0 0 308 1 0 0 25 0 1 0 160955839 15634432 3629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 3817 3629 137 317 0 3496 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15268 [startup+6.3012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1654832/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=16464 CPUtime=6.29 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 3908 0 0 0 628 1 0 0 25 0 1 0 160955839 16859136 3890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 4116 3890 139 317 0 3795 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16464 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1653680/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=17524 CPUtime=12.69 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 4196 0 0 0 1268 1 0 0 25 0 1 0 160955839 17944576 4178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 4381 4178 139 317 0 4060 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17524 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1651440/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=19784 CPUtime=25.49 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 4742 0 0 0 2547 2 0 0 25 0 1 0 160955839 20258816 4724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 4946 4724 139 317 0 4625 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19784 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1647408/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=23824 CPUtime=51.08 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 5765 0 0 0 5105 3 0 0 25 0 1 0 160955839 24395776 5747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 5956 5747 139 317 0 5635 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23824 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1640432/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=30776 CPUtime=102.27 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 7486 0 0 0 10222 5 0 0 25 0 1 0 160955839 31514624 7468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 7694 7468 139 317 0 7373 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30776 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1633456/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=38952 CPUtime=162.25 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 9281 0 0 0 16219 6 0 0 25 0 1 0 160955839 39886848 9226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 9738 9226 139 317 0 9417 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38952 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1628336/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=43632 CPUtime=222.24 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 10542 0 0 0 22217 7 0 0 25 0 1 0 160955839 44679168 10487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 10908 10487 139 317 0 10587 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 43632 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1623856/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=47856 CPUtime=282.23 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 11670 0 0 0 28214 9 0 0 25 0 1 0 160955839 49004544 11615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 11964 11615 139 317 0 11643 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 47856 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1619696/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=51600 CPUtime=342.21 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 12692 0 0 0 34211 10 0 0 25 0 1 0 160955839 52838400 12637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 12900 12637 139 317 0 12579 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 51600 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1613936/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=60048 CPUtime=402.19 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 14133 0 0 0 40208 11 0 0 25 0 1 0 160955839 61489152 14078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 15012 14078 139 317 0 14691 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 60048 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1610160/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=63892 CPUtime=462.18 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 15140 0 0 0 46206 12 0 0 25 0 1 0 160955839 65425408 15013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 15973 15013 139 317 0 15652 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 63892 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1606896/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=66928 CPUtime=522.17 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 15961 0 0 0 52203 14 0 0 25 0 1 0 160955839 68534272 15834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 16732 15834 139 317 0 16411 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 66928 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1596720/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=76676 CPUtime=582.15 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 18508 0 0 0 58199 16 0 0 25 0 1 0 160955839 78516224 18381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 19169 18381 139 317 0 18848 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 76676 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1583856/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=89496 CPUtime=642.14 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 21691 0 0 0 64195 19 0 0 25 0 1 0 160955839 91643904 21564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 22374 21564 139 317 0 22053 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 89496 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1573040/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=103440 CPUtime=702.12 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 25054 0 0 0 70190 22 0 0 25 0 1 0 160955839 105922560 24267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 25860 24267 139 317 0 25539 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 103440 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1565552/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=110276 CPUtime=762.11 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 26919 0 0 0 76187 24 0 0 25 0 1 0 160955839 112922624 26132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 27569 26132 139 317 0 27248 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 110276 Solver just ended. Dumping a history of the last processes samples [startup+767.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1564784/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=110804 CPUtime=767.7 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 27114 0 0 0 76746 24 0 0 25 0 1 0 160955839 113463296 26327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 27701 26327 139 317 0 27380 0 Current children cumulated CPU time (s) 767.7 Current children cumulated vsize (KiB) 110804 [startup+793.501 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1561904/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=114156 CPUtime=793.29 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 27985 0 0 0 79304 25 0 0 25 0 1 0 160955839 116895744 27055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 28539 27055 139 317 0 28218 0 Current children cumulated CPU time (s) 793.29 Current children cumulated vsize (KiB) 114156 [startup+799.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1561200/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=114684 CPUtime=799.69 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28156 0 0 0 79944 25 0 0 25 0 1 0 160955839 117436416 27226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 28671 27226 139 317 0 28350 0 Current children cumulated CPU time (s) 799.69 Current children cumulated vsize (KiB) 114684 [startup+806.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1559408/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=117456 CPUtime=806.1 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28593 0 0 0 80584 26 0 0 25 0 1 0 160955839 120274944 27663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 29364 27663 139 317 0 29043 0 Current children cumulated CPU time (s) 806.1 Current children cumulated vsize (KiB) 117456 [startup+807.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1559280/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=117588 CPUtime=807.7 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28632 0 0 0 80744 26 0 0 25 0 1 0 160955839 120410112 27702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 29397 27702 139 317 0 29076 0 Current children cumulated CPU time (s) 807.7 Current children cumulated vsize (KiB) 117588 [startup+808.702 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1559216/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=117720 CPUtime=808.5 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28653 0 0 0 80824 26 0 0 25 0 1 0 160955839 120545280 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 29430 27723 139 317 0 29109 0 Current children cumulated CPU time (s) 808.5 Current children cumulated vsize (KiB) 117720 [startup+809.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1559088/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=117852 CPUtime=809.3 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28675 0 0 0 80904 26 0 0 25 0 1 0 160955839 120680448 27745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 29463 27745 139 317 0 29142 0 Current children cumulated CPU time (s) 809.3 Current children cumulated vsize (KiB) 117852 [startup+809.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1559088/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=117852 CPUtime=809.7 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28682 0 0 0 80944 26 0 0 25 0 1 0 160955839 120680448 27752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 29463 27752 139 317 0 29142 0 Current children cumulated CPU time (s) 809.7 Current children cumulated vsize (KiB) 117852 [startup+810.002 s] /proc/loadavg: 0.99 0.98 0.99 2/78 18033 /proc/meminfo: memFree=1559088/2055920 swapFree=4156508/4192956 [pid=18032] ppid=18030 vsize=117852 CPUtime=809.8 /proc/18032/stat : 18032 (oree) R 18030 18032 17930 0 -1 4194304 28684 0 0 0 80954 26 0 0 25 0 1 0 160955839 120680448 27754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18032/statm: 29463 27754 139 317 0 29142 0 Current children cumulated CPU time (s) 809.8 Current children cumulated vsize (KiB) 117852 Child status: 0 Real time (s): 810.053 CPU time (s): 809.855 CPU user time (s): 809.576 CPU system time (s): 0.278957 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 117852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 809.576 system time used= 0.278957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28700 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= 6 involuntary context switches= 1080 runsolver used 0.888864 second user time and 2.06469 second system time The end
Begin job on node72 on Tue Apr 17 22:32:54 UTC 2007 IDJOB= 362902 IDBENCH= 1681 IDSOLVER= 172 FILE ID= node72/362902-1176849174 PBS_JOBID= 4590211 Free space on /tmp= 66479 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-seba.opb COMMAND LINE= oree /tmp/evaluation/362902-1176849174/instance-362902-1176849174.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-362902-1176849174 -o ROOT/results/node72/solver-362902-1176849174 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362902-1176849174/instance-362902-1176849174.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f70781d9e1b73a3f03aa1ef3a5aa83c9 RANDOM SEED= 502412499 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1670480 kB Buffers: 44156 kB Cached: 256168 kB SwapCached: 18324 kB Active: 168868 kB Inactive: 156016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1670480 kB SwapTotal: 4192956 kB SwapFree: 4156508 kB Dirty: 2564 kB Writeback: 0 kB Mapped: 30152 kB Slab: 46068 kB Committed_AS: 2693840 kB PageTables: 1788 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= 66479 MiB End job on node72 on Tue Apr 17 22:46:24 UTC 2007