Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb |
MD5SUM | 75a2677621940e78209c6b1a1d09ddfe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1015 |
Best CPU time to get the best result obtained on this benchmark | 1.64375 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1015 |
Optimality of the best value was proved | YES |
Number of variables | 2030 |
Total number of constraints | 4373 |
Number of constraints which are clauses | 4373 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2030 |
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 | 2030 |
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 | 2030 |
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.01/0.03 c ...done 0.01/0.03 c #vars=2030 #constraints=4374 hasObjective=yes 0.01/0.06 c res. mode=mod 0.01/0.06 c VSIDS like heuristics 0.01/0.06 c complete search running 1.19/1.25 c restart after 401 decisions 1.49/1.54 c nbDecision=500 #constraints=4854 2.49/2.59 c restart after 801 decisions 3.39/3.42 c nbDecision=1000 #constraints=5346 5.69/5.78 c nbDecision=1500 #constraints=5846 6.29/6.31 c restart after 1601 decisions 8.39/8.45 c nbDecision=2000 #constraints=6339 12.38/12.47 c nbDecision=2500 #constraints=6834 16.39/16.43 c nbDecision=3000 #constraints=7337 18.29/18.30 c restart after 3201 decisions 21.89/21.98 c nbDecision=3500 #constraints=7827 28.28/28.34 c nbDecision=4000 #constraints=8328 34.97/35.04 c nbDecision=4500 #constraints=8827 44.78/44.88 c nbDecision=5000 #constraints=9325 53.27/53.39 c nbDecision=5500 #constraints=9828 64.77/64.83 c nbDecision=6000 #constraints=10328 73.96/74.01 c restart after 6401 decisions 76.16/76.23 c nbDecision=6500 #constraints=10824 88.56/88.63 c nbDecision=7000 #constraints=11325 104.46/104.59 c nbDecision=7500 #constraints=11823 118.05/118.17 c nbDecision=8000 #constraints=12321 136.54/136.65 c nbDecision=8500 #constraints=12824 152.54/152.66 c nbDecision=9000 #constraints=13324 171.43/171.54 c nbDecision=9500 #constraints=13824 193.22/193.36 c nbDecision=10000 #constraints=14321 212.72/212.87 c nbDecision=10500 #constraints=14822 239.20/239.39 c nbDecision=11000 #constraints=15320 260.90/261.03 c nbDecision=11500 #constraints=15823 291.49/291.69 c nbDecision=12000 #constraints=16319 315.18/315.35 c nbDecision=12500 #constraints=16820 333.57/333.74 c restart after 12801 decisions 346.77/346.99 c nbDecision=13000 #constraints=17311 372.47/372.65 c nbDecision=13500 #constraints=17813 407.05/407.25 c nbDecision=14000 #constraints=18316 435.64/435.89 c nbDecision=14500 #constraints=18811 470.33/470.57 c nbDecision=15000 #constraints=19317 502.12/502.37 c nbDecision=15500 #constraints=19813 538.11/538.38 c nbDecision=16000 #constraints=20316 575.39/575.64 c nbDecision=16500 #constraints=20814 609.88/610.15 c nbDecision=17000 #constraints=21316 651.07/651.31 c nbDecision=17500 #constraints=21815 687.05/687.36 c nbDecision=18000 #constraints=22315 733.64/733.98 c nbDecision=18500 #constraints=22812 769.12/769.44 c nbDecision=19000 #constraints=23313 815.31/815.65 c nbDecision=19500 #constraints=23813 852.80/853.11 c nbDecision=20000 #constraints=24312 901.88/902.22 c nbDecision=20500 #constraints=24818 944.26/944.61 c nbDecision=21000 #constraints=25312 988.75/989.14 c nbDecision=21500 #constraints=25816 1036.64/1037.02 c nbDecision=22000 #constraints=26314 1079.91/1080.39 c nbDecision=22500 #constraints=26814 1137.20/1137.67 c nbDecision=23000 #constraints=27312 1181.29/1181.78 c nbDecision=23500 #constraints=27813 1238.96/1239.41 c nbDecision=24000 #constraints=28312 1284.95/1285.47 c nbDecision=24500 #constraints=28816 1342.42/1342.93 c nbDecision=25000 #constraints=29314 1397.31/1397.81 c nbDecision=25500 #constraints=29813 1407.10/1407.61 c restart after 25601 decisions 1448.20/1448.73 c nbDecision=26000 #constraints=30306 1509.46/1510.05 c nbDecision=26500 #constraints=30806 1560.26/1560.87 c nbDecision=27000 #constraints=31309 1631.23/1631.89 c nbDecision=27500 #constraints=31804 1686.50/1687.12 c nbDecision=28000 #constraints=32309 1757.58/1758.25 c nbDecision=28500 #constraints=32804 1800.08/1800.70 Received signal 15 1800.08/1800.73 1800.08/1800.73 s UNKNOWN 1800.08/1800.73 1800.08/1800.73 c user time= 1799.85 s 1800.08/1800.73 c system time= 0.264959 s 1800.08/1800.73 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-364442-1176988097 -o ROOT/results/node23/solver-364442-1176988097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364442-1176988097/instance-364442-1176988097.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.66 0.96 0.98 2/77 13206 /proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=1468 CPUtime=0 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 146726822 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712529 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 367 162 127 317 0 46 0 [startup+0.014471 s] /proc/loadavg: 0.66 0.96 0.98 2/77 13206 /proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=1732 CPUtime=0.01 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 238 0 0 0 1 0 0 0 18 0 1 0 146726822 1773568 220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 433 220 130 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101486 s] /proc/loadavg: 0.66 0.96 0.98 2/77 13206 /proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=3152 CPUtime=0.09 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 146726822 3227648 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 788 571 138 317 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3152 [startup+0.301524 s] /proc/loadavg: 0.66 0.96 0.98 2/77 13206 /proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=3152 CPUtime=0.29 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 590 0 0 0 29 0 0 0 20 0 1 0 146726822 3227648 572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 788 572 138 317 0 467 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3152 [startup+0.701602 s] /proc/loadavg: 0.66 0.96 0.98 2/77 13206 /proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=3280 CPUtime=0.69 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 601 0 0 0 69 0 0 0 24 0 1 0 146726822 3358720 583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 820 583 138 317 0 499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3280 [startup+1.50176 s] /proc/loadavg: 0.66 0.96 0.98 2/78 13207 /proc/meminfo: memFree=1830080/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=3544 CPUtime=1.49 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 688 0 0 0 149 0 0 0 25 0 1 0 146726822 3629056 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 886 670 138 317 0 565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3544 [startup+3.10107 s] /proc/loadavg: 0.66 0.96 0.98 2/78 13207 /proc/meminfo: memFree=1829504/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=4200 CPUtime=3.09 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 847 0 0 0 309 0 0 0 25 0 1 0 146726822 4300800 829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711032 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 1050 829 138 317 0 729 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4200 [startup+6.30168 s] /proc/loadavg: 0.69 0.96 0.98 2/78 13207 /proc/meminfo: memFree=1828224/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=5272 CPUtime=6.29 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 1119 0 0 0 629 0 0 0 25 0 1 0 146726822 5398528 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 1318 1101 138 317 0 997 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5272 [startup+12.7019 s] /proc/loadavg: 0.71 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1826624/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=6740 CPUtime=12.68 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 1474 0 0 0 1268 0 0 0 25 0 1 0 146726822 6901760 1456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 1685 1456 138 317 0 1364 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6740 [startup+25.5014 s] /proc/loadavg: 0.78 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1824768/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=8460 CPUtime=25.48 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 1908 0 0 0 2547 1 0 0 25 0 1 0 146726822 8663040 1890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 2115 1890 138 317 0 1794 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8460 [startup+51.1013 s] /proc/loadavg: 0.85 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1822400/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=11184 CPUtime=51.08 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 2570 0 0 0 5106 2 0 0 25 0 1 0 146726822 11452416 2492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 2796 2492 138 317 0 2475 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11184 [startup+102.305 s] /proc/loadavg: 0.93 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1819328/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=14116 CPUtime=102.26 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 3315 0 0 0 10223 3 0 0 25 0 1 0 146726822 14454784 3237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 3529 3237 138 317 0 3208 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 14116 [startup+162.302 s] /proc/loadavg: 0.97 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1816640/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=17028 CPUtime=162.23 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 3977 0 0 0 16219 4 0 0 25 0 1 0 146726822 17436672 3899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 4257 3899 138 317 0 3936 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17028 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1814464/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=19096 CPUtime=222.21 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 4497 0 0 0 22216 5 0 0 25 0 1 0 146726822 19554304 4419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 4774 4419 138 317 0 4453 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19096 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1812672/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=21028 CPUtime=282.19 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 4947 0 0 0 28213 6 0 0 25 0 1 0 146726822 21532672 4869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 5257 4869 138 317 0 4936 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 21028 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1811008/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=22624 CPUtime=342.17 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 5354 0 0 0 34210 7 0 0 25 0 1 0 146726822 23166976 5276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 5656 5276 138 317 0 5335 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 22624 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1809408/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=24644 CPUtime=402.15 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 5871 0 0 0 40207 8 0 0 25 0 1 0 146726822 25235456 5673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 6161 5673 138 317 0 5840 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 24644 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1807936/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=25980 CPUtime=462.13 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 6226 0 0 0 46204 9 0 0 25 0 1 0 146726822 26603520 6028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 6495 6028 138 317 0 6174 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 25980 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1806592/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=27420 CPUtime=522.11 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 6557 0 0 0 52201 10 0 0 25 0 1 0 146726822 28078080 6359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 6855 6359 138 317 0 6534 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 27420 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1805312/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=28724 CPUtime=582.09 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 6849 0 0 0 58198 11 0 0 25 0 1 0 146726822 29413376 6651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 7181 6651 138 317 0 6860 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 28724 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1804096/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=29812 CPUtime=642.08 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 7131 0 0 0 64196 12 0 0 25 0 1 0 146726822 30527488 6933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 7453 6933 138 317 0 7132 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 29812 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1799552/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=34856 CPUtime=881.98 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8241 0 0 0 88184 14 0 0 25 0 1 0 146726822 35692544 8043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 8714 8043 138 317 0 8393 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 34856 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1798592/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=35952 CPUtime=941.96 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8486 0 0 0 94181 15 0 0 25 0 1 0 146726822 36814848 8288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 8988 8288 138 317 0 8667 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 35952 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1797632/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=36900 CPUtime=1001.94 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8722 0 0 0 100178 16 0 0 25 0 1 0 146726822 37785600 8524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 9225 8524 138 317 0 8904 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 36900 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1796672/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=37692 CPUtime=1061.92 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8962 0 0 0 106175 17 0 0 25 0 1 0 146726822 38596608 8764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 9423 8764 138 317 0 9102 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 37692 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1795776/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=38800 CPUtime=1121.9 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9177 0 0 0 112172 18 0 0 25 0 1 0 146726822 39731200 8979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 9700 8979 138 317 0 9379 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 38800 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1794880/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=39792 CPUtime=1181.89 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9403 0 0 0 118170 19 0 0 25 0 1 0 146726822 40747008 9205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 9948 9205 138 317 0 9627 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 39792 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1793984/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=40576 CPUtime=1241.86 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9603 0 0 0 124167 19 0 0 25 0 1 0 146726822 41549824 9405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 10144 9405 138 317 0 9823 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 40576 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1793088/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=41492 CPUtime=1301.85 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9827 0 0 0 130165 20 0 0 25 0 1 0 146726822 42487808 9629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 10373 9629 138 317 0 10052 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 41492 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1792320/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=42020 CPUtime=1361.82 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10005 0 0 0 136162 20 0 0 25 0 1 0 146726822 43028480 9807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 10505 9807 138 317 0 10184 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 42020 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1791488/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=42808 CPUtime=1421.8 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10205 0 0 0 142159 21 0 0 25 0 1 0 146726822 43835392 10007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 10702 10007 138 317 0 10381 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 42808 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1790720/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=43484 CPUtime=1481.78 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10392 0 0 0 148156 22 0 0 25 0 1 0 146726822 44527616 10194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 10871 10194 138 317 0 10550 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 43484 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1789952/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=44272 CPUtime=1541.76 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10594 0 0 0 154153 23 0 0 25 0 1 0 146726822 45334528 10396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11068 10396 138 317 0 10747 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 44272 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1789248/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=44924 CPUtime=1601.73 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10762 0 0 0 160150 23 0 0 25 0 1 0 146726822 46002176 10564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11231 10564 138 317 0 10910 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 44924 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1788544/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=45708 CPUtime=1661.72 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10940 0 0 0 166148 24 0 0 25 0 1 0 146726822 46804992 10742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11427 10742 138 317 0 11106 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 45708 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13207 /proc/meminfo: memFree=1787776/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=46292 CPUtime=1721.7 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11111 0 0 0 172145 25 0 0 25 0 1 0 146726822 47403008 10913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11573 10913 138 317 0 11252 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 46292 [startup+1782.3 s] /proc/loadavg: 1.03 0.99 0.98 2/78 13207 /proc/meminfo: memFree=1787008/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=47104 CPUtime=1781.68 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11323 0 0 0 178142 26 0 0 25 0 1 0 146726822 48234496 11092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11776 11092 138 317 0 11455 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 47104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.02 0.99 0.98 2/78 13207 /proc/meminfo: memFree=1786752/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=47232 CPUtime=1800.08 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11374 0 0 0 179982 26 0 0 25 0 1 0 146726822 48365568 11143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11808 11143 138 317 0 11487 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47232 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: 1.02 0.99 0.98 2/78 13207 /proc/meminfo: memFree=1786752/2055920 swapFree=4169120/4192956 [pid=13206] ppid=13204 vsize=47232 CPUtime=1800.08 /proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11374 0 0 0 179982 26 0 0 25 0 1 0 146726822 48365568 11143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13206/statm: 11808 11143 138 317 0 11487 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47232 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.13 CPU user time (s): 1799.85 CPU system time (s): 0.273958 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 47232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.273958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11390 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= 35949 runsolver used 2.09468 second user time and 4.45932 second system time The end
Begin job on node23 on Thu Apr 19 13:08:17 UTC 2007 IDJOB= 364442 IDBENCH= 2113 IDSOLVER= 172 FILE ID= node23/364442-1176988097 PBS_JOBID= 4630438 Free space on /tmp= 66454 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-par16-5.opb COMMAND LINE= oree /tmp/evaluation/364442-1176988097/instance-364442-1176988097.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-364442-1176988097 -o ROOT/results/node23/solver-364442-1176988097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364442-1176988097/instance-364442-1176988097.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 75a2677621940e78209c6b1a1d09ddfe RANDOM SEED= 36692015 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1832544 kB Buffers: 18172 kB Cached: 117852 kB SwapCached: 2288 kB Active: 69912 kB Inactive: 88400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832544 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 29800 kB Slab: 50668 kB Committed_AS: 2458704 kB PageTables: 1796 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= 66454 MiB End job on node23 on Thu Apr 19 13:38:20 UTC 2007