Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.27 | 1802.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_1.opb |
MD5SUM | 6856221d5d444d2079d321f11fb11f0b |
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 | -74 |
Best CPU time to get the best result obtained on this benchmark | 1800.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -74 |
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) | 151172 |
Sum of products size (including duplicates) | 302344 |
Number of different products | 75586 |
Sum of products size | 151172 |
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.22 c ...done 1.19/1.22 c #vars=77586 #constraints=154175 hasObjective=yes 1.89/1.99 c res. mode=mod 1.89/1.99 c VSIDS like heuristics 1.89/1.99 c complete search running 2.49/2.59 c restart after 401 decisions 2.79/2.84 c nbDecision=500 #constraints=154175 3.20/3.27 c restart after 801 decisions 3.59/3.66 c nbDecision=1000 #constraints=154175 7.29/7.33 c nbDecision=1500 #constraints=154374 8.79/8.87 c restart after 1601 decisions 9.68/9.79 c nbDecision=2000 #constraints=154476 14.58/14.61 c nbDecision=2500 #constraints=154753 22.48/22.51 c nbDecision=3000 #constraints=155180 22.98/23.02 c restart after 3201 decisions 24.08/24.17 c nbDecision=3500 #constraints=155180 28.88/28.93 c nbDecision=4000 #constraints=155392 37.48/37.56 c nbDecision=4500 #constraints=155806 46.77/46.87 c nbDecision=5000 #constraints=156184 50.08/50.14 c nbDecision=5500 #constraints=156276 60.17/60.20 c nbDecision=6000 #constraints=156683 62.17/62.27 c restart after 6401 decisions 63.97/64.03 c nbDecision=6500 #constraints=156684 67.67/67.70 c nbDecision=7000 #constraints=156783 78.27/78.37 c nbDecision=7500 #constraints=157183 81.67/81.77 c nbDecision=8000 #constraints=157239 91.36/91.41 c nbDecision=8500 #constraints=157681 101.17/101.29 c nbDecision=9000 #constraints=158164 110.66/110.74 c nbDecision=9500 #constraints=158581 119.96/120.06 c nbDecision=10000 #constraints=158961 129.76/129.85 c nbDecision=10500 #constraints=159370 140.05/140.18 c nbDecision=11000 #constraints=159843 150.05/150.14 c nbDecision=11500 #constraints=160179 160.55/160.64 c nbDecision=12000 #constraints=160647 170.65/170.78 c nbDecision=12500 #constraints=161079 176.85/176.91 c restart after 12801 decisions 183.14/183.27 c nbDecision=13000 #constraints=161272 190.44/190.51 c nbDecision=13500 #constraints=161471 200.93/201.06 c nbDecision=14000 #constraints=161852 211.73/211.88 c nbDecision=14500 #constraints=162249 226.53/226.60 c nbDecision=15000 #constraints=162605 233.83/233.94 c nbDecision=15500 #constraints=162695 249.13/249.20 c nbDecision=16000 #constraints=163092 260.63/260.74 c nbDecision=16500 #constraints=163093 267.91/268.01 c nbDecision=17000 #constraints=163218 283.22/283.36 c nbDecision=17500 #constraints=163578 295.31/295.44 c nbDecision=18000 #constraints=163579 303.10/303.28 c nbDecision=18500 #constraints=163741 315.11/315.20 c nbDecision=19000 #constraints=164065 327.31/327.40 c nbDecision=19500 #constraints=164547 337.70/337.87 c nbDecision=20000 #constraints=164932 349.49/349.67 c nbDecision=20500 #constraints=165328 361.19/361.30 c nbDecision=21000 #constraints=165784 375.19/375.34 c nbDecision=21500 #constraints=165994 386.39/386.58 c nbDecision=22000 #constraints=166470 398.28/398.42 c nbDecision=22500 #constraints=166923 410.19/410.31 c nbDecision=23000 #constraints=167390 431.28/431.40 c nbDecision=23500 #constraints=167431 440.98/441.18 c nbDecision=24000 #constraints=167634 455.17/455.37 c nbDecision=24500 #constraints=167929 474.87/475.00 c nbDecision=25000 #constraints=168383 486.56/486.75 c nbDecision=25500 #constraints=168384 488.66/488.81 c restart after 25601 decisions 504.56/504.73 c nbDecision=26000 #constraints=168410 515.65/515.83 c nbDecision=26500 #constraints=168809 528.05/528.28 c nbDecision=27000 #constraints=169265 549.24/549.43 c nbDecision=27500 #constraints=169333 560.24/560.49 c nbDecision=28000 #constraints=169665 574.14/574.39 c nbDecision=28500 #constraints=170036 586.53/586.77 c nbDecision=29000 #constraints=170517 599.63/599.86 c nbDecision=29500 #constraints=170969 614.03/614.26 c nbDecision=30000 #constraints=171349 628.02/628.24 c nbDecision=30500 #constraints=171763 642.02/642.27 c nbDecision=31000 #constraints=172181 666.21/666.48 c nbDecision=31500 #constraints=172623 678.31/678.52 c nbDecision=32000 #constraints=172633 693.31/693.50 c nbDecision=32500 #constraints=173089 705.60/705.87 c nbDecision=33000 #constraints=173514 720.70/720.91 c nbDecision=33500 #constraints=173900 735.60/735.83 c nbDecision=34000 #constraints=174301 760.49/760.71 c nbDecision=34500 #constraints=174480 785.28/785.55 c nbDecision=35000 #constraints=174481 797.88/798.14 c nbDecision=35500 #constraints=174820 822.68/822.93 c nbDecision=36000 #constraints=174942 835.57/835.89 c nbDecision=36500 #constraints=175346 851.27/851.59 c nbDecision=37000 #constraints=175736 869.46/869.73 c nbDecision=37500 #constraints=176046 896.55/896.89 c nbDecision=38000 #constraints=176323 910.15/910.43 c nbDecision=38500 #constraints=176526 936.84/937.18 c nbDecision=39000 #constraints=176780 950.74/951.00 c nbDecision=39500 #constraints=177032 968.43/968.79 c nbDecision=40000 #constraints=177379 995.93/996.24 c nbDecision=40500 #constraints=177693 1015.52/1015.84 c nbDecision=41000 #constraints=177721 1032.01/1032.37 c nbDecision=41500 #constraints=178148 1046.41/1046.70 c nbDecision=42000 #constraints=178580 1063.21/1063.53 c nbDecision=42500 #constraints=178971 1094.70/1095.06 c nbDecision=43000 #constraints=179056 1108.60/1108.94 c nbDecision=43500 #constraints=179425 1138.49/1138.85 c nbDecision=44000 #constraints=179507 1169.18/1169.52 c nbDecision=44500 #constraints=179508 1197.47/1197.83 c nbDecision=45000 #constraints=179958 1215.57/1215.97 c nbDecision=45500 #constraints=179959 1230.86/1231.21 c nbDecision=46000 #constraints=180408 1261.76/1262.11 c nbDecision=46500 #constraints=180414 1278.15/1278.53 c nbDecision=47000 #constraints=180857 1295.94/1296.38 c nbDecision=47500 #constraints=181220 1328.34/1328.75 c nbDecision=48000 #constraints=181305 1345.53/1345.92 c nbDecision=48500 #constraints=181650 1367.73/1368.16 c nbDecision=49000 #constraints=181936 1384.73/1385.19 c nbDecision=49500 #constraints=182357 1405.82/1406.27 c nbDecision=50000 #constraints=182687 1424.31/1424.70 c nbDecision=50500 #constraints=183087 1440.52/1440.91 c nbDecision=51000 #constraints=183525 1456.01/1456.41 c restart after 51201 decisions 1482.90/1483.31 c nbDecision=51500 #constraints=183531 1498.49/1498.95 c nbDecision=52000 #constraints=183830 1519.29/1519.72 c nbDecision=52500 #constraints=184179 1561.28/1561.70 c nbDecision=53000 #constraints=184414 1579.77/1580.25 c nbDecision=53500 #constraints=184470 1599.26/1599.78 c nbDecision=54000 #constraints=184856 1633.76/1634.26 c nbDecision=54500 #constraints=185293 1653.25/1653.74 c nbDecision=55000 #constraints=185314 1673.25/1673.78 c nbDecision=55500 #constraints=185730 1690.24/1690.78 c nbDecision=56000 #constraints=186136 1727.64/1728.17 c nbDecision=56500 #constraints=186169 1746.63/1747.15 c nbDecision=57000 #constraints=186603 1766.72/1767.29 c nbDecision=57500 #constraints=187038 1788.62/1789.12 c nbDecision=58000 #constraints=187323 1800.02/1800.50 Received signal 15
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb mv /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb.tmp /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-455630-1178046883 -o ROOT/results/node57/solver-455630-1178046883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455630-1178046883/instance-455630-1178046883.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.97 0.94 3/64 5334 /proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1468 CPUtime=0 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 245824294 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827760 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 367 164 131 317 0 46 0 [startup+0.0913279 s] /proc/loadavg: 0.85 0.97 0.94 3/64 5334 /proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=3184 CPUtime=0.08 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 614 0 0 0 8 0 0 0 18 0 1 0 245824294 3260416 597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 796 598 131 317 0 475 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3184 [startup+0.101329 s] /proc/loadavg: 0.85 0.97 0.94 3/64 5334 /proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=3448 CPUtime=0.09 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 664 0 0 0 9 0 0 0 18 0 1 0 245824294 3530752 647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 862 647 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301345 s] /proc/loadavg: 0.85 0.97 0.94 3/64 5334 /proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=7276 CPUtime=0.29 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 1636 0 0 0 29 0 0 0 19 0 1 0 245824294 7450624 1619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 1819 1619 131 317 0 1498 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7276 [startup+0.701379 s] /proc/loadavg: 0.85 0.97 0.94 3/64 5334 /proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=19560 CPUtime=0.69 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 4710 0 0 0 67 2 0 0 22 0 1 0 245824294 20029440 4660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 4890 4661 132 317 0 4569 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19560 [startup+1.50145 s] /proc/loadavg: 0.85 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1852488/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=58572 CPUtime=1.49 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 14596 0 0 0 144 5 0 0 25 0 1 0 245824294 59977728 14352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 14643 14352 137 317 0 14322 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58572 [startup+3.10159 s] /proc/loadavg: 0.85 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1820424/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=63588 CPUtime=3.09 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 15849 0 0 0 303 6 0 0 25 0 1 0 245824294 65114112 15605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 15897 15605 138 317 0 15576 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63588 [startup+6.30187 s] /proc/loadavg: 0.86 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1816144/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=72740 CPUtime=6.29 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 18119 0 0 0 622 7 0 0 25 0 1 0 245824294 74485760 16821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 18185 16821 139 317 0 17864 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72740 [startup+12.7014 s] /proc/loadavg: 0.87 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1798224/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=91448 CPUtime=12.69 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 22815 0 0 0 1260 9 0 0 25 0 1 0 245824294 93642752 21517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 22862 21517 139 317 0 22541 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91448 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1771664/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=118536 CPUtime=25.48 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 29172 0 0 0 2537 11 0 0 25 0 1 0 245824294 121380864 27874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 29634 27874 139 317 0 29313 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 118536 [startup+51.1018 s] /proc/loadavg: 0.93 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1720400/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=174476 CPUtime=51.07 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 42116 0 0 0 5090 17 0 0 25 0 1 0 245824294 178663424 40818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 43619 40818 139 317 0 43298 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 174476 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1647184/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=240552 CPUtime=102.27 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 60080 0 0 0 10201 26 0 0 25 0 1 0 245824294 246325248 58782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 60138 58782 139 317 0 59817 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 240552 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1532176/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=360996 CPUtime=162.25 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 88999 0 0 0 16187 38 0 0 25 0 1 0 245824294 369659904 87701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 90249 87701 139 317 0 89928 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 360996 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1424784/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=495684 CPUtime=222.23 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 115526 0 0 0 22174 49 0 0 25 0 1 0 245824294 507580416 114228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 123921 114228 139 317 0 123600 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 495684 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1385936/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=530264 CPUtime=282.22 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 125236 0 0 0 28168 54 0 0 25 0 1 0 245824294 542990336 123938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 132566 123938 139 317 0 132245 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 530264 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1327760/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=581940 CPUtime=342.2 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 139738 0 0 0 34160 60 0 0 25 0 1 0 245824294 595906560 138440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 145485 138440 139 317 0 145164 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 581940 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1249232/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=653392 CPUtime=402.18 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 159726 0 0 0 40150 68 0 0 25 0 1 0 245824294 669073408 158428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 163348 158428 139 317 0 163027 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 653392 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1201552/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=695964 CPUtime=462.16 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 171405 0 0 0 46143 73 0 0 25 0 1 0 245824294 712667136 170107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 173991 170107 139 317 0 173670 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 695964 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1172624/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=723584 CPUtime=522.15 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 179376 0 0 0 52139 76 0 0 25 0 1 0 245824294 740950016 178078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 180896 178078 139 317 0 180575 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 723584 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1118864/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=770148 CPUtime=582.13 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 192068 0 0 0 58132 81 0 0 25 0 1 0 245824294 788631552 190770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 192537 190770 139 317 0 192216 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 770148 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5335 /proc/meminfo: memFree=1011536/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=964856 CPUtime=642.12 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 235865 0 0 0 64115 97 0 0 25 0 1 0 245824294 988012544 217275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562754 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 241214 217275 139 317 0 240893 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 964856 ################ # More data... # ################ /proc/meminfo: memFree=731280/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1204676 CPUtime=1062.01 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 306081 0 0 0 106074 127 0 0 25 0 1 0 245824294 1233588224 287491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 301169 287491 139 317 0 300848 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1204676 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=706256/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1225388 CPUtime=1121.99 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 312036 0 0 0 112070 129 0 0 25 0 1 0 245824294 1254797312 293446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 306347 293446 139 317 0 306026 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1225388 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=689168/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1240516 CPUtime=1181.97 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 316611 0 0 0 118066 131 0 0 25 0 1 0 245824294 1270288384 298021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 310129 298021 139 317 0 309808 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1240516 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=667728/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1257412 CPUtime=1241.96 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 321628 0 0 0 124063 133 0 0 25 0 1 0 245824294 1287589888 303038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 314353 303038 139 317 0 314032 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1257412 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=632528/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1289444 CPUtime=1301.95 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 330406 0 0 0 130058 137 0 0 25 0 1 0 245824294 1320390656 311816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 322361 311816 139 317 0 322040 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1289444 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=613520/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1305404 CPUtime=1361.93 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 335176 0 0 0 136053 140 0 0 25 0 1 0 245824294 1336733696 316586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 326351 316586 139 317 0 326030 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1305404 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=556368/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1352980 CPUtime=1421.92 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 349423 0 0 0 142047 145 0 0 25 0 1 0 245824294 1385451520 330833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 338245 330833 139 317 0 337924 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1352980 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=537360/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1368756 CPUtime=1481.9 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 354159 0 0 0 148043 147 0 0 25 0 1 0 245824294 1401606144 335569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 342189 335569 139 317 0 341868 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1368756 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5337 /proc/meminfo: memFree=502352/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1400180 CPUtime=1541.88 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 362898 0 0 0 154037 151 0 0 25 0 1 0 245824294 1433784320 344308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 350045 344308 139 317 0 349724 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1400180 [startup+1602.3 s] /proc/loadavg: 1.06 0.99 0.95 2/65 5337 /proc/meminfo: memFree=481360/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1419272 CPUtime=1601.87 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 369110 0 0 0 160034 153 0 0 25 0 1 0 245824294 1453334528 350520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 354818 350520 139 317 0 354497 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1419272 [startup+1662.3 s] /proc/loadavg: 1.08 1.00 0.95 2/65 5337 /proc/meminfo: memFree=450448/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1443216 CPUtime=1661.85 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 375932 0 0 0 166030 155 0 0 25 0 1 0 245824294 1477853184 357342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 360804 357342 139 317 0 360483 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1443216 [startup+1722.3 s] /proc/loadavg: 1.07 1.01 0.96 2/65 5337 /proc/meminfo: memFree=427408/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1462612 CPUtime=1721.84 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 381580 0 0 0 172027 157 0 0 25 0 1 0 245824294 1497714688 362990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 365653 362990 139 317 0 365332 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1462612 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 0.96 2/65 5337 /proc/meminfo: memFree=358608/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1757552 CPUtime=1781.82 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 449517 0 0 0 178001 181 0 0 25 0 1 0 245824294 1799733248 380032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 439388 380032 139 317 0 439067 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1757552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.02 1.01 0.96 2/65 5337 /proc/meminfo: memFree=351696/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1764596 CPUtime=1800.02 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 451281 0 0 0 179820 182 0 0 25 0 1 0 245824294 1806946304 381796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 441149 381796 139 317 0 440828 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1764596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.02 1.01 0.96 2/66 5338 /proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1764596 CPUtime=1800.91 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 451281 0 0 0 179909 182 0 0 25 0 1 0 245824294 1806946304 381796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 441149 381796 139 317 0 440828 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 1764596 [startup+1802.2 s] /proc/loadavg: 1.02 1.01 0.96 2/66 5338 /proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=1764596 CPUtime=1801.71 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 451281 0 0 0 179989 182 0 0 25 0 1 0 245824294 1806946304 381796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 441149 381796 139 317 0 440828 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 1764596 [startup+1802.6 s] /proc/loadavg: 1.02 1.01 0.96 2/66 5338 /proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=0 CPUtime=1802.12 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4195332 451281 0 0 0 180020 192 0 0 25 0 1 0 245824294 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 [startup+1802.7 s] /proc/loadavg: 1.02 1.01 0.96 2/66 5338 /proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956 [pid=5334] ppid=5332 vsize=0 CPUtime=1802.22 /proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4195332 451281 0 0 0 180020 202 0 0 25 0 1 0 245824294 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5334/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.27 CPU user time (s): 1800.2 CPU system time (s): 2.06969 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1764596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.2 system time used= 2.06968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451281 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= 2150 runsolver used 1.2928 second user time and 3.65144 second system time The end
Begin job on node57 on Tue May 1 19:14:43 UTC 2007 IDJOB= 455630 IDBENCH= 48276 IDSOLVER= 172 FILE ID= node57/455630-1178046883 PBS_JOBID= 4728498 Free space on /tmp= 66561 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_1.opb COMMAND LINE= oree /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-455630-1178046883 -o ROOT/results/node57/conversion-455630-1178046883 -C 600 -M 1800 /tmp/evaluation/455630-1178046883/substituteSizeProductKeyword /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-455630-1178046883 -o ROOT/results/node57/solver-455630-1178046883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 6856221d5d444d2079d321f11fb11f0b RANDOM SEED= 272628019 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1882856 kB Buffers: 36624 kB Cached: 72192 kB SwapCached: 3520 kB Active: 77728 kB Inactive: 42996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1882856 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 3604 kB Writeback: 0 kB Mapped: 15112 kB Slab: 38428 kB Committed_AS: 4737496 kB PageTables: 1408 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= 66561 MiB End job on node57 on Tue May 1 19:44:46 UTC 2007