Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1801.49 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb |
MD5SUM | 7da351a6b3346c83b923d96056c07b3e |
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.04 |
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 | 12935 |
Total number of constraints | 47889 |
Number of constraints which are clauses | 47870 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 953 |
Number of terms in the objective function | 953 |
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 | 953 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 984 |
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.29/0.37 c ...done 0.29/0.37 c #vars=12935 #constraints=47890 hasObjective=yes 0.79/0.83 c res. mode=mod 0.79/0.83 c VSIDS like heuristics 0.79/0.83 c complete search running 4.69/4.73 c restart after 401 decisions 6.09/6.15 c nbDecision=500 #constraints=48108 9.97/10.05 c restart after 801 decisions 10.27/10.39 c nbDecision=1000 #constraints=48299 11.37/11.43 c nbDecision=1500 #constraints=48366 13.17/13.21 c restart after 1601 decisions 16.96/17.04 c nbDecision=2000 #constraints=48530 17.86/17.93 c nbDecision=2500 #constraints=48585 19.06/19.13 c nbDecision=3000 #constraints=48654 22.86/22.97 c restart after 3201 decisions 23.56/23.60 c nbDecision=3500 #constraints=48718 25.96/26.04 c nbDecision=4000 #constraints=48784 28.96/29.01 c nbDecision=4500 #constraints=48873 31.66/31.78 c nbDecision=5000 #constraints=48926 39.95/40.05 c nbDecision=5500 #constraints=49077 45.35/45.44 c nbDecision=6000 #constraints=49288 46.35/46.42 c restart after 6401 decisions 48.25/48.30 c nbDecision=6500 #constraints=49397 52.94/53.02 c nbDecision=7000 #constraints=49574 54.14/54.23 c nbDecision=7500 #constraints=49650 57.24/57.37 c nbDecision=8000 #constraints=49721 68.24/68.35 c nbDecision=8500 #constraints=49804 78.04/78.12 c nbDecision=9000 #constraints=49918 84.22/84.30 c nbDecision=9500 #constraints=49990 96.02/96.18 c nbDecision=10000 #constraints=50196 99.11/99.23 c nbDecision=10500 #constraints=50315 102.22/102.34 c nbDecision=11000 #constraints=50408 105.71/105.86 c nbDecision=11500 #constraints=50497 114.91/115.01 c nbDecision=12000 #constraints=50633 121.41/121.54 c nbDecision=12500 #constraints=50835 122.21/122.33 c restart after 12801 decisions 122.91/123.02 c nbDecision=13000 #constraints=50895 131.19/131.37 c nbDecision=13500 #constraints=50989 141.59/141.70 c nbDecision=14000 #constraints=51218 142.99/143.15 c nbDecision=14500 #constraints=51273 145.89/146.08 c nbDecision=15000 #constraints=51352 149.18/149.33 c nbDecision=15500 #constraints=51426 155.48/155.60 c nbDecision=16000 #constraints=51573 166.28/166.49 c nbDecision=16500 #constraints=51776 167.87/168.01 c nbDecision=17000 #constraints=51849 172.87/173.09 c nbDecision=17500 #constraints=51930 176.37/176.57 c nbDecision=18000 #constraints=51993 189.86/190.05 c nbDecision=18500 #constraints=52172 196.56/196.76 c nbDecision=19000 #constraints=52351 198.06/198.25 c nbDecision=19500 #constraints=52414 202.86/203.00 c nbDecision=20000 #constraints=52468 213.66/213.87 c nbDecision=20500 #constraints=52613 221.74/221.98 c nbDecision=21000 #constraints=52783 223.64/223.80 c nbDecision=21500 #constraints=52863 228.44/228.67 c nbDecision=22000 #constraints=52922 240.23/240.45 c nbDecision=22500 #constraints=53062 247.82/248.04 c nbDecision=23000 #constraints=53197 251.02/251.25 c nbDecision=23500 #constraints=53277 254.72/254.91 c nbDecision=24000 #constraints=53342 258.52/258.75 c nbDecision=24500 #constraints=53396 273.82/274.05 c nbDecision=25000 #constraints=53594 275.82/276.05 c nbDecision=25500 #constraints=53655 276.01/276.26 c restart after 25601 decisions 288.80/289.00 c nbDecision=26000 #constraints=53849 290.60/290.90 c nbDecision=26500 #constraints=53926 294.80/295.08 c nbDecision=27000 #constraints=53997 300.10/300.36 c nbDecision=27500 #constraints=54057 305.60/305.82 c nbDecision=28000 #constraints=54142 321.48/321.72 c nbDecision=28500 #constraints=54362 323.08/323.32 c nbDecision=29000 #constraints=54423 326.58/326.85 c nbDecision=29500 #constraints=54490 332.17/332.40 c nbDecision=30000 #constraints=54549 347.87/348.10 c nbDecision=30500 #constraints=54697 357.47/357.76 c nbDecision=31000 #constraints=54865 359.66/359.96 c nbDecision=31500 #constraints=54943 365.16/365.49 c nbDecision=32000 #constraints=55014 371.56/371.86 c nbDecision=32500 #constraints=55106 396.54/396.80 c nbDecision=33000 #constraints=55396 399.54/399.84 c nbDecision=33500 #constraints=55470 402.74/403.09 c nbDecision=34000 #constraints=55533 407.13/407.46 c nbDecision=34500 #constraints=55613 418.02/418.38 c nbDecision=35000 #constraints=55718 439.01/439.30 c nbDecision=35500 #constraints=55946 441.62/441.93 c nbDecision=36000 #constraints=56008 444.52/444.88 c nbDecision=36500 #constraints=56052 450.81/451.11 c nbDecision=37000 #constraints=56140 468.70/469.03 c nbDecision=37500 #constraints=56304 480.49/480.85 c nbDecision=38000 #constraints=56473 482.69/483.02 c nbDecision=38500 #constraints=56548 489.19/489.52 c nbDecision=39000 #constraints=56630 493.59/493.93 c nbDecision=39500 #constraints=56694 517.96/518.33 c nbDecision=40000 #constraints=56939 523.57/523.96 c nbDecision=40500 #constraints=57032 528.77/529.18 c nbDecision=41000 #constraints=57140 535.16/535.52 c nbDecision=41500 #constraints=57211 551.84/552.24 c nbDecision=42000 #constraints=57373 568.74/569.16 c nbDecision=42500 #constraints=57593 570.73/571.18 c nbDecision=43000 #constraints=57653 577.63/578.00 c nbDecision=43500 #constraints=57730 581.03/581.44 c nbDecision=44000 #constraints=57784 600.40/600.82 c nbDecision=44500 #constraints=57943 611.81/612.21 c nbDecision=45000 #constraints=58087 613.91/614.32 c nbDecision=45500 #constraints=58153 622.90/623.36 c nbDecision=46000 #constraints=58241 628.00/628.46 c nbDecision=46500 #constraints=58317 654.08/654.54 c nbDecision=47000 #constraints=58541 656.97/657.47 c nbDecision=47500 #constraints=58594 661.37/661.82 c nbDecision=48000 #constraints=58669 666.07/666.58 c nbDecision=48500 #constraints=58746 676.66/677.12 c nbDecision=49000 #constraints=58834 703.75/704.24 c nbDecision=49500 #constraints=59085 706.54/707.06 c nbDecision=50000 #constraints=59144 710.94/711.50 c nbDecision=50500 #constraints=59226 715.54/716.02 c nbDecision=51000 #constraints=59277 718.44/718.91 c restart after 51201 decisions 737.42/737.91 c nbDecision=51500 #constraints=59425 745.71/746.23 c nbDecision=52000 #constraints=59532 749.51/750.10 c nbDecision=52500 #constraints=59589 754.71/755.27 c nbDecision=53000 #constraints=59664 774.51/775.09 c nbDecision=53500 #constraints=59843 791.30/791.80 c nbDecision=54000 #constraints=60005 793.30/793.81 c nbDecision=54500 #constraints=60052 798.80/799.36 c nbDecision=55000 #constraints=60104 803.19/803.70 c nbDecision=55500 #constraints=60159 825.17/825.72 c nbDecision=56000 #constraints=60308 843.97/844.52 c nbDecision=56500 #constraints=60485 847.07/847.65 c nbDecision=57000 #constraints=60555 851.76/852.37 c nbDecision=57500 #constraints=60612 861.46/862.03 c nbDecision=58000 #constraints=60716 894.13/894.78 c nbDecision=58500 #constraints=60956 897.22/897.82 c nbDecision=59000 #constraints=61007 901.43/902.04 c nbDecision=59500 #constraints=61064 907.11/907.74 c nbDecision=60000 #constraints=61128 923.01/923.67 c nbDecision=60500 #constraints=61235 945.80/946.42 c nbDecision=61000 #constraints=61397 948.60/949.26 c nbDecision=61500 #constraints=61451 951.69/952.40 c nbDecision=62000 #constraints=61497 978.77/979.42 c nbDecision=62500 #constraints=61637 1011.25/1011.95 c nbDecision=63000 #constraints=61850 1014.84/1015.53 c nbDecision=63500 #constraints=61901 1018.74/1019.50 c nbDecision=64000 #constraints=61948 1022.44/1023.10 c nbDecision=64500 #constraints=61996 1046.82/1047.53 c nbDecision=65000 #constraints=62153 1067.01/1067.76 c nbDecision=65500 #constraints=62340 1070.31/1071.04 c nbDecision=66000 #constraints=62415 1078.71/1079.44 c nbDecision=66500 #constraints=62498 1098.09/1098.89 c nbDecision=67000 #constraints=62618 1119.58/1120.30 c nbDecision=67500 #constraints=62776 1123.18/1123.95 c nbDecision=68000 #constraints=62842 1130.57/1131.40 c nbDecision=68500 #constraints=62909 1147.26/1148.05 c nbDecision=69000 #constraints=63044 1174.25/1175.04 c nbDecision=69500 #constraints=63226 1176.94/1177.72 c nbDecision=70000 #constraints=63274 1183.64/1184.41 c nbDecision=70500 #constraints=63333 1189.53/1190.36 c nbDecision=71000 #constraints=63407 1212.62/1213.49 c nbDecision=71500 #constraints=63570 1227.51/1228.34 c nbDecision=72000 #constraints=63691 1231.50/1232.32 c nbDecision=72500 #constraints=63782 1239.20/1240.07 c nbDecision=73000 #constraints=63847 1245.60/1246.47 c nbDecision=73500 #constraints=63914 1278.97/1279.80 c nbDecision=74000 #constraints=64112 1289.87/1290.71 c nbDecision=74500 #constraints=64208 1294.57/1295.40 c nbDecision=75000 #constraints=64267 1299.66/1300.51 c nbDecision=75500 #constraints=64320 1308.96/1309.86 c nbDecision=76000 #constraints=64438 1338.94/1339.88 c nbDecision=76500 #constraints=64595 1342.04/1342.97 c nbDecision=77000 #constraints=64657 1349.73/1350.64 c nbDecision=77500 #constraints=64721 1356.13/1357.02 c nbDecision=78000 #constraints=64781 1378.41/1379.35 c nbDecision=78500 #constraints=64923 1397.60/1398.56 c nbDecision=79000 #constraints=65068 1402.00/1402.99 c nbDecision=79500 #constraints=65126 1407.50/1408.47 c nbDecision=80000 #constraints=65173 1413.30/1414.28 c nbDecision=80500 #constraints=65226 1441.58/1442.57 c nbDecision=81000 #constraints=65420 1464.66/1465.69 c nbDecision=81500 #constraints=65570 1470.06/1471.04 c nbDecision=82000 #constraints=65635 1475.26/1476.29 c nbDecision=82500 #constraints=65679 1483.55/1484.51 c nbDecision=83000 #constraints=65750 1519.12/1520.18 c nbDecision=83500 #constraints=65957 1523.52/1524.60 c nbDecision=84000 #constraints=66022 1535.12/1536.10 c nbDecision=84500 #constraints=66118 1546.11/1547.12 c nbDecision=85000 #constraints=66232 1575.09/1576.10 c nbDecision=85500 #constraints=66384 1580.48/1581.52 c nbDecision=86000 #constraints=66457 1588.07/1589.18 c nbDecision=86500 #constraints=66559 1596.67/1597.78 c nbDecision=87000 #constraints=66634 1641.84/1642.94 c nbDecision=87500 #constraints=66906 1646.13/1647.28 c nbDecision=88000 #constraints=66980 1651.93/1653.06 c nbDecision=88500 #constraints=67046 1666.72/1667.83 c nbDecision=89000 #constraints=67127 1692.61/1693.74 c nbDecision=89500 #constraints=67286 1708.50/1709.66 c nbDecision=90000 #constraints=67389 1715.00/1716.17 c nbDecision=90500 #constraints=67471 1721.30/1722.41 c nbDecision=91000 #constraints=67524 1739.48/1740.65 c nbDecision=91500 #constraints=67633 1767.67/1768.86 c nbDecision=92000 #constraints=67781 1772.76/1773.92 c nbDecision=92500 #constraints=67858 1778.66/1779.88 c nbDecision=93000 #constraints=67911 1789.46/1790.64 c nbDecision=93500 #constraints=67994 1800.06/1801.20 Received signal 15 1800.25/1801.45 1800.25/1801.45 s UNKNOWN 1800.25/1801.45 1800.25/1801.45 c user time= 1799.97 s 1800.25/1801.45 c system time= 0.340948 s 1800.25/1801.45 c wall clock time=1801.46
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-373035-1177159505 -o ROOT/results/node15/solver-373035-1177159505 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373035-1177159505/instance-373035-1177159505.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.95 0.99 0.99 3/77 10912 /proc/meminfo: memFree=1734520/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=1468 CPUtime=0 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 163868172 1503232 166 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 367 166 130 317 0 46 0 [startup+0.0445961 s] /proc/loadavg: 0.95 0.99 0.99 3/77 10912 /proc/meminfo: memFree=1734520/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=2396 CPUtime=0.04 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 407 0 0 0 4 0 0 0 18 0 1 0 163868172 2453504 389 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 599 389 130 317 0 278 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2396 [startup+0.1016 s] /proc/loadavg: 0.95 0.99 0.99 3/77 10912 /proc/meminfo: memFree=1734520/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=3716 CPUtime=0.09 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 163868172 3805184 706 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 929 706 130 317 0 608 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3716 [startup+0.301617 s] /proc/loadavg: 0.95 0.99 0.99 3/77 10912 /proc/meminfo: memFree=1734520/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=8200 CPUtime=0.29 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 1874 0 0 0 29 0 0 0 19 0 1 0 163868172 8396800 1823 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 2050 1823 130 317 0 1729 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8200 [startup+0.701654 s] /proc/loadavg: 0.95 0.99 0.99 3/77 10912 /proc/meminfo: memFree=1734520/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=14688 CPUtime=0.69 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 3520 0 0 0 68 1 0 0 23 0 1 0 163868172 15040512 3469 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 3672 3469 137 317 0 3351 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14688 [startup+1.50173 s] /proc/loadavg: 0.95 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1719216/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=17712 CPUtime=1.49 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 4270 0 0 0 148 1 0 0 25 0 1 0 163868172 18137088 3891 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712482 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 4428 3891 139 317 0 4107 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17712 [startup+3.10188 s] /proc/loadavg: 0.95 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1719088/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=17712 CPUtime=3.09 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 4270 0 0 0 308 1 0 0 25 0 1 0 163868172 18137088 3891 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 4428 3891 139 317 0 4107 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17712 [startup+6.30117 s] /proc/loadavg: 0.95 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1718960/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=17712 CPUtime=6.29 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 4270 0 0 0 628 1 0 0 25 0 1 0 163868172 18137088 3891 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604028 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 4428 3891 139 317 0 4107 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17712 [startup+12.7018 s] /proc/loadavg: 0.96 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1718576/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=18104 CPUtime=12.66 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 4359 0 0 0 1265 1 0 0 25 0 1 0 163868172 18538496 3980 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 4526 3980 139 317 0 4205 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 18104 [startup+25.5019 s] /proc/loadavg: 0.97 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1717232/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=19712 CPUtime=25.46 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 4759 0 0 0 2545 1 0 0 25 0 1 0 163868172 20185088 4380 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 4928 4380 139 317 0 4607 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 19712 [startup+51.1013 s] /proc/loadavg: 0.98 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1714416/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=22628 CPUtime=51.05 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 5493 0 0 0 5103 2 0 0 25 0 1 0 163868172 23171072 5114 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 5657 5114 139 317 0 5336 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 22628 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1708784/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=28236 CPUtime=102.22 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 6851 0 0 0 10220 2 0 0 25 0 1 0 163868172 28913664 6472 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 7059 6472 139 317 0 6738 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 28236 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1702640/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=34332 CPUtime=162.18 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 8415 0 0 0 16214 4 0 0 25 0 1 0 163868172 35155968 8036 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 8583 8036 139 317 0 8262 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 34332 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1697008/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=40316 CPUtime=222.14 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 9799 0 0 0 22209 5 0 0 25 0 1 0 163868172 41283584 9420 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 10079 9420 139 317 0 9758 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 40316 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1692528/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=44732 CPUtime=282.11 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 10922 0 0 0 28205 6 0 0 25 0 1 0 163868172 45805568 10543 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 11183 10543 139 317 0 10862 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 44732 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 10913 /proc/meminfo: memFree=1687920/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=49000 CPUtime=342.07 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 12051 0 0 0 34201 6 0 0 25 0 1 0 163868172 50176000 11672 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 12250 11672 139 317 0 11929 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 49000 [startup+402.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 10913 /proc/meminfo: memFree=1684016/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=52832 CPUtime=402.04 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 13028 0 0 0 40197 7 0 0 25 0 1 0 163868172 54099968 12649 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 13208 12649 139 317 0 12887 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 52832 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10913 /proc/meminfo: memFree=1679600/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=58732 CPUtime=462 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 14169 0 0 0 46192 8 0 0 25 0 1 0 163868172 60141568 13790 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 14683 13790 139 317 0 14362 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 58732 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10913 /proc/meminfo: memFree=1676592/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=61864 CPUtime=521.97 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 14941 0 0 0 52188 9 0 0 25 0 1 0 163868172 63348736 14562 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 15466 14562 139 317 0 15145 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 61864 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10913 /proc/meminfo: memFree=1672816/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=65388 CPUtime=581.93 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 15865 0 0 0 58184 9 0 0 25 0 1 0 163868172 66957312 15486 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272650 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 16347 15486 139 317 0 16026 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 65388 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10913 /proc/meminfo: memFree=1669296/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=68956 CPUtime=641.88 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 16738 0 0 0 64178 10 0 0 25 0 1 0 163868172 70610944 16359 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 17239 16359 139 317 0 16918 0 Current children cumulated CPU time (s) 641.88 Current children cumulated vsize (KiB) 68956 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10913 /proc/meminfo: memFree=1657584/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=80088 CPUtime=881.73 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 19621 0 0 0 88161 12 0 0 25 0 1 0 163868172 82010112 19242 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 20022 19242 139 317 0 19701 0 Current children cumulated CPU time (s) 881.73 Current children cumulated vsize (KiB) 80088 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10913 /proc/meminfo: memFree=1655344/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=82352 CPUtime=941.7 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 20202 0 0 0 94157 13 0 0 25 0 1 0 163868172 84328448 19823 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 20588 19823 139 317 0 20267 0 Current children cumulated CPU time (s) 941.7 Current children cumulated vsize (KiB) 82352 [startup+1002.3 s] /proc/loadavg: 1.05 1.01 1.00 2/84 11087 /proc/meminfo: memFree=1651376/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=84696 CPUtime=1001.65 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 20808 0 0 0 100140 25 0 0 25 0 1 0 163868172 86728704 20429 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 21174 20429 139 317 0 20853 0 Current children cumulated CPU time (s) 1001.65 Current children cumulated vsize (KiB) 84696 [startup+1062.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 11111 /proc/meminfo: memFree=1650288/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=86952 CPUtime=1061.61 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 21406 0 0 0 106133 28 0 0 25 0 1 0 163868172 89038848 21027 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 21738 21027 139 317 0 21417 0 Current children cumulated CPU time (s) 1061.61 Current children cumulated vsize (KiB) 86952 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1647984/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=89436 CPUtime=1121.58 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 22018 0 0 0 112130 28 0 0 25 0 1 0 163868172 91582464 21639 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 22359 21639 139 317 0 22038 0 Current children cumulated CPU time (s) 1121.58 Current children cumulated vsize (KiB) 89436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1645360/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=91940 CPUtime=1181.54 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 22681 0 0 0 118125 29 0 0 25 0 1 0 163868172 94146560 22302 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 22985 22302 139 317 0 22664 0 Current children cumulated CPU time (s) 1181.54 Current children cumulated vsize (KiB) 91940 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1642160/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=95152 CPUtime=1241.5 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 23457 0 0 0 124121 29 0 0 25 0 1 0 163868172 97435648 23078 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 23788 23078 139 317 0 23467 0 Current children cumulated CPU time (s) 1241.5 Current children cumulated vsize (KiB) 95152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1639984/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=100480 CPUtime=1301.47 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 24686 0 0 0 130117 30 0 0 25 0 1 0 163868172 102891520 23614 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 25120 23614 139 317 0 24799 0 Current children cumulated CPU time (s) 1301.47 Current children cumulated vsize (KiB) 100480 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1637872/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=102892 CPUtime=1361.42 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 25328 0 0 0 136112 30 0 0 25 0 1 0 163868172 105361408 24223 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 25723 24223 139 317 0 25402 0 Current children cumulated CPU time (s) 1361.42 Current children cumulated vsize (KiB) 102892 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1635504/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=104896 CPUtime=1421.4 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 25846 0 0 0 142109 31 0 0 25 0 1 0 163868172 107413504 24741 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 26224 24741 139 317 0 25903 0 Current children cumulated CPU time (s) 1421.4 Current children cumulated vsize (KiB) 104896 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1633776/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=107280 CPUtime=1481.35 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 26437 0 0 0 148104 31 0 0 25 0 1 0 163868172 109854720 25234 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 26820 25234 139 317 0 26499 0 Current children cumulated CPU time (s) 1481.35 Current children cumulated vsize (KiB) 107280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1631536/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=109200 CPUtime=1541.31 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 26937 0 0 0 154099 32 0 0 25 0 1 0 163868172 111820800 25734 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 27300 25734 139 317 0 26979 0 Current children cumulated CPU time (s) 1541.31 Current children cumulated vsize (KiB) 109200 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1629104/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=111660 CPUtime=1601.26 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 27553 0 0 0 160094 32 0 0 25 0 1 0 163868172 114339840 26350 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 27915 26350 139 317 0 27594 0 Current children cumulated CPU time (s) 1601.26 Current children cumulated vsize (KiB) 111660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1627120/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=113648 CPUtime=1661.23 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 28048 0 0 0 166091 32 0 0 25 0 1 0 163868172 116375552 26845 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 28412 26845 139 317 0 28091 0 Current children cumulated CPU time (s) 1661.23 Current children cumulated vsize (KiB) 113648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1625264/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=115492 CPUtime=1721.19 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 28522 0 0 0 172086 33 0 0 25 0 1 0 163868172 118263808 27319 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 28873 27319 139 317 0 28552 0 Current children cumulated CPU time (s) 1721.19 Current children cumulated vsize (KiB) 115492 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1622832/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=118040 CPUtime=1781.16 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 29113 0 0 0 178083 33 0 0 25 0 1 0 163868172 120872960 27910 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 29510 27910 139 317 0 29189 0 Current children cumulated CPU time (s) 1781.16 Current children cumulated vsize (KiB) 118040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1621744/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=119208 CPUtime=1800.06 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 29385 0 0 0 179972 34 0 0 25 0 1 0 163868172 122068992 28182 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 29802 28182 139 317 0 29481 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 119208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11111 /proc/meminfo: memFree=1621744/2055920 swapFree=4169120/4192956 [pid=10912] ppid=10910 vsize=119208 CPUtime=1800.25 /proc/10912/stat : 10912 (oree) R 10910 10912 10179 0 -1 4194304 29385 0 0 0 179991 34 0 0 25 0 1 0 163868172 122068992 28182 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10912/statm: 29802 28182 139 317 0 29481 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 119208 Child status: 0 Real time (s): 1801.49 CPU time (s): 1800.35 CPU user time (s): 1799.99 CPU system time (s): 0.358945 CPU usage (%): 99.9364 Max. virtual memory (cumulated for all children) (KiB): 119208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.358945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29401 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= 37927 runsolver used 1.74473 second user time and 4.83226 second system time The end
Begin job on node15 on Sat Apr 21 12:45:06 UTC 2007 IDJOB= 373035 IDBENCH= 25014 IDSOLVER= 172 FILE ID= node15/373035-1177159505 PBS_JOBID= 4648901 Free space on /tmp= 66485 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_7.opb COMMAND LINE= oree /tmp/evaluation/373035-1177159505/instance-373035-1177159505.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-373035-1177159505 -o ROOT/results/node15/solver-373035-1177159505 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373035-1177159505/instance-373035-1177159505.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e RANDOM SEED= 6405422 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1734928 kB Buffers: 56384 kB Cached: 190680 kB SwapCached: 2292 kB Active: 185340 kB Inactive: 85980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1734928 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 2680 kB Writeback: 0 kB Mapped: 30368 kB Slab: 35108 kB Committed_AS: 7013456 kB PageTables: 1868 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= 66485 MiB End job on node15 on Sat Apr 21 13:15:09 UTC 2007