Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.88 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb |
MD5SUM | 75c62437256ecfefd1c4252ede4b185e |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 104.82 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
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) | 2928 |
Sum of products size (including duplicates) | 5856 |
Number of different products | 1464 |
Sum of products size | 2928 |
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=1564 #constraints=3081 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=3475 0.29/0.38 c restart after 801 decisions 0.39/0.49 c nbDecision=1000 #constraints=3874 0.79/0.84 c nbDecision=1500 #constraints=4290 0.89/0.92 c restart after 1601 decisions 1.29/1.30 c nbDecision=2000 #constraints=4682 1.89/1.92 c nbDecision=2500 #constraints=5078 2.59/2.69 c nbDecision=3000 #constraints=5486 3.19/3.21 c restart after 3201 decisions 3.69/3.79 c nbDecision=3500 #constraints=5847 4.89/4.96 c nbDecision=4000 #constraints=6239 6.39/6.49 c nbDecision=4500 #constraints=6621 8.58/8.65 c nbDecision=5000 #constraints=6961 10.29/10.38 c nbDecision=5500 #constraints=7386 12.69/12.74 c nbDecision=6000 #constraints=7776 14.69/14.75 c restart after 6401 decisions 15.49/15.50 c nbDecision=6500 #constraints=8157 18.58/18.68 c nbDecision=7000 #constraints=8544 22.78/22.88 c nbDecision=7500 #constraints=8891 26.18/26.20 c nbDecision=8000 #constraints=9278 30.18/30.25 c nbDecision=8500 #constraints=9659 34.67/34.70 c nbDecision=9000 #constraints=10043 41.48/41.50 c nbDecision=9500 #constraints=10319 47.08/47.16 c nbDecision=10000 #constraints=10703 53.57/53.69 c nbDecision=10500 #constraints=11078 59.27/59.35 c nbDecision=11000 #constraints=11478 65.77/65.88 c nbDecision=11500 #constraints=11869 74.76/74.89 c nbDecision=12000 #constraints=12187 83.66/83.75 c nbDecision=12500 #constraints=12572 87.86/88.00 c restart after 12801 decisions 91.66/91.72 c nbDecision=13000 #constraints=12937 100.06/100.15 c nbDecision=13500 #constraints=13335 109.35/109.42 c nbDecision=14000 #constraints=13747 120.95/121.04 c nbDecision=14500 #constraints=14119 131.64/131.80 c nbDecision=15000 #constraints=14527 142.44/142.55 c nbDecision=15500 #constraints=14931 153.03/153.13 c nbDecision=16000 #constraints=15350 163.83/163.97 c nbDecision=16500 #constraints=15754 176.43/176.51 c nbDecision=17000 #constraints=16131 190.32/190.46 c nbDecision=17500 #constraints=16527 209.02/209.18 c nbDecision=18000 #constraints=16868 223.11/223.26 c nbDecision=18500 #constraints=17263 238.90/239.06 c nbDecision=19000 #constraints=17629 256.10/256.20 c nbDecision=19500 #constraints=17975 273.59/273.80 c nbDecision=20000 #constraints=18345 288.58/288.78 c nbDecision=20500 #constraints=18752 303.38/303.60 c nbDecision=21000 #constraints=19170 324.17/324.37 c nbDecision=21500 #constraints=19548 347.66/347.83 c nbDecision=22000 #constraints=19898 368.65/368.88 c nbDecision=22500 #constraints=20293 395.44/395.68 c nbDecision=23000 #constraints=20613 414.93/415.15 c nbDecision=23500 #constraints=21020 439.03/439.21 c nbDecision=24000 #constraints=21398 458.52/458.78 c nbDecision=24500 #constraints=21804 478.11/478.39 c nbDecision=25000 #constraints=22204 501.40/501.62 c nbDecision=25500 #constraints=22583 506.50/506.75 c restart after 25601 decisions 528.70/528.94 c nbDecision=26000 #constraints=22922 557.28/557.53 c nbDecision=26500 #constraints=23315 586.07/586.32 c nbDecision=27000 #constraints=23679 612.54/612.83 c nbDecision=27500 #constraints=24088 638.18/638.52 c nbDecision=28000 #constraints=24485 666.45/666.89 c nbDecision=28500 #constraints=24868 695.94/696.37 c nbDecision=29000 #constraints=25251 725.92/726.35 c nbDecision=29500 #constraints=25629 756.71/757.15 c nbDecision=30000 #constraints=25997 791.20/791.67 c nbDecision=30500 #constraints=26366 823.79/824.24 c nbDecision=31000 #constraints=26757 860.78/861.26 c nbDecision=31500 #constraints=27124 893.77/894.21 c nbDecision=32000 #constraints=27517 930.05/930.59 c nbDecision=32500 #constraints=27902 960.43/960.94 c nbDecision=33000 #constraints=28314 993.82/994.36 c nbDecision=33500 #constraints=28697 1029.81/1030.30 c nbDecision=34000 #constraints=29067 1068.60/1069.16 c nbDecision=34500 #constraints=29414 1113.98/1114.50 c nbDecision=35000 #constraints=29772 1150.76/1151.39 c nbDecision=35500 #constraints=30178 1187.75/1188.37 c nbDecision=36000 #constraints=30567 1220.84/1221.41 c nbDecision=36500 #constraints=30988 1256.23/1256.86 c nbDecision=37000 #constraints=31405 1290.31/1290.96 c nbDecision=37500 #constraints=31826 1329.69/1330.30 c nbDecision=38000 #constraints=32231 1369.08/1369.72 c nbDecision=38500 #constraints=32646 1418.46/1419.18 c nbDecision=39000 #constraints=33007 1466.54/1467.22 c nbDecision=39500 #constraints=33377 1514.52/1515.22 c nbDecision=40000 #constraints=33760 1554.51/1555.21 c nbDecision=40500 #constraints=34161 1600.70/1601.45 c nbDecision=41000 #constraints=34539 1650.88/1651.64 c nbDecision=41500 #constraints=34929 1698.36/1699.14 c nbDecision=42000 #constraints=35326 1741.54/1742.39 c nbDecision=42500 #constraints=35734 1782.63/1783.48 c nbDecision=43000 #constraints=36149 1800.02/1800.80 Received signal 15 1800.02/1800.85 1800.02/1800.85 s UNKNOWN 1800.02/1800.85 1800.02/1800.85 c user time= 1799.84 s 1800.02/1800.85 c system time= 0.245962 s 1800.02/1800.85 c wall clock time=1800.85
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454970-1178034651/instance-454970-1178034651.opb mv /tmp/evaluation/454970-1178034651/instance-454970-1178034651.opb.tmp /tmp/evaluation/454970-1178034651/instance-454970-1178034651.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-454970-1178034651 -o ROOT/results/node66/solver-454970-1178034651 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454970-1178034651/instance-454970-1178034651.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.99 0.97 0.97 3/64 4899 /proc/meminfo: memFree=1898088/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=1468 CPUtime=0 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 279454727 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 367 165 131 317 0 46 0 [startup+0.0705469 s] /proc/loadavg: 0.99 0.97 0.97 3/64 4899 /proc/meminfo: memFree=1898088/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=2900 CPUtime=0.06 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 518 0 0 0 6 0 0 0 18 0 1 0 279454727 2969600 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 725 501 139 317 0 404 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2900 [startup+0.101552 s] /proc/loadavg: 0.99 0.97 0.97 3/64 4899 /proc/meminfo: memFree=1898088/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=3032 CPUtime=0.09 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 558 0 0 0 9 0 0 0 18 0 1 0 279454727 3104768 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 758 541 139 317 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3032 [startup+0.301592 s] /proc/loadavg: 0.99 0.97 0.97 3/64 4899 /proc/meminfo: memFree=1898088/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=3824 CPUtime=0.29 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 757 0 0 0 29 0 0 0 19 0 1 0 279454727 3915776 740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 956 740 139 317 0 635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3824 [startup+0.701673 s] /proc/loadavg: 0.99 0.97 0.97 3/64 4899 /proc/meminfo: memFree=1898088/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=5140 CPUtime=0.69 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 1073 0 0 0 69 0 0 0 22 0 1 0 279454727 5263360 1056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 1285 1056 139 317 0 964 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5140 [startup+1.50183 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1893664/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=6744 CPUtime=1.49 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 1486 0 0 0 148 1 0 0 25 0 1 0 279454727 6905856 1469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 1686 1469 139 317 0 1365 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6744 [startup+3.10115 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1891744/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=8844 CPUtime=3.09 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 1935 0 0 0 308 1 0 0 25 0 1 0 279454727 9056256 1918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 2211 1918 139 317 0 1890 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8844 [startup+6.30178 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1888928/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=10976 CPUtime=6.29 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 2537 0 0 0 628 1 0 0 25 0 1 0 279454727 11239424 2479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 2744 2479 139 317 0 2423 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10976 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1886056/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=13436 CPUtime=12.69 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 3165 0 0 0 1267 2 0 0 25 0 1 0 279454727 13758464 3107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 3359 3107 139 317 0 3038 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13436 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1882472/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=17268 CPUtime=25.48 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 4027 0 0 0 2545 3 0 0 25 0 1 0 279454727 17682432 3969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 4317 3969 139 317 0 3996 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17268 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1878632/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=20812 CPUtime=51.08 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 4989 0 0 0 5104 4 0 0 25 0 1 0 279454727 21311488 4931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 5203 4931 139 317 0 4882 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20812 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1872488/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=28160 CPUtime=102.26 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 6575 0 0 0 10221 5 0 0 25 0 1 0 279454727 28835840 6437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 7040 6437 139 317 0 6719 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28160 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1867688/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=32824 CPUtime=162.23 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 7764 0 0 0 16217 6 0 0 25 0 1 0 279454727 33611776 7626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 8206 7626 139 317 0 7885 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32824 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1864360/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=36148 CPUtime=222.21 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 8605 0 0 0 22214 7 0 0 25 0 1 0 279454727 37015552 8467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 9037 8467 139 317 0 8716 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 36148 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1861352/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=39004 CPUtime=282.18 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 9341 0 0 0 28211 7 0 0 25 0 1 0 279454727 39940096 9203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 9751 9203 139 317 0 9430 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 39004 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1858536/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=41672 CPUtime=342.16 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 10034 0 0 0 34208 8 0 0 25 0 1 0 279454727 42672128 9896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 10418 9896 139 317 0 10097 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 41672 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1856616/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=43440 CPUtime=402.14 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 10525 0 0 0 40205 9 0 0 25 0 1 0 279454727 44482560 10387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 10860 10387 139 317 0 10539 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 43440 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1854120/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=45940 CPUtime=462.12 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 11179 0 0 0 46202 10 0 0 25 0 1 0 279454727 47042560 11008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 11485 11008 139 317 0 11164 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 45940 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1851560/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=51124 CPUtime=522.1 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 12262 0 0 0 52198 12 0 0 25 0 1 0 279454727 52350976 11629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 12781 11629 139 317 0 12460 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 51124 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4900 /proc/meminfo: memFree=1849768/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=53444 CPUtime=582.07 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 12867 0 0 0 58195 12 0 0 25 0 1 0 279454727 54726656 12077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 13361 12077 139 317 0 13040 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 53444 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/71 5066 /proc/meminfo: memFree=1846256/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=55684 CPUtime=641.98 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 13399 0 0 0 64183 15 0 0 25 0 1 0 279454727 57020416 12609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 13921 12609 139 317 0 13600 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 55684 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1842472/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=60292 CPUtime=821.89 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 14578 0 0 0 82172 17 0 0 25 0 1 0 279454727 61739008 13788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 15073 13788 139 317 0 14752 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 60292 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1841128/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=61864 CPUtime=881.87 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 14962 0 0 0 88169 18 0 0 25 0 1 0 279454727 63348736 14139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 15466 14139 139 317 0 15145 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 61864 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1839400/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=63448 CPUtime=941.84 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 15393 0 0 0 94166 18 0 0 25 0 1 0 279454727 64970752 14570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 15862 14570 139 317 0 15541 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 63448 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1837736/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=65288 CPUtime=1001.81 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 15798 0 0 0 100163 18 0 0 25 0 1 0 279454727 66854912 14975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 16322 14975 139 317 0 16001 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 65288 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1836520/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=66340 CPUtime=1061.8 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 16110 0 0 0 106161 19 0 0 25 0 1 0 279454727 67932160 15287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 16585 15287 139 317 0 16264 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 66340 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1835624/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=67256 CPUtime=1121.77 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 16354 0 0 0 112158 19 0 0 25 0 1 0 279454727 68870144 15531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 16814 15531 139 317 0 16493 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 67256 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1834024/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=68564 CPUtime=1181.75 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 16754 0 0 0 118156 19 0 0 25 0 1 0 279454727 70209536 15931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 17141 15931 139 317 0 16820 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 68564 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1832232/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=70276 CPUtime=1241.73 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 17199 0 0 0 124153 20 0 0 25 0 1 0 279454727 71962624 16376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 17569 16376 139 317 0 17248 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 70276 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1830696/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=71592 CPUtime=1301.71 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 17597 0 0 0 130151 20 0 0 25 0 1 0 279454727 73310208 16741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 17898 16741 139 317 0 17577 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 71592 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1829160/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=73036 CPUtime=1361.69 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 18020 0 0 0 136148 21 0 0 25 0 1 0 279454727 74788864 17131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 18259 17131 139 317 0 17938 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 73036 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1828136/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=74080 CPUtime=1421.67 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 18309 0 0 0 142145 22 0 0 25 0 1 0 279454727 75857920 17387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 18520 17387 139 317 0 18199 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 74080 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1827112/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=74996 CPUtime=1481.64 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 18580 0 0 0 148142 22 0 0 25 0 1 0 279454727 76795904 17625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 18749 17625 139 317 0 18428 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 74996 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1825896/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=76048 CPUtime=1541.62 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 18907 0 0 0 154139 23 0 0 25 0 1 0 279454727 77873152 17952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 19012 17952 139 317 0 18691 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 76048 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1824616/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=77232 CPUtime=1601.6 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 19212 0 0 0 160137 23 0 0 25 0 1 0 279454727 79085568 18257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 19308 18257 139 317 0 18987 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 77232 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1823656/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=78016 CPUtime=1661.57 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 19457 0 0 0 166134 23 0 0 25 0 1 0 279454727 79888384 18502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 19504 18502 139 317 0 19183 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 78016 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1822376/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=79328 CPUtime=1721.55 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 19806 0 0 0 172132 23 0 0 25 0 1 0 279454727 81231872 18818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 19832 18818 139 317 0 19511 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 79328 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1820904/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=80504 CPUtime=1781.53 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 20167 0 0 0 178129 24 0 0 25 0 1 0 279454727 82436096 19179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 20126 19179 139 317 0 19805 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 80504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.97 2/65 5098 /proc/meminfo: memFree=1820392/2055920 swapFree=4183004/4192956 [pid=4899] ppid=4897 vsize=80900 CPUtime=1800.02 /proc/4899/stat : 4899 (oree) R 4897 4899 4705 0 -1 4194304 20279 0 0 0 179978 24 0 0 25 0 1 0 279454727 82841600 19291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4899/statm: 20225 19291 139 317 0 19904 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 80900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.1 CPU user time (s): 1799.84 CPU system time (s): 0.26096 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (KiB): 80900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.26096 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20295 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= 3264 runsolver used 1.39879 second user time and 3.58045 second system time The end
Begin job on node66 on Tue May 1 15:50:51 UTC 2007 IDJOB= 454970 IDBENCH= 48232 IDSOLVER= 172 FILE ID= node66/454970-1178034651 PBS_JOBID= 4728438 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_5.opb COMMAND LINE= oree /tmp/evaluation/454970-1178034651/instance-454970-1178034651.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-454970-1178034651 -o ROOT/results/node66/conversion-454970-1178034651 -C 600 -M 1800 /tmp/evaluation/454970-1178034651/substituteSizeProductKeyword /tmp/evaluation/454970-1178034651/instance-454970-1178034651.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-454970-1178034651 -o ROOT/results/node66/solver-454970-1178034651 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454970-1178034651/instance-454970-1178034651.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED= 480532280 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1898496 kB Buffers: 19432 kB Cached: 64664 kB SwapCached: 3624 kB Active: 65852 kB Inactive: 28180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1898496 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 1348 kB Writeback: 0 kB Mapped: 15744 kB Slab: 49416 kB Committed_AS: 4045044 kB PageTables: 1380 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 node66 on Tue May 1 16:20:55 UTC 2007