Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.12 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-1-c.opb |
MD5SUM | 7d3927082349ded13241d71256bbcafb |
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 | 2630 |
Total number of constraints | 6569 |
Number of constraints which are clauses | 6569 |
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 | 2630 |
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 | 2630 |
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 | 2630 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433003-1177952762/instance-433003-1177952762.opb 0.00/0.00 c File size is 221725 bytes. 0.00/0.04 c Highest Coefficient sum: 2630 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.04 s 0.00/0.04 c Var: 2630 Constr: 6569 6569/0/0 Lit: 18020 Watch. Lit: 13138 0.00/0.04 c Obj. Vars: 2630 (100 % of total variables) 0.05/0.10 c Pre-processing Time: 0.096 s 0.05/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.10 c 0 2441 6252 17260 2 12504 2083 0 0 0.10 0.05/0.10 c Switching off LPR mode. 1800.10/1800.50 c 101 2441 6353 22793 3 12706 2292 101 687 0.15 1800.10/1800.50 c 252 2441 6504 29361 4 13008 2522 252 1012 0.25 1800.10/1800.50 c 478 2441 6730 37676 5 13460 2775 478 1309 0.36 1800.10/1800.50 c 816 2441 7068 51449 7 14136 3053 816 1459 0.56 1800.10/1800.50 c 1325 2441 7577 77844 10 15154 3359 1325 1510 0.88 1800.10/1800.50 c 2088 2441 8340 117474 14 16680 3695 2088 1424 1.47 1800.10/1800.50 c 3234 2441 9486 197189 20 18972 4065 3234 1380 2.34 1800.10/1800.50 c 4955 2441 8808 140328 15 17616 4472 2556 1180 4.20 1800.10/1800.50 c 7540 2441 8891 125716 14 17782 4920 2639 1094 6.89 1800.10/1800.50 c 11419 2441 10026 153369 15 20052 5413 3774 1009 11.31 1800.10/1800.50 c 17241 2441 9831 147592 15 19662 5955 3579 990 17.40 1800.10/1800.50 c 25978 2441 11978 247063 20 23956 6551 5726 964 26.93 1800.10/1800.50 c 39090 2441 10945 175603 16 21890 7207 4693 945 41.33 1800.10/1800.50 c 58760 2441 11184 181413 16 22368 7928 4932 898 65.38 1800.10/1800.50 c 88271 2441 11072 196801 17 22144 8721 4820 859 102.74 1800.10/1800.50 c 132541 2441 13550 298415 22 27100 9594 7298 831 159.48 1800.10/1800.50 c 198951 2441 13869 308751 22 27738 10554 7617 787 252.54 1800.10/1800.50 c 298571 2441 13307 274100 20 26614 11610 7055 757 394.37 1800.10/1800.50 c 448007 2441 16366 566838 34 32732 12772 10114 721 620.59 1800.10/1800.50 c 672165 2441 17026 597228 35 34052 14050 10774 674 996.93 1800.10/1800.50 c 1008409 2441 14037 416294 29 28074 15456 7785 627 1607.97 1800.10/1800.50 c Caught signal: 15 1800.10/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.50 c 21 1108302 62189 1180807 17236 632817 10984 615 1800.11 1800.10/1800.50 s UNKNOWN 1800.10/1800.50 c Total time: 1800.11 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-433003-1177952762 -o ROOT/results/node52/solver-433003-1177952762 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433003-1177952762/instance-433003-1177952762.opb 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.79 0.92 0.94 3/64 26414 /proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=11956 CPUtime=0 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 150121296 12242944 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2989 333 279 324 0 2004 0 [startup+0.0634019 s] /proc/loadavg: 0.79 0.92 0.94 3/64 26414 /proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=5320 CPUtime=0.05 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 787 0 0 0 5 0 0 0 18 0 1 0 150121296 5447680 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 1330 702 302 324 0 400 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5320 [startup+0.101404 s] /proc/loadavg: 0.79 0.92 0.94 3/64 26414 /proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=5552 CPUtime=0.09 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 891 0 0 0 8 1 0 0 18 0 1 0 150121296 5685248 765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 1388 765 308 324 0 458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5552 [startup+0.301417 s] /proc/loadavg: 0.79 0.92 0.94 3/64 26414 /proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=5552 CPUtime=0.29 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 899 0 0 0 28 1 0 0 19 0 1 0 150121296 5685248 773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742709 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 1388 773 309 324 0 458 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5552 [startup+0.701444 s] /proc/loadavg: 0.79 0.92 0.94 3/64 26414 /proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=6068 CPUtime=0.69 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1014 0 0 0 68 1 0 0 23 0 1 0 150121296 6213632 888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 1517 888 309 324 0 587 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6068 [startup+1.5015 s] /proc/loadavg: 0.79 0.92 0.94 2/65 26415 /proc/meminfo: memFree=1871748/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=6860 CPUtime=1.49 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1223 0 0 0 148 1 0 0 25 0 1 0 150121296 7024640 1097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 1715 1097 309 324 0 785 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6860 [startup+3.10161 s] /proc/loadavg: 0.79 0.92 0.94 2/65 26415 /proc/meminfo: memFree=1870340/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=8556 CPUtime=3.09 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1632 0 0 0 308 1 0 0 25 0 1 0 150121296 8761344 1506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4739219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2139 1506 309 324 0 1209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8556 [startup+6.30183 s] /proc/loadavg: 0.81 0.93 0.94 2/65 26415 /proc/meminfo: memFree=1869004/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=8936 CPUtime=6.29 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1719 0 0 0 628 1 0 0 25 0 1 0 150121296 9150464 1593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2234 1593 309 324 0 1304 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8936 [startup+12.7013 s] /proc/loadavg: 0.82 0.93 0.94 2/65 26415 /proc/meminfo: memFree=1869132/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=8940 CPUtime=12.68 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1720 0 0 0 1267 1 0 0 25 0 1 0 150121296 9154560 1594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2235 1594 309 324 0 1305 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8940 [startup+25.5012 s] /proc/loadavg: 0.86 0.93 0.94 2/65 26415 /proc/meminfo: memFree=1868748/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=9332 CPUtime=25.48 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1830 0 0 0 2547 1 0 0 25 0 1 0 150121296 9555968 1704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2333 1704 309 324 0 1403 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9332 [startup+51.1019 s] /proc/loadavg: 0.91 0.93 0.94 2/65 26415 /proc/meminfo: memFree=1868108/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=9992 CPUtime=51.08 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1994 0 0 0 5107 1 0 0 25 0 1 0 150121296 10231808 1868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743618 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2498 1868 309 324 0 1568 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9992 [startup+102.305 s] /proc/loadavg: 0.96 0.94 0.94 2/65 26415 /proc/meminfo: memFree=1867212/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=10872 CPUtime=102.28 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2215 0 0 0 10226 2 0 0 25 0 1 0 150121296 11132928 2089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2718 2089 309 324 0 1788 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 10872 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.94 2/65 26415 /proc/meminfo: memFree=1866828/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=11272 CPUtime=162.26 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2309 0 0 0 16224 2 0 0 25 0 1 0 150121296 11542528 2183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743318 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2818 2183 309 324 0 1888 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 11272 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.94 2/65 26417 /proc/meminfo: memFree=1866060/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=11796 CPUtime=222.24 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2460 0 0 0 22222 2 0 0 25 0 1 0 150121296 12079104 2334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 2949 2334 309 324 0 2019 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 11796 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.94 2/65 26417 /proc/meminfo: memFree=1864652/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=13316 CPUtime=282.23 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2834 0 0 0 28220 3 0 0 25 0 1 0 150121296 13635584 2708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 3329 2708 309 324 0 2399 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 13316 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1864652/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=13316 CPUtime=342.21 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2834 0 0 0 34218 3 0 0 25 0 1 0 150121296 13635584 2708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 3329 2708 309 324 0 2399 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 13316 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 3/65 26417 /proc/meminfo: memFree=1864588/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=13320 CPUtime=402.2 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2835 0 0 0 40217 3 0 0 25 0 1 0 150121296 13639680 2709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 3330 2709 309 324 0 2400 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 13320 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1864012/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=13920 CPUtime=462.19 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2975 0 0 0 46215 4 0 0 25 0 1 0 150121296 14254080 2849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 3480 2849 309 324 0 2550 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 13920 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1863500/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=14440 CPUtime=522.18 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3105 0 0 0 52214 4 0 0 25 0 1 0 150121296 14786560 2979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 3610 2979 309 324 0 2680 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 14440 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1863308/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=14664 CPUtime=582.16 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3159 0 0 0 58212 4 0 0 25 0 1 0 150121296 15015936 3033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 3666 3033 309 324 0 2736 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 14664 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1861260/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=16596 CPUtime=642.15 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3656 0 0 0 64210 5 0 0 25 0 1 0 150121296 16994304 3530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4149 3530 309 324 0 3219 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 16596 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1860044/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=17828 CPUtime=882.1 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3956 0 0 0 88204 6 0 0 25 0 1 0 150121296 18255872 3830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4457 3830 309 324 0 3527 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 17828 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1860044/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=17752 CPUtime=942.08 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3956 0 0 0 94202 6 0 0 25 0 1 0 150121296 18178048 3825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4740449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4438 3825 309 324 0 3508 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 17752 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1860044/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=17752 CPUtime=1002.07 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3956 0 0 0 100201 6 0 0 25 0 1 0 150121296 18178048 3825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4438 3825 309 324 0 3508 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 17752 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859212/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1062.05 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 106199 6 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 18616 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1122.05 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 112198 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 18616 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1182.03 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 118196 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 18616 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1242.02 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 124195 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 18616 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1302.01 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 130194 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 18616 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1361.99 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 136192 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 18616 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859084/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1421.98 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 142190 8 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 18616 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26417 /proc/meminfo: memFree=1859084/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18616 CPUtime=1481.97 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 148189 8 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4654 4031 309 324 0 3724 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 18616 [startup+1542.3 s] /proc/loadavg: 1.05 0.99 0.94 2/65 26417 /proc/meminfo: memFree=1858956/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18704 CPUtime=1541.95 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4188 0 0 0 154187 8 0 0 25 0 1 0 150121296 19152896 4057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4676 4057 309 324 0 3746 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 18704 [startup+1602.3 s] /proc/loadavg: 1.13 1.02 0.95 2/65 26417 /proc/meminfo: memFree=1858956/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=18704 CPUtime=1601.94 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4188 0 0 0 160186 8 0 0 25 0 1 0 150121296 19152896 4057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4676 4057 309 324 0 3746 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 18704 [startup+1662.3 s] /proc/loadavg: 1.05 1.01 0.95 2/65 26417 /proc/meminfo: memFree=1857932/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=19768 CPUtime=1661.93 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4444 0 0 0 166184 9 0 0 25 0 1 0 150121296 20242432 4313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4942 4313 309 324 0 4012 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 19768 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 0.95 2/65 26417 /proc/meminfo: memFree=1857868/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=19824 CPUtime=1721.91 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4464 0 0 0 172182 9 0 0 25 0 1 0 150121296 20299776 4333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 4956 4333 309 324 0 4026 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 19824 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 26417 /proc/meminfo: memFree=1857548/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=20024 CPUtime=1781.9 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4517 0 0 0 178181 9 0 0 25 0 1 0 150121296 20504576 4386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 5006 4386 309 324 0 4076 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 20024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 26417 /proc/meminfo: memFree=1857548/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=20024 CPUtime=1800.1 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4517 0 0 0 180001 9 0 0 25 0 1 0 150121296 20504576 4386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 5006 4386 309 324 0 4076 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 20024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 26417 /proc/meminfo: memFree=1857548/2055920 swapFree=4182988/4192956 [pid=26414] ppid=26412 vsize=20024 CPUtime=1800.1 /proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4517 0 0 0 180001 9 0 0 25 0 1 0 150121296 20504576 4386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26414/statm: 5006 4386 309 324 0 4076 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 20024 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.12 CPU user time (s): 1800.01 CPU system time (s): 0.100984 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 20024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.100984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4521 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= 12 involuntary context switches= 2594 runsolver used 1.20482 second user time and 3.71943 second system time The end
Begin job on node52 on Mon Apr 30 17:06:02 UTC 2007 IDJOB= 433003 IDBENCH= 2143 IDSOLVER= 199 FILE ID= node52/433003-1177952762 PBS_JOBID= 4727544 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433003-1177952762/instance-433003-1177952762.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-433003-1177952762 -o ROOT/results/node52/solver-433003-1177952762 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433003-1177952762/instance-433003-1177952762.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 7d3927082349ded13241d71256bbcafb RANDOM SEED= 499935405 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1874852 kB Buffers: 10184 kB Cached: 105940 kB SwapCached: 3828 kB Active: 42824 kB Inactive: 84192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1874852 kB SwapTotal: 4192956 kB SwapFree: 4182988 kB Dirty: 6952 kB Writeback: 0 kB Mapped: 16976 kB Slab: 39976 kB Committed_AS: 1953100 kB PageTables: 1488 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= 66558 MiB End job on node52 on Mon Apr 30 17:36:05 UTC 2007