Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=31-P1=53-P2=29-P3=29-P4=31-P5=19-B.opb |
MD5SUM | c39f64fc7780fdd337b3dc7ba22d2bb1 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.064989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 90 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 180 |
Sum of products size (including duplicates) | 360 |
Number of different products | 180 |
Sum of products size | 360 |
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.00 c ...done 0.00/0.00 c #vars=270 #constraints=377 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.19/0.28 c restart after 401 decisions 0.29/0.34 c nbDecision=500 #constraints=811 0.49/0.58 c restart after 801 decisions 0.69/0.77 c nbDecision=1000 #constraints=1238 1.29/1.34 c nbDecision=1500 #constraints=1689 1.49/1.51 c restart after 1601 decisions 1.99/2.02 c nbDecision=2000 #constraints=2141 2.99/3.01 c nbDecision=2500 #constraints=2598 4.69/4.76 c nbDecision=3000 #constraints=3058 5.59/5.61 c restart after 3201 decisions 7.19/7.21 c nbDecision=3500 #constraints=3500 11.19/11.29 c nbDecision=4000 #constraints=3934 15.98/16.01 c nbDecision=4500 #constraints=4396 23.18/23.24 c nbDecision=5000 #constraints=4863 31.08/31.18 c nbDecision=5500 #constraints=5361 38.17/38.27 c nbDecision=6000 #constraints=5826 47.68/47.73 c restart after 6401 decisions 47.97/48.03 c nbDecision=6500 #constraints=6277 61.67/61.76 c nbDecision=7000 #constraints=6733 77.16/77.27 c nbDecision=7500 #constraints=7200 95.96/96.08 c nbDecision=8000 #constraints=7670 113.15/113.22 c nbDecision=8500 #constraints=8161 130.54/130.66 c nbDecision=9000 #constraints=8615 154.33/154.42 c nbDecision=9500 #constraints=9105 177.22/177.31 c nbDecision=10000 #constraints=9586 200.52/200.70 c nbDecision=10500 #constraints=10055 227.61/227.73 c nbDecision=11000 #constraints=10517 252.50/252.62 c nbDecision=11500 #constraints=10969 283.28/283.43 c nbDecision=12000 #constraints=11447 317.57/317.74 c nbDecision=12500 #constraints=11926 341.46/341.65 c restart after 12801 decisions 345.36/345.56 c nbDecision=13000 #constraints=12388 381.24/381.40 c nbDecision=13500 #constraints=12810 417.33/417.53 c nbDecision=14000 #constraints=13280 451.62/451.83 c nbDecision=14500 #constraints=13725 495.10/495.40 c nbDecision=15000 #constraints=14195 527.29/527.56 c nbDecision=15500 #constraints=14672 567.07/567.32 c nbDecision=16000 #constraints=15091 609.96/610.24 c nbDecision=16500 #constraints=15542 660.54/660.85 c nbDecision=17000 #constraints=16034 713.62/713.98 c nbDecision=17500 #constraints=16518 768.40/768.71 c nbDecision=18000 #constraints=17006 813.19/813.57 c nbDecision=18500 #constraints=17478 861.06/861.45 c nbDecision=19000 #constraints=17968 911.75/912.15 c nbDecision=19500 #constraints=18449 965.03/965.42 c nbDecision=20000 #constraints=18925 1018.80/1019.22 c nbDecision=20500 #constraints=19405 1075.79/1076.28 c nbDecision=21000 #constraints=19843 1135.26/1135.75 c nbDecision=21500 #constraints=20290 1200.14/1200.62 c nbDecision=22000 #constraints=20770 1268.61/1269.18 c nbDecision=22500 #constraints=21253 1296.90/1297.47 c nbDecision=23000 #constraints=21684 1315.90/1316.43 c nbDecision=23500 #constraints=22168 1339.08/1339.61 c nbDecision=24000 #constraints=22631 1362.08/1362.64 c nbDecision=24500 #constraints=23096 1383.57/1384.14 c nbDecision=25000 #constraints=23551 1402.76/1403.37 c nbDecision=25500 #constraints=24013 1406.76/1407.38 c restart after 25601 decisions 1422.15/1422.74 c nbDecision=26000 #constraints=24473 1449.74/1450.37 c nbDecision=26500 #constraints=24909 1484.73/1485.39 c nbDecision=27000 #constraints=25404 1518.52/1519.19 c nbDecision=27500 #constraints=25883 1548.21/1548.83 c nbDecision=28000 #constraints=26339 1584.60/1585.28 c nbDecision=28500 #constraints=26827 1615.38/1616.06 c nbDecision=29000 #constraints=27313 1657.67/1658.31 c nbDecision=29500 #constraints=27800 1697.84/1698.58 c nbDecision=30000 #constraints=28286 1732.84/1733.55 c nbDecision=30500 #constraints=28745 1772.22/1772.94 c nbDecision=31000 #constraints=29201 1800.02/1800.71 Received signal 15 1800.02/1800.74 1800.02/1800.74 s UNKNOWN 1800.02/1800.74 1800.02/1800.74 c user time= 1799.78 s 1800.02/1800.74 c system time= 0.292955 s 1800.02/1800.74 c wall clock time=1800.75
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431799-1178010445/instance-431799-1178010445.opb mv /tmp/evaluation/431799-1178010445/instance-431799-1178010445.opb.tmp /tmp/evaluation/431799-1178010445/instance-431799-1178010445.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-431799-1178010445 -o ROOT/results/node20/solver-431799-1178010445 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431799-1178010445/instance-431799-1178010445.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.98 0.96 0.97 3/77 11325 /proc/meminfo: memFree=1799968/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=1600 CPUtime=0 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 248961819 1638400 190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 400 190 137 317 0 79 0 [startup+0.047414 s] /proc/loadavg: 0.98 0.96 0.97 3/77 11325 /proc/meminfo: memFree=1799968/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=1732 CPUtime=0.04 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 243 0 0 0 4 0 0 0 18 0 1 0 248961819 1773568 226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 433 226 139 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.102415 s] /proc/loadavg: 0.98 0.96 0.97 3/77 11325 /proc/meminfo: memFree=1799968/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=1860 CPUtime=0.1 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 283 0 0 0 10 0 0 0 18 0 1 0 248961819 1904640 266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273489 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 465 266 139 317 0 144 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1860 [startup+0.301455 s] /proc/loadavg: 0.98 0.96 0.97 3/77 11325 /proc/meminfo: memFree=1799968/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=2384 CPUtime=0.29 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 426 0 0 0 29 0 0 0 19 0 1 0 248961819 2441216 409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 596 409 139 317 0 275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2384 [startup+0.701536 s] /proc/loadavg: 0.98 0.96 0.97 3/77 11325 /proc/meminfo: memFree=1799968/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=3428 CPUtime=0.69 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 666 0 0 0 69 0 0 0 22 0 1 0 248961819 3510272 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 857 649 139 317 0 536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3428 [startup+1.5017 s] /proc/loadavg: 0.98 0.96 0.97 2/78 11326 /proc/meminfo: memFree=1797208/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=4868 CPUtime=1.49 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 1051 0 0 0 149 0 0 0 25 0 1 0 248961819 4984832 1034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 1217 1034 170 317 0 896 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4868 [startup+3.10202 s] /proc/loadavg: 0.98 0.96 0.97 2/78 11326 /proc/meminfo: memFree=1795288/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=6704 CPUtime=3.09 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 1516 0 0 0 309 0 0 0 25 0 1 0 248961819 6864896 1499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 1676 1499 170 317 0 1355 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6704 [startup+6.30166 s] /proc/loadavg: 0.98 0.96 0.97 2/78 11326 /proc/meminfo: memFree=1792984/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=8568 CPUtime=6.29 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 1964 0 0 0 628 1 0 0 25 0 1 0 248961819 8773632 1947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 2142 1947 170 317 0 1821 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8568 [startup+12.7019 s] /proc/loadavg: 0.98 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1790944/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=10308 CPUtime=12.68 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 2389 0 0 0 1267 1 0 0 25 0 1 0 248961819 10555392 2372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 2577 2372 170 317 0 2256 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10308 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1788896/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=12424 CPUtime=25.48 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 2896 0 0 0 2546 2 0 0 25 0 1 0 248961819 12722176 2879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 3106 2879 170 317 0 2785 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12424 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1785440/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=16116 CPUtime=51.07 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 3755 0 0 0 5104 3 0 0 25 0 1 0 248961819 16502784 3738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 4029 3738 170 317 0 3708 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16116 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1781856/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=19548 CPUtime=102.26 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 4614 0 0 0 10222 4 0 0 25 0 1 0 248961819 20017152 4597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 4887 4597 170 317 0 4566 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19548 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1778656/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=23184 CPUtime=162.23 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 5479 0 0 0 16218 5 0 0 25 0 1 0 248961819 23740416 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 5796 5404 170 317 0 5475 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23184 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1776032/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=25708 CPUtime=222.21 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 6116 0 0 0 22215 6 0 0 25 0 1 0 248961819 26324992 6041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 6427 6041 170 317 0 6106 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 25708 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1773728/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=28012 CPUtime=282.18 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 6688 0 0 0 28211 7 0 0 25 0 1 0 248961819 28684288 6613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 7003 6613 170 317 0 6682 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 28012 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1771872/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=30112 CPUtime=342.16 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 7165 0 0 0 34208 8 0 0 25 0 1 0 248961819 30834688 7090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 7528 7090 170 317 0 7207 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 30112 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1769824/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=32248 CPUtime=402.14 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 7642 0 0 0 40205 9 0 0 25 0 1 0 248961819 33021952 7567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 8062 7567 170 317 0 7741 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 32248 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1768160/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=33856 CPUtime=462.12 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 8070 0 0 0 46202 10 0 0 25 0 1 0 248961819 34668544 7995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 8464 7995 170 317 0 8143 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 33856 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1766368/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=35616 CPUtime=522.1 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 8512 0 0 0 52199 11 0 0 25 0 1 0 248961819 36470784 8437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 8904 8437 170 317 0 8583 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 35616 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1764960/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=37104 CPUtime=582.07 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 8878 0 0 0 58196 11 0 0 25 0 1 0 248961819 37994496 8803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 9276 8803 170 317 0 8955 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 37104 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1763296/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=39212 CPUtime=642.05 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 9284 0 0 0 64193 12 0 0 25 0 1 0 248961819 40153088 9209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 9803 9209 170 317 0 9482 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 39212 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1757984/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=45200 CPUtime=881.96 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 10717 0 0 0 88180 16 0 0 25 0 1 0 248961819 46284800 10528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 11300 10528 170 317 0 10979 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 45200 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1756768/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=46420 CPUtime=941.93 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 11033 0 0 0 94177 16 0 0 25 0 1 0 248961819 47534080 10844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 11605 10844 170 317 0 11284 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 46420 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1755424/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=47732 CPUtime=1001.91 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 11369 0 0 0 100174 17 0 0 25 0 1 0 248961819 48877568 11180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 11933 11180 170 317 0 11612 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 47732 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1754400/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=48912 CPUtime=1061.89 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 11635 0 0 0 106171 18 0 0 25 0 1 0 248961819 50085888 11446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 12228 11446 170 317 0 11907 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 48912 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1753440/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=49892 CPUtime=1121.87 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 11900 0 0 0 112169 18 0 0 25 0 1 0 248961819 51089408 11678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 12473 11678 170 317 0 12152 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 49892 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1752480/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=51012 CPUtime=1181.84 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 12147 0 0 0 118165 19 0 0 25 0 1 0 248961819 52236288 11925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 12753 11925 170 317 0 12432 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 51012 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1751328/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=52184 CPUtime=1241.82 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 12435 0 0 0 124162 20 0 0 25 0 1 0 248961819 53436416 12180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 13046 12180 170 317 0 12725 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 52184 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1749408/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=54316 CPUtime=1301.8 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 12935 0 0 0 130160 20 0 0 25 0 1 0 248961819 55619584 12680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 13579 12680 170 317 0 13258 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 54316 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1746464/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=57220 CPUtime=1361.78 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 13673 0 0 0 136156 22 0 0 25 0 1 0 248961819 58593280 13418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 14305 13418 170 317 0 13984 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 57220 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1743392/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=60360 CPUtime=1421.75 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 14444 0 0 0 142152 23 0 0 25 0 1 0 248961819 61808640 14189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 15090 14189 170 317 0 14769 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 60360 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1741152/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=62516 CPUtime=1481.73 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 14994 0 0 0 148149 24 0 0 25 0 1 0 248961819 64016384 14739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 15629 14739 170 317 0 15308 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 62516 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1739104/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=64736 CPUtime=1541.71 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 15516 0 0 0 154146 25 0 0 25 0 1 0 248961819 66289664 15261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 16184 15261 170 317 0 15863 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 64736 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1737120/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=66944 CPUtime=1601.69 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 16020 0 0 0 160143 26 0 0 25 0 1 0 248961819 68550656 15765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 16736 15765 170 317 0 16415 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 66944 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1735392/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=68472 CPUtime=1661.67 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 16425 0 0 0 166140 27 0 0 25 0 1 0 248961819 70115328 16170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 17118 16170 170 317 0 16797 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 68472 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1733728/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=70228 CPUtime=1721.64 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 16863 0 0 0 172136 28 0 0 25 0 1 0 248961819 71913472 16608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 17557 16608 170 317 0 17236 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 70228 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1732192/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=71632 CPUtime=1781.62 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 17244 0 0 0 178133 29 0 0 25 0 1 0 248961819 73351168 16989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 17908 16989 170 317 0 17587 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 71632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1731744/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=72024 CPUtime=1800.02 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 17348 0 0 0 179973 29 0 0 25 0 1 0 248961819 73752576 17093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 18006 17093 170 317 0 17685 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 72024 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: 0.99 0.97 0.97 2/78 11326 /proc/meminfo: memFree=1731744/2055920 swapFree=4154876/4192956 [pid=11325] ppid=11323 vsize=72024 CPUtime=1800.02 /proc/11325/stat : 11325 (oree) R 11323 11325 10420 0 -1 4194304 17348 0 0 0 179973 29 0 0 25 0 1 0 248961819 73752576 17093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11325/statm: 18006 17093 170 317 0 17685 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 72024 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.09 CPU user time (s): 1799.78 CPU system time (s): 0.304953 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 72024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.304953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17364 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= 1210 runsolver used 1.36279 second user time and 4.09738 second system time The end
Begin job on node20 on Tue May 1 09:07:25 UTC 2007 IDJOB= 431799 IDBENCH= 48077 IDSOLVER= 172 FILE ID= node20/431799-1178010445 PBS_JOBID= 4728299 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/roussel/factor-mod-B/factor-mod-size=6-P0=31-P1=53-P2=29-P3=29-P4=31-P5=19-B.opb COMMAND LINE= oree /tmp/evaluation/431799-1178010445/instance-431799-1178010445.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-431799-1178010445 -o ROOT/results/node20/conversion-431799-1178010445 -C 600 -M 1800 /tmp/evaluation/431799-1178010445/substituteSizeProductKeyword /tmp/evaluation/431799-1178010445/instance-431799-1178010445.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-431799-1178010445 -o ROOT/results/node20/solver-431799-1178010445 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431799-1178010445/instance-431799-1178010445.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= c39f64fc7780fdd337b3dc7ba22d2bb1 RANDOM SEED= 79144376 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1800376 kB Buffers: 47484 kB Cached: 119804 kB SwapCached: 16448 kB Active: 112592 kB Inactive: 77848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800376 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 1332 kB Writeback: 0 kB Mapped: 29968 kB Slab: 50700 kB Committed_AS: 2360320 kB PageTables: 1744 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 node20 on Tue May 1 09:37:28 UTC 2007