Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.06 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb |
MD5SUM | 611c10fb20bc9774d31ac4d0681f384d |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 32.1831 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31412 |
Sum of products size (including duplicates) | 62824 |
Number of different products | 15706 |
Sum of products size | 31412 |
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.19/0.26 c ...done 0.19/0.26 c #vars=16706 #constraints=32915 hasObjective=no 0.29/0.32 c res. mode=mod 0.29/0.32 c VSIDS like heuristics 0.29/0.32 c complete search running 0.39/0.50 c restart after 401 decisions 0.49/0.53 c nbDecision=500 #constraints=32922 0.59/0.64 c restart after 801 decisions 0.69/0.72 c nbDecision=1000 #constraints=32924 0.89/0.92 c nbDecision=1500 #constraints=32930 0.89/0.97 c restart after 1601 decisions 1.10/1.14 c nbDecision=2000 #constraints=32938 1.29/1.38 c nbDecision=2500 #constraints=32957 1.59/1.63 c nbDecision=3000 #constraints=32966 1.69/1.72 c restart after 3201 decisions 1.79/1.87 c nbDecision=3500 #constraints=32974 1.99/2.09 c nbDecision=4000 #constraints=32978 2.29/2.32 c nbDecision=4500 #constraints=32985 2.59/2.61 c nbDecision=5000 #constraints=32998 2.79/2.84 c nbDecision=5500 #constraints=33006 3.09/3.18 c nbDecision=6000 #constraints=33026 3.29/3.38 c restart after 6401 decisions 3.39/3.45 c nbDecision=6500 #constraints=33034 3.69/3.70 c nbDecision=7000 #constraints=33040 3.89/3.99 c nbDecision=7500 #constraints=33051 4.29/4.31 c nbDecision=8000 #constraints=33060 4.59/4.62 c nbDecision=8500 #constraints=33072 4.89/4.93 c nbDecision=9000 #constraints=33082 5.19/5.22 c nbDecision=9500 #constraints=33086 5.49/5.58 c nbDecision=10000 #constraints=33099 5.79/5.89 c nbDecision=10500 #constraints=33106 6.19/6.20 c nbDecision=11000 #constraints=33113 6.49/6.53 c nbDecision=11500 #constraints=33122 6.89/6.96 c nbDecision=12000 #constraints=33141 7.29/7.34 c nbDecision=12500 #constraints=33155 7.49/7.53 c restart after 12801 decisions 7.59/7.68 c nbDecision=13000 #constraints=33157 8.09/8.10 c nbDecision=13500 #constraints=33169 8.39/8.47 c nbDecision=14000 #constraints=33180 8.79/8.83 c nbDecision=14500 #constraints=33186 9.19/9.27 c nbDecision=15000 #constraints=33203 9.59/9.67 c nbDecision=15500 #constraints=33212 10.09/10.10 c nbDecision=16000 #constraints=33226 10.49/10.55 c nbDecision=16500 #constraints=33235 10.99/11.01 c nbDecision=17000 #constraints=33244 11.29/11.39 c nbDecision=17500 #constraints=33248 11.80/11.86 c nbDecision=18000 #constraints=33261 12.30/12.33 c nbDecision=18500 #constraints=33270 12.70/12.74 c nbDecision=19000 #constraints=33277 13.20/13.27 c nbDecision=19500 #constraints=33293 13.70/13.75 c nbDecision=20000 #constraints=33306 14.10/14.19 c nbDecision=20500 #constraints=33313 14.69/14.73 c nbDecision=21000 #constraints=33332 15.19/15.29 c nbDecision=21500 #constraints=33346 15.79/15.80 c nbDecision=22000 #constraints=33352 16.29/16.34 c nbDecision=22500 #constraints=33365 16.89/16.94 c nbDecision=23000 #constraints=33374 17.50/17.51 c nbDecision=23500 #constraints=33387 17.99/18.04 c nbDecision=24000 #constraints=33397 18.60/18.68 c nbDecision=24500 #constraints=33416 19.19/19.29 c nbDecision=25000 #constraints=33425 19.89/19.91 c nbDecision=25500 #constraints=33438 19.89/19.98 c restart after 25601 decisions 20.49/20.55 c nbDecision=26000 #constraints=33446 21.09/21.17 c nbDecision=26500 #constraints=33455 21.79/21.82 c nbDecision=27000 #constraints=33470 22.49/22.52 c nbDecision=27500 #constraints=33483 22.99/23.09 c nbDecision=28000 #constraints=33491 23.99/24.00 c nbDecision=28500 #constraints=33513 24.89/24.94 c nbDecision=29000 #constraints=33527 25.79/25.89 c nbDecision=29500 #constraints=33537 26.59/26.66 c nbDecision=30000 #constraints=33545 27.39/27.42 c nbDecision=30500 #constraints=33553 28.09/28.16 c nbDecision=31000 #constraints=33560 28.89/28.98 c nbDecision=31500 #constraints=33567 29.49/29.52 c nbDecision=32000 #constraints=33575 30.09/30.12 c nbDecision=32500 #constraints=33580 30.69/30.73 c nbDecision=33000 #constraints=33587 31.39/31.41 c nbDecision=33500 #constraints=33593 31.99/32.02 c nbDecision=34000 #constraints=33597 32.59/32.62 c nbDecision=34500 #constraints=33602 33.09/33.15 c nbDecision=35000 #constraints=33606 33.69/33.78 c nbDecision=35500 #constraints=33611 34.19/34.27 c nbDecision=36000 #constraints=33614 34.89/34.94 c nbDecision=36500 #constraints=33619 35.39/35.49 c nbDecision=37000 #constraints=33623 35.99/36.05 c nbDecision=37500 #constraints=33637 36.59/36.65 c nbDecision=38000 #constraints=33650 37.39/37.49 c nbDecision=38500 #constraints=33660 38.39/38.42 c nbDecision=39000 #constraints=33664 39.19/39.29 c nbDecision=39500 #constraints=33668 39.99/40.08 c nbDecision=40000 #constraints=33676 40.69/40.79 c nbDecision=40500 #constraints=33680 41.60/41.60 c nbDecision=41000 #constraints=33688 42.30/42.33 c nbDecision=41500 #constraints=33693 43.00/43.03 c nbDecision=42000 #constraints=33702 44.19/44.22 c nbDecision=42500 #constraints=33755 45.19/45.21 c nbDecision=43000 #constraints=33781 46.59/46.64 c nbDecision=43500 #constraints=33816 47.79/47.85 c nbDecision=44000 #constraints=33853 48.99/49.08 c nbDecision=44500 #constraints=33897 50.49/50.59 c nbDecision=45000 #constraints=33954 52.39/52.45 c nbDecision=45500 #constraints=34015 53.99/54.05 c nbDecision=46000 #constraints=34077 56.20/56.28 c nbDecision=46500 #constraints=34134 59.09/59.13 c nbDecision=47000 #constraints=34216 62.29/62.30 c nbDecision=47500 #constraints=34269 65.99/66.01 c nbDecision=48000 #constraints=34333 70.09/70.15 c nbDecision=48500 #constraints=34352 74.80/74.84 c nbDecision=49000 #constraints=34434 80.49/80.51 c nbDecision=49500 #constraints=34569 87.09/87.10 c nbDecision=50000 #constraints=34678 95.50/95.56 c nbDecision=50500 #constraints=34942 106.59/106.69 c nbDecision=51000 #constraints=35216 110.59/110.63 c restart after 51201 decisions 115.99/116.06 c nbDecision=51500 #constraints=35237 121.89/121.94 c nbDecision=52000 #constraints=35267 126.89/126.92 c nbDecision=52500 #constraints=35518 132.40/132.44 c nbDecision=53000 #constraints=35762 139.49/139.54 c nbDecision=53500 #constraints=36006 145.79/145.88 c nbDecision=54000 #constraints=36237 151.70/151.72 c nbDecision=54500 #constraints=36468 158.69/158.72 c nbDecision=55000 #constraints=36701 163.80/163.87 c nbDecision=55500 #constraints=36737 166.00/166.08 c nbDecision=56000 #constraints=36761 168.30/168.31 c nbDecision=56500 #constraints=36785 171.29/171.30 c nbDecision=57000 #constraints=36819 175.19/175.28 c nbDecision=57500 #constraints=36838 180.49/180.53 c nbDecision=58000 #constraints=36851 188.19/188.27 c nbDecision=58500 #constraints=36872 195.99/196.02 c nbDecision=59000 #constraints=36883 205.59/205.62 c nbDecision=59500 #constraints=36897 214.19/214.29 c nbDecision=60000 #constraints=36906 223.70/223.74 c nbDecision=60500 #constraints=36916 233.80/233.81 c nbDecision=61000 #constraints=36927 243.10/243.10 c nbDecision=61500 #constraints=36937 253.20/253.20 c nbDecision=62000 #constraints=36947 263.30/263.33 c nbDecision=62500 #constraints=36957 273.80/273.84 c nbDecision=63000 #constraints=36967 284.90/284.93 c nbDecision=63500 #constraints=36977 294.90/294.90 c nbDecision=64000 #constraints=36984 305.20/305.22 c nbDecision=64500 #constraints=36993 315.80/315.83 c nbDecision=65000 #constraints=37001 325.20/325.22 c nbDecision=65500 #constraints=37008 332.30/332.30 c nbDecision=66000 #constraints=37026 337.20/337.22 c nbDecision=66500 #constraints=37039 343.69/343.77 c nbDecision=67000 #constraints=37050 350.49/350.58 c nbDecision=67500 #constraints=37061 356.99/357.09 c nbDecision=68000 #constraints=37073 363.89/364.00 c nbDecision=68500 #constraints=37084 371.39/371.40 c nbDecision=69000 #constraints=37093 379.30/379.33 c nbDecision=69500 #constraints=37103 385.70/385.72 c nbDecision=70000 #constraints=37115 392.90/392.97 c nbDecision=70500 #constraints=37127 401.60/401.65 c nbDecision=71000 #constraints=37143 411.80/411.88 c nbDecision=71500 #constraints=37244 425.10/425.16 c nbDecision=72000 #constraints=37393 442.40/442.48 c nbDecision=72500 #constraints=37556 469.71/469.70 c nbDecision=73000 #constraints=37801 498.40/498.49 c nbDecision=73500 #constraints=37977 518.60/518.61 c nbDecision=74000 #constraints=37992 532.40/532.41 c nbDecision=74500 #constraints=38015 542.80/542.85 c nbDecision=75000 #constraints=38035 550.40/550.46 c nbDecision=75500 #constraints=38047 558.90/558.99 c nbDecision=76000 #constraints=38057 566.20/566.21 c nbDecision=76500 #constraints=38067 573.10/573.14 c nbDecision=77000 #constraints=38080 578.60/578.61 c nbDecision=77500 #constraints=38092 585.41/585.48 c nbDecision=78000 #constraints=38116 594.70/594.79 c nbDecision=78500 #constraints=38156 606.50/606.53 c nbDecision=79000 #constraints=38254 623.99/624.08 c nbDecision=79500 #constraints=38314 639.90/639.97 c nbDecision=80000 #constraints=38355 653.50/653.58 c nbDecision=80500 #constraints=38377 669.20/669.22 c nbDecision=81000 #constraints=38452 691.80/691.83 c nbDecision=81500 #constraints=38674 717.80/717.84 c nbDecision=82000 #constraints=39008 739.80/739.80 c nbDecision=82500 #constraints=39274 742.70/742.73 c nbDecision=83000 #constraints=39298 747.30/747.36 c nbDecision=83500 #constraints=39338 756.30/756.36 c nbDecision=84000 #constraints=39384 764.00/764.05 c nbDecision=84500 #constraints=39453 771.40/771.42 c nbDecision=85000 #constraints=39480 783.81/783.86 c nbDecision=85500 #constraints=39498 798.01/798.07 c nbDecision=86000 #constraints=39513 810.40/810.45 c nbDecision=86500 #constraints=39525 824.70/824.70 c nbDecision=87000 #constraints=39539 837.90/837.92 c nbDecision=87500 #constraints=39555 850.60/850.65 c nbDecision=88000 #constraints=39568 864.70/864.73 c nbDecision=88500 #constraints=39580 878.00/878.09 c nbDecision=89000 #constraints=39591 892.10/892.18 c nbDecision=89500 #constraints=39602 903.50/903.59 c nbDecision=90000 #constraints=39619 916.90/916.93 c nbDecision=90500 #constraints=39649 939.60/939.63 c nbDecision=91000 #constraints=39786 973.30/973.33 c nbDecision=91500 #constraints=39984 1027.51/1027.56 c nbDecision=92000 #constraints=40365 1054.01/1054.07 c nbDecision=92500 #constraints=40474 1060.21/1060.23 c nbDecision=93000 #constraints=40497 1074.20/1074.25 c nbDecision=93500 #constraints=40548 1092.91/1092.95 c nbDecision=94000 #constraints=40631 1110.41/1110.46 c nbDecision=94500 #constraints=40663 1114.80/1114.81 c nbDecision=95000 #constraints=40726 1120.30/1120.31 c nbDecision=95500 #constraints=40757 1127.00/1127.02 c nbDecision=96000 #constraints=40768 1135.70/1135.74 c nbDecision=96500 #constraints=40775 1144.20/1144.28 c nbDecision=97000 #constraints=40784 1152.50/1152.54 c nbDecision=97500 #constraints=40789 1160.60/1160.63 c nbDecision=98000 #constraints=40801 1169.61/1169.63 c nbDecision=98500 #constraints=40808 1178.01/1178.01 c nbDecision=99000 #constraints=40816 1186.31/1186.37 c nbDecision=99500 #constraints=40823 1195.51/1195.50 c nbDecision=100000 #constraints=40830 1205.81/1205.89 c nbDecision=100500 #constraints=40837 1215.41/1215.50 c nbDecision=101000 #constraints=40843 1226.91/1226.99 c nbDecision=101500 #constraints=40849 1238.11/1238.14 c nbDecision=102000 #constraints=40854 1246.31/1246.33 c restart after 102401 decisions 1248.51/1248.52 c nbDecision=102500 #constraints=40859 1258.81/1258.84 c nbDecision=103000 #constraints=40866 1267.91/1267.90 c nbDecision=103500 #constraints=40872 1275.91/1275.91 c nbDecision=104000 #constraints=40885 1284.91/1284.99 c nbDecision=104500 #constraints=40914 1295.31/1295.37 c nbDecision=105000 #constraints=40932 1310.22/1310.24 c nbDecision=105500 #constraints=40963 1324.52/1324.59 c nbDecision=106000 #constraints=40997 1337.01/1337.04 c nbDecision=106500 #constraints=41046 1354.11/1354.13 c nbDecision=107000 #constraints=41107 1371.51/1371.50 c nbDecision=107500 #constraints=41149 1391.11/1391.14 c nbDecision=108000 #constraints=41214 1413.71/1413.77 c nbDecision=108500 #constraints=41278 1440.32/1440.34 c nbDecision=109000 #constraints=41341 1467.01/1467.08 c nbDecision=109500 #constraints=41395 1496.71/1496.77 c nbDecision=110000 #constraints=41483 1521.61/1521.66 c nbDecision=110500 #constraints=41500 1556.52/1556.55 c nbDecision=111000 #constraints=41642 1596.02/1596.08 c nbDecision=111500 #constraints=41786 1646.41/1646.41 c nbDecision=112000 #constraints=42107 1682.42/1682.42 c nbDecision=112500 #constraints=42317 1688.22/1688.29 c nbDecision=113000 #constraints=42338 1698.12/1698.14 c nbDecision=113500 #constraints=42414 1722.21/1722.21 c nbDecision=114000 #constraints=42442 1748.71/1748.79 c nbDecision=114500 #constraints=42465 1773.51/1773.51 c nbDecision=115000 #constraints=42478 1799.72/1799.77 c nbDecision=115500 #constraints=42491 1800.03/1800.00 Received signal 15 1800.03/1800.00 1800.03/1800.00 s UNKNOWN 1800.03/1800.00 1800.03/1800.00 c user time= 1799.69 s 1800.03/1800.00 c system time= 0.351946 s 1800.03/1800.00 c wall clock time=1800.01
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mv /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb.tmp /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-456752-1178363185 -o ROOT/results/node16/solver-456752-1178363185 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.82 3/77 19800 /proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=1468 CPUtime=0 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 284236144 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 367 168 131 317 0 46 0 [startup+0.093596 s] /proc/loadavg: 0.92 0.97 0.82 3/77 19800 /proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=3052 CPUtime=0.08 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 584 0 0 0 8 0 0 0 18 0 1 0 284236144 3125248 567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 763 568 131 317 0 442 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3052 [startup+0.101593 s] /proc/loadavg: 0.92 0.97 0.82 3/77 19800 /proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=3324 CPUtime=0.09 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 626 0 0 0 9 0 0 0 18 0 1 0 284236144 3403776 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278905 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 831 609 131 317 0 510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3324 [startup+0.301552 s] /proc/loadavg: 0.92 0.97 0.82 3/77 19800 /proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=14044 CPUtime=0.29 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 3326 0 0 0 28 1 0 0 19 0 1 0 284236144 14381056 3276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 3511 3276 137 317 0 3190 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14044 [startup+0.701467 s] /proc/loadavg: 0.92 0.97 0.82 3/77 19800 /proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=16264 CPUtime=0.69 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 3894 0 0 0 67 2 0 0 23 0 1 0 284236144 16654336 3618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 4066 3618 139 317 0 3745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16264 [startup+1.5013 s] /proc/loadavg: 0.92 0.97 0.82 2/78 19801 /proc/meminfo: memFree=1826992/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=16264 CPUtime=1.49 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 3894 0 0 0 147 2 0 0 25 0 1 0 284236144 16654336 3618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 4066 3618 139 317 0 3745 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16264 [startup+3.10196 s] /proc/loadavg: 0.93 0.97 0.82 2/78 19801 /proc/meminfo: memFree=1826800/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=16932 CPUtime=3.09 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 4053 0 0 0 307 2 0 0 25 0 1 0 284236144 17338368 3777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 4233 3777 139 317 0 3912 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16932 [startup+6.30129 s] /proc/loadavg: 0.93 0.97 0.82 2/78 19801 /proc/meminfo: memFree=1824880/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=18676 CPUtime=6.29 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 4500 0 0 0 627 2 0 0 25 0 1 0 284236144 19124224 4224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 4669 4224 139 317 0 4348 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18676 [startup+12.7019 s] /proc/loadavg: 0.94 0.97 0.82 2/78 19801 /proc/meminfo: memFree=1821680/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=21744 CPUtime=12.7 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 5269 0 0 0 1267 3 0 0 25 0 1 0 284236144 22265856 4993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 5436 4993 139 317 0 5115 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 21744 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.82 2/78 19801 /proc/meminfo: memFree=1818224/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=24956 CPUtime=25.49 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 6074 0 0 0 2546 3 0 0 25 0 1 0 284236144 25554944 5798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 6239 5798 139 317 0 5918 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24956 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.82 2/78 19801 /proc/meminfo: memFree=1812016/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=31248 CPUtime=51.09 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 7655 0 0 0 5105 4 0 0 25 0 1 0 284236144 31997952 7379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 7812 7379 139 317 0 7491 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 31248 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.83 2/78 19801 /proc/meminfo: memFree=1787632/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=55456 CPUtime=102.29 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 13689 0 0 0 10222 7 0 0 25 0 1 0 284236144 56786944 13413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 13864 13413 139 317 0 13543 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 55456 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/78 19801 /proc/meminfo: memFree=1749424/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=95560 CPUtime=162.29 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23205 0 0 0 16217 12 0 0 25 0 1 0 284236144 97853440 22929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 23890 22929 139 317 0 23569 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 95560 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.84 2/78 19801 /proc/meminfo: memFree=1749232/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=95692 CPUtime=222.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23253 0 0 0 22217 13 0 0 25 0 1 0 284236144 97988608 22977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 23923 22977 139 317 0 23602 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 95692 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.85 2/78 19801 /proc/meminfo: memFree=1749168/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=95692 CPUtime=282.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23253 0 0 0 28217 13 0 0 25 0 1 0 284236144 97988608 22977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 23923 22977 139 317 0 23602 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 95692 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.85 2/78 19801 /proc/meminfo: memFree=1749104/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=95828 CPUtime=342.29 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23275 0 0 0 34216 13 0 0 25 0 1 0 284236144 98127872 22999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 23957 22999 139 317 0 23636 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 95828 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.86 2/78 19801 /proc/meminfo: memFree=1749104/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=95828 CPUtime=402.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23292 0 0 0 40216 14 0 0 25 0 1 0 284236144 98127872 23016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 23957 23016 139 317 0 23636 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 95828 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.86 2/78 19801 /proc/meminfo: memFree=1737648/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=106372 CPUtime=462.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 26174 0 0 0 46214 16 0 0 25 0 1 0 284236144 108924928 25898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 26593 25898 139 317 0 26272 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 106372 [startup+522.302 s] /proc/loadavg: 1.04 0.99 0.87 2/78 19801 /proc/meminfo: memFree=1732784/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=110952 CPUtime=522.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 27357 0 0 0 52214 16 0 0 25 0 1 0 284236144 113614848 27081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 27738 27081 139 317 0 27417 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 110952 [startup+582.301 s] /proc/loadavg: 1.01 0.99 0.88 2/78 19801 /proc/meminfo: memFree=1732528/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=111232 CPUtime=582.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 27441 0 0 0 58214 17 0 0 25 0 1 0 284236144 113901568 27165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 27808 27165 139 317 0 27487 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 111232 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.89 2/78 19801 /proc/meminfo: memFree=1726000/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=121224 CPUtime=642.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 29067 0 0 0 64213 18 0 0 25 0 1 0 284236144 124133376 28791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 30306 28791 139 317 0 29985 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 121224 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.90 3/78 19801 /proc/meminfo: memFree=1705584/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=143632 CPUtime=822.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 34136 0 0 0 82209 21 0 0 25 0 1 0 284236144 147079168 33860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 35908 33860 139 317 0 35587 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 143632 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1705584/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=143632 CPUtime=882.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 34136 0 0 0 88209 21 0 0 25 0 1 0 284236144 147079168 33860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 35908 33860 139 317 0 35587 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 143632 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1701872/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=147700 CPUtime=942.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 35115 0 0 0 94208 23 0 0 25 0 1 0 284236144 151244800 34839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 36925 34839 139 317 0 36604 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 147700 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1694832/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=154992 CPUtime=1002.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 36852 0 0 0 100206 24 0 0 25 0 1 0 284236144 158711808 36576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 38748 36576 139 317 0 38427 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 154992 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1688176/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=161112 CPUtime=1062.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 38529 0 0 0 106205 25 0 0 25 0 1 0 284236144 164978688 38253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 40278 38253 139 317 0 39957 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 161112 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1683440/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=165684 CPUtime=1122.3 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39690 0 0 0 112204 26 0 0 25 0 1 0 284236144 169660416 39414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 41421 39414 139 317 0 41100 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 165684 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1683504/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=165684 CPUtime=1182.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39690 0 0 0 118204 27 0 0 25 0 1 0 284236144 169660416 39414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 41421 39414 139 317 0 41100 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 165684 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1683440/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=165684 CPUtime=1242.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39690 0 0 0 124204 27 0 0 25 0 1 0 284236144 169660416 39414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 41421 39414 139 317 0 41100 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 165684 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1682544/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=166648 CPUtime=1302.32 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39906 0 0 0 130204 28 0 0 25 0 1 0 284236144 170647552 39630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 41662 39630 139 317 0 41341 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 166648 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19801 /proc/meminfo: memFree=1679600/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=169556 CPUtime=1362.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 40633 0 0 0 136202 29 0 0 25 0 1 0 284236144 173625344 40357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 42389 40357 139 317 0 42068 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 169556 [startup+1422.31 s] /proc/loadavg: 1.05 1.00 0.91 2/78 19801 /proc/meminfo: memFree=1676208/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=172436 CPUtime=1422.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 41504 0 0 0 142202 29 0 0 25 0 1 0 284236144 176574464 41228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 43109 41228 139 317 0 42788 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 172436 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 0.92 2/78 19801 /proc/meminfo: memFree=1674416/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=174372 CPUtime=1482.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 41990 0 0 0 148201 30 0 0 25 0 1 0 284236144 178556928 41714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 43593 41714 139 317 0 43272 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 174372 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 0.92 2/78 19801 /proc/meminfo: memFree=1672496/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=176224 CPUtime=1542.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 42441 0 0 0 154200 31 0 0 25 0 1 0 284236144 180453376 42165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 44056 42165 139 317 0 43735 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 176224 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 19801 /proc/meminfo: memFree=1668208/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=180232 CPUtime=1602.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 43488 0 0 0 160199 32 0 0 25 0 1 0 284236144 184557568 43212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 45058 43212 139 317 0 44737 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 180232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 19801 /proc/meminfo: memFree=1658864/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=189064 CPUtime=1662.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 45843 0 0 0 166198 33 0 0 25 0 1 0 284236144 193601536 45567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 47266 45567 139 317 0 46945 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 189064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 19803 /proc/meminfo: memFree=1656112/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=191672 CPUtime=1722.31 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 46522 0 0 0 172197 34 0 0 25 0 1 0 284236144 196272128 46246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 47918 46246 139 317 0 47597 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 191672 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 19803 /proc/meminfo: memFree=1656048/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=191672 CPUtime=1782.32 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 46523 0 0 0 178197 35 0 0 25 0 1 0 284236144 196272128 46247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 47918 46247 139 317 0 47597 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 191672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 0.92 2/78 19803 /proc/meminfo: memFree=1656048/2055920 swapFree=4148600/4192956 [pid=19800] ppid=19798 vsize=191672 CPUtime=1800.03 /proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 46523 0 0 0 179968 35 0 0 25 0 1 0 284236144 196272128 46247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19800/statm: 47918 46247 139 317 0 47597 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 191672 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.06 CPU time (s): 1800.09 CPU user time (s): 1799.7 CPU system time (s): 0.383941 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 191672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.383941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46539 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= 36507 runsolver used 1.56776 second user time and 4.32334 second system time The end
Begin job on node16 on Sat May 5 11:06:25 UTC 2007 IDJOB= 456752 IDBENCH= 48295 IDSOLVER= 172 FILE ID= node16/456752-1178363185 PBS_JOBID= 5188988 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_5_80.opb COMMAND LINE= oree /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-456752-1178363185 -o ROOT/results/node16/conversion-456752-1178363185 -C 600 -M 1800 /tmp/evaluation/456752-1178363185/substituteSizeProductKeyword /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-456752-1178363185 -o ROOT/results/node16/solver-456752-1178363185 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 611c10fb20bc9774d31ac4d0681f384d RANDOM SEED= 90834508 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1841616 kB Buffers: 37472 kB Cached: 105308 kB SwapCached: 12192 kB Active: 110816 kB Inactive: 55164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841616 kB SwapTotal: 4192956 kB SwapFree: 4148600 kB Dirty: 1828 kB Writeback: 0 kB Mapped: 30128 kB Slab: 33916 kB Committed_AS: 14126968 kB PageTables: 1836 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= 66563 MiB End job on node16 on Sat May 5 11:36:27 UTC 2007