Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.44 | 1801.05 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb |
MD5SUM | 29cda419af6adbdf14450bbe70fbdfc2 |
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 | -16 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6180 |
Sum of products size (including duplicates) | 12360 |
Number of different products | 3090 |
Sum of products size | 6180 |
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.05 c ...done 0.00/0.05 c #vars=3290 #constraints=6483 hasObjective=yes 0.00/0.07 c res. mode=mod 0.00/0.07 c VSIDS like heuristics 0.00/0.07 c complete search running 0.29/0.39 c restart after 401 decisions 0.39/0.45 c nbDecision=500 #constraints=6838 0.69/0.75 c restart after 801 decisions 0.89/0.94 c nbDecision=1000 #constraints=7217 1.49/1.50 c nbDecision=1500 #constraints=7587 1.59/1.63 c restart after 1601 decisions 2.09/2.19 c nbDecision=2000 #constraints=7941 2.99/3.09 c nbDecision=2500 #constraints=8319 4.19/4.20 c nbDecision=3000 #constraints=8688 4.59/4.66 c restart after 3201 decisions 5.40/5.50 c nbDecision=3500 #constraints=9067 6.79/6.87 c nbDecision=4000 #constraints=9479 8.59/8.67 c nbDecision=4500 #constraints=9823 11.00/11.05 c nbDecision=5000 #constraints=10098 12.79/12.88 c nbDecision=5500 #constraints=10527 15.39/15.45 c nbDecision=6000 #constraints=10888 17.69/17.74 c restart after 6401 decisions 18.39/18.41 c nbDecision=6500 #constraints=11199 21.48/21.54 c nbDecision=7000 #constraints=11525 24.88/24.95 c nbDecision=7500 #constraints=11838 28.49/28.52 c nbDecision=8000 #constraints=12177 31.29/31.38 c nbDecision=8500 #constraints=12597 34.48/34.54 c nbDecision=9000 #constraints=13025 38.58/38.68 c nbDecision=9500 #constraints=13371 42.78/42.90 c nbDecision=10000 #constraints=13760 49.08/49.17 c nbDecision=10500 #constraints=13963 53.57/53.61 c nbDecision=11000 #constraints=14363 59.08/59.20 c nbDecision=11500 #constraints=14697 64.78/64.82 c nbDecision=12000 #constraints=15045 70.37/70.46 c nbDecision=12500 #constraints=15408 74.38/74.46 c restart after 12801 decisions 77.48/77.51 c nbDecision=13000 #constraints=15690 84.57/84.62 c nbDecision=13500 #constraints=15968 92.96/93.04 c nbDecision=14000 #constraints=16210 97.47/97.55 c nbDecision=14500 #constraints=16658 104.17/104.26 c nbDecision=15000 #constraints=17008 112.36/112.49 c nbDecision=15500 #constraints=17335 120.16/120.21 c nbDecision=16000 #constraints=17688 128.96/129.01 c nbDecision=16500 #constraints=18021 138.25/138.31 c nbDecision=17000 #constraints=18344 148.25/148.38 c nbDecision=17500 #constraints=18577 159.65/159.70 c nbDecision=18000 #constraints=18821 169.05/169.11 c nbDecision=18500 #constraints=19166 179.15/179.28 c nbDecision=19000 #constraints=19503 189.05/189.11 c nbDecision=19500 #constraints=19882 197.35/197.45 c nbDecision=20000 #constraints=20302 210.64/210.75 c nbDecision=20500 #constraints=20547 222.14/222.30 c nbDecision=21000 #constraints=20935 233.94/234.06 c nbDecision=21500 #constraints=21304 244.53/244.64 c nbDecision=22000 #constraints=21675 256.02/256.12 c nbDecision=22500 #constraints=22045 268.23/268.31 c nbDecision=23000 #constraints=22401 283.82/283.98 c nbDecision=23500 #constraints=22756 296.82/296.93 c nbDecision=24000 #constraints=23142 311.02/311.10 c nbDecision=24500 #constraints=23494 325.31/325.43 c nbDecision=25000 #constraints=23856 340.21/340.32 c nbDecision=25500 #constraints=24253 343.51/343.68 c restart after 25601 decisions 354.90/355.06 c nbDecision=26000 #constraints=24618 372.09/372.29 c nbDecision=26500 #constraints=24930 392.69/392.81 c nbDecision=27000 #constraints=25184 405.39/405.54 c nbDecision=27500 #constraints=25633 423.88/424.08 c nbDecision=28000 #constraints=26005 436.28/436.48 c nbDecision=28500 #constraints=26459 452.58/452.72 c nbDecision=29000 #constraints=26867 471.68/471.81 c nbDecision=29500 #constraints=27217 491.37/491.51 c nbDecision=30000 #constraints=27546 513.07/513.25 c nbDecision=30500 #constraints=27906 529.96/530.19 c nbDecision=31000 #constraints=28307 547.15/547.36 c nbDecision=31500 #constraints=28740 569.35/569.59 c nbDecision=32000 #constraints=29076 592.85/593.05 c nbDecision=32500 #constraints=29461 615.33/615.60 c nbDecision=33000 #constraints=29841 634.84/635.07 c nbDecision=33500 #constraints=30257 659.62/659.80 c nbDecision=34000 #constraints=30522 677.12/677.33 c nbDecision=34500 #constraints=30958 697.23/697.44 c nbDecision=35000 #constraints=31339 725.51/725.77 c nbDecision=35500 #constraints=31699 753.31/753.58 c nbDecision=36000 #constraints=32072 774.50/774.74 c nbDecision=36500 #constraints=32525 794.99/795.24 c nbDecision=37000 #constraints=32968 821.89/822.19 c nbDecision=37500 #constraints=33376 852.38/852.64 c nbDecision=38000 #constraints=33768 876.28/876.58 c nbDecision=38500 #constraints=34202 900.67/900.91 c nbDecision=39000 #constraints=34620 927.96/928.25 c nbDecision=39500 #constraints=35014 962.05/962.36 c nbDecision=40000 #constraints=35272 995.24/995.53 c nbDecision=40500 #constraints=35635 1022.03/1022.37 c nbDecision=41000 #constraints=36081 1047.43/1047.78 c nbDecision=41500 #constraints=36506 1076.12/1076.42 c nbDecision=42000 #constraints=36926 1114.92/1115.25 c nbDecision=42500 #constraints=37227 1145.60/1145.90 c nbDecision=43000 #constraints=37622 1175.50/1175.82 c nbDecision=43500 #constraints=38029 1201.99/1202.31 c nbDecision=44000 #constraints=38458 1234.08/1234.45 c nbDecision=44500 #constraints=38867 1269.38/1269.72 c nbDecision=45000 #constraints=39249 1302.87/1303.25 c nbDecision=45500 #constraints=39599 1329.17/1329.55 c nbDecision=46000 #constraints=40045 1362.65/1363.04 c nbDecision=46500 #constraints=40424 1401.84/1402.28 c nbDecision=47000 #constraints=40799 1439.34/1439.76 c nbDecision=47500 #constraints=41169 1474.73/1475.11 c nbDecision=48000 #constraints=41545 1514.32/1514.73 c nbDecision=48500 #constraints=41889 1556.93/1557.40 c nbDecision=49000 #constraints=42267 1590.50/1591.05 c nbDecision=49500 #constraints=42692 1627.69/1628.30 c nbDecision=50000 #constraints=43125 1661.38/1661.96 c nbDecision=50500 #constraints=43534 1700.58/1701.18 c nbDecision=51000 #constraints=43931 1716.97/1717.55 c restart after 51201 decisions 1745.56/1746.11 c nbDecision=51500 #constraints=44259 1785.95/1786.58 c nbDecision=52000 #constraints=44665 1800.05/1800.60 Received signal 15 1800.35/1800.94 1800.35/1800.94 s UNKNOWN 1800.35/1800.94 1800.35/1800.94 c user time= 1799.86 s 1800.35/1800.94 c system time= 0.536918 s 1800.35/1800.94 c wall clock time=1800.94
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455495-1178044543/instance-455495-1178044543.opb mv /tmp/evaluation/455495-1178044543/instance-455495-1178044543.opb.tmp /tmp/evaluation/455495-1178044543/instance-455495-1178044543.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-455495-1178044543 -o ROOT/results/node4/solver-455495-1178044543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455495-1178044543/instance-455495-1178044543.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: 1.03 1.11 1.09 3/77 9543 /proc/meminfo: memFree=1840832/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=1468 CPUtime=0 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 280492096 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 367 166 131 317 0 46 0 [startup+0.088213 s] /proc/loadavg: 1.03 1.11 1.09 3/77 9543 /proc/meminfo: memFree=1840832/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=4332 CPUtime=0.08 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 904 0 0 0 8 0 0 0 18 0 1 0 280492096 4435968 842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 1083 842 139 317 0 762 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4332 [startup+0.101212 s] /proc/loadavg: 1.03 1.11 1.09 3/77 9543 /proc/meminfo: memFree=1840832/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=4332 CPUtime=0.09 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 904 0 0 0 9 0 0 0 18 0 1 0 280492096 4435968 842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602708 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 1083 842 139 317 0 762 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4332 [startup+0.301231 s] /proc/loadavg: 1.03 1.11 1.09 3/77 9543 /proc/meminfo: memFree=1840832/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=5124 CPUtime=0.29 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 1110 0 0 0 29 0 0 0 19 0 1 0 280492096 5246976 1048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 1281 1048 139 317 0 960 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5124 [startup+0.701268 s] /proc/loadavg: 1.03 1.11 1.09 3/77 9543 /proc/meminfo: memFree=1840832/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=7112 CPUtime=0.69 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 1595 0 0 0 69 0 0 0 23 0 1 0 280492096 7282688 1533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 1778 1533 139 317 0 1457 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7112 [startup+1.50135 s] /proc/loadavg: 1.03 1.11 1.09 2/78 9544 /proc/meminfo: memFree=1834552/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=9956 CPUtime=1.49 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 2257 0 0 0 148 1 0 0 25 0 1 0 280492096 10194944 2195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 2489 2195 139 317 0 2168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9956 [startup+3.1015 s] /proc/loadavg: 1.03 1.11 1.09 2/78 9544 /proc/meminfo: memFree=1831096/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=12860 CPUtime=3.09 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 3042 0 0 0 308 1 0 0 25 0 1 0 280492096 13168640 2980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 3215 2980 139 317 0 2894 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12860 [startup+6.30181 s] /proc/loadavg: 1.03 1.11 1.08 2/78 9544 /proc/meminfo: memFree=1825544/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=18272 CPUtime=6.29 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 4288 0 0 0 627 2 0 0 25 0 1 0 280492096 18710528 4226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 4568 4226 139 317 0 4247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18272 [startup+12.7014 s] /proc/loadavg: 1.03 1.10 1.08 2/78 9544 /proc/meminfo: memFree=1819920/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=22700 CPUtime=12.69 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 5521 0 0 0 1266 3 0 0 25 0 1 0 280492096 23244800 5459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 5675 5459 139 317 0 5354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22700 [startup+25.5016 s] /proc/loadavg: 1.02 1.10 1.08 2/78 9544 /proc/meminfo: memFree=1812688/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=30908 CPUtime=25.48 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 7268 0 0 0 2544 4 0 0 25 0 1 0 280492096 31649792 7206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 7727 7206 139 317 0 7406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30908 [startup+51.1011 s] /proc/loadavg: 1.01 1.09 1.08 2/78 9544 /proc/meminfo: memFree=1802960/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=40212 CPUtime=51.08 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 9869 0 0 0 5101 7 0 0 25 0 1 0 280492096 41177088 9718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 10053 9718 139 317 0 9732 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40212 [startup+102.306 s] /proc/loadavg: 1.00 1.07 1.08 2/78 9544 /proc/meminfo: memFree=1788496/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=56988 CPUtime=102.27 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 13390 0 0 0 10217 10 0 0 25 0 1 0 280492096 58355712 13239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 14247 13239 139 317 0 13926 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 56988 [startup+162.302 s] /proc/loadavg: 1.00 1.06 1.07 2/78 9544 /proc/meminfo: memFree=1780176/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=64628 CPUtime=162.25 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 15505 0 0 0 16213 12 0 0 25 0 1 0 280492096 66179072 15354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 16157 15354 139 317 0 15836 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 64628 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.06 2/78 9544 /proc/meminfo: memFree=1771280/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=72580 CPUtime=222.23 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 17683 0 0 0 22209 14 0 0 25 0 1 0 280492096 74321920 17532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 18145 17532 139 317 0 17824 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 72580 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.06 2/78 9544 /proc/meminfo: memFree=1763536/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=79872 CPUtime=282.22 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 19606 0 0 0 28206 16 0 0 25 0 1 0 280492096 81788928 19455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 19968 19455 139 317 0 19647 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 79872 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.05 2/78 9544 /proc/meminfo: memFree=1754064/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=97080 CPUtime=342.21 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 23378 0 0 0 34203 18 0 0 25 0 1 0 280492096 99409920 21775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 24270 21775 139 317 0 23949 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 97080 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.05 2/78 9544 /proc/meminfo: memFree=1749200/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=101396 CPUtime=402.19 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 24622 0 0 0 40199 20 0 0 25 0 1 0 280492096 103829504 23019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 25349 23019 139 317 0 25028 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 101396 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.04 2/78 9544 /proc/meminfo: memFree=1742224/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=108232 CPUtime=462.18 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 26504 0 0 0 46196 22 0 0 25 0 1 0 280492096 110829568 24724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 27058 24724 139 317 0 26737 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 108232 [startup+522.301 s] /proc/loadavg: 1.06 1.02 1.04 2/78 9544 /proc/meminfo: memFree=1737552/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=112472 CPUtime=522.16 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 27691 0 0 0 52193 23 0 0 25 0 1 0 280492096 115171328 25911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 28118 25911 139 317 0 27797 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 112472 [startup+582.302 s] /proc/loadavg: 1.02 1.02 1.03 2/78 9544 /proc/meminfo: memFree=1732368/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=117260 CPUtime=582.15 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 28971 0 0 0 58190 25 0 0 25 0 1 0 280492096 120074240 27191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 29315 27191 139 317 0 28994 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 117260 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.03 2/78 9544 /proc/meminfo: memFree=1727248/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=121704 CPUtime=642.14 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 30221 0 0 0 64188 26 0 0 25 0 1 0 280492096 124624896 28441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 30426 28441 139 317 0 30105 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 121704 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1708944/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=138492 CPUtime=882.07 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 34825 0 0 0 88174 33 0 0 25 0 1 0 280492096 141815808 32979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 34623 32979 139 317 0 34302 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 138492 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1705232/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=141908 CPUtime=942.06 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 35752 0 0 0 94171 35 0 0 25 0 1 0 280492096 145313792 33906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 35477 33906 139 317 0 35156 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 141908 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1702352/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=144716 CPUtime=1002.04 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 36467 0 0 0 100168 36 0 0 25 0 1 0 280492096 148189184 34621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 36179 34621 139 317 0 35858 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 144716 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1698128/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=148792 CPUtime=1062.02 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 37558 0 0 0 106165 37 0 0 25 0 1 0 280492096 152363008 35679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 37198 35679 139 317 0 36877 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 148792 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1695120/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=151156 CPUtime=1122.02 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 38288 0 0 0 112163 39 0 0 25 0 1 0 280492096 154783744 36409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 37789 36409 139 317 0 37468 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 151156 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1691472/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=154968 CPUtime=1182 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 39220 0 0 0 118160 40 0 0 25 0 1 0 280492096 158687232 37341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 38742 37341 139 317 0 38421 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 154968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1687696/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=158132 CPUtime=1241.98 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 40125 0 0 0 124157 41 0 0 25 0 1 0 280492096 161927168 38246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 39533 38246 139 317 0 39212 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 158132 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1684752/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=160888 CPUtime=1301.97 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 40874 0 0 0 130155 42 0 0 25 0 1 0 280492096 164749312 38995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 40222 38995 139 317 0 39901 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 160888 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1680912/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=164716 CPUtime=1361.95 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 41833 0 0 0 136152 43 0 0 25 0 1 0 280492096 168669184 39954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 41179 39954 139 317 0 40858 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 164716 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1678288/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=166972 CPUtime=1421.94 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 42466 0 0 0 142150 44 0 0 25 0 1 0 280492096 170979328 40587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 41743 40587 139 317 0 41422 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 166972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9544 /proc/meminfo: memFree=1675344/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=188324 CPUtime=1481.92 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 47415 0 0 0 148145 47 0 0 25 0 1 0 280492096 192843776 41896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 47081 41896 139 317 0 46760 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 188324 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 9666 /proc/meminfo: memFree=1670752/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=189280 CPUtime=1541.86 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 47684 0 0 0 154138 48 0 0 25 0 1 0 280492096 193822720 42165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 47320 42165 139 317 0 46999 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 189280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9742 /proc/meminfo: memFree=1668560/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=192340 CPUtime=1601.8 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 48545 0 0 0 160131 49 0 0 25 0 1 0 280492096 196956160 43026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 48085 43026 139 317 0 47764 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 192340 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9742 /proc/meminfo: memFree=1665360/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=195364 CPUtime=1661.78 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 49344 0 0 0 166127 51 0 0 25 0 1 0 280492096 200052736 43825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 48841 43825 139 317 0 48520 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 195364 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9742 /proc/meminfo: memFree=1662736/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=197736 CPUtime=1721.77 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 50051 0 0 0 172125 52 0 0 25 0 1 0 280492096 202481664 44499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 49434 44499 139 317 0 49113 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 197736 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9742 /proc/meminfo: memFree=1660368/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=199976 CPUtime=1781.75 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 50650 0 0 0 178122 53 0 0 25 0 1 0 280492096 204775424 45065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 49994 45065 139 317 0 49673 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 199976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9742 /proc/meminfo: memFree=1659664/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=200636 CPUtime=1800.05 /proc/9543/stat : 9543 (oree) R 9541 9543 29911 0 -1 4194304 50824 0 0 0 179952 53 0 0 25 0 1 0 280492096 205451264 45239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9543/statm: 50159 45239 139 317 0 49838 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 200636 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: 1.00 1.00 1.00 2/78 9742 /proc/meminfo: memFree=1659664/2055920 swapFree=4141168/4192956 [pid=9543] ppid=9541 vsize=0 CPUtime=1800.42 /proc/9543/stat : 9543 (oree) D 9541 9543 29911 0 -1 4194308 50840 0 0 0 179986 56 0 0 25 0 1 0 280492096 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/9543/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.05 CPU time (s): 1800.44 CPU user time (s): 1799.87 CPU system time (s): 0.567913 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 200636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.567913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50840 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= 39148 runsolver used 1.42778 second user time and 4.02339 second system time The end
Begin job on node4 on Tue May 1 18:35:43 UTC 2007 IDJOB= 455495 IDBENCH= 48267 IDSOLVER= 172 FILE ID= node4/455495-1178044543 PBS_JOBID= 4728430 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_100_25_3.opb COMMAND LINE= oree /tmp/evaluation/455495-1178044543/instance-455495-1178044543.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-455495-1178044543 -o ROOT/results/node4/conversion-455495-1178044543 -C 600 -M 1800 /tmp/evaluation/455495-1178044543/substituteSizeProductKeyword /tmp/evaluation/455495-1178044543/instance-455495-1178044543.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-455495-1178044543 -o ROOT/results/node4/solver-455495-1178044543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455495-1178044543/instance-455495-1178044543.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2 RANDOM SEED= 87828340 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1841304 kB Buffers: 74792 kB Cached: 44948 kB SwapCached: 14968 kB Active: 91896 kB Inactive: 60840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841304 kB SwapTotal: 4192956 kB SwapFree: 4141168 kB Dirty: 1496 kB Writeback: 0 kB Mapped: 37764 kB Slab: 47292 kB Committed_AS: 9588200 kB PageTables: 1844 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 node4 on Tue May 1 19:05:46 UTC 2007