Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5-c.opb |
MD5SUM | 47657fb6d35516304c5b4897d4fb805d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2678 |
Total number of constraints | 6689 |
Number of constraints which are clauses | 6689 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2678 |
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 | 2678 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2678 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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.02/0.06 c ...done 0.02/0.06 c #vars=2678 #constraints=6690 hasObjective=yes 0.02/0.10 c res. mode=mod 0.02/0.10 c VSIDS like heuristics 0.02/0.10 c complete search running 0.79/0.80 c restart after 401 decisions 0.89/0.99 c nbDecision=500 #constraints=7148 1.69/1.76 c restart after 801 decisions 2.09/2.17 c nbDecision=1000 #constraints=7626 3.59/3.61 c nbDecision=1500 #constraints=8124 3.89/3.97 c restart after 1601 decisions 5.29/5.36 c nbDecision=2000 #constraints=8604 7.48/7.59 c nbDecision=2500 #constraints=9104 10.29/10.35 c nbDecision=3000 #constraints=9602 11.59/11.66 c restart after 3201 decisions 13.59/13.61 c nbDecision=3500 #constraints=10080 17.59/17.61 c nbDecision=4000 #constraints=10584 22.18/22.21 c nbDecision=4500 #constraints=11086 27.28/27.40 c nbDecision=5000 #constraints=11584 33.28/33.35 c nbDecision=5500 #constraints=12085 40.08/40.11 c nbDecision=6000 #constraints=12584 45.88/45.94 c restart after 6401 decisions 47.48/47.52 c nbDecision=6500 #constraints=13068 58.18/58.26 c nbDecision=7000 #constraints=13568 68.27/68.39 c nbDecision=7500 #constraints=14066 80.76/80.80 c nbDecision=8000 #constraints=14566 92.27/92.40 c nbDecision=8500 #constraints=15066 106.27/106.33 c nbDecision=9000 #constraints=15566 117.86/117.96 c nbDecision=9500 #constraints=16066 128.96/129.01 c nbDecision=10000 #constraints=16566 141.46/141.53 c nbDecision=10500 #constraints=17068 154.35/154.49 c nbDecision=11000 #constraints=17570 167.24/167.32 c nbDecision=11500 #constraints=18066 181.04/181.13 c nbDecision=12000 #constraints=18567 196.24/196.34 c nbDecision=12500 #constraints=19066 205.54/205.65 c restart after 12801 decisions 212.64/212.78 c nbDecision=13000 #constraints=19552 232.93/233.10 c nbDecision=13500 #constraints=20049 254.82/254.97 c nbDecision=14000 #constraints=20549 276.22/276.39 c nbDecision=14500 #constraints=21046 299.21/299.31 c nbDecision=15000 #constraints=21548 316.61/316.71 c nbDecision=15500 #constraints=22048 335.31/335.40 c nbDecision=16000 #constraints=22546 355.40/355.55 c nbDecision=16500 #constraints=23048 375.10/375.22 c nbDecision=17000 #constraints=23550 394.80/394.97 c nbDecision=17500 #constraints=24048 416.39/416.58 c nbDecision=18000 #constraints=24548 439.08/439.25 c nbDecision=18500 #constraints=25046 460.57/460.77 c nbDecision=19000 #constraints=25546 482.87/483.00 c nbDecision=19500 #constraints=26050 507.36/507.58 c nbDecision=20000 #constraints=26550 532.16/532.37 c nbDecision=20500 #constraints=27050 559.55/559.72 c nbDecision=21000 #constraints=27546 591.34/591.58 c nbDecision=21500 #constraints=28048 626.53/626.72 c nbDecision=22000 #constraints=28546 660.82/661.05 c nbDecision=22500 #constraints=29046 696.52/696.72 c nbDecision=23000 #constraints=29549 733.41/733.63 c nbDecision=23500 #constraints=30047 769.10/769.35 c nbDecision=24000 #constraints=30546 808.98/809.25 c nbDecision=24500 #constraints=31048 844.88/845.15 c nbDecision=25000 #constraints=31550 887.67/887.98 c nbDecision=25500 #constraints=32050 894.97/895.29 c restart after 25601 decisions 923.36/923.68 c nbDecision=26000 #constraints=32530 966.05/966.38 c nbDecision=26500 #constraints=33034 1005.44/1005.80 c nbDecision=27000 #constraints=33530 1048.23/1048.53 c nbDecision=27500 #constraints=34032 1090.42/1090.80 c nbDecision=28000 #constraints=34528 1133.81/1134.19 c nbDecision=28500 #constraints=35032 1178.80/1179.16 c nbDecision=29000 #constraints=35535 1224.19/1224.54 c nbDecision=29500 #constraints=36032 1267.47/1267.86 c nbDecision=30000 #constraints=36532 1317.56/1317.91 c nbDecision=30500 #constraints=37032 1360.76/1361.17 c nbDecision=31000 #constraints=37533 1413.64/1414.08 c nbDecision=31500 #constraints=38028 1458.43/1458.85 c nbDecision=32000 #constraints=38532 1511.82/1512.26 c nbDecision=32500 #constraints=39030 1559.00/1559.49 c nbDecision=33000 #constraints=39534 1612.19/1612.65 c nbDecision=33500 #constraints=40030 1662.38/1662.87 c nbDecision=34000 #constraints=40530 1715.27/1715.78 c nbDecision=34500 #constraints=41028 1769.15/1769.63 c nbDecision=35000 #constraints=41532 1800.10/1800.61 Received signal 15 1800.10/1800.61 1800.10/1800.61 s UNKNOWN 1800.10/1800.61 1800.10/1800.61 c user time= 1799.99 s 1800.10/1800.61 c system time= 0.120981 s 1800.10/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-357161-1176989483 -o ROOT/results/node61/solver-357161-1176989483 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357161-1176989483/instance-357161-1176989483.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.05 1.01 0.96 3/64 26995 /proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=1620 CPUtime=0 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 110911962 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 405 175 126 317 0 84 0 [startup+0.0250871 s] /proc/loadavg: 1.05 1.01 0.96 3/64 26995 /proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=2016 CPUtime=0.02 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 300 0 0 0 2 0 0 0 18 0 1 0 110911962 2064384 282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 504 282 130 317 0 183 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2016 [startup+0.101093 s] /proc/loadavg: 1.05 1.01 0.96 3/64 26995 /proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=3552 CPUtime=0.09 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 110911962 3637248 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 888 700 138 317 0 567 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3552 [startup+0.301112 s] /proc/loadavg: 1.05 1.01 0.96 3/64 26995 /proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=4000 CPUtime=0.29 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 815 0 0 0 29 0 0 0 19 0 1 0 110911962 4096000 751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 1000 751 139 317 0 679 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4000 [startup+0.701149 s] /proc/loadavg: 1.05 1.01 0.96 3/64 26995 /proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=4264 CPUtime=0.69 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 873 0 0 0 69 0 0 0 22 0 1 0 110911962 4366336 809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712478 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 1066 809 139 317 0 745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4264 [startup+1.50223 s] /proc/loadavg: 1.05 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1736552/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=4660 CPUtime=1.49 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 983 0 0 0 149 0 0 0 25 0 1 0 110911962 4771840 919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 1165 919 139 317 0 844 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4660 [startup+3.10138 s] /proc/loadavg: 1.05 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1735848/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=5452 CPUtime=3.09 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 1184 0 0 0 309 0 0 0 25 0 1 0 110911962 5582848 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 1363 1120 139 317 0 1042 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5452 [startup+6.30169 s] /proc/loadavg: 1.05 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1734504/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=6544 CPUtime=6.29 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 1453 0 0 0 629 0 0 0 25 0 1 0 110911962 6701056 1389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 1636 1389 139 317 0 1315 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6544 [startup+12.7013 s] /proc/loadavg: 1.04 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1732840/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=7988 CPUtime=12.69 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 1813 0 0 0 1268 1 0 0 25 0 1 0 110911962 8179712 1749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 1997 1749 139 317 0 1676 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7988 [startup+25.5015 s] /proc/loadavg: 1.03 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1730920/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=9896 CPUtime=25.48 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 2266 0 0 0 2547 1 0 0 25 0 1 0 110911962 10133504 2202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 2474 2202 139 317 0 2153 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9896 [startup+51.102 s] /proc/loadavg: 1.02 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1728616/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=12064 CPUtime=51.08 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 2836 0 0 0 5106 2 0 0 25 0 1 0 110911962 12353536 2772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 3016 2772 139 317 0 2695 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12064 [startup+102.306 s] /proc/loadavg: 1.01 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1725736/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=15616 CPUtime=102.27 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 3645 0 0 0 10224 3 0 0 25 0 1 0 110911962 15990784 3489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 3904 3489 139 317 0 3583 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15616 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1722728/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=18764 CPUtime=162.25 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 4394 0 0 0 16222 3 0 0 25 0 1 0 110911962 19214336 4238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 4691 4238 139 317 0 4370 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18764 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1720232/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=21020 CPUtime=222.23 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 5008 0 0 0 22219 4 0 0 25 0 1 0 110911962 21524480 4852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 5255 4852 139 317 0 4934 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21020 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1718504/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=22844 CPUtime=282.22 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 5444 0 0 0 28218 4 0 0 25 0 1 0 110911962 23392256 5288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 5711 5288 139 317 0 5390 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 22844 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1716520/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=24552 CPUtime=342.21 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 5921 0 0 0 34216 5 0 0 25 0 1 0 110911962 25141248 5765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 6138 5765 139 317 0 5817 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 24552 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1714664/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=27204 CPUtime=402.19 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 6450 0 0 0 40214 5 0 0 25 0 1 0 110911962 27856896 6228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 6801 6228 139 317 0 6480 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 27204 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1713000/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=28964 CPUtime=462.17 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 6866 0 0 0 46212 5 0 0 25 0 1 0 110911962 29659136 6644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 7241 6644 139 317 0 6920 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28964 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1710504/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=32056 CPUtime=522.16 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 7647 0 0 0 52210 6 0 0 25 0 1 0 110911962 32825344 7209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 8014 7209 139 317 0 7693 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 32056 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1709992/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=32580 CPUtime=582.14 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 7826 0 0 0 58208 6 0 0 25 0 1 0 110911962 33361920 7388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 8145 7388 139 317 0 7824 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32580 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1708904/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=33628 CPUtime=642.13 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 8092 0 0 0 64207 6 0 0 25 0 1 0 110911962 34435072 7654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 8407 7654 139 317 0 8086 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 33628 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1705512/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=36864 CPUtime=822.09 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 8906 0 0 0 82201 8 0 0 25 0 1 0 110911962 37748736 8468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 9216 8468 139 317 0 8895 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 36864 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1704552/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=37920 CPUtime=882.07 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9141 0 0 0 88199 8 0 0 25 0 1 0 110911962 38830080 8703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 9480 8703 139 317 0 9159 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 37920 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1703528/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=38964 CPUtime=942.06 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9432 0 0 0 94198 8 0 0 25 0 1 0 110911962 39899136 8961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 9741 8961 139 317 0 9420 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 38964 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1702632/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=39748 CPUtime=1002.04 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9656 0 0 0 100196 8 0 0 25 0 1 0 110911962 40701952 9185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 9937 9185 139 317 0 9616 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 39748 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1701800/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=40532 CPUtime=1062.03 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9863 0 0 0 106195 8 0 0 25 0 1 0 110911962 41504768 9392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 10133 9392 139 317 0 9812 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 40532 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1700776/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=41316 CPUtime=1122.01 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10108 0 0 0 112193 8 0 0 25 0 1 0 110911962 42307584 9637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 10329 9637 139 317 0 10008 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 41316 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1699944/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=42096 CPUtime=1182 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10317 0 0 0 118191 9 0 0 25 0 1 0 110911962 43106304 9846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 10524 9846 139 317 0 10203 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 42096 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1699048/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=43000 CPUtime=1241.98 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10525 0 0 0 124189 9 0 0 25 0 1 0 110911962 44032000 10054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 10750 10054 139 317 0 10429 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 43000 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1698088/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=43772 CPUtime=1301.97 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10758 0 0 0 130188 9 0 0 25 0 1 0 110911962 44822528 10254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 10943 10254 139 317 0 10622 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 43772 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 0.96 2/65 26996 /proc/meminfo: memFree=1697320/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=44684 CPUtime=1361.96 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11019 0 0 0 136186 10 0 0 25 0 1 0 110911962 45756416 10482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 11171 10482 139 317 0 10850 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 44684 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1696552/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=45464 CPUtime=1421.94 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11229 0 0 0 142184 10 0 0 25 0 1 0 110911962 46555136 10659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 11366 10659 139 317 0 11045 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 45464 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1695720/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=46116 CPUtime=1481.92 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11437 0 0 0 148182 10 0 0 25 0 1 0 110911962 47222784 10867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 11529 10867 139 317 0 11208 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 46116 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1694952/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=47020 CPUtime=1541.91 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11690 0 0 0 154181 10 0 0 25 0 1 0 110911962 48148480 11054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 11755 11054 139 317 0 11434 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 47020 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1694120/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=48688 CPUtime=1601.89 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12148 0 0 0 160179 10 0 0 25 0 1 0 110911962 49856512 11250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 12172 11250 139 317 0 11851 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 48688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1693416/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=49724 CPUtime=1661.88 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12362 0 0 0 166178 10 0 0 25 0 1 0 110911962 50917376 11431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 12431 11431 139 317 0 12110 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 49724 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 26996 /proc/meminfo: memFree=1692648/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=50500 CPUtime=1721.87 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12605 0 0 0 172176 11 0 0 25 0 1 0 110911962 51712000 11608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 12625 11608 139 317 0 12304 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 50500 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/71 27062 /proc/meminfo: memFree=1690536/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=51528 CPUtime=1781.82 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12889 0 0 0 178171 11 0 0 25 0 1 0 110911962 52764672 11793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 12882 11793 139 317 0 12561 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 51528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.96 2/71 27118 /proc/meminfo: memFree=1690280/2055920 swapFree=4184100/4192956 [pid=26995] ppid=26993 vsize=51788 CPUtime=1800.1 /proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12952 0 0 0 179998 12 0 0 25 0 1 0 110911962 53030912 11856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26995/statm: 12947 11856 139 317 0 12626 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 51788 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.63 CPU time (s): 1800.13 CPU user time (s): 1800 CPU system time (s): 0.13098 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 51788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.13098 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12968 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= 4173 runsolver used 1.3148 second user time and 3.64945 second system time The end
Begin job on node61 on Thu Apr 19 13:31:23 UTC 2007 IDJOB= 357161 IDBENCH= 2198 IDSOLVER= 172 FILE ID= node61/357161-1176989483 PBS_JOBID= 4630414 Free space on /tmp= 66502 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb COMMAND LINE= oree /tmp/evaluation/357161-1176989483/instance-357161-1176989483.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-357161-1176989483 -o ROOT/results/node61/solver-357161-1176989483 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357161-1176989483/instance-357161-1176989483.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 47657fb6d35516304c5b4897d4fb805d RANDOM SEED= 979417017 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1739848 kB Buffers: 8712 kB Cached: 254248 kB SwapCached: 3056 kB Active: 66696 kB Inactive: 210828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1739848 kB SwapTotal: 4192956 kB SwapFree: 4184100 kB Dirty: 1528 kB Writeback: 0 kB Mapped: 20244 kB Slab: 24632 kB Committed_AS: 863272 kB PageTables: 1400 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= 66502 MiB End job on node61 on Thu Apr 19 14:01:26 UTC 2007