Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb |
MD5SUM | f7dd1b6b0a4946caf4c26a82905ed8fe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -34 |
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 | -34 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12520 |
Sum of products size (including duplicates) | 25040 |
Number of different products | 6260 |
Sum of products size | 12520 |
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.10 c ...done 0.09/0.10 c #vars=6660 #constraints=13123 hasObjective=yes 0.09/0.16 c res. mode=mod 0.09/0.16 c VSIDS like heuristics 0.09/0.16 c complete search running 0.68/0.78 c restart after 401 decisions 0.78/0.82 c nbDecision=500 #constraints=13401 1.39/1.44 c restart after 801 decisions 1.69/1.72 c nbDecision=1000 #constraints=13732 2.78/2.90 c nbDecision=1500 #constraints=14177 3.09/3.15 c restart after 1601 decisions 3.99/4.04 c nbDecision=2000 #constraints=14518 5.39/5.49 c nbDecision=2500 #constraints=14927 6.79/6.89 c nbDecision=3000 #constraints=15300 7.49/7.50 c restart after 3201 decisions 8.59/8.66 c nbDecision=3500 #constraints=15636 10.39/10.41 c nbDecision=4000 #constraints=16058 12.19/12.25 c nbDecision=4500 #constraints=16493 14.39/14.46 c nbDecision=5000 #constraints=16877 16.79/16.82 c nbDecision=5500 #constraints=17268 19.49/19.53 c nbDecision=6000 #constraints=17627 21.79/21.85 c restart after 6401 decisions 22.89/22.95 c nbDecision=6500 #constraints=17912 26.28/26.37 c nbDecision=7000 #constraints=18214 30.18/30.20 c nbDecision=7500 #constraints=18483 34.58/34.64 c nbDecision=8000 #constraints=18720 37.18/37.23 c nbDecision=8500 #constraints=19184 40.18/40.23 c nbDecision=9000 #constraints=19613 42.78/42.83 c nbDecision=9500 #constraints=20079 45.38/45.42 c nbDecision=10000 #constraints=20556 48.48/48.53 c nbDecision=10500 #constraints=20996 51.47/51.50 c nbDecision=11000 #constraints=21454 55.17/55.27 c nbDecision=11500 #constraints=21878 58.77/58.88 c nbDecision=12000 #constraints=22305 62.58/62.63 c nbDecision=12500 #constraints=22740 65.37/65.47 c restart after 12801 decisions 68.37/68.45 c nbDecision=13000 #constraints=23066 72.77/72.83 c nbDecision=13500 #constraints=23477 77.97/78.10 c nbDecision=14000 #constraints=23856 85.87/85.93 c nbDecision=14500 #constraints=24126 90.17/90.30 c nbDecision=15000 #constraints=24575 95.07/95.11 c nbDecision=15500 #constraints=25009 100.26/100.30 c nbDecision=16000 #constraints=25427 106.16/106.23 c nbDecision=16500 #constraints=25824 112.16/112.26 c nbDecision=17000 #constraints=26226 119.06/119.11 c nbDecision=17500 #constraints=26598 126.06/126.18 c nbDecision=18000 #constraints=26971 132.65/132.71 c nbDecision=18500 #constraints=27365 140.05/140.19 c nbDecision=19000 #constraints=27735 147.95/148.04 c nbDecision=19500 #constraints=28101 156.94/157.05 c nbDecision=20000 #constraints=28421 165.85/165.91 c nbDecision=20500 #constraints=28763 173.65/173.73 c nbDecision=21000 #constraints=29142 182.94/183.04 c nbDecision=21500 #constraints=29477 193.24/193.31 c nbDecision=22000 #constraints=29780 202.44/202.58 c nbDecision=22500 #constraints=30126 213.63/213.76 c nbDecision=23000 #constraints=30429 223.13/223.23 c nbDecision=23500 #constraints=30792 232.42/232.56 c nbDecision=24000 #constraints=31157 241.03/241.15 c nbDecision=24500 #constraints=31555 247.72/247.81 c nbDecision=25000 #constraints=31988 256.02/256.12 c nbDecision=25500 #constraints=32392 258.02/258.14 c restart after 25601 decisions 266.12/266.29 c nbDecision=26000 #constraints=32738 274.61/274.72 c nbDecision=26500 #constraints=33147 285.22/285.30 c nbDecision=27000 #constraints=33508 295.61/295.77 c nbDecision=27500 #constraints=33875 305.31/305.40 c nbDecision=28000 #constraints=34283 320.90/321.05 c nbDecision=28500 #constraints=34555 332.70/332.83 c nbDecision=29000 #constraints=34938 345.60/345.76 c nbDecision=29500 #constraints=35275 355.09/355.25 c nbDecision=30000 #constraints=35695 368.69/368.84 c nbDecision=30500 #constraints=36026 381.29/381.44 c nbDecision=31000 #constraints=36400 390.49/390.66 c nbDecision=31500 #constraints=36835 399.38/399.56 c nbDecision=32000 #constraints=37270 408.98/409.13 c nbDecision=32500 #constraints=37705 420.88/421.09 c nbDecision=33000 #constraints=38089 432.68/432.89 c nbDecision=33500 #constraints=38477 446.57/446.77 c nbDecision=34000 #constraints=38849 466.77/466.90 c nbDecision=34500 #constraints=39077 482.86/483.05 c nbDecision=35000 #constraints=39428 493.56/493.75 c nbDecision=35500 #constraints=39869 504.36/504.57 c nbDecision=36000 #constraints=40315 515.85/516.02 c nbDecision=36500 #constraints=40725 527.15/527.36 c nbDecision=37000 #constraints=41153 537.85/538.05 c nbDecision=37500 #constraints=41589 550.04/550.30 c nbDecision=38000 #constraints=42020 568.03/568.25 c nbDecision=38500 #constraints=42353 582.03/582.23 c nbDecision=39000 #constraints=42744 595.23/595.49 c nbDecision=39500 #constraints=43160 610.33/610.55 c nbDecision=40000 #constraints=43552 633.43/633.63 c nbDecision=40500 #constraints=43827 654.42/654.63 c nbDecision=41000 #constraints=44137 668.81/669.06 c nbDecision=41500 #constraints=44557 687.01/687.23 c nbDecision=42000 #constraints=44914 699.30/699.57 c nbDecision=42500 #constraints=45367 713.70/714.00 c nbDecision=43000 #constraints=45779 729.79/730.03 c nbDecision=43500 #constraints=46180 745.79/746.07 c nbDecision=44000 #constraints=46587 763.19/763.42 c nbDecision=44500 #constraints=46987 781.89/782.14 c nbDecision=45000 #constraints=47365 799.87/800.15 c nbDecision=45500 #constraints=47743 819.77/820.04 c nbDecision=46000 #constraints=48109 839.46/839.73 c nbDecision=46500 #constraints=48486 865.25/865.59 c nbDecision=47000 #constraints=48779 883.75/884.06 c nbDecision=47500 #constraints=49203 897.54/897.88 c nbDecision=48000 #constraints=49662 911.24/911.50 c nbDecision=48500 #constraints=50104 926.24/926.60 c nbDecision=49000 #constraints=50547 945.33/945.66 c nbDecision=49500 #constraints=50941 971.83/972.17 c nbDecision=50000 #constraints=51280 1003.52/1003.85 c nbDecision=50500 #constraints=51487 1044.71/1045.08 c nbDecision=51000 #constraints=51660 1052.31/1052.63 c restart after 51201 decisions 1069.90/1070.30 c nbDecision=51500 #constraints=51992 1097.50/1097.88 c nbDecision=52000 #constraints=52346 1119.89/1120.25 c nbDecision=52500 #constraints=52708 1135.29/1135.60 c nbDecision=53000 #constraints=53169 1152.78/1153.14 c nbDecision=53500 #constraints=53604 1171.28/1171.67 c nbDecision=54000 #constraints=54040 1194.38/1194.77 c nbDecision=54500 #constraints=54388 1217.16/1217.53 c nbDecision=55000 #constraints=54778 1240.66/1241.05 c nbDecision=55500 #constraints=55139 1270.95/1271.34 c nbDecision=56000 #constraints=55430 1295.94/1296.31 c nbDecision=56500 #constraints=55798 1323.33/1323.72 c nbDecision=57000 #constraints=56167 1363.02/1363.41 c nbDecision=57500 #constraints=56463 1385.61/1386.01 c nbDecision=58000 #constraints=56876 1406.81/1407.28 c nbDecision=58500 #constraints=57294 1435.11/1435.58 c nbDecision=59000 #constraints=57655 1461.39/1461.82 c nbDecision=59500 #constraints=58062 1484.79/1485.22 c nbDecision=60000 #constraints=58479 1510.49/1510.95 c nbDecision=60500 #constraints=58866 1541.87/1542.32 c nbDecision=61000 #constraints=59208 1576.76/1577.24 c nbDecision=61500 #constraints=59577 1602.96/1603.48 c nbDecision=62000 #constraints=60000 1631.55/1632.07 c nbDecision=62500 #constraints=60399 1663.54/1664.01 c nbDecision=63000 #constraints=60785 1692.03/1692.56 c nbDecision=63500 #constraints=61183 1716.92/1717.42 c nbDecision=64000 #constraints=61620 1748.72/1749.30 c nbDecision=64500 #constraints=61986 1777.12/1777.68 c nbDecision=65000 #constraints=62400 1800.01/1800.50 Received signal 15 1800.01/1800.52 1800.01/1800.52 s UNKNOWN 1800.01/1800.52 1800.01/1800.52 c user time= 1799.22 s 1800.01/1800.52 c system time= 0.816875 s 1800.01/1800.52 c wall clock time=1800.53
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455720-1178047826/instance-455720-1178047826.opb mv /tmp/evaluation/455720-1178047826/instance-455720-1178047826.opb.tmp /tmp/evaluation/455720-1178047826/instance-455720-1178047826.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-455720-1178047826 -o ROOT/results/node74/solver-455720-1178047826 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455720-1178047826/instance-455720-1178047826.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.93 1.00 0.99 3/66 28453 /proc/meminfo: memFree=1864336/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=1468 CPUtime=0 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 252697385 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 367 167 131 317 0 46 0 [startup+0.102013 s] /proc/loadavg: 0.93 1.00 0.99 3/66 28453 /proc/meminfo: memFree=1864336/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=4576 CPUtime=0.09 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 940 0 0 0 9 0 0 0 18 0 1 0 252697385 4685824 923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 1144 924 132 317 0 823 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4576 [startup+0.202024 s] /proc/loadavg: 0.93 1.00 0.99 3/66 28453 /proc/meminfo: memFree=1864336/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=7280 CPUtime=0.19 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 1644 0 0 0 19 0 0 0 19 0 1 0 252697385 7454720 1537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 1820 1537 139 317 0 1499 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7280 [startup+0.301036 s] /proc/loadavg: 0.93 1.00 0.99 3/66 28453 /proc/meminfo: memFree=1864336/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=7544 CPUtime=0.29 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 1689 0 0 0 29 0 0 0 19 0 1 0 252697385 7725056 1582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 1886 1582 139 317 0 1565 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7544 [startup+0.701082 s] /proc/loadavg: 0.93 1.00 0.99 3/66 28453 /proc/meminfo: memFree=1864336/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=9524 CPUtime=0.68 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 2194 0 0 0 68 0 0 0 22 0 1 0 252697385 9752576 2087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 2381 2087 139 317 0 2060 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9524 [startup+1.50117 s] /proc/loadavg: 0.93 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1855304/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=12460 CPUtime=1.49 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 2952 0 0 0 148 1 0 0 25 0 1 0 252697385 12759040 2845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 3115 2845 139 317 0 2794 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12460 [startup+3.10236 s] /proc/loadavg: 0.93 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1851080/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=18928 CPUtime=3.09 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 4480 0 0 0 307 2 0 0 25 0 1 0 252697385 19382272 4373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 4732 4373 139 317 0 4411 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18928 [startup+6.30173 s] /proc/loadavg: 0.94 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1841544/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=25924 CPUtime=6.29 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 6301 0 0 0 625 4 0 0 25 0 1 0 252697385 26546176 6194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 6481 6194 139 317 0 6160 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25924 [startup+12.7015 s] /proc/loadavg: 0.94 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1826704/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=40388 CPUtime=12.68 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 9846 0 0 0 1263 5 0 0 25 0 1 0 252697385 41357312 9739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 10097 9739 139 317 0 9776 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40388 [startup+25.5019 s] /proc/loadavg: 0.95 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1809744/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=58572 CPUtime=25.48 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 13835 0 0 0 2540 8 0 0 25 0 1 0 252697385 59977728 13728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 14643 13728 139 317 0 14322 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58572 [startup+51.1019 s] /proc/loadavg: 0.97 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1781968/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=84244 CPUtime=51.08 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 20919 0 0 0 5096 12 0 0 25 0 1 0 252697385 86265856 20812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 21061 20812 139 317 0 20740 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 84244 [startup+102.302 s] /proc/loadavg: 0.98 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1739856/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=129296 CPUtime=102.26 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 31254 0 0 0 10208 18 0 0 25 0 1 0 252697385 132399104 31147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 32324 31147 139 317 0 32003 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 129296 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1712656/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=154776 CPUtime=162.25 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 38288 0 0 0 16202 23 0 0 25 0 1 0 252697385 158490624 38001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 38694 38001 139 317 0 38373 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 154776 [startup+222.306 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1689680/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=195968 CPUtime=222.24 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 47434 0 0 0 22196 28 0 0 25 0 1 0 252697385 200671232 43649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 48992 43649 139 317 0 48671 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 195968 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1665616/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=217300 CPUtime=282.22 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 53567 0 0 0 28191 31 0 0 25 0 1 0 252697385 222515200 49749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 54325 49749 139 317 0 54004 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 217300 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1650256/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=230324 CPUtime=342.2 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 57331 0 0 0 34187 33 0 0 25 0 1 0 252697385 235851776 53513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 57581 53513 139 317 0 57260 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 230324 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1629200/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=249124 CPUtime=402.19 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 62714 0 0 0 40182 37 0 0 25 0 1 0 252697385 255102976 58896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 62281 58896 139 317 0 61960 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 249124 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1613392/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=262024 CPUtime=462.17 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 66505 0 0 0 46178 39 0 0 25 0 1 0 252697385 268312576 62687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 65506 62687 139 317 0 65185 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 262024 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1595984/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=277800 CPUtime=522.15 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 70930 0 0 0 52172 43 0 0 25 0 1 0 252697385 284467200 67112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 69450 67112 139 317 0 69129 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 277800 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1579472/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=291604 CPUtime=582.13 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 74992 0 0 0 58168 45 0 0 25 0 1 0 252697385 298602496 71174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 72901 71174 139 317 0 72580 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 291604 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28454 /proc/meminfo: memFree=1569616/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=300076 CPUtime=642.12 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 77411 0 0 0 64165 47 0 0 25 0 1 0 252697385 307277824 73593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 75019 73593 139 317 0 74698 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 300076 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1518288/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=389588 CPUtime=882.06 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 100184 0 0 0 88147 59 0 0 25 0 1 0 252697385 398938112 86356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 97397 86356 139 317 0 97076 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 389588 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1501968/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=403956 CPUtime=942.03 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 104270 0 0 0 94142 61 0 0 25 0 1 0 252697385 413650944 90442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 100989 90442 139 317 0 100668 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 403956 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1496720/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=408416 CPUtime=1002.02 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 105565 0 0 0 100140 62 0 0 25 0 1 0 252697385 418217984 91737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 102104 91737 139 317 0 101783 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 408416 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1493072/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=411312 CPUtime=1062.01 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 106469 0 0 0 106138 63 0 0 25 0 1 0 252697385 421183488 92641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 102828 92641 139 317 0 102507 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 411312 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1484432/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=420000 CPUtime=1121.99 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 108998 0 0 0 112135 64 0 0 25 0 1 0 252697385 430080000 94811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 105000 94811 139 317 0 104679 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 420000 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1472144/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=430876 CPUtime=1181.97 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 112087 0 0 0 118131 66 0 0 25 0 1 0 252697385 441217024 97900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 107719 97900 139 317 0 107398 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 430876 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1462096/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=439472 CPUtime=1241.96 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 114571 0 0 0 124128 68 0 0 25 0 1 0 252697385 450019328 100384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 109868 100384 139 317 0 109547 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 439472 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1455696/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=445400 CPUtime=1301.94 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 116378 0 0 0 130125 69 0 0 25 0 1 0 252697385 456089600 102191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604372 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 111350 102191 139 317 0 111029 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 445400 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1450448/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=449496 CPUtime=1361.92 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 117451 0 0 0 136122 70 0 0 25 0 1 0 252697385 460283904 103264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 112374 103264 139 317 0 112053 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 449496 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1441296/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=457572 CPUtime=1421.91 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 119738 0 0 0 142120 71 0 0 25 0 1 0 252697385 468553728 105551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 114393 105551 139 317 0 114072 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 457572 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1432272/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=465192 CPUtime=1481.89 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 121988 0 0 0 148116 73 0 0 25 0 1 0 252697385 476356608 107801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 116298 107801 139 317 0 115977 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 465192 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1424464/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=471612 CPUtime=1541.87 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 123930 0 0 0 154113 74 0 0 25 0 1 0 252697385 482930688 109743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 117903 109743 139 317 0 117582 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 471612 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1417872/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=477544 CPUtime=1601.86 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 125612 0 0 0 160110 76 0 0 25 0 1 0 252697385 489005056 111425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 119386 111425 139 317 0 119065 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 477544 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1410320/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=483620 CPUtime=1661.84 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 127468 0 0 0 166107 77 0 0 25 0 1 0 252697385 495226880 113281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 120905 113281 139 317 0 120584 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 483620 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1402000/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=491328 CPUtime=1721.82 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 129525 0 0 0 172103 79 0 0 25 0 1 0 252697385 503119872 115338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 122832 115338 139 317 0 122511 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 491328 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1394064/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=498280 CPUtime=1781.81 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 131538 0 0 0 178100 81 0 0 25 0 1 0 252697385 510238720 117351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 124570 117351 139 317 0 124249 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 498280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1392720/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=499516 CPUtime=1800.01 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194304 131851 0 0 0 179920 81 0 0 25 0 1 0 252697385 511504384 117664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 124879 117664 139 317 0 124558 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 499516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28456 /proc/meminfo: memFree=1392720/2055920 swapFree=4183036/4192956 [pid=28453] ppid=28451 vsize=0 CPUtime=1800.11 /proc/28453/stat : 28453 (oree) R 28451 28453 28272 0 -1 4194308 131867 0 0 0 179923 88 0 0 25 0 1 0 252697385 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28453/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.13 CPU user time (s): 1799.23 CPU system time (s): 0.893864 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 499516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.893864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131867 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= 2102 runsolver used 1.24381 second user time and 3.75443 second system time The end
Begin job on node74 on Tue May 1 19:30:26 UTC 2007 IDJOB= 455720 IDBENCH= 48282 IDSOLVER= 172 FILE ID= node74/455720-1178047826 PBS_JOBID= 4728491 Free space on /tmp= 103244 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_4.opb COMMAND LINE= oree /tmp/evaluation/455720-1178047826/instance-455720-1178047826.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-455720-1178047826 -o ROOT/results/node74/conversion-455720-1178047826 -C 600 -M 1800 /tmp/evaluation/455720-1178047826/substituteSizeProductKeyword /tmp/evaluation/455720-1178047826/instance-455720-1178047826.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-455720-1178047826 -o ROOT/results/node74/solver-455720-1178047826 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455720-1178047826/instance-455720-1178047826.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe RANDOM SEED= 330570932 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1864808 kB Buffers: 51792 kB Cached: 69244 kB SwapCached: 2996 kB Active: 18460 kB Inactive: 113852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864808 kB SwapTotal: 4192956 kB SwapFree: 4183036 kB Dirty: 1460 kB Writeback: 0 kB Mapped: 15796 kB Slab: 44580 kB Committed_AS: 6764164 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103244 MiB End job on node74 on Tue May 1 20:00:29 UTC 2007