Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.4 | 1801.14 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_2.opb |
MD5SUM | a5ab0443a6669cc558112b6f5f13d1cd |
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 | -72 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -72 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150572 |
Sum of products size (including duplicates) | 301144 |
Number of different products | 75286 |
Sum of products size | 150572 |
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... 1.19/1.21 c ...done 1.19/1.21 c #vars=77286 #constraints=153575 hasObjective=yes 1.89/1.97 c res. mode=mod 1.89/1.97 c VSIDS like heuristics 1.89/1.97 c complete search running 2.49/2.56 c restart after 401 decisions 2.79/2.81 c nbDecision=500 #constraints=153575 3.19/3.24 c restart after 801 decisions 3.59/3.62 c nbDecision=1000 #constraints=153575 7.18/7.28 c nbDecision=1500 #constraints=153774 8.79/8.84 c restart after 1601 decisions 9.69/9.77 c nbDecision=2000 #constraints=153876 13.49/13.53 c nbDecision=2500 #constraints=154077 16.49/16.57 c nbDecision=3000 #constraints=154203 19.99/20.03 c restart after 3201 decisions 20.99/21.08 c nbDecision=3500 #constraints=154405 25.48/25.50 c nbDecision=4000 #constraints=154602 35.08/35.10 c nbDecision=4500 #constraints=155082 42.68/42.78 c nbDecision=5000 #constraints=155457 49.48/49.53 c nbDecision=5500 #constraints=155721 58.08/58.15 c nbDecision=6000 #constraints=156092 65.87/65.94 c restart after 6401 decisions 68.17/68.26 c nbDecision=6500 #constraints=156494 72.66/72.78 c nbDecision=7000 #constraints=156582 79.47/79.50 c nbDecision=7500 #constraints=156839 87.26/87.32 c nbDecision=8000 #constraints=157080 95.06/95.13 c nbDecision=8500 #constraints=157375 104.46/104.56 c nbDecision=9000 #constraints=157578 109.86/109.98 c nbDecision=9500 #constraints=157745 119.15/119.24 c nbDecision=10000 #constraints=158078 129.44/129.51 c nbDecision=10500 #constraints=158568 136.34/136.47 c nbDecision=11000 #constraints=158569 146.54/146.67 c nbDecision=11500 #constraints=159059 155.73/155.83 c nbDecision=12000 #constraints=159357 165.93/166.08 c nbDecision=12500 #constraints=159801 172.53/172.64 c restart after 12801 decisions 178.32/178.47 c nbDecision=13000 #constraints=160052 185.12/185.23 c nbDecision=13500 #constraints=160251 196.12/196.28 c nbDecision=14000 #constraints=160539 205.72/205.82 c nbDecision=14500 #constraints=160954 216.81/216.99 c nbDecision=15000 #constraints=161029 226.22/226.39 c nbDecision=15500 #constraints=161422 237.00/237.20 c nbDecision=16000 #constraints=161797 248.00/248.12 c nbDecision=16500 #constraints=162243 259.20/259.37 c nbDecision=17000 #constraints=162617 270.90/271.05 c nbDecision=17500 #constraints=162979 281.79/281.92 c nbDecision=18000 #constraints=163462 293.19/293.39 c nbDecision=18500 #constraints=163828 307.58/307.78 c nbDecision=19000 #constraints=163948 317.78/317.94 c nbDecision=19500 #constraints=164337 329.47/329.63 c nbDecision=20000 #constraints=164748 342.17/342.39 c nbDecision=20500 #constraints=165036 359.66/359.80 c nbDecision=21000 #constraints=165393 369.26/369.44 c nbDecision=21500 #constraints=165464 387.75/387.97 c nbDecision=22000 #constraints=165874 396.45/396.69 c nbDecision=22500 #constraints=165947 408.44/408.65 c nbDecision=23000 #constraints=166403 421.15/421.40 c nbDecision=23500 #constraints=166831 435.84/436.05 c nbDecision=24000 #constraints=167307 446.53/446.70 c nbDecision=24500 #constraints=167602 467.02/467.29 c nbDecision=25000 #constraints=167784 477.31/477.57 c nbDecision=25500 #constraints=168005 479.72/479.97 c restart after 25601 decisions 496.01/496.26 c nbDecision=26000 #constraints=168107 508.31/508.58 c nbDecision=26500 #constraints=168437 528.40/528.64 c nbDecision=27000 #constraints=168732 539.90/540.17 c nbDecision=27500 #constraints=168890 554.69/554.93 c nbDecision=28000 #constraints=169221 569.28/569.55 c nbDecision=28500 #constraints=169678 581.08/581.31 c nbDecision=29000 #constraints=170074 597.57/597.82 c nbDecision=29500 #constraints=170318 618.57/618.83 c nbDecision=30000 #constraints=170618 631.37/631.62 c nbDecision=30500 #constraints=170797 653.55/653.81 c nbDecision=31000 #constraints=171088 665.05/665.38 c nbDecision=31500 #constraints=171309 687.05/687.32 c nbDecision=32000 #constraints=171555 699.24/699.53 c nbDecision=32500 #constraints=171837 724.83/725.11 c nbDecision=33000 #constraints=172023 736.83/737.12 c nbDecision=33500 #constraints=172230 752.42/752.70 c nbDecision=34000 #constraints=172592 776.11/776.47 c nbDecision=34500 #constraints=172953 791.10/791.45 c nbDecision=35000 #constraints=172999 806.50/806.80 c nbDecision=35500 #constraints=173418 830.89/831.27 c nbDecision=36000 #constraints=173880 847.28/847.68 c nbDecision=36500 #constraints=173881 859.98/860.33 c nbDecision=37000 #constraints=174252 887.47/887.88 c nbDecision=37500 #constraints=174343 900.27/900.67 c nbDecision=38000 #constraints=174676 914.87/915.24 c nbDecision=38500 #constraints=175111 930.65/931.05 c nbDecision=39000 #constraints=175505 948.05/948.44 c nbDecision=39500 #constraints=175852 966.95/967.39 c nbDecision=40000 #constraints=176181 981.34/981.72 c nbDecision=40500 #constraints=176637 995.93/996.38 c nbDecision=41000 #constraints=177059 1012.63/1013.02 c nbDecision=41500 #constraints=177446 1032.20/1032.61 c nbDecision=42000 #constraints=177750 1062.63/1063.18 c nbDecision=42500 #constraints=178003 1077.21/1077.77 c nbDecision=43000 #constraints=178195 1106.40/1106.90 c nbDecision=43500 #constraints=178455 1136.89/1137.43 c nbDecision=44000 #constraints=178456 1151.28/1151.87 c nbDecision=44500 #constraints=178702 1167.78/1168.34 c nbDecision=45000 #constraints=179115 1185.67/1186.23 c nbDecision=45500 #constraints=179494 1214.56/1215.19 c nbDecision=46000 #constraints=179808 1231.36/1231.97 c nbDecision=46500 #constraints=179991 1254.05/1254.66 c nbDecision=47000 #constraints=180258 1272.74/1273.35 c nbDecision=47500 #constraints=180705 1292.23/1292.83 c nbDecision=48000 #constraints=180973 1324.32/1324.92 c nbDecision=48500 #constraints=181152 1344.31/1344.94 c nbDecision=49000 #constraints=181356 1363.20/1363.89 c nbDecision=49500 #constraints=181731 1382.60/1383.23 c nbDecision=50000 #constraints=182102 1405.09/1405.71 c nbDecision=50500 #constraints=182488 1419.88/1420.51 c nbDecision=51000 #constraints=182879 1432.68/1433.38 c restart after 51201 decisions 1460.37/1461.02 c nbDecision=51500 #constraints=182931 1476.07/1476.71 c nbDecision=52000 #constraints=183230 1511.25/1511.91 c nbDecision=52500 #constraints=183373 1526.45/1527.19 c nbDecision=53000 #constraints=183728 1548.54/1549.29 c nbDecision=53500 #constraints=184052 1583.82/1584.55 c nbDecision=54000 #constraints=184253 1603.12/1603.81 c nbDecision=54500 #constraints=184488 1619.72/1620.50 c nbDecision=55000 #constraints=184937 1637.22/1637.93 c nbDecision=55500 #constraints=185372 1673.10/1673.83 c nbDecision=56000 #constraints=185567 1708.38/1709.18 c nbDecision=56500 #constraints=185568 1723.58/1724.38 c nbDecision=57000 #constraints=185992 1750.27/1751.08 c nbDecision=57500 #constraints=186245 1774.36/1775.19 c nbDecision=58000 #constraints=186565 1800.06/1800.80 Received signal 15 1800.06/1800.84 1800.06/1800.84 s UNKNOWN 1800.06/1800.84 1800.06/1800.84 c user time= 1798.26 s 1800.06/1800.84 c system time= 1.84072 s 1800.06/1800.84 c wall clock time=1800.84
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb mv /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb.tmp /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-454940-1178034240 -o ROOT/results/node40/solver-454940-1178034240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454940-1178034240/instance-454940-1178034240.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.85 0.95 0.98 4/77 22029 /proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1468 CPUtime=0 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132303649 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134527390 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 367 167 131 317 0 46 0 [startup+0.0493121 s] /proc/loadavg: 0.85 0.95 0.98 4/77 22029 /proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=2392 CPUtime=0.04 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 408 0 0 0 4 0 0 0 18 0 1 0 132303649 2449408 391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 598 391 131 317 0 277 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2392 [startup+0.101321 s] /proc/loadavg: 0.85 0.95 0.98 4/77 22029 /proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=3448 CPUtime=0.09 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 132303649 3530752 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 862 652 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301363 s] /proc/loadavg: 0.85 0.95 0.98 4/77 22029 /proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=7408 CPUtime=0.29 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 1650 0 0 0 28 1 0 0 19 0 1 0 132303649 7585792 1633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 1852 1633 131 317 0 1531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7408 [startup+0.701445 s] /proc/loadavg: 0.85 0.95 0.98 4/77 22029 /proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=19720 CPUtime=0.69 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 4769 0 0 0 67 2 0 0 23 0 1 0 132303649 20193280 4719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 4930 4719 132 317 0 4609 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19720 [startup+1.50161 s] /proc/loadavg: 0.85 0.95 0.98 2/78 22030 /proc/meminfo: memFree=1734584/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=58304 CPUtime=1.49 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 14528 0 0 0 142 7 0 0 25 0 1 0 132303649 59703296 14284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 14576 14284 137 317 0 14255 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58304 [startup+3.10195 s] /proc/loadavg: 0.85 0.95 0.98 2/78 22030 /proc/meminfo: memFree=1703096/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=63320 CPUtime=3.09 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 15778 0 0 0 302 7 0 0 25 0 1 0 132303649 64839680 15534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 15830 15534 138 317 0 15509 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63320 [startup+6.30162 s] /proc/loadavg: 0.86 0.95 0.98 2/78 22030 /proc/meminfo: memFree=1698872/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=72608 CPUtime=6.29 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 18078 0 0 0 621 8 0 0 25 0 1 0 132303649 74350592 16784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 18152 16784 139 317 0 17831 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72608 [startup+12.702 s] /proc/loadavg: 0.87 0.95 0.98 2/78 22030 /proc/meminfo: memFree=1681080/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=91160 CPUtime=12.69 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 22737 0 0 0 1258 11 0 0 25 0 1 0 132303649 93347840 21443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 22790 21443 139 317 0 22469 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91160 [startup+25.5016 s] /proc/loadavg: 0.90 0.96 0.98 2/78 22030 /proc/meminfo: memFree=1654456/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=118164 CPUtime=25.48 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 29083 0 0 0 2535 13 0 0 25 0 1 0 132303649 120999936 27789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 29541 27789 139 317 0 29220 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 118164 [startup+51.102 s] /proc/loadavg: 0.93 0.96 0.98 2/78 22030 /proc/meminfo: memFree=1600184/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=176876 CPUtime=51.07 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 42763 0 0 0 5088 19 0 0 25 0 1 0 132303649 181121024 41469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 44219 41469 139 317 0 43898 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 176876 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.98 2/78 22030 /proc/meminfo: memFree=1529848/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=240312 CPUtime=102.26 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 60020 0 0 0 10200 26 0 0 25 0 1 0 132303649 246079488 58726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 60078 58726 139 317 0 59757 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 240312 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1433976/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=344296 CPUtime=162.23 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 84311 0 0 0 16186 37 0 0 25 0 1 0 132303649 352559104 83017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 86074 83017 139 317 0 85753 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 344296 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1367864/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=402024 CPUtime=222.22 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 100507 0 0 0 22177 45 0 0 25 0 1 0 132303649 411672576 99213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 100506 99213 139 317 0 100185 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 402024 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1250040/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=547280 CPUtime=282.19 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 129948 0 0 0 28162 57 0 0 25 0 1 0 132303649 560414720 128654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 136820 128654 139 317 0 136499 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 547280 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1187640/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=603028 CPUtime=342.17 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 145484 0 0 0 34154 63 0 0 25 0 1 0 132303649 617500672 144190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 150757 144190 139 317 0 150436 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 603028 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1142584/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=644504 CPUtime=402.15 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 156945 0 0 0 40147 68 0 0 25 0 1 0 132303649 659972096 155651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 161126 155651 139 317 0 160805 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 644504 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1078456/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=700900 CPUtime=462.12 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 172634 0 0 0 46137 75 0 0 25 0 1 0 132303649 717721600 171340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 175225 171340 139 317 0 174904 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 700900 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=1040376/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=734636 CPUtime=522.11 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 182136 0 0 0 52132 79 0 0 25 0 1 0 132303649 752267264 180842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 183659 180842 139 317 0 183338 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 734636 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=957048/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=912412 CPUtime=582.08 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 220398 0 0 0 58115 93 0 0 25 0 1 0 132303649 934309888 201647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 228103 201647 139 317 0 227782 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 912412 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=915640/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=946936 CPUtime=642.06 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 230638 0 0 0 64108 98 0 0 25 0 1 0 132303649 969662464 211887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 236734 211887 139 317 0 236413 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 946936 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=721848/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1111792 CPUtime=941.95 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 278981 0 0 0 94076 119 0 0 25 0 1 0 132303649 1138475008 260230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 277948 260230 139 317 0 277627 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1111792 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22030 /proc/meminfo: memFree=666808/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1160624 CPUtime=1001.93 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 292759 0 0 0 100069 124 0 0 25 0 1 0 132303649 1188478976 274008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 290156 274008 139 317 0 289835 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1160624 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 22200 /proc/meminfo: memFree=626816/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1192932 CPUtime=1061.83 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 302427 0 0 0 106053 130 0 0 25 0 1 0 132303649 1221562368 283676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 298233 283676 139 317 0 297912 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 1192932 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=608504/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1209092 CPUtime=1121.79 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 307245 0 0 0 112048 131 0 0 25 0 1 0 132303649 1238110208 288494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 302273 288494 139 317 0 301952 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 1209092 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=569912/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1241184 CPUtime=1181.77 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 316867 0 0 0 118041 136 0 0 25 0 1 0 132303649 1270972416 298116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 310296 298116 139 317 0 309975 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 1241184 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=531448/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1273208 CPUtime=1241.75 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 326447 0 0 0 124036 139 0 0 25 0 1 0 132303649 1303764992 307696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 318302 307696 139 317 0 317981 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 1273208 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=496312/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1305060 CPUtime=1301.74 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 335213 0 0 0 130031 143 0 0 25 0 1 0 132303649 1336381440 316462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 326265 316462 139 317 0 325944 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 1305060 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=475576/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1323480 CPUtime=1361.71 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 340600 0 0 0 136026 145 0 0 25 0 1 0 132303649 1355243520 321849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 330870 321849 139 317 0 330549 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 1323480 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=420152/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1368396 CPUtime=1421.69 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 354214 0 0 0 142020 149 0 0 25 0 1 0 132303649 1401237504 335463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 342099 335463 139 317 0 341778 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 1368396 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=401208/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1384176 CPUtime=1481.66 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 358945 0 0 0 148014 152 0 0 25 0 1 0 132303649 1417396224 340194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 346044 340194 139 317 0 345723 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 1384176 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=385144/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1399840 CPUtime=1541.64 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 362976 0 0 0 154011 153 0 0 25 0 1 0 132303649 1433436160 344225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 349960 344225 139 317 0 349639 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 1399840 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=358200/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1421968 CPUtime=1601.62 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 369981 0 0 0 160006 156 0 0 25 0 1 0 132303649 1456095232 351230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 355492 351230 139 317 0 355171 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 1421968 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=310264/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1462340 CPUtime=1661.6 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 381667 0 0 0 165999 161 0 0 25 0 1 0 132303649 1497436160 362916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 365585 362916 139 317 0 365264 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 1462340 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=295800/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1474952 CPUtime=1721.57 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 385614 0 0 0 171995 162 0 0 25 0 1 0 132303649 1510350848 366863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 368738 366863 139 317 0 368417 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 1474952 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=237688/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1762144 CPUtime=1781.55 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 451033 0 0 0 177972 183 0 0 25 0 1 0 132303649 1804435456 381062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 440536 381062 139 317 0 440215 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 1762144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=235064/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=1764256 CPUtime=1800.06 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 451573 0 0 0 179822 184 0 0 25 0 1 0 132303649 1806598144 381602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 441064 381602 139 317 0 440743 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1764256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=235064/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=0 CPUtime=1800.25 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194308 451589 0 0 0 179831 194 0 0 25 0 1 0 132303649 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22228 /proc/meminfo: memFree=235064/2055920 swapFree=4157412/4192956 [pid=22029] ppid=22027 vsize=0 CPUtime=1800.35 /proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194308 451589 0 0 0 179831 204 0 0 25 0 1 0 132303649 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22029/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.14 CPU time (s): 1800.4 CPU user time (s): 1798.31 CPU system time (s): 2.08568 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 1764256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.31 system time used= 2.08568 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451589 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= 38882 runsolver used 1.38079 second user time and 4.06738 second system time The end
Begin job on node40 on Tue May 1 15:44:01 UTC 2007 IDJOB= 454940 IDBENCH= 48230 IDSOLVER= 172 FILE ID= node40/454940-1178034240 PBS_JOBID= 4728412 Free space on /tmp= 66541 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb COMMAND LINE= oree /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-454940-1178034240 -o ROOT/results/node40/conversion-454940-1178034240 -C 600 -M 1800 /tmp/evaluation/454940-1178034240/substituteSizeProductKeyword /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-454940-1178034240 -o ROOT/results/node40/solver-454940-1178034240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= a5ab0443a6669cc558112b6f5f13d1cd RANDOM SEED= 744581526 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1765328 kB Buffers: 63500 kB Cached: 138184 kB SwapCached: 15100 kB Active: 103420 kB Inactive: 122244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765328 kB SwapTotal: 4192956 kB SwapFree: 4157412 kB Dirty: 3516 kB Writeback: 0 kB Mapped: 30132 kB Slab: 50304 kB Committed_AS: 3022672 kB PageTables: 1932 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= 66541 MiB End job on node40 on Tue May 1 16:14:04 UTC 2007