Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.05 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
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.16 c ...done 0.09/0.16 c #vars=5499 #constraints=19320 hasObjective=yes 0.19/0.29 c res. mode=mod 0.19/0.29 c VSIDS like heuristics 0.19/0.29 c complete search running 20.98/21.09 c restart after 401 decisions 32.68/32.78 c nbDecision=500 #constraints=19488 47.48/47.58 c restart after 801 decisions 54.88/54.91 c nbDecision=1000 #constraints=19652 67.07/67.16 c nbDecision=1500 #constraints=19901 67.17/67.29 c restart after 1601 decisions 83.07/83.15 c nbDecision=2000 #constraints=20100 110.16/110.29 c nbDecision=2500 #constraints=20342 123.25/123.33 c nbDecision=3000 #constraints=20575 129.65/129.75 c restart after 3201 decisions 136.85/136.98 c nbDecision=3500 #constraints=20733 148.95/149.08 c nbDecision=4000 #constraints=20961 166.35/166.49 c nbDecision=4500 #constraints=21213 194.83/194.94 c nbDecision=5000 #constraints=21437 224.92/225.09 c nbDecision=5500 #constraints=21675 249.32/249.40 c nbDecision=6000 #constraints=21918 263.52/263.67 c restart after 6401 decisions 269.42/269.53 c nbDecision=6500 #constraints=22101 283.51/283.63 c nbDecision=7000 #constraints=22312 303.81/303.91 c nbDecision=7500 #constraints=22588 324.50/324.63 c nbDecision=8000 #constraints=22781 341.77/341.90 c nbDecision=8500 #constraints=23015 361.11/361.35 c nbDecision=9000 #constraints=23265 388.39/388.63 c nbDecision=9500 #constraints=23541 388.79/389.06 c nbDecision=10000 #constraints=23627 389.49/389.74 c nbDecision=10500 #constraints=23766 390.39/390.64 c nbDecision=11000 #constraints=23937 394.38/394.66 c nbDecision=11500 #constraints=24139 398.48/398.77 c nbDecision=12000 #constraints=24345 404.59/404.83 c nbDecision=12500 #constraints=24602 408.08/408.32 c restart after 12801 decisions 409.78/410.05 c nbDecision=13000 #constraints=24768 413.39/413.69 c nbDecision=13500 #constraints=24904 420.08/420.32 c nbDecision=14000 #constraints=25187 426.88/427.16 c nbDecision=14500 #constraints=25464 432.97/433.29 c nbDecision=15000 #constraints=25697 439.67/439.98 c nbDecision=15500 #constraints=25953 446.48/446.77 c nbDecision=16000 #constraints=26227 451.17/451.40 c nbDecision=16500 #constraints=26455 458.16/458.40 c nbDecision=17000 #constraints=26761 463.66/463.94 c nbDecision=17500 #constraints=27033 473.87/474.13 c nbDecision=18000 #constraints=27351 480.16/480.41 c nbDecision=18500 #constraints=27647 488.96/489.25 c nbDecision=19000 #constraints=27935 494.45/494.80 c nbDecision=19500 #constraints=28196 500.05/500.34 c nbDecision=20000 #constraints=28445 507.86/508.13 c nbDecision=20500 #constraints=28736 514.35/514.69 c nbDecision=21000 #constraints=29001 520.36/520.60 c nbDecision=21500 #constraints=29261 527.76/528.08 c nbDecision=22000 #constraints=29578 534.45/534.71 c nbDecision=22500 #constraints=29866 541.25/541.57 c nbDecision=23000 #constraints=30152 546.14/546.42 c nbDecision=23500 #constraints=30400 552.25/552.54 c nbDecision=24000 #constraints=30671 557.94/558.24 c nbDecision=24500 #constraints=30941 563.84/564.13 c nbDecision=25000 #constraints=31235 569.13/569.43 c nbDecision=25500 #constraints=31506 570.03/570.36 c restart after 25601 decisions 574.04/574.35 c nbDecision=26000 #constraints=31739 578.14/578.49 c nbDecision=26500 #constraints=32004 578.74/579.09 c nbDecision=27000 #constraints=32104 579.73/580.00 c nbDecision=27500 #constraints=32256 580.73/581.09 c nbDecision=28000 #constraints=32445 584.03/584.31 c nbDecision=28500 #constraints=32678 584.83/585.13 c nbDecision=29000 #constraints=32804 585.73/586.06 c nbDecision=29500 #constraints=32931 587.23/587.56 c nbDecision=30000 #constraints=33141 590.93/591.25 c nbDecision=30500 #constraints=33319 591.84/592.16 c nbDecision=31000 #constraints=33428 592.73/593.01 c nbDecision=31500 #constraints=33532 594.13/594.43 c nbDecision=32000 #constraints=33724 597.53/597.86 c nbDecision=32500 #constraints=33890 598.73/599.00 c nbDecision=33000 #constraints=34008 599.83/600.16 c nbDecision=33500 #constraints=34133 601.83/602.11 c nbDecision=34000 #constraints=34367 605.13/605.49 c nbDecision=34500 #constraints=34529 606.33/606.69 c nbDecision=35000 #constraints=34654 608.03/608.33 c nbDecision=35500 #constraints=34804 612.62/612.94 c nbDecision=36000 #constraints=35070 614.12/614.45 c nbDecision=36500 #constraints=35191 615.93/616.20 c nbDecision=37000 #constraints=35348 618.13/618.42 c nbDecision=37500 #constraints=35554 622.52/622.84 c nbDecision=38000 #constraints=35762 624.02/624.36 c nbDecision=38500 #constraints=35874 626.32/626.61 c nbDecision=39000 #constraints=36020 629.52/629.86 c nbDecision=39500 #constraints=36286 633.42/633.74 c nbDecision=40000 #constraints=36436 635.42/635.72 c nbDecision=40500 #constraints=36564 638.12/638.41 c nbDecision=41000 #constraints=36746 640.92/641.28 c nbDecision=41500 #constraints=36956 645.21/645.50 c nbDecision=42000 #constraints=37136 647.32/647.64 c nbDecision=42500 #constraints=37261 649.82/650.19 c nbDecision=43000 #constraints=37401 653.22/653.55 c nbDecision=43500 #constraints=37634 656.52/656.87 c nbDecision=44000 #constraints=37720 659.01/659.36 c nbDecision=44500 #constraints=37854 661.41/661.79 c nbDecision=45000 #constraints=38020 665.01/665.34 c nbDecision=45500 #constraints=38236 668.81/669.10 c nbDecision=46000 #constraints=38341 671.50/671.84 c nbDecision=46500 #constraints=38478 673.70/674.08 c nbDecision=47000 #constraints=38577 678.31/678.69 c nbDecision=47500 #constraints=38846 682.20/682.50 c nbDecision=48000 #constraints=38954 684.81/685.19 c nbDecision=48500 #constraints=39080 688.01/688.37 c nbDecision=49000 #constraints=39234 692.31/692.66 c nbDecision=49500 #constraints=39482 696.21/696.57 c nbDecision=50000 #constraints=39593 699.31/699.61 c nbDecision=50500 #constraints=39728 703.20/703.57 c nbDecision=51000 #constraints=39906 704.50/704.88 c restart after 51201 decisions 709.00/709.37 c nbDecision=51500 #constraints=40151 744.49/744.88 c nbDecision=52000 #constraints=40351 787.48/787.82 c nbDecision=52500 #constraints=40583 826.36/826.76 c nbDecision=53000 #constraints=40821 856.65/857.08 c nbDecision=53500 #constraints=41041 895.05/895.43 c nbDecision=54000 #constraints=41249 933.84/934.21 c nbDecision=54500 #constraints=41478 966.23/966.65 c nbDecision=55000 #constraints=41710 1010.61/1011.09 c nbDecision=55500 #constraints=41974 1026.61/1027.01 c nbDecision=56000 #constraints=42150 1060.60/1061.02 c nbDecision=56500 #constraints=42362 1096.30/1096.74 c nbDecision=57000 #constraints=42615 1135.28/1135.71 c nbDecision=57500 #constraints=42861 1177.47/1177.98 c nbDecision=58000 #constraints=43139 1180.87/1181.33 c nbDecision=58500 #constraints=43241 1185.57/1186.08 c nbDecision=59000 #constraints=43417 1190.96/1191.40 c nbDecision=59500 #constraints=43627 1200.06/1200.57 c nbDecision=60000 #constraints=43838 1220.26/1220.72 c nbDecision=60500 #constraints=44080 1244.75/1245.23 c nbDecision=61000 #constraints=44312 1264.75/1265.26 c nbDecision=61500 #constraints=44512 1282.24/1282.77 c nbDecision=62000 #constraints=44666 1300.13/1300.67 c nbDecision=62500 #constraints=44855 1321.74/1322.24 c nbDecision=63000 #constraints=45058 1346.62/1347.13 c nbDecision=63500 #constraints=45287 1379.22/1379.76 c nbDecision=64000 #constraints=45608 1410.41/1410.97 c nbDecision=64500 #constraints=45936 1430.60/1431.19 c nbDecision=65000 #constraints=46170 1457.59/1458.16 c nbDecision=65500 #constraints=46495 1483.48/1484.02 c nbDecision=66000 #constraints=46801 1517.98/1518.50 c nbDecision=66500 #constraints=47160 1547.37/1547.94 c nbDecision=67000 #constraints=47481 1574.96/1575.57 c nbDecision=67500 #constraints=47793 1597.86/1598.41 c nbDecision=68000 #constraints=48070 1625.65/1626.29 c nbDecision=68500 #constraints=48356 1646.44/1647.09 c nbDecision=69000 #constraints=48621 1670.43/1671.02 c nbDecision=69500 #constraints=48888 1692.12/1692.70 c nbDecision=70000 #constraints=49145 1713.23/1713.84 c nbDecision=70500 #constraints=49428 1735.51/1736.18 c nbDecision=71000 #constraints=49682 1756.50/1757.13 c nbDecision=71500 #constraints=49957 1776.50/1777.11 c nbDecision=72000 #constraints=50220 1798.20/1798.83 c nbDecision=72500 #constraints=50505 1800.01/1800.61 Received signal 15 1800.01/1800.61 1800.01/1800.61 s UNKNOWN 1800.01/1800.61 1800.01/1800.61 c user time= 1799.64 s 1800.01/1800.61 c system time= 0.375942 s 1800.01/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-373133-1177170932 -o ROOT/results/node12/solver-373133-1177170932 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373133-1177170932/instance-373133-1177170932.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/77 14449 /proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=1468 CPUtime=0 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 193130637 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711168 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 367 165 130 317 0 46 0 [startup+0.0345899 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14449 /proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=2128 CPUtime=0.03 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 340 0 0 0 3 0 0 0 18 0 1 0 193130637 2179072 322 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 532 322 130 317 0 211 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2128 [startup+0.102598 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14449 /proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=3580 CPUtime=0.09 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 193130637 3665920 678 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 895 678 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301616 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14449 /proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=6972 CPUtime=0.29 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1543 0 0 0 29 0 0 0 20 0 1 0 193130637 7139328 1525 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 1743 1525 138 317 0 1422 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6972 [startup+0.702658 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14449 /proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=7124 CPUtime=0.69 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1575 0 0 0 69 0 0 0 24 0 1 0 193130637 7294976 1557 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 1781 1557 139 317 0 1460 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7124 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1783072/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=8048 CPUtime=1.49 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1833 0 0 0 149 0 0 0 25 0 1 0 193130637 8241152 1682 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 2012 1682 139 317 0 1691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8048 [startup+3.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1782304/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=8048 CPUtime=3.09 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1833 0 0 0 309 0 0 0 25 0 1 0 193130637 8241152 1682 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 2012 1682 139 317 0 1691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8048 [startup+6.30122 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1782248/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=8048 CPUtime=6.28 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1833 0 0 0 628 0 0 0 25 0 1 0 193130637 8241152 1682 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 2012 1682 139 317 0 1691 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8048 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1782120/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=8208 CPUtime=12.68 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1858 0 0 0 1268 0 0 0 25 0 1 0 193130637 8404992 1707 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 2052 1707 139 317 0 1731 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8208 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1781480/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=9096 CPUtime=25.49 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 2038 0 0 0 2548 1 0 0 25 0 1 0 193130637 9314304 1887 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284135 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 2274 1887 139 317 0 1953 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9096 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1780200/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=10676 CPUtime=51.08 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 2352 0 0 0 5107 1 0 0 25 0 1 0 193130637 10932224 2201 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 2669 2201 139 317 0 2348 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10676 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1776296/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=14928 CPUtime=102.27 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 3337 0 0 0 10225 2 0 0 25 0 1 0 193130637 15286272 3186 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 3732 3186 139 317 0 3411 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14928 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1772264/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=19452 CPUtime=162.25 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 4331 0 0 0 16222 3 0 0 25 0 1 0 193130637 19918848 4180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 4863 4180 139 317 0 4542 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19452 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1768232/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=24036 CPUtime=222.22 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 5326 0 0 0 22219 3 0 0 25 0 1 0 193130637 24612864 5175 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 6009 5175 139 317 0 5688 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 24036 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14450 /proc/meminfo: memFree=1764264/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=28516 CPUtime=282.21 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 6311 0 0 0 28217 4 0 0 25 0 1 0 193130637 29200384 6160 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 7129 6160 139 317 0 6808 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28516 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 14532 /proc/meminfo: memFree=1758520/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=33620 CPUtime=342.17 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 7467 0 0 0 34209 8 0 0 25 0 1 0 193130637 34426880 7316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 8405 7316 139 317 0 8084 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 33620 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1753832/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=40148 CPUtime=402.09 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 8921 0 0 0 40199 10 0 0 25 0 1 0 193130637 41111552 8770 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 10037 8770 139 317 0 9716 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 40148 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1746792/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=46684 CPUtime=462.06 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 10647 0 0 0 46195 11 0 0 25 0 1 0 193130637 47804416 10496 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 11671 10496 139 317 0 11350 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 46684 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1739560/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=55240 CPUtime=522.05 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 12526 0 0 0 52191 14 0 0 25 0 1 0 193130637 56565760 12375 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563372 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 13810 12375 139 317 0 13489 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 55240 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1729128/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=65032 CPUtime=582.03 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 15113 0 0 0 58187 16 0 0 25 0 1 0 193130637 66592768 14962 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 16258 14962 139 317 0 15937 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 65032 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1716072/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=80412 CPUtime=642.02 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 19048 0 0 0 64183 19 0 0 25 0 1 0 193130637 82341888 18171 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 20103 18171 139 317 0 19782 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 80412 ################ # More data... # ################ [startup+822.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1702760/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=94616 CPUtime=821.97 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 22665 0 0 0 82175 22 0 0 25 0 1 0 193130637 96886784 21524 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710797 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 23654 21524 139 317 0 23333 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 94616 [startup+882.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1700456/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=97068 CPUtime=881.95 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 23211 0 0 0 88172 23 0 0 25 0 1 0 193130637 99397632 22070 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 24267 22070 139 317 0 23946 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 97068 [startup+942.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 14648 /proc/meminfo: memFree=1697960/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=99660 CPUtime=941.94 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 23841 0 0 0 94170 24 0 0 25 0 1 0 193130637 102051840 22700 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 24915 22700 139 317 0 24594 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 99660 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 14648 /proc/meminfo: memFree=1695912/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=101928 CPUtime=1001.92 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 24365 0 0 0 100168 24 0 0 25 0 1 0 193130637 104374272 23224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 25482 23224 139 317 0 25161 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 101928 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1693992/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=103904 CPUtime=1061.9 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 24849 0 0 0 106165 25 0 0 25 0 1 0 193130637 106397696 23708 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 25976 23708 139 317 0 25655 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 103904 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1691816/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=106232 CPUtime=1121.89 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 25385 0 0 0 112163 26 0 0 25 0 1 0 193130637 108781568 24244 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 26558 24244 139 317 0 26237 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 106232 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1689320/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=109148 CPUtime=1181.87 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 26029 0 0 0 118160 27 0 0 25 0 1 0 193130637 111767552 24888 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 27287 24888 139 317 0 26966 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 109148 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1686248/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=112008 CPUtime=1241.85 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 26773 0 0 0 124157 28 0 0 25 0 1 0 193130637 114696192 25632 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 28002 25632 139 317 0 27681 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 112008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1684712/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=113312 CPUtime=1301.83 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 27143 0 0 0 130154 29 0 0 25 0 1 0 193130637 116031488 26002 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 28328 26002 139 317 0 28007 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 113312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1683304/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=114632 CPUtime=1361.81 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 27497 0 0 0 136151 30 0 0 25 0 1 0 193130637 117383168 26356 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 28658 26356 139 317 0 28337 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 114632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1681384/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=116536 CPUtime=1421.81 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 27975 0 0 0 142149 32 0 0 25 0 1 0 193130637 119332864 26834 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 29134 26834 139 317 0 28813 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 116536 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1679336/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=118512 CPUtime=1481.78 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 28484 0 0 0 148146 32 0 0 25 0 1 0 193130637 121356288 27343 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 29628 27343 139 317 0 29307 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 118512 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1677352/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=120640 CPUtime=1541.76 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 29007 0 0 0 154143 33 0 0 25 0 1 0 193130637 123535360 27866 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 30160 27866 139 317 0 29839 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 120640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1675176/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=122644 CPUtime=1601.76 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 29541 0 0 0 160141 35 0 0 25 0 1 0 193130637 125587456 28400 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 30661 28400 139 317 0 30340 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 122644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1673192/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=124772 CPUtime=1661.73 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 30052 0 0 0 166138 35 0 0 25 0 1 0 193130637 127766528 28911 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563467 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 31193 28911 139 317 0 30872 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 124772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1671272/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=126608 CPUtime=1721.72 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 30540 0 0 0 172136 36 0 0 25 0 1 0 193130637 129646592 29399 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 31652 29399 139 317 0 31331 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 126608 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1668968/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=128576 CPUtime=1781.7 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 31096 0 0 0 178133 37 0 0 25 0 1 0 193130637 131661824 29955 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 32144 29955 139 317 0 31823 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 128576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14648 /proc/meminfo: memFree=1668200/2055920 swapFree=4159980/4192956 [pid=14449] ppid=14447 vsize=129356 CPUtime=1800.01 /proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 31285 0 0 0 179964 37 0 0 25 0 1 0 193130637 132460544 30144 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14449/statm: 32339 30144 139 317 0 32018 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 129356 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.05 CPU user time (s): 1799.65 CPU system time (s): 0.397939 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 129356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.397939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31301 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= 36571 runsolver used 2.04069 second user time and 4.35834 second system time The end
Begin job on node12 on Sat Apr 21 15:55:33 UTC 2007 IDJOB= 373133 IDBENCH= 25021 IDSOLVER= 172 FILE ID= node12/373133-1177170932 PBS_JOBID= 4648947 Free space on /tmp= 66381 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= oree /tmp/evaluation/373133-1177170932/instance-373133-1177170932.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-373133-1177170932 -o ROOT/results/node12/solver-373133-1177170932 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373133-1177170932/instance-373133-1177170932.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED= 530488966 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1789312 kB Buffers: 70860 kB Cached: 117780 kB SwapCached: 11484 kB Active: 114520 kB Inactive: 97888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789312 kB SwapTotal: 4192956 kB SwapFree: 4159980 kB Dirty: 1864 kB Writeback: 0 kB Mapped: 29988 kB Slab: 39796 kB Committed_AS: 6048000 kB PageTables: 1792 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= 66381 MiB End job on node12 on Sat Apr 21 16:25:35 UTC 2007