Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e5.opb |
MD5SUM | ad6c04a791a5d9edc6d6bca9a842a8ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 503 |
Best CPU time to get the best result obtained on this benchmark | 83.9142 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 503 |
Optimality of the best value was proved | YES |
Number of variables | 1044 |
Total number of constraints | 12158 |
Number of constraints which are clauses | 12158 |
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 | 32 |
Number of terms in the objective function | 1044 |
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 | 1044 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1044 |
Number of bits of the biggest sum of numbers | 11 |
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.09/0.13 c ...done 0.09/0.13 c #vars=1044 #constraints=12159 hasObjective=yes 0.29/0.32 c res. mode=mod 0.29/0.32 c VSIDS like heuristics 0.29/0.32 c complete search running 0.49/0.58 c restart after 401 decisions 0.59/0.60 c nbDecision=500 #constraints=12247 0.59/0.69 c restart after 801 decisions 0.69/0.73 c nbDecision=1000 #constraints=12256 0.79/0.87 c nbDecision=1500 #constraints=12266 0.79/0.90 c restart after 1601 decisions 0.89/1.00 c nbDecision=2000 #constraints=12275 1.09/1.14 c nbDecision=2500 #constraints=12285 1.19/1.27 c nbDecision=3000 #constraints=12295 1.29/1.33 c restart after 3201 decisions 1.39/1.41 c nbDecision=3500 #constraints=12311 1.59/1.63 c nbDecision=4000 #constraints=12384 1.89/1.91 c nbDecision=4500 #constraints=12440 2.09/2.13 c nbDecision=5000 #constraints=12466 2.29/2.35 c nbDecision=5500 #constraints=12483 2.69/2.72 c nbDecision=6000 #constraints=12542 2.89/2.90 c restart after 6401 decisions 2.89/2.94 c nbDecision=6500 #constraints=12555 3.19/3.22 c nbDecision=7000 #constraints=12575 3.68/3.74 c nbDecision=7500 #constraints=12676 4.18/4.22 c nbDecision=8000 #constraints=12718 4.39/4.43 c nbDecision=8500 #constraints=12742 4.58/4.64 c nbDecision=9000 #constraints=12753 4.78/4.86 c nbDecision=9500 #constraints=12765 5.28/5.32 c nbDecision=10000 #constraints=12823 5.68/5.76 c nbDecision=10500 #constraints=12870 6.18/6.27 c nbDecision=11000 #constraints=12948 7.18/7.23 c nbDecision=11500 #constraints=13107 7.79/7.85 c nbDecision=12000 #constraints=13212 8.79/8.86 c nbDecision=12500 #constraints=13365 8.99/9.02 c restart after 12801 decisions 9.09/9.16 c nbDecision=13000 #constraints=13378 9.39/9.48 c nbDecision=13500 #constraints=13389 9.99/10.02 c nbDecision=14000 #constraints=13426 10.39/10.44 c nbDecision=14500 #constraints=13472 10.79/10.82 c nbDecision=15000 #constraints=13486 11.09/11.17 c nbDecision=15500 #constraints=13497 11.49/11.58 c nbDecision=16000 #constraints=13510 12.69/12.73 c nbDecision=16500 #constraints=13613 13.58/13.70 c nbDecision=17000 #constraints=13706 14.48/14.53 c nbDecision=17500 #constraints=13768 15.18/15.25 c nbDecision=18000 #constraints=13786 16.58/16.69 c nbDecision=18500 #constraints=13911 17.68/17.75 c nbDecision=19000 #constraints=14015 19.38/19.48 c nbDecision=19500 #constraints=14172 20.08/20.13 c nbDecision=20000 #constraints=14216 20.49/20.56 c nbDecision=20500 #constraints=14232 21.49/21.50 c nbDecision=21000 #constraints=14274 22.59/22.61 c nbDecision=21500 #constraints=14356 24.38/24.40 c nbDecision=22000 #constraints=14516 26.18/26.23 c nbDecision=22500 #constraints=14644 28.18/28.25 c nbDecision=23000 #constraints=14773 30.17/30.26 c nbDecision=23500 #constraints=14919 34.68/34.73 c nbDecision=24000 #constraints=15190 36.58/36.60 c nbDecision=24500 #constraints=15304 40.97/41.04 c nbDecision=25000 #constraints=15533 44.68/44.79 c nbDecision=25500 #constraints=15740 46.08/46.12 c restart after 25601 decisions 47.18/47.21 c nbDecision=26000 #constraints=15825 48.28/48.33 c nbDecision=26500 #constraints=15872 49.38/49.47 c nbDecision=27000 #constraints=15883 50.67/50.74 c nbDecision=27500 #constraints=15896 51.77/51.86 c nbDecision=28000 #constraints=15908 54.27/54.35 c nbDecision=28500 #constraints=15967 58.07/58.14 c nbDecision=29000 #constraints=16064 60.67/60.71 c nbDecision=29500 #constraints=16143 62.17/62.25 c nbDecision=30000 #constraints=16175 64.77/64.86 c nbDecision=30500 #constraints=16265 68.17/68.22 c nbDecision=31000 #constraints=16342 70.16/70.27 c nbDecision=31500 #constraints=16417 74.66/74.72 c nbDecision=32000 #constraints=16524 84.56/84.69 c nbDecision=32500 #constraints=16783 87.05/87.17 c nbDecision=33000 #constraints=16871 92.46/92.52 c nbDecision=33500 #constraints=17031 96.46/96.55 c nbDecision=34000 #constraints=17134 106.45/106.53 c nbDecision=34500 #constraints=17387 113.55/113.68 c nbDecision=35000 #constraints=17573 115.65/115.77 c nbDecision=35500 #constraints=17635 117.95/118.02 c nbDecision=36000 #constraints=17686 120.54/120.65 c nbDecision=36500 #constraints=17762 124.84/124.90 c nbDecision=37000 #constraints=17832 129.65/129.71 c nbDecision=37500 #constraints=17966 134.15/134.29 c nbDecision=38000 #constraints=18122 140.24/140.34 c nbDecision=38500 #constraints=18289 146.53/146.63 c nbDecision=39000 #constraints=18436 155.04/155.14 c nbDecision=39500 #constraints=18619 168.24/168.33 c nbDecision=40000 #constraints=18877 173.73/173.86 c nbDecision=40500 #constraints=18989 183.72/183.85 c nbDecision=41000 #constraints=19201 204.11/204.28 c nbDecision=41500 #constraints=19553 221.62/221.73 c nbDecision=42000 #constraints=19855 231.11/231.21 c nbDecision=42500 #constraints=20012 241.61/241.77 c nbDecision=43000 #constraints=20230 262.40/262.58 c nbDecision=43500 #constraints=20527 282.49/282.61 c nbDecision=44000 #constraints=20841 313.59/313.73 c nbDecision=44500 #constraints=21231 340.17/340.38 c nbDecision=45000 #constraints=21624 353.97/354.14 c nbDecision=45500 #constraints=21765 362.66/362.80 c nbDecision=46000 #constraints=21891 369.27/369.49 c nbDecision=46500 #constraints=22024 381.06/381.27 c nbDecision=47000 #constraints=22211 387.16/387.38 c nbDecision=47500 #constraints=22278 396.06/396.27 c nbDecision=48000 #constraints=22392 404.75/404.98 c nbDecision=48500 #constraints=22472 420.05/420.24 c nbDecision=49000 #constraints=22658 434.64/434.89 c nbDecision=49500 #constraints=22865 453.83/454.04 c nbDecision=50000 #constraints=23117 469.54/469.74 c nbDecision=50500 #constraints=23341 487.92/488.13 c nbDecision=51000 #constraints=23541 496.22/496.41 c restart after 51201 decisions 513.11/513.35 c nbDecision=51500 #constraints=23789 542.70/542.93 c nbDecision=52000 #constraints=24108 574.80/575.02 c nbDecision=52500 #constraints=24455 622.28/622.54 c nbDecision=53000 #constraints=24831 651.97/652.25 c nbDecision=53500 #constraints=25069 658.96/659.23 c nbDecision=54000 #constraints=25137 669.76/670.06 c nbDecision=54500 #constraints=25218 679.36/679.60 c nbDecision=55000 #constraints=25276 696.15/696.46 c nbDecision=55500 #constraints=25414 707.34/707.61 c nbDecision=56000 #constraints=25469 724.05/724.35 c nbDecision=56500 #constraints=25599 744.44/744.78 c nbDecision=57000 #constraints=25735 756.44/756.73 c nbDecision=57500 #constraints=25847 775.62/775.97 c nbDecision=58000 #constraints=26063 802.22/802.58 c nbDecision=58500 #constraints=26340 830.60/830.95 c nbDecision=59000 #constraints=26639 844.00/844.33 c nbDecision=59500 #constraints=26768 864.09/864.47 c nbDecision=60000 #constraints=26979 896.68/897.00 c nbDecision=60500 #constraints=27297 934.77/935.14 c nbDecision=61000 #constraints=27668 969.86/970.29 c nbDecision=61500 #constraints=27981 987.95/988.32 c nbDecision=62000 #constraints=28143 1007.15/1007.54 c nbDecision=62500 #constraints=28262 1027.54/1027.97 c nbDecision=63000 #constraints=28383 1052.53/1052.91 c nbDecision=63500 #constraints=28553 1069.02/1069.45 c nbDecision=64000 #constraints=28632 1080.12/1080.57 c nbDecision=64500 #constraints=28675 1098.01/1098.48 c nbDecision=65000 #constraints=28768 1110.11/1110.53 c nbDecision=65500 #constraints=28874 1134.40/1134.89 c nbDecision=66000 #constraints=29023 1158.20/1158.63 c nbDecision=66500 #constraints=29212 1202.58/1203.04 c nbDecision=67000 #constraints=29470 1243.66/1244.11 c nbDecision=67500 #constraints=29725 1297.55/1298.04 c nbDecision=68000 #constraints=30022 1336.73/1337.25 c nbDecision=68500 #constraints=30306 1372.72/1373.20 c nbDecision=69000 #constraints=30571 1402.90/1403.45 c nbDecision=69500 #constraints=30798 1432.20/1432.78 c nbDecision=70000 #constraints=31057 1490.48/1491.03 c nbDecision=70500 #constraints=31388 1542.26/1542.83 c nbDecision=71000 #constraints=31718 1579.85/1580.45 c nbDecision=71500 #constraints=31861 1621.44/1622.00 c nbDecision=72000 #constraints=32130 1669.62/1670.29 c nbDecision=72500 #constraints=32408 1681.81/1682.40 c nbDecision=73000 #constraints=32466 1695.21/1695.85 c nbDecision=73500 #constraints=32537 1724.40/1725.04 c nbDecision=74000 #constraints=32687 1755.39/1756.00 c nbDecision=74500 #constraints=32854 1777.28/1777.98 c nbDecision=75000 #constraints=32954 1800.08/1800.70 Received signal 15 1800.08/1800.79 1800.08/1800.79 s UNKNOWN 1800.08/1800.79 1800.08/1800.79 c user time= 1799.95 s 1800.08/1800.79 c system time= 0.222966 s 1800.08/1800.79 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-357134-1176987872 -o ROOT/results/node59/solver-357134-1176987872 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357134-1176987872/instance-357134-1176987872.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.72 0.93 0.98 2/64 13814 /proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=1468 CPUtime=0 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146696788 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 367 165 130 317 0 46 0 [startup+0.0194751 s] /proc/loadavg: 0.72 0.93 0.98 2/64 13814 /proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=1732 CPUtime=0.01 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 255 0 0 0 1 0 0 0 18 0 1 0 146696788 1773568 237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 433 238 130 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101491 s] /proc/loadavg: 0.72 0.93 0.98 2/64 13814 /proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=3588 CPUtime=0.09 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 146696788 3674112 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 897 684 130 317 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.301529 s] /proc/loadavg: 0.72 0.93 0.98 2/64 13814 /proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=5568 CPUtime=0.29 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 146696788 5701632 1196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 1392 1196 137 317 0 1071 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5568 [startup+0.701604 s] /proc/loadavg: 0.72 0.93 0.98 2/64 13814 /proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=6428 CPUtime=0.69 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1410 0 0 0 69 0 0 0 22 0 1 0 146696788 6582272 1308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 1607 1308 139 317 0 1286 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6428 [startup+1.50176 s] /proc/loadavg: 0.72 0.93 0.98 2/65 13815 /proc/meminfo: memFree=1777528/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=6428 CPUtime=1.49 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1410 0 0 0 149 0 0 0 25 0 1 0 146696788 6582272 1308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 1607 1308 139 317 0 1286 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6428 [startup+3.10106 s] /proc/loadavg: 0.72 0.93 0.98 2/65 13815 /proc/meminfo: memFree=1777208/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=6944 CPUtime=3.08 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1570 0 0 0 308 0 0 0 25 0 1 0 146696788 7110656 1468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716129 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 1736 1468 139 317 0 1415 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6944 [startup+6.30167 s] /proc/loadavg: 0.74 0.94 0.98 2/65 13815 /proc/meminfo: memFree=1775992/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=8124 CPUtime=6.28 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1862 0 0 0 628 0 0 0 25 0 1 0 146696788 8318976 1760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 2031 1760 139 317 0 1710 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8124 [startup+12.7019 s] /proc/loadavg: 0.76 0.94 0.98 2/65 13815 /proc/meminfo: memFree=1773504/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=10468 CPUtime=12.69 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 2458 0 0 0 1268 1 0 0 25 0 1 0 146696788 10719232 2356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 2617 2356 139 317 0 2296 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10468 [startup+25.5013 s] /proc/loadavg: 0.81 0.94 0.98 2/65 13815 /proc/meminfo: memFree=1769664/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=14448 CPUtime=25.48 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 3398 0 0 0 2546 2 0 0 25 0 1 0 146696788 14794752 3296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 3612 3296 139 317 0 3291 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14448 [startup+51.1012 s] /proc/loadavg: 0.87 0.94 0.98 2/65 13815 /proc/meminfo: memFree=1764800/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=19420 CPUtime=51.07 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 4597 0 0 0 5103 4 0 0 25 0 1 0 146696788 19886080 4495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 4855 4495 139 317 0 4534 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19420 [startup+102.306 s] /proc/loadavg: 0.94 0.95 0.98 2/65 13815 /proc/meminfo: memFree=1759808/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=24784 CPUtime=102.26 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 5834 0 0 0 10221 5 0 0 25 0 1 0 146696788 25378816 5732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 6196 5732 139 317 0 5875 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24784 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.98 2/65 13815 /proc/meminfo: memFree=1753536/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=31464 CPUtime=162.24 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 7413 0 0 0 16217 7 0 0 25 0 1 0 146696788 32219136 7311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 7866 7311 139 317 0 7545 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31464 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/65 13815 /proc/meminfo: memFree=1748160/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=37212 CPUtime=222.22 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 8710 0 0 0 22214 8 0 0 25 0 1 0 146696788 38105088 8608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 9303 8608 139 317 0 8982 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 37212 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1743680/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=42164 CPUtime=282.19 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 9850 0 0 0 28211 8 0 0 25 0 1 0 146696788 43175936 9748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 10541 9748 139 317 0 10220 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 42164 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1739584/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=45712 CPUtime=342.17 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 10845 0 0 0 34208 9 0 0 25 0 1 0 146696788 46809088 10743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 11428 10743 139 317 0 11107 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 45712 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1736320/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=48780 CPUtime=402.15 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 11675 0 0 0 40205 10 0 0 25 0 1 0 146696788 49950720 11573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 12195 11573 139 317 0 11874 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 48780 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1732544/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=53440 CPUtime=462.13 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 12617 0 0 0 46203 10 0 0 25 0 1 0 146696788 54722560 12515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 13360 12515 139 317 0 13039 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 53440 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1729792/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=56852 CPUtime=522.11 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 13285 0 0 0 52200 11 0 0 25 0 1 0 146696788 58216448 13183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 14213 13183 139 317 0 13892 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 56852 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1726528/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=60928 CPUtime=582.09 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 14272 0 0 0 58197 12 0 0 25 0 1 0 146696788 62390272 14004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 15232 14004 139 317 0 14911 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 60928 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1724480/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=62884 CPUtime=642.07 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 14783 0 0 0 64195 12 0 0 25 0 1 0 146696788 64393216 14515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 15721 14515 139 317 0 15400 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 62884 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1715328/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=72508 CPUtime=881.99 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 17035 0 0 0 88184 15 0 0 25 0 1 0 146696788 74248192 16767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 18127 16767 139 317 0 17806 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 72508 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1712320/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=76188 CPUtime=941.97 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 17803 0 0 0 94182 15 0 0 25 0 1 0 146696788 78016512 17535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 19047 17535 139 317 0 18726 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 76188 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1710336/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=78544 CPUtime=1001.94 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 18281 0 0 0 100179 15 0 0 25 0 1 0 146696788 80429056 18013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 19636 18013 139 317 0 19315 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 78544 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1708992/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=79856 CPUtime=1061.93 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 18615 0 0 0 106177 16 0 0 25 0 1 0 146696788 81772544 18347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 19964 18347 139 317 0 19643 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 79856 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1707712/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=81288 CPUtime=1121.9 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 18921 0 0 0 112174 16 0 0 25 0 1 0 146696788 83238912 18653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 20322 18653 139 317 0 20001 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 81288 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1706304/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=82752 CPUtime=1181.89 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 19261 0 0 0 118172 17 0 0 25 0 1 0 146696788 84738048 18993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 20688 18993 139 317 0 20367 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 82752 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1704832/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=84192 CPUtime=1241.86 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 19642 0 0 0 124169 17 0 0 25 0 1 0 146696788 86212608 19374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 21048 19374 139 317 0 20727 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 84192 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1703360/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=85676 CPUtime=1301.85 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 19996 0 0 0 130167 18 0 0 25 0 1 0 146696788 87732224 19728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 21419 19728 139 317 0 21098 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 85676 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1701504/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=87244 CPUtime=1361.82 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 20456 0 0 0 136164 18 0 0 25 0 1 0 146696788 89337856 20188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 21811 20188 139 317 0 21490 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 87244 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1699392/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=89200 CPUtime=1421.81 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 20972 0 0 0 142162 19 0 0 25 0 1 0 146696788 91340800 20704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 22300 20704 139 317 0 21979 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 89200 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1697600/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=90900 CPUtime=1481.78 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 21463 0 0 0 148159 19 0 0 25 0 1 0 146696788 93081600 21162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 22725 21162 139 317 0 22404 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 90900 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1695680/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=92604 CPUtime=1541.76 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 21925 0 0 0 154156 20 0 0 25 0 1 0 146696788 94826496 21624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 23151 21624 139 317 0 22830 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 92604 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1694720/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=93516 CPUtime=1601.74 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 22175 0 0 0 160154 20 0 0 25 0 1 0 146696788 95760384 21874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 23379 21874 139 317 0 23058 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 93516 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1693120/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=94956 CPUtime=1661.72 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 22594 0 0 0 166151 21 0 0 25 0 1 0 146696788 97234944 22260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 23739 22260 139 317 0 23418 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 94956 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1692096/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=95840 CPUtime=1721.7 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 22869 0 0 0 172149 21 0 0 25 0 1 0 146696788 98140160 22502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 23960 22502 139 317 0 23639 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 95840 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1690816/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=97268 CPUtime=1781.68 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 23265 0 0 0 178146 22 0 0 25 0 1 0 146696788 99602432 22799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 24317 22799 139 317 0 23996 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 97268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1690496/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=97780 CPUtime=1800.08 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 23401 0 0 0 179986 22 0 0 25 0 1 0 146696788 100126720 22902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 24445 22902 139 317 0 24124 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 97780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13815 /proc/meminfo: memFree=1690496/2055920 swapFree=4184568/4192956 [pid=13814] ppid=13812 vsize=0 CPUtime=1800.17 /proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194308 23418 0 0 0 179995 22 0 0 25 0 1 0 146696788 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13814/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.2 CPU user time (s): 1799.96 CPU system time (s): 0.238963 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 97780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.238963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23418 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= 1795 runsolver used 1.22181 second user time and 3.71643 second system time The end
Begin job on node59 on Thu Apr 19 13:04:32 UTC 2007 IDJOB= 357134 IDBENCH= 2093 IDSOLVER= 172 FILE ID= node59/357134-1176987872 PBS_JOBID= 4630429 Free space on /tmp= 66330 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-ii32e5.opb COMMAND LINE= oree /tmp/evaluation/357134-1176987872/instance-357134-1176987872.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-357134-1176987872 -o ROOT/results/node59/solver-357134-1176987872 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357134-1176987872/instance-357134-1176987872.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ad6c04a791a5d9edc6d6bca9a842a8ee RANDOM SEED= 218062574 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1782872 kB Buffers: 7792 kB Cached: 204624 kB SwapCached: 2124 kB Active: 46548 kB Inactive: 174996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782872 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 1976 kB Writeback: 0 kB Mapped: 15856 kB Slab: 37472 kB Committed_AS: 1679316 kB PageTables: 1472 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= 66330 MiB End job on node59 on Thu Apr 19 13:34:35 UTC 2007