Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_3.opb |
MD5SUM | 7d5c1eba9f9b9c55d272c1a8f28b465a |
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 | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
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) | 12432 |
Sum of products size (including duplicates) | 24864 |
Number of different products | 6216 |
Sum of products size | 12432 |
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=6616 #constraints=13035 hasObjective=yes 0.09/0.15 c res. mode=mod 0.09/0.15 c VSIDS like heuristics 0.09/0.15 c complete search running 0.69/0.77 c restart after 401 decisions 0.79/0.81 c nbDecision=500 #constraints=13309 1.39/1.41 c restart after 801 decisions 1.69/1.71 c nbDecision=1000 #constraints=13642 2.79/2.87 c nbDecision=1500 #constraints=14078 3.09/3.12 c restart after 1601 decisions 3.99/4.01 c nbDecision=2000 #constraints=14431 5.29/5.37 c nbDecision=2500 #constraints=14875 6.79/6.84 c nbDecision=3000 #constraints=15343 7.49/7.52 c restart after 3201 decisions 8.58/8.63 c nbDecision=3500 #constraints=15692 10.39/10.40 c nbDecision=4000 #constraints=16123 12.29/12.34 c nbDecision=4500 #constraints=16547 14.49/14.57 c nbDecision=5000 #constraints=16953 16.88/16.94 c nbDecision=5500 #constraints=17351 19.38/19.43 c nbDecision=6000 #constraints=17753 21.28/21.33 c restart after 6401 decisions 22.38/22.44 c nbDecision=6500 #constraints=18104 25.89/25.92 c nbDecision=7000 #constraints=18412 29.28/29.33 c nbDecision=7500 #constraints=18779 31.68/31.77 c nbDecision=8000 #constraints=19233 34.78/34.86 c nbDecision=8500 #constraints=19642 38.08/38.14 c nbDecision=9000 #constraints=20054 41.48/41.57 c nbDecision=9500 #constraints=20470 46.09/46.16 c nbDecision=10000 #constraints=20802 50.78/50.83 c nbDecision=10500 #constraints=21138 54.17/54.29 c nbDecision=11000 #constraints=21572 58.47/58.51 c nbDecision=11500 #constraints=21970 62.28/62.34 c nbDecision=12000 #constraints=22402 66.77/66.86 c nbDecision=12500 #constraints=22799 69.38/69.47 c restart after 12801 decisions 72.48/72.52 c nbDecision=13000 #constraints=23134 77.37/77.44 c nbDecision=13500 #constraints=23515 83.77/83.89 c nbDecision=14000 #constraints=23832 89.76/89.88 c nbDecision=14500 #constraints=24182 97.17/97.22 c nbDecision=15000 #constraints=24468 104.67/104.71 c nbDecision=15500 #constraints=24762 110.97/111.08 c nbDecision=16000 #constraints=25115 118.56/118.69 c nbDecision=16500 #constraints=25420 131.65/131.74 c nbDecision=17000 #constraints=25535 137.25/137.31 c nbDecision=17500 #constraints=25915 142.86/142.96 c nbDecision=18000 #constraints=26332 150.55/150.70 c nbDecision=18500 #constraints=26659 156.85/156.91 c nbDecision=19000 #constraints=27081 163.35/163.40 c nbDecision=19500 #constraints=27466 169.45/169.59 c nbDecision=20000 #constraints=27879 175.45/175.56 c nbDecision=20500 #constraints=28301 181.84/181.93 c nbDecision=21000 #constraints=28718 187.95/188.07 c nbDecision=21500 #constraints=29148 196.44/196.50 c nbDecision=22000 #constraints=29503 203.64/203.77 c nbDecision=22500 #constraints=29909 210.63/210.76 c nbDecision=23000 #constraints=30328 219.23/219.39 c nbDecision=23500 #constraints=30718 228.53/228.69 c nbDecision=24000 #constraints=31068 241.53/241.67 c nbDecision=24500 #constraints=31355 250.43/250.57 c nbDecision=25000 #constraints=31736 258.83/258.98 c nbDecision=25500 #constraints=32155 260.03/260.16 c restart after 25601 decisions 268.13/268.25 c nbDecision=26000 #constraints=32519 278.02/278.13 c nbDecision=26500 #constraints=32899 288.42/288.53 c nbDecision=27000 #constraints=33232 297.12/297.29 c nbDecision=27500 #constraints=33644 306.71/306.80 c nbDecision=28000 #constraints=34031 317.82/317.91 c nbDecision=28500 #constraints=34380 328.70/328.82 c nbDecision=29000 #constraints=34781 337.38/337.53 c nbDecision=29500 #constraints=35158 346.26/346.44 c nbDecision=30000 #constraints=35582 363.02/363.29 c nbDecision=30500 #constraints=35868 376.21/376.42 c nbDecision=31000 #constraints=36207 385.21/385.46 c nbDecision=31500 #constraints=36662 395.99/396.29 c nbDecision=32000 #constraints=37063 406.50/406.71 c nbDecision=32500 #constraints=37488 417.49/417.79 c nbDecision=33000 #constraints=37906 428.70/428.96 c nbDecision=33500 #constraints=38321 445.49/445.77 c nbDecision=34000 #constraints=38633 460.48/460.76 c nbDecision=34500 #constraints=38975 472.28/472.52 c nbDecision=35000 #constraints=39390 484.38/484.66 c nbDecision=35500 #constraints=39798 497.17/497.46 c nbDecision=36000 #constraints=40196 510.47/510.78 c nbDecision=36500 #constraints=40592 530.36/530.61 c nbDecision=37000 #constraints=40844 547.26/547.54 c nbDecision=37500 #constraints=41177 569.95/570.22 c nbDecision=38000 #constraints=41426 583.65/583.90 c nbDecision=38500 #constraints=41834 598.15/598.48 c nbDecision=39000 #constraints=42234 612.84/613.14 c nbDecision=39500 #constraints=42612 621.84/622.17 c nbDecision=40000 #constraints=43090 633.93/634.23 c nbDecision=40500 #constraints=43522 650.23/650.53 c nbDecision=41000 #constraints=43902 665.24/665.58 c nbDecision=41500 #constraints=44303 680.12/680.42 c nbDecision=42000 #constraints=44715 698.32/698.63 c nbDecision=42500 #constraints=45056 716.51/716.87 c nbDecision=43000 #constraints=45421 740.51/740.82 c nbDecision=43500 #constraints=45737 763.10/763.44 c nbDecision=44000 #constraints=45983 785.59/785.96 c nbDecision=44500 #constraints=46281 812.19/812.53 c nbDecision=45000 #constraints=46517 831.08/831.48 c nbDecision=45500 #constraints=46890 857.68/858.05 c nbDecision=46000 #constraints=47185 884.47/884.85 c nbDecision=46500 #constraints=47442 908.27/908.64 c nbDecision=47000 #constraints=47782 924.46/924.82 c nbDecision=47500 #constraints=48170 939.36/939.76 c nbDecision=48000 #constraints=48605 950.26/950.69 c nbDecision=48500 #constraints=49081 963.66/964.04 c nbDecision=49000 #constraints=49539 978.05/978.47 c nbDecision=49500 #constraints=49987 994.54/994.92 c nbDecision=50000 #constraints=50414 1015.83/1016.29 c nbDecision=50500 #constraints=50769 1032.73/1033.10 c nbDecision=51000 #constraints=51201 1043.13/1043.56 c restart after 51201 decisions 1062.63/1063.04 c nbDecision=51500 #constraints=51446 1085.42/1085.86 c nbDecision=52000 #constraints=51812 1116.81/1117.21 c nbDecision=52500 #constraints=52128 1137.41/1137.81 c nbDecision=53000 #constraints=52554 1158.10/1158.59 c nbDecision=53500 #constraints=52933 1179.80/1180.29 c nbDecision=54000 #constraints=53377 1196.69/1197.11 c nbDecision=54500 #constraints=53769 1212.39/1212.87 c nbDecision=55000 #constraints=54221 1233.88/1234.37 c nbDecision=55500 #constraints=54636 1258.68/1259.14 c nbDecision=56000 #constraints=55044 1282.47/1282.97 c nbDecision=56500 #constraints=55463 1311.06/1311.54 c nbDecision=57000 #constraints=55805 1339.05/1339.52 c nbDecision=57500 #constraints=56150 1360.45/1360.99 c nbDecision=58000 #constraints=56552 1375.75/1376.22 c nbDecision=58500 #constraints=57023 1397.44/1397.98 c nbDecision=59000 #constraints=57451 1418.33/1418.87 c nbDecision=59500 #constraints=57876 1441.43/1441.97 c nbDecision=60000 #constraints=58297 1461.83/1462.31 c nbDecision=60500 #constraints=58738 1482.91/1483.49 c nbDecision=61000 #constraints=59167 1512.41/1512.93 c nbDecision=61500 #constraints=59519 1553.40/1553.95 c nbDecision=62000 #constraints=59771 1580.29/1580.87 c nbDecision=62500 #constraints=60202 1602.68/1603.23 c nbDecision=63000 #constraints=60646 1634.38/1634.91 c nbDecision=63500 #constraints=60989 1657.67/1658.25 c nbDecision=64000 #constraints=61438 1690.27/1690.84 c nbDecision=64500 #constraints=61764 1708.56/1709.15 c nbDecision=65000 #constraints=62227 1730.65/1731.22 c nbDecision=65500 #constraints=62677 1757.84/1758.47 c nbDecision=66000 #constraints=63087 1787.03/1787.63 c nbDecision=66500 #constraints=63484 1800.04/1800.60 Received signal 15 1800.04/1800.63 1800.04/1800.63 s UNKNOWN 1800.04/1800.63 1800.04/1800.63 c user time= 1799.07 s 1800.04/1800.63 c system time= 1.00285 s 1800.04/1800.63 c wall clock time=1800.63
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb mv /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb.tmp /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-454985-1178034935 -o ROOT/results/node45/solver-454985-1178034935 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454985-1178034935/instance-454985-1178034935.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.98 3/77 22082 /proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=1468 CPUtime=0 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 158339193 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 367 167 131 317 0 46 0 [startup+0.03265 s] /proc/loadavg: 0.92 0.97 0.98 3/77 22082 /proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=1996 CPUtime=0.02 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 311 0 0 0 2 0 0 0 18 0 1 0 158339193 2043904 294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 499 294 131 317 0 178 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.101656 s] /proc/loadavg: 0.92 0.97 0.98 3/77 22082 /proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=4576 CPUtime=0.09 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 943 0 0 0 9 0 0 0 18 0 1 0 158339193 4685824 926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 1144 926 132 317 0 823 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4576 [startup+0.301676 s] /proc/loadavg: 0.92 0.97 0.98 3/77 22082 /proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=7460 CPUtime=0.29 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 1687 0 0 0 29 0 0 0 19 0 1 0 158339193 7639040 1580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 1865 1580 139 317 0 1544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7460 [startup+0.701716 s] /proc/loadavg: 0.92 0.97 0.98 3/77 22082 /proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=9440 CPUtime=0.69 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 2189 0 0 0 69 0 0 0 22 0 1 0 158339193 9666560 2082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 2360 2082 139 317 0 2039 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9440 [startup+1.5018 s] /proc/loadavg: 0.92 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1809000/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=12508 CPUtime=1.49 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 2942 0 0 0 148 1 0 0 25 0 1 0 158339193 12808192 2835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 3127 2835 139 317 0 2806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12508 [startup+3.10196 s] /proc/loadavg: 0.92 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1804776/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=18860 CPUtime=3.09 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 4460 0 0 0 307 2 0 0 25 0 1 0 158339193 19312640 4353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 4715 4353 139 317 0 4394 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18860 [startup+6.30128 s] /proc/loadavg: 0.93 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1794472/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=29904 CPUtime=6.29 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 6987 0 0 0 625 4 0 0 25 0 1 0 158339193 30621696 6880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 7476 6880 139 317 0 7155 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29904 [startup+12.7019 s] /proc/loadavg: 0.93 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1778664/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=41388 CPUtime=12.69 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 10174 0 0 0 1264 5 0 0 25 0 1 0 158339193 42381312 10067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134524906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 10347 10067 139 317 0 10026 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41388 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1759912/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=61368 CPUtime=25.49 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 14632 0 0 0 2540 9 0 0 25 0 1 0 158339193 62840832 14525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 15342 14526 139 317 0 15021 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61368 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1735720/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=83256 CPUtime=51.08 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 20669 0 0 0 5096 12 0 0 25 0 1 0 158339193 85254144 20562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 20814 20562 139 317 0 20493 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83256 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1699176/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=123560 CPUtime=102.27 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 29723 0 0 0 10209 18 0 0 25 0 1 0 158339193 126525440 29616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 30890 29616 139 317 0 30569 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 123560 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1676264/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=145116 CPUtime=162.25 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 35666 0 0 0 16201 24 0 0 25 0 1 0 158339193 148598784 35382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 36279 35382 139 317 0 35958 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 145116 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22083 /proc/meminfo: memFree=1640680/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=197448 CPUtime=222.24 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 47895 0 0 0 22192 32 0 0 25 0 1 0 158339193 202186752 44179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 49362 44179 139 317 0 49041 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 197448 [startup+282.301 s] /proc/loadavg: 1.05 0.99 0.98 2/78 22083 /proc/meminfo: memFree=1621416/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=214372 CPUtime=282.22 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 52725 0 0 0 28187 35 0 0 25 0 1 0 158339193 219516928 48976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 53593 48976 139 317 0 53272 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 214372 [startup+342.301 s] /proc/loadavg: 1.07 1.00 0.99 2/84 22191 /proc/meminfo: memFree=1598000/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=233636 CPUtime=342.15 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 58335 0 0 0 34176 39 0 0 25 0 1 0 158339193 239243264 54586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 58409 54586 139 317 0 58088 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 233636 [startup+402.301 s] /proc/loadavg: 1.02 1.00 0.99 2/78 22281 /proc/meminfo: memFree=1582696/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=248268 CPUtime=402.1 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 62474 0 0 0 40167 43 0 0 25 0 1 0 158339193 254226432 58725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 62067 58725 139 317 0 61746 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 248268 [startup+462.301 s] /proc/loadavg: 1.01 1.00 0.99 2/78 22281 /proc/meminfo: memFree=1566056/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=262180 CPUtime=462.08 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 66551 0 0 0 46162 46 0 0 25 0 1 0 158339193 268472320 62802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 65545 62802 139 317 0 65224 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 262180 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22281 /proc/meminfo: memFree=1549352/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=276764 CPUtime=522.07 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 70658 0 0 0 52157 50 0 0 25 0 1 0 158339193 283406336 66909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 69191 66909 139 317 0 68870 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 276764 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22281 /proc/meminfo: memFree=1541160/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=284028 CPUtime=582.05 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 72772 0 0 0 58153 52 0 0 25 0 1 0 158339193 290844672 69023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 71007 69023 139 317 0 70686 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 284028 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22281 /proc/meminfo: memFree=1522088/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=300348 CPUtime=642.04 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 77458 0 0 0 64148 56 0 0 25 0 1 0 158339193 307556352 73709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 75087 73709 139 317 0 74766 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 300348 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22281 /proc/meminfo: memFree=1487080/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=376312 CPUtime=881.98 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 95958 0 0 0 88131 67 0 0 25 0 1 0 158339193 385343488 82459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 94078 82459 139 317 0 93757 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 376312 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1474920/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=386744 CPUtime=941.95 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 99091 0 0 0 94126 69 0 0 25 0 1 0 158339193 396025856 85592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 96686 85592 139 317 0 96365 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 386744 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1458408/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=400780 CPUtime=1001.94 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 103110 0 0 0 100122 72 0 0 25 0 1 0 158339193 410398720 89611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 100195 89611 139 317 0 99874 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 400780 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1449832/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=408304 CPUtime=1061.93 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 105336 0 0 0 106119 74 0 0 25 0 1 0 158339193 418103296 91837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 102076 91837 139 317 0 101755 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 408304 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1442728/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=415748 CPUtime=1121.9 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 107470 0 0 0 112115 75 0 0 25 0 1 0 158339193 425725952 93618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 103937 93618 139 317 0 103616 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 415748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1431272/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=424976 CPUtime=1181.89 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 110231 0 0 0 118111 78 0 0 25 0 1 0 158339193 435175424 96379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 106244 96379 139 317 0 105923 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 424976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1418344/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=436872 CPUtime=1241.88 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 113565 0 0 0 124106 82 0 0 25 0 1 0 158339193 447356928 99713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 109218 99713 139 317 0 108897 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 436872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1409640/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=443848 CPUtime=1301.87 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 115621 0 0 0 130103 84 0 0 25 0 1 0 158339193 454500352 101769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 110962 101769 139 317 0 110641 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 443848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1401576/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=450740 CPUtime=1361.85 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 117698 0 0 0 136099 86 0 0 25 0 1 0 158339193 461557760 103846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 112685 103846 139 317 0 112364 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 450740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1389352/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=461304 CPUtime=1421.84 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 120691 0 0 0 142096 88 0 0 25 0 1 0 158339193 472375296 106839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 115326 106839 139 317 0 115005 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 461304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1377512/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=471244 CPUtime=1481.81 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 123648 0 0 0 148091 90 0 0 25 0 1 0 158339193 482553856 109796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 117811 109796 139 317 0 117490 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 471244 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1372712/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=475208 CPUtime=1541.8 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 124844 0 0 0 154089 91 0 0 25 0 1 0 158339193 486612992 110992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 118802 110992 139 317 0 118481 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 475208 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1364392/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=483104 CPUtime=1601.78 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 127003 0 0 0 160085 93 0 0 25 0 1 0 158339193 494698496 113151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 120776 113151 139 317 0 120455 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 483104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1355880/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=490148 CPUtime=1661.77 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 129061 0 0 0 166082 95 0 0 25 0 1 0 158339193 501911552 115209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 122537 115209 139 317 0 122216 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 490148 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1346792/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=498132 CPUtime=1721.75 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 131374 0 0 0 172078 97 0 0 25 0 1 0 158339193 510087168 117522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 124533 117522 139 317 0 124212 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 498132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1337448/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=505976 CPUtime=1781.74 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 133632 0 0 0 178075 99 0 0 25 0 1 0 158339193 518119424 119780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 126494 119780 139 317 0 126173 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 505976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1335976/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=507424 CPUtime=1800.04 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 134003 0 0 0 179904 100 0 0 25 0 1 0 158339193 519602176 120151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 126856 120151 139 317 0 126535 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 507424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22283 /proc/meminfo: memFree=1335976/2055920 swapFree=4157776/4192956 [pid=22082] ppid=22080 vsize=0 CPUtime=1800.14 /proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194308 134021 0 0 0 179908 106 0 0 25 0 1 0 158339193 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22082/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.17 CPU user time (s): 1799.08 CPU system time (s): 1.08083 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 507424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.08 system time used= 1.08083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134021 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= 2525 runsolver used 1.37179 second user time and 4.14837 second system time The end
Begin job on node45 on Tue May 1 15:55:36 UTC 2007 IDJOB= 454985 IDBENCH= 48233 IDSOLVER= 172 FILE ID= node45/454985-1178034935 PBS_JOBID= 4728398 Free space on /tmp= 66563 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_3.opb COMMAND LINE= oree /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-454985-1178034935 -o ROOT/results/node45/conversion-454985-1178034935 -C 600 -M 1800 /tmp/evaluation/454985-1178034935/substituteSizeProductKeyword /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-454985-1178034935 -o ROOT/results/node45/solver-454985-1178034935 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a RANDOM SEED= 500646852 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1818056 kB Buffers: 78692 kB Cached: 74300 kB SwapCached: 14084 kB Active: 50908 kB Inactive: 126664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1818056 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 30240 kB Slab: 45856 kB Committed_AS: 2261456 kB PageTables: 1736 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 node45 on Tue May 1 16:25:38 UTC 2007