Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb |
MD5SUM | 1eb933a10fcc575d2df25e98511c4b07 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 45.985 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2960 |
Sum of products size (including duplicates) | 5920 |
Number of different products | 1480 |
Sum of products size | 2960 |
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.00/0.02 c ...done 0.00/0.02 c #vars=1580 #constraints=3113 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.09/0.19 c restart after 401 decisions 0.19/0.23 c nbDecision=500 #constraints=3481 0.29/0.37 c restart after 801 decisions 0.39/0.48 c nbDecision=1000 #constraints=3845 0.79/0.84 c nbDecision=1500 #constraints=4224 0.89/0.92 c restart after 1601 decisions 1.19/1.28 c nbDecision=2000 #constraints=4625 1.89/1.90 c nbDecision=2500 #constraints=4999 2.69/2.73 c nbDecision=3000 #constraints=5358 2.99/3.07 c restart after 3201 decisions 3.69/3.72 c nbDecision=3500 #constraints=5751 4.89/4.91 c nbDecision=4000 #constraints=6152 6.59/6.61 c nbDecision=4500 #constraints=6510 8.18/8.27 c nbDecision=5000 #constraints=6906 10.09/10.18 c nbDecision=5500 #constraints=7326 12.99/13.07 c nbDecision=6000 #constraints=7678 14.98/15.04 c restart after 6401 decisions 15.68/15.74 c nbDecision=6500 #constraints=8074 18.58/18.69 c nbDecision=7000 #constraints=8446 21.69/21.70 c nbDecision=7500 #constraints=8831 25.58/25.62 c nbDecision=8000 #constraints=9217 30.58/30.66 c nbDecision=8500 #constraints=9545 35.87/35.92 c nbDecision=9000 #constraints=9871 40.97/41.02 c nbDecision=9500 #constraints=10258 46.28/46.40 c nbDecision=10000 #constraints=10627 51.97/52.05 c nbDecision=10500 #constraints=11001 59.67/59.72 c nbDecision=11000 #constraints=11357 69.06/69.10 c nbDecision=11500 #constraints=11657 75.87/75.95 c nbDecision=12000 #constraints=12055 83.66/83.77 c nbDecision=12500 #constraints=12439 88.56/88.69 c restart after 12801 decisions 91.86/91.92 c nbDecision=13000 #constraints=12811 101.65/101.76 c nbDecision=13500 #constraints=13126 112.94/113.03 c nbDecision=14000 #constraints=13419 123.15/123.30 c nbDecision=14500 #constraints=13789 134.24/134.39 c nbDecision=15000 #constraints=14160 144.33/144.48 c nbDecision=15500 #constraints=14548 156.93/157.05 c nbDecision=16000 #constraints=14930 169.72/169.86 c nbDecision=16500 #constraints=15309 185.52/185.69 c nbDecision=17000 #constraints=15624 199.81/199.96 c nbDecision=17500 #constraints=16008 214.31/214.43 c nbDecision=18000 #constraints=16399 229.11/229.22 c nbDecision=18500 #constraints=16780 246.70/246.88 c nbDecision=19000 #constraints=17150 267.49/267.68 c nbDecision=19500 #constraints=17472 282.08/282.27 c nbDecision=20000 #constraints=17895 300.98/301.15 c nbDecision=20500 #constraints=18268 317.67/317.90 c nbDecision=21000 #constraints=18664 338.76/338.90 c nbDecision=21500 #constraints=19036 359.75/359.97 c nbDecision=22000 #constraints=19414 385.04/385.23 c nbDecision=22500 #constraints=19766 408.23/408.44 c nbDecision=23000 #constraints=20136 425.43/425.63 c nbDecision=23500 #constraints=20539 444.92/445.17 c nbDecision=24000 #constraints=20926 468.10/468.38 c nbDecision=24500 #constraints=21310 491.51/491.73 c nbDecision=25000 #constraints=21698 514.09/514.35 c nbDecision=25500 #constraints=22104 518.40/518.65 c restart after 25601 decisions 538.08/538.35 c nbDecision=26000 #constraints=22495 570.47/570.74 c nbDecision=26500 #constraints=22837 596.66/596.92 c nbDecision=27000 #constraints=23234 624.15/624.50 c nbDecision=27500 #constraints=23616 649.94/650.22 c nbDecision=28000 #constraints=24030 676.83/677.14 c nbDecision=28500 #constraints=24426 702.63/703.00 c nbDecision=29000 #constraints=24847 733.31/733.67 c nbDecision=29500 #constraints=25227 769.90/770.27 c nbDecision=30000 #constraints=25592 804.18/804.53 c nbDecision=30500 #constraints=25971 838.57/838.94 c nbDecision=31000 #constraints=26348 871.36/871.79 c nbDecision=31500 #constraints=26738 900.14/900.55 c nbDecision=32000 #constraints=27126 931.14/931.59 c nbDecision=32500 #constraints=27537 958.52/958.94 c nbDecision=33000 #constraints=27959 991.11/991.57 c nbDecision=33500 #constraints=28356 1025.59/1026.03 c nbDecision=34000 #constraints=28755 1066.68/1067.17 c nbDecision=34500 #constraints=29122 1102.27/1102.73 c nbDecision=35000 #constraints=29514 1139.15/1139.62 c nbDecision=35500 #constraints=29906 1173.34/1173.80 c nbDecision=36000 #constraints=30324 1206.33/1206.85 c nbDecision=36500 #constraints=30761 1253.31/1253.89 c nbDecision=37000 #constraints=31150 1293.99/1294.51 c nbDecision=37500 #constraints=31556 1336.38/1336.98 c nbDecision=38000 #constraints=31948 1373.17/1373.71 c nbDecision=38500 #constraints=32367 1412.65/1413.20 c nbDecision=39000 #constraints=32779 1453.13/1453.72 c nbDecision=39500 #constraints=33193 1496.31/1496.94 c nbDecision=40000 #constraints=33608 1555.09/1555.72 c nbDecision=40500 #constraints=33977 1591.28/1591.94 c nbDecision=41000 #constraints=34411 1631.97/1632.68 c nbDecision=41500 #constraints=34820 1679.25/1679.95 c nbDecision=42000 #constraints=35236 1720.43/1721.12 c nbDecision=42500 #constraints=35644 1754.92/1755.69 c nbDecision=43000 #constraints=36053 1794.90/1795.62 c nbDecision=43500 #constraints=36462 1800.01/1800.70 Received signal 15 1800.01/1800.75 1800.01/1800.75 s UNKNOWN 1800.01/1800.75 1800.01/1800.75 c user time= 1799.73 s 1800.01/1800.75 c system time= 0.330949 s 1800.01/1800.75 c wall clock time=1800.75
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb mv /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb.tmp /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-455210-1178039158 -o ROOT/results/node33/solver-455210-1178039158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455210-1178039158/instance-455210-1178039158.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.91 0.98 0.99 3/77 679 /proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=1468 CPUtime=0 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 251831290 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 367 166 131 317 0 46 0 [startup+0.0931389 s] /proc/loadavg: 0.91 0.98 0.99 3/77 679 /proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=3044 CPUtime=0.08 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 550 0 0 0 8 0 0 0 18 0 1 0 251831290 3117056 533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604316 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 761 533 139 317 0 440 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3044 [startup+0.101141 s] /proc/loadavg: 0.91 0.98 0.99 3/77 679 /proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=3044 CPUtime=0.09 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 251831290 3117056 544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 761 544 139 317 0 440 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3044 [startup+0.301182 s] /proc/loadavg: 0.91 0.98 0.99 3/77 679 /proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=3704 CPUtime=0.29 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 739 0 0 0 29 0 0 0 19 0 1 0 251831290 3792896 722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 926 722 139 317 0 605 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3704 [startup+0.701263 s] /proc/loadavg: 0.91 0.98 0.99 3/77 679 /proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=5032 CPUtime=0.69 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 1043 0 0 0 69 0 0 0 22 0 1 0 251831290 5152768 1026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 1258 1026 139 317 0 937 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5032 [startup+1.50243 s] /proc/loadavg: 0.91 0.98 0.99 2/78 680 /proc/meminfo: memFree=1826976/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=6628 CPUtime=1.49 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 1448 0 0 0 149 0 0 0 25 0 1 0 251831290 6787072 1431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 1657 1431 139 317 0 1336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6628 [startup+3.10175 s] /proc/loadavg: 0.91 0.98 0.99 2/78 680 /proc/meminfo: memFree=1825376/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=8712 CPUtime=3.09 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 1915 0 0 0 308 1 0 0 25 0 1 0 251831290 8921088 1898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 2178 1898 139 317 0 1857 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8712 [startup+6.30141 s] /proc/loadavg: 0.92 0.98 0.99 2/78 680 /proc/meminfo: memFree=1822368/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=10460 CPUtime=6.29 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 2415 0 0 0 628 1 0 0 25 0 1 0 251831290 10711040 2355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 2615 2355 139 317 0 2294 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10460 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 680 /proc/meminfo: memFree=1819872/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=12956 CPUtime=12.69 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 3047 0 0 0 1267 2 0 0 25 0 1 0 251831290 13266944 2987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 3239 2987 139 317 0 2918 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12956 [startup+25.5013 s] /proc/loadavg: 0.94 0.98 0.99 2/78 680 /proc/meminfo: memFree=1815904/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=17176 CPUtime=25.48 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 4017 0 0 0 2545 3 0 0 25 0 1 0 251831290 17588224 3957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 4294 3957 139 317 0 3973 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17176 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/78 680 /proc/meminfo: memFree=1812256/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=20628 CPUtime=51.07 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 4929 0 0 0 5103 4 0 0 25 0 1 0 251831290 21123072 4869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 5157 4869 139 317 0 4836 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20628 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 680 /proc/meminfo: memFree=1806752/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=27592 CPUtime=102.25 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 6387 0 0 0 10220 5 0 0 25 0 1 0 251831290 28254208 6242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 6898 6242 139 317 0 6577 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 27592 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1802464/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=31648 CPUtime=162.23 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 7460 0 0 0 16216 7 0 0 25 0 1 0 251831290 32407552 7315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 7912 7315 139 317 0 7591 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 31648 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1799328/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=34692 CPUtime=222.2 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 8227 0 0 0 22212 8 0 0 25 0 1 0 251831290 35524608 8082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 8673 8082 139 317 0 8352 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 34692 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1796448/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=37620 CPUtime=282.18 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 8933 0 0 0 28209 9 0 0 25 0 1 0 251831290 38522880 8788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 9405 8788 139 317 0 9084 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 37620 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1793888/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=39872 CPUtime=342.15 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 9570 0 0 0 34205 10 0 0 25 0 1 0 251831290 40828928 9425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 9968 9425 139 317 0 9647 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 39872 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1791904/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=41732 CPUtime=402.13 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 10063 0 0 0 40202 11 0 0 25 0 1 0 251831290 42733568 9918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 10433 9918 139 317 0 10112 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 41732 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1789088/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=44244 CPUtime=462.11 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 10745 0 0 0 46199 12 0 0 25 0 1 0 251831290 45305856 10600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 11061 10600 139 317 0 10740 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 44244 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1785952/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=49840 CPUtime=522.09 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 12012 0 0 0 52195 14 0 0 25 0 1 0 251831290 51036160 11339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 12460 11339 139 317 0 12139 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 49840 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1784480/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=51420 CPUtime=582.06 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 12415 0 0 0 58192 14 0 0 25 0 1 0 251831290 52654080 11742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 12855 11742 139 317 0 12534 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 51420 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1782560/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=53268 CPUtime=642.05 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 12880 0 0 0 64190 15 0 0 25 0 1 0 251831290 54546432 12207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 13317 12207 139 317 0 12996 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 53268 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1775520/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=61044 CPUtime=881.95 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 14812 0 0 0 88176 19 0 0 25 0 1 0 251831290 62509056 13937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 15261 13937 139 317 0 14940 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 61044 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1773728/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=63004 CPUtime=941.93 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 15262 0 0 0 94173 20 0 0 25 0 1 0 251831290 64516096 14387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 15751 14387 139 317 0 15430 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 63004 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1771936/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=64568 CPUtime=1001.91 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 15716 0 0 0 100170 21 0 0 25 0 1 0 251831290 66117632 14841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 16142 14841 139 317 0 15821 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 64568 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1770400/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=66016 CPUtime=1061.88 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 16084 0 0 0 106166 22 0 0 25 0 1 0 251831290 67600384 15209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 16504 15209 139 317 0 16183 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 66016 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 680 /proc/meminfo: memFree=1769120/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=67072 CPUtime=1121.86 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 16407 0 0 0 112163 23 0 0 25 0 1 0 251831290 68681728 15532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 16768 15532 139 317 0 16447 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 67072 [startup+1182.3 s] /proc/loadavg: 1.11 1.02 1.00 2/78 680 /proc/meminfo: memFree=1767264/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=68644 CPUtime=1181.84 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 16854 0 0 0 118160 24 0 0 25 0 1 0 251831290 70291456 15979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 17161 15979 139 317 0 16840 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 68644 [startup+1242.3 s] /proc/loadavg: 1.11 1.03 1.00 2/78 680 /proc/meminfo: memFree=1765728/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=69988 CPUtime=1241.82 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 17216 0 0 0 124157 25 0 0 25 0 1 0 251831290 71667712 16341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 17497 16341 139 317 0 17176 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 69988 [startup+1302.3 s] /proc/loadavg: 1.11 1.04 1.00 2/78 680 /proc/meminfo: memFree=1764512/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=71168 CPUtime=1301.8 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 17555 0 0 0 130154 26 0 0 25 0 1 0 251831290 72876032 16647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 17792 16647 139 317 0 17471 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 71168 [startup+1362.3 s] /proc/loadavg: 1.10 1.04 1.00 2/78 680 /proc/meminfo: memFree=1763104/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=72348 CPUtime=1361.77 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 17930 0 0 0 136151 26 0 0 25 0 1 0 251831290 74084352 16989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 18087 16989 139 317 0 17766 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 72348 [startup+1422.31 s] /proc/loadavg: 1.09 1.05 1.00 2/78 680 /proc/meminfo: memFree=1761504/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=73924 CPUtime=1421.75 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 18383 0 0 0 142147 28 0 0 25 0 1 0 251831290 75698176 17376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 18481 17376 139 317 0 18160 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 73924 [startup+1482.3 s] /proc/loadavg: 1.08 1.05 1.00 2/78 680 /proc/meminfo: memFree=1760096/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=75516 CPUtime=1481.72 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 18768 0 0 0 148144 28 0 0 25 0 1 0 251831290 77328384 17728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 18879 17728 139 317 0 18558 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 75516 [startup+1542.3 s] /proc/loadavg: 1.08 1.06 1.00 2/78 680 /proc/meminfo: memFree=1759136/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=76304 CPUtime=1541.7 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 19008 0 0 0 154141 29 0 0 25 0 1 0 251831290 78135296 17968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 19076 17968 139 317 0 18755 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 76304 [startup+1602.3 s] /proc/loadavg: 1.07 1.06 1.00 2/78 680 /proc/meminfo: memFree=1757600/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=77492 CPUtime=1601.68 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 19385 0 0 0 160138 30 0 0 25 0 1 0 251831290 79351808 18345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 19373 18345 139 317 0 19052 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 77492 [startup+1662.3 s] /proc/loadavg: 1.11 1.08 1.01 2/78 680 /proc/meminfo: memFree=1756256/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=79060 CPUtime=1661.66 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 19814 0 0 0 166135 31 0 0 25 0 1 0 251831290 80957440 18675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 19765 18675 139 317 0 19444 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 79060 [startup+1722.3 s] /proc/loadavg: 1.08 1.07 1.01 2/78 680 /proc/meminfo: memFree=1755040/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=80512 CPUtime=1721.63 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20211 0 0 0 172132 31 0 0 25 0 1 0 251831290 82444288 19006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 20128 19006 139 317 0 19807 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 80512 [startup+1782.3 s] /proc/loadavg: 1.03 1.06 1.00 2/78 680 /proc/meminfo: memFree=1753312/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=82076 CPUtime=1781.6 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20683 0 0 0 178128 32 0 0 25 0 1 0 251831290 84045824 19412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 20519 19412 139 317 0 20198 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 82076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.02 1.05 1.00 2/78 680 /proc/meminfo: memFree=1752864/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=82596 CPUtime=1800.01 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20825 0 0 0 179968 33 0 0 25 0 1 0 251831290 84578304 19521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 20649 19521 139 317 0 20328 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 82596 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.02 1.05 1.00 2/78 680 /proc/meminfo: memFree=1752864/2055920 swapFree=4147808/4192956 [pid=679] ppid=677 vsize=82596 CPUtime=1800.01 /proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20825 0 0 0 179968 33 0 0 25 0 1 0 251831290 84578304 19521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/679/statm: 20649 19521 139 317 0 20328 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 82596 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.08 CPU user time (s): 1799.74 CPU system time (s): 0.342947 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 82596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.342947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20841 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= 3365 runsolver used 1.43178 second user time and 4.13937 second system time The end
Begin job on node33 on Tue May 1 17:05:58 UTC 2007 IDJOB= 455210 IDBENCH= 48248 IDSOLVER= 172 FILE ID= node33/455210-1178039158 PBS_JOBID= 4728436 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_50_25_2.opb COMMAND LINE= oree /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-455210-1178039158 -o ROOT/results/node33/conversion-455210-1178039158 -C 600 -M 1800 /tmp/evaluation/455210-1178039158/substituteSizeProductKeyword /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-455210-1178039158 -o ROOT/results/node33/solver-455210-1178039158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED= 98993107 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1831808 kB Buffers: 75220 kB Cached: 65096 kB SwapCached: 13432 kB Active: 112884 kB Inactive: 50980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831808 kB SwapTotal: 4192956 kB SwapFree: 4147808 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 29796 kB Slab: 45544 kB Committed_AS: 5148832 kB PageTables: 1992 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 node33 on Tue May 1 17:36:01 UTC 2007