Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.06 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb |
MD5SUM | 6a25ee38adc43f783b18badd1224270c |
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 | 13480 |
Total number of constraints | 26619 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 26619 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2843 |
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/433444-1177959899/instance-433444-1177959899.opb 0.00/0.00 c File size is 7804237 bytes. 1.29/1.37 c Highest Coefficient sum: 2843 1.29/1.37 c Parsing was ok!! 1.29/1.37 c Total parsing time: 1.362 s 1.38/1.40 c Var: 13480 Constr: 26619 0/0/26619 Lit: 916142 Watch. Lit: 130416 1.38/1.40 c Obj. Vars: 9 (0.0667656 % of total variables) 7.69/7.71 c Pre-processing Time: 7.705 s 7.69/7.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.72 c 0 13480 26619 916142 34 228629 500000 0 0 7.71 7.69/7.72 c Switching off LPR mode. 1800.01/1800.50 c 100 13480 26719 920750 34 559462 550001 100 9 10.54 1800.01/1800.50 c 250 13480 26869 929402 34 518545 605002 250 19 12.66 1800.01/1800.50 c 476 13480 27095 938114 34 454943 665503 476 32 14.72 1800.01/1800.50 c 814 13480 27433 956655 34 455056 732054 814 48 16.87 1800.01/1800.50 c 1323 13480 27942 983687 35 432882 805260 1323 67 19.51 1800.01/1800.50 c 2086 13480 28705 1022870 35 535982 885787 2086 92 22.67 1800.01/1800.50 c 3233 13480 29852 1077823 36 500115 974366 3233 106 30.23 1800.01/1800.50 c 4954 13480 31573 1181650 37 468246 500000 4954 129 38.40 1800.01/1800.50 c 7538 13480 34157 1293114 37 443917 550001 7538 176 42.79 1800.01/1800.50 c 11419 13480 38038 1579151 41 521536 605002 11419 144 78.96 1800.01/1800.50 c 17241 13480 43860 1883842 42 533050 665503 17241 150 114.47 1800.01/1800.50 c 25978 13480 52597 2649302 50 557757 732054 25978 131 196.92 1800.01/1800.50 c 39091 13480 65710 3294678 50 511214 805260 39091 150 259.08 1800.01/1800.50 c 58761 13480 85380 4985841 58 626018 885787 58761 121 484.88 1800.01/1800.50 c 88272 13480 114891 6436577 56 610065 974366 88272 151 583.37 1800.01/1800.50 c 132543 13480 159162 10532523 66 775649 500000 132543 122 1083.27 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 16 197324 26669 252711 223943 15483514 197324 109 1800.02 1800.01/1800.50 s UNKNOWN 1800.01/1800.50 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-433444-1177959899 -o ROOT/results/node21/solver-433444-1177959899 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433444-1177959899/instance-433444-1177959899.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: 1.00 0.99 0.91 3/77 15117 /proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=27172 CPUtime=0 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243907218 27824128 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 6793 331 279 324 0 3957 0 [startup+0.0379389 s] /proc/loadavg: 1.00 0.99 0.91 3/77 15117 /proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=11936 CPUtime=0.03 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 495 0 0 0 3 0 0 0 18 0 1 0 243907218 12222464 465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 2984 465 328 324 0 148 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11936 [startup+0.101946 s] /proc/loadavg: 1.00 0.99 0.91 3/77 15117 /proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=12588 CPUtime=0.09 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 752 0 0 0 9 0 0 0 18 0 1 0 243907218 12890112 722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 3147 722 419 324 0 311 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12588 [startup+0.301966 s] /proc/loadavg: 1.00 0.99 0.91 3/77 15117 /proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=14676 CPUtime=0.29 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 1546 0 0 0 29 0 0 0 19 0 1 0 243907218 15028224 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 3669 1516 699 324 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14676 [startup+0.70201 s] /proc/loadavg: 1.00 0.99 0.91 3/77 15117 /proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=18720 CPUtime=0.69 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 3127 0 0 0 69 0 0 0 23 0 1 0 243907218 19169280 3097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 4680 3097 1249 324 0 1844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18720 [startup+1.50111 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1809584/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=23836 CPUtime=1.48 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 7199 0 0 0 147 1 0 0 25 0 1 0 243907218 24408064 5263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15117/statm: 5959 5263 302 324 0 5029 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 23836 [startup+3.10127 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1784304/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=39424 CPUtime=3.08 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 11125 0 0 0 305 3 0 0 25 0 1 0 243907218 40370176 9189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 9856 9189 304 324 0 8926 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 39424 [startup+6.30162 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1784304/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=39424 CPUtime=6.28 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 11125 0 0 0 623 5 0 0 25 0 1 0 243907218 40370176 9189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 9856 9189 304 324 0 8926 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 39424 [startup+12.7013 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1789552/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=34392 CPUtime=12.68 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 13509 0 0 0 1260 8 0 0 25 0 1 0 243907218 35217408 7929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 8598 7929 309 324 0 7668 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34392 [startup+25.5017 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1789360/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=34532 CPUtime=25.47 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 13559 0 0 0 2539 8 0 0 25 0 1 0 243907218 35360768 7979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 8633 7979 309 324 0 7703 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 34532 [startup+51.1015 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1784624/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=39364 CPUtime=51.07 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 14771 0 0 0 5097 10 0 0 25 0 1 0 243907218 40308736 9191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 9841 9191 309 324 0 8911 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39364 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1778864/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=45200 CPUtime=102.25 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 16220 0 0 0 10214 11 0 0 25 0 1 0 243907218 46284800 10640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 11300 10640 309 324 0 10370 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 45200 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1771312/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=52736 CPUtime=162.23 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 18115 0 0 0 16210 13 0 0 25 0 1 0 243907218 54001664 12535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 13184 12535 309 324 0 12254 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 52736 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1763952/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=60004 CPUtime=222.21 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 19913 0 0 0 22206 15 0 0 25 0 1 0 243907218 61444096 14333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 15001 14333 309 324 0 14071 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 60004 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1754096/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=69920 CPUtime=282.21 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 22390 0 0 0 28202 19 0 0 25 0 1 0 243907218 71598080 16810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 17480 16810 309 324 0 16550 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 69920 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1745776/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=77992 CPUtime=342.18 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 24432 0 0 0 34197 21 0 0 25 0 1 0 243907218 79863808 18852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 19498 18852 309 324 0 18568 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 77992 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1739248/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=84596 CPUtime=402.17 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 26069 0 0 0 40194 23 0 0 25 0 1 0 243907218 86626304 20489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8867909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 21149 20489 309 324 0 20219 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 84596 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1734256/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=89524 CPUtime=462.15 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 27304 0 0 0 46191 24 0 0 25 0 1 0 243907218 91672576 21724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 22381 21724 309 324 0 21451 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 89524 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1724592/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=99288 CPUtime=522.14 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 29760 0 0 0 52187 27 0 0 25 0 1 0 243907218 101670912 24180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 24822 24180 309 324 0 23892 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 99288 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1713776/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=109972 CPUtime=582.12 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 32417 0 0 0 58182 30 0 0 25 0 1 0 243907218 112611328 26837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 27493 26837 309 324 0 26563 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 109972 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1702576/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=121044 CPUtime=642.11 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 35185 0 0 0 64178 33 0 0 25 0 1 0 243907218 123949056 29605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 30261 29605 309 324 0 29331 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 121044 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1671856/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=151664 CPUtime=882.05 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 42851 0 0 0 88161 44 0 0 25 0 1 0 243907218 155303936 37271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 37916 37271 309 324 0 36986 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 151664 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1664560/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=158940 CPUtime=942.03 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 44665 0 0 0 94157 46 0 0 25 0 1 0 243907218 162754560 39085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 39735 39085 309 324 0 38805 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 158940 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1659568/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=163868 CPUtime=1002.01 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 45891 0 0 0 100153 48 0 0 25 0 1 0 243907218 167800832 40311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 40967 40311 309 324 0 40037 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 163868 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1654896/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=168548 CPUtime=1062 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 47056 0 0 0 106150 50 0 0 25 0 1 0 243907218 172593152 41476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 42137 41476 309 324 0 41207 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 168548 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1649072/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=174376 CPUtime=1121.99 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 48518 0 0 0 112147 52 0 0 25 0 1 0 243907218 178561024 42938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 43594 42938 309 324 0 42664 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 174376 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1642992/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=180496 CPUtime=1181.97 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 50043 0 0 0 118143 54 0 0 25 0 1 0 243907218 184827904 44463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 45124 44463 309 324 0 44194 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 180496 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1637680/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=185708 CPUtime=1241.95 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 51338 0 0 0 124139 56 0 0 25 0 1 0 243907218 190164992 45758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 46427 45758 309 324 0 45497 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 185708 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1633200/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=190136 CPUtime=1301.94 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 52444 0 0 0 130137 57 0 0 25 0 1 0 243907218 194699264 46864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 47534 46864 309 324 0 46604 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 190136 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1626352/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=197044 CPUtime=1361.91 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 54184 0 0 0 136133 58 0 0 25 0 1 0 243907218 201773056 48604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 49261 48604 309 324 0 48331 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 197044 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1619760/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=203540 CPUtime=1421.91 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 55821 0 0 0 142130 61 0 0 25 0 1 0 243907218 208424960 50241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 50885 50241 309 324 0 49955 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 203540 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1614192/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=209116 CPUtime=1481.89 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 57204 0 0 0 148126 63 0 0 25 0 1 0 243907218 214134784 51624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 52279 51624 309 324 0 51349 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 209116 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1607792/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=215496 CPUtime=1541.87 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 58788 0 0 0 154122 65 0 0 25 0 1 0 243907218 220667904 53208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 53874 53208 309 324 0 52944 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 215496 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1601520/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=221716 CPUtime=1601.85 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 60358 0 0 0 160118 67 0 0 25 0 1 0 243907218 227037184 54778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 55429 54778 309 324 0 54499 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 221716 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1595248/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=227952 CPUtime=1661.84 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 61915 0 0 0 166115 69 0 0 25 0 1 0 243907218 233422848 56335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 56988 56335 309 324 0 56058 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 227952 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1589488/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=233796 CPUtime=1721.82 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 63363 0 0 0 172111 71 0 0 25 0 1 0 243907218 239407104 57783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 58449 57783 309 324 0 57519 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 233796 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1584304/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=238892 CPUtime=1781.81 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 64629 0 0 0 178108 73 0 0 25 0 1 0 243907218 244625408 59049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 59723 59049 309 324 0 58793 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 238892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1582960/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=240060 CPUtime=1800.01 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 64951 0 0 0 179928 73 0 0 25 0 1 0 243907218 245821440 59371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 60015 59371 309 324 0 59085 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 240060 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 0.99 0.91 2/78 15118 /proc/meminfo: memFree=1582960/2055920 swapFree=4156288/4192956 [pid=15117] ppid=15115 vsize=240060 CPUtime=1800.01 /proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 64951 0 0 0 179928 73 0 0 25 0 1 0 243907218 245821440 59371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15117/statm: 60015 59371 309 324 0 59085 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 240060 Child status: 15 Real time (s): 1800.55 CPU time (s): 1800.06 CPU user time (s): 1799.28 CPU system time (s): 0.773882 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 240060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.773882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64955 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= 2913 runsolver used 1.40878 second user time and 3.99039 second system time The end
Begin job on node21 on Mon Apr 30 19:04:59 UTC 2007 IDJOB= 433444 IDBENCH= 2639 IDSOLVER= 199 FILE ID= node21/433444-1177959899 PBS_JOBID= 4727728 Free space on /tmp= 66551 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433444-1177959899/instance-433444-1177959899.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-433444-1177959899 -o ROOT/results/node21/solver-433444-1177959899 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433444-1177959899/instance-433444-1177959899.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c RANDOM SEED= 829882342 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1820560 kB Buffers: 26396 kB Cached: 119856 kB SwapCached: 15044 kB Active: 73288 kB Inactive: 95864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820560 kB SwapTotal: 4192956 kB SwapFree: 4156288 kB Dirty: 14332 kB Writeback: 0 kB Mapped: 29820 kB Slab: 51688 kB Committed_AS: 1993692 kB PageTables: 1784 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= 66551 MiB End job on node21 on Mon Apr 30 19:35:02 UTC 2007