Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.43 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb |
MD5SUM | 8fb889bdb08324a2b9780b5ff988846e |
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 | 2000 |
Total number of constraints | 5250 |
Number of constraints which are clauses | 5250 |
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 | 2000 |
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 | 2000 |
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 | 2000 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656396-1276420971.opb 0.00/0.00 c File size is 179470 bytes. 0.01/0.03 c Highest Coefficient sum: 2000 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.03 s 0.01/0.03 c Var: 2000 Constr: 5250 5250/0/0 Lit: 14750 Watch. Lit: 10500 0.01/0.03 c Obj. Vars: 2000 (100 % of total variables) 0.01/0.05 c Pre-processing Time: 0.056 s 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 0 1999 5250 14750 2 10500 1749 0 0 0.06 0.01/0.05 c Switching off lower bounding mode. 1797.97/1798.42 c 102 1999 5454 27564 5 10908 1924 204 935 0.11 1797.97/1798.42 c 254 1999 5758 45352 7 11516 2117 508 1358 0.19 1797.97/1798.42 c 479 1999 6208 68384 11 12416 2329 958 1565 0.31 1797.97/1798.42 c 818 1999 6886 102758 14 13772 2562 1636 1652 0.49 1797.97/1798.42 c 1326 1999 6532 82932 12 13064 2819 1282 1597 0.83 1797.97/1798.42 c 2089 1999 8058 182128 22 16116 3101 2808 1531 1.36 1797.97/1798.42 c 3236 1999 6968 117697 16 13936 3412 1718 1404 2.30 1797.97/1798.42 c 4958 1999 8539 238847 27 17078 3754 3289 1312 3.78 1797.97/1798.42 c 7544 1999 7460 156829 21 14920 4130 2210 1244 6.06 1797.97/1798.42 c 11424 1999 8210 223515 27 16420 4544 2960 1182 9.66 1797.97/1798.42 c 17247 1999 7523 170913 22 15046 4999 2273 1099 15.69 1797.97/1798.42 c 25985 1999 8613 246231 28 17226 5499 3363 1049 24.77 1797.97/1798.42 c 39096 1999 8353 210334 25 16706 6049 3103 1019 38.34 1797.97/1798.42 c 58767 1999 8756 246352 28 17512 6654 3506 988 59.46 1797.97/1798.42 c 88279 1999 11028 382251 34 22056 7320 5778 965 91.47 1797.97/1798.42 c 132550 1999 10341 335495 32 20682 8053 5091 931 142.31 1797.97/1798.42 c 198963 1999 10807 420044 38 21614 8859 5557 858 231.65 1797.97/1798.42 c 298583 1999 13742 594106 43 27484 9745 8492 820 363.82 1797.97/1798.42 c 448018 1999 12565 478073 38 25130 10720 7315 786 569.74 1797.97/1798.42 c 672179 1999 13629 573905 42 27258 11793 8379 746 900.24 1797.97/1798.42 c 1008423 1999 12167 494492 40 24334 12973 6917 704 1431.42 1797.97/1798.42 c Resources Exceeded 1797.97/1798.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.42 c 21 1228286 344631 1909071 16993 721502 11743 683 1798.00 1797.97/1798.42 s UNKNOWN 1797.97/1798.42 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656396-1276420971/watcher-2656396-1276420971 -o /tmp/evaluation-result-2656396-1276420971/solver-2656396-1276420971 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656396-1276420971.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.65 1.86 1.58 3/106 21511 /proc/meminfo: memFree=1842308/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=10972 CPUtime=0 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 334 0 0 0 0 0 0 0 19 0 1 0 15752472 11235328 252 1992294400 134512640 137138936 4287326608 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 2743 252 171 642 0 2055 0 [startup+0.021321 s] /proc/loadavg: 1.65 1.86 1.58 3/106 21511 /proc/meminfo: memFree=1842308/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=11244 CPUtime=0.01 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 419 0 0 0 1 0 0 0 19 0 1 0 15752472 11513856 337 1992294400 134512640 137138936 4287326608 18446744073709551615 134520658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 2811 337 190 642 0 2123 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11244 [startup+0.101326 s] /proc/loadavg: 1.65 1.86 1.58 3/106 21511 /proc/meminfo: memFree=1842308/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=11984 CPUtime=0.09 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 726 0 0 0 9 0 0 0 19 0 1 0 15752472 12271616 566 1992294400 134512640 137138936 4287326608 18446744073709551615 134543247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 2996 566 192 642 0 2352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11984 [startup+0.301342 s] /proc/loadavg: 1.65 1.86 1.58 3/106 21511 /proc/meminfo: memFree=1842308/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=12604 CPUtime=0.29 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 868 0 0 0 29 0 0 0 20 0 1 0 15752472 12906496 708 1992294400 134512640 137138936 4287326608 18446744073709551615 136364664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 3151 708 192 642 0 2507 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12604 [startup+0.701374 s] /proc/loadavg: 1.65 1.86 1.58 3/106 21511 /proc/meminfo: memFree=1842308/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=13620 CPUtime=0.69 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 1136 0 0 0 68 1 0 0 21 0 1 0 15752472 13946880 976 1992294400 134512640 137138936 4287326608 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 3405 976 192 642 0 2761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13620 [startup+1.50144 s] /proc/loadavg: 1.65 1.86 1.58 2/107 21512 /proc/meminfo: memFree=1838704/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=14516 CPUtime=1.49 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 1365 0 0 0 148 1 0 0 23 0 1 0 15752472 14864384 1205 1992294400 134512640 137138936 4287326608 18446744073709551615 134618035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 3629 1205 192 642 0 2985 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14516 [startup+3.10157 s] /proc/loadavg: 1.65 1.86 1.58 2/107 21512 /proc/meminfo: memFree=1837712/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=15280 CPUtime=3.09 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 1537 0 0 0 307 2 0 0 25 0 1 0 15752472 15646720 1377 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 3820 1377 192 642 0 3176 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15280 [startup+6.30082 s] /proc/loadavg: 1.68 1.86 1.58 2/107 21512 /proc/meminfo: memFree=1836596/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=15792 CPUtime=6.29 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 1654 0 0 0 626 3 0 0 25 0 1 0 15752472 16171008 1494 1992294400 134512640 137138936 4287326608 18446744073709551615 134607222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 3948 1494 192 642 0 3304 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15792 [startup+12.7013 s] /proc/loadavg: 1.62 1.85 1.58 2/107 21512 /proc/meminfo: memFree=1835356/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=16864 CPUtime=12.69 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 1938 0 0 0 1264 5 0 0 25 0 1 0 15752472 17268736 1778 1992294400 134512640 137138936 4287326608 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 4216 1778 192 642 0 3572 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16864 [startup+25.5013 s] /proc/loadavg: 1.48 1.80 1.57 2/107 21512 /proc/meminfo: memFree=1834984/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=17380 CPUtime=25.49 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 2057 0 0 0 2541 8 0 0 25 0 1 0 15752472 17797120 1897 1992294400 134512640 137138936 4287326608 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 4345 1897 192 642 0 3701 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17380 [startup+51.1014 s] /proc/loadavg: 1.32 1.74 1.55 2/107 21512 /proc/meminfo: memFree=1834240/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=18008 CPUtime=51.08 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 2226 0 0 0 5094 14 0 0 25 0 1 0 15752472 18440192 2066 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 4502 2066 192 642 0 3858 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18008 [startup+102.308 s] /proc/loadavg: 1.14 1.62 1.52 2/107 21514 /proc/meminfo: memFree=1833000/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=19128 CPUtime=102.27 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 2516 0 0 0 10202 25 0 0 25 0 1 0 15752472 19587072 2356 1992294400 134512640 137138936 4287326608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 4782 2356 192 642 0 4138 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19128 [startup+162.301 s] /proc/loadavg: 1.05 1.51 1.49 2/107 21516 /proc/meminfo: memFree=1830892/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=21168 CPUtime=162.25 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3020 0 0 0 16186 39 0 0 25 0 1 0 15752472 21676032 2860 1992294400 134512640 137138936 4287326608 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5292 2860 192 642 0 4648 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21168 [startup+222.301 s] /proc/loadavg: 1.02 1.41 1.45 2/107 21518 /proc/meminfo: memFree=1830768/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=21168 CPUtime=222.23 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3020 0 0 0 22172 51 0 0 25 0 1 0 15752472 21676032 2860 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5292 2860 192 642 0 4648 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21168 [startup+282.301 s] /proc/loadavg: 1.00 1.33 1.42 2/107 21520 /proc/meminfo: memFree=1830520/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=21532 CPUtime=282.22 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3101 0 0 0 28157 65 0 0 25 0 1 0 15752472 22048768 2941 1992294400 134512640 137138936 4287326608 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5383 2941 192 642 0 4739 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 21532 [startup+342.301 s] /proc/loadavg: 1.00 1.27 1.39 2/107 21520 /proc/meminfo: memFree=1830396/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=21520 CPUtime=342.21 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3112 0 0 0 34142 79 0 0 25 0 1 0 15752472 22036480 2952 1992294400 134512640 137138936 4287326608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5380 2952 192 642 0 4736 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 21520 [startup+402.301 s] /proc/loadavg: 1.00 1.22 1.36 2/107 21522 /proc/meminfo: memFree=1830024/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=21980 CPUtime=402.19 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3224 0 0 0 40126 93 0 0 25 0 1 0 15752472 22507520 3064 1992294400 134512640 137138936 4287326608 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5495 3064 192 642 0 4851 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 21980 [startup+462.301 s] /proc/loadavg: 1.04 1.19 1.35 2/107 21524 /proc/meminfo: memFree=1829900/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=22048 CPUtime=462.18 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3233 0 0 0 46113 105 0 0 25 0 1 0 15752472 22577152 3073 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5512 3073 192 642 0 4868 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 22048 [startup+522.301 s] /proc/loadavg: 1.01 1.15 1.32 2/107 21526 /proc/meminfo: memFree=1829528/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=22280 CPUtime=522.16 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3289 0 0 0 52097 119 0 0 25 0 1 0 15752472 22814720 3129 1992294400 134512640 137138936 4287326608 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5570 3129 192 642 0 4926 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 22280 [startup+582.301 s] /proc/loadavg: 1.00 1.12 1.30 2/107 21528 /proc/meminfo: memFree=1829528/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=22388 CPUtime=582.15 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3313 0 0 0 58082 133 0 0 25 0 1 0 15752472 22925312 3153 1992294400 134512640 137138936 4287326608 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5597 3153 192 642 0 4953 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 22388 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.27 2/107 21528 /proc/meminfo: memFree=1828164/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=23608 CPUtime=642.15 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 3619 0 0 0 64070 145 0 0 25 0 1 0 15752472 24174592 3459 1992294400 134512640 137138936 4287326608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 5902 3459 192 642 0 5258 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 23608 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1825808/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25104 CPUtime=1122.02 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4000 0 0 0 111963 239 0 0 25 0 1 0 15752472 25706496 3840 1992294400 134512640 137138936 4287326608 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6276 3840 192 642 0 5632 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 25104 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.14 2/107 21547 /proc/meminfo: memFree=1825808/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25100 CPUtime=1182.01 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4000 0 0 0 117949 252 0 0 25 0 1 0 15752472 25702400 3840 1992294400 134512640 137138936 4287326608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6275 3840 192 642 0 5631 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 25100 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.13 2/107 21547 /proc/meminfo: memFree=1825808/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25344 CPUtime=1242 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4053 0 0 0 123938 262 0 0 25 0 1 0 15752472 25952256 3893 1992294400 134512640 137138936 4287326608 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6336 3893 192 642 0 5692 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 25344 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 21549 /proc/meminfo: memFree=1825684/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25448 CPUtime=1301.99 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4095 0 0 0 129925 274 0 0 25 0 1 0 15752472 26058752 3935 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6362 3935 192 642 0 5718 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 25448 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.11 2/107 21551 /proc/meminfo: memFree=1825684/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25448 CPUtime=1361.97 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4095 0 0 0 135912 285 0 0 25 0 1 0 15752472 26058752 3935 1992294400 134512640 137138936 4287326608 18446744073709551615 134606944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6362 3935 192 642 0 5718 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 25448 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.10 2/107 21553 /proc/meminfo: memFree=1825684/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25448 CPUtime=1421.96 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4095 0 0 0 141901 295 0 0 25 0 1 0 15752472 26058752 3935 1992294400 134512640 137138936 4287326608 18446744073709551615 136500127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6362 3935 192 642 0 5718 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 25448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 21555 /proc/meminfo: memFree=1825436/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25676 CPUtime=1481.94 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 147888 306 0 0 25 0 1 0 15752472 26292224 3991 1992294400 134512640 137138936 4287326608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6419 3991 192 642 0 5775 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 25676 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21555 /proc/meminfo: memFree=1825436/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25672 CPUtime=1541.92 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 153875 317 0 0 25 0 1 0 15752472 26288128 3991 1992294400 134512640 137138936 4287326608 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6418 3991 192 642 0 5774 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 25672 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21557 /proc/meminfo: memFree=1825436/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25672 CPUtime=1601.92 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 159864 328 0 0 25 0 1 0 15752472 26288128 3991 1992294400 134512640 137138936 4287326608 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6418 3991 192 642 0 5774 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 25672 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 21559 /proc/meminfo: memFree=1825312/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25668 CPUtime=1661.9 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 165850 340 0 0 25 0 1 0 15752472 26284032 3991 1992294400 134512640 137138936 4287326608 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6417 3991 192 642 0 5773 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 25668 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 21561 /proc/meminfo: memFree=1825188/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25584 CPUtime=1721.89 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 171838 351 0 0 25 0 1 0 15752472 26198016 3973 1992294400 134512640 137138936 4287326608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6396 3973 192 642 0 5752 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 25584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1781.87 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 177825 362 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 25540 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1791.48 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 178784 364 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134618956 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 25540 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1794.68 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 179103 365 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 136297133 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 25540 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1796.27 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 179262 365 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 25540 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.06 3/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1797.07 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 179342 365 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 25540 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.06 3/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1797.46 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 179381 365 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 25540 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.06 3/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1797.86 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 179421 365 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 25540 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21563 /proc/meminfo: memFree=1824940/2059040 swapFree=4136640/4192956 [pid=21511] ppid=21509 vsize=25540 CPUtime=1797.97 /proc/21511/stat : 21511 (bsolo_pb10) R 21509 21511 21382 0 -1 4202496 4151 0 0 0 179432 365 0 0 25 0 1 0 15752472 26152960 3962 1992294400 134512640 137138936 4287326608 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21511/statm: 6385 3962 192 642 0 5741 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 25540 Child status: 0 Real time (s): 1798.43 CPU time (s): 1798 CPU user time (s): 1794.34 CPU system time (s): 3.66144 CPU usage (%): 99.9765 Max. virtual memory (cumulated for all children) (KiB): 25712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.34 system time used= 3.66144 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4151 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= 1 involuntary context switches= 6366 runsolver used 3.07153 second user time and 8.38573 second system time The end
Begin job on node026 at 2010-06-13 11:22:51 IDJOB=2656396 IDBENCH=2075 IDSOLVER=1162 FILE ID=node026/2656396-1276420971 PBS_JOBID= 11173300 Free space on /tmp= 62508 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656396-1276420971/watcher-2656396-1276420971 -o /tmp/evaluation-result-2656396-1276420971/solver-2656396-1276420971 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656396-1276420971.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8fb889bdb08324a2b9780b5ff988846e RANDOM SEED=1019484196 node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842712 kB Buffers: 17004 kB Cached: 122592 kB SwapCached: 9428 kB Active: 87188 kB Inactive: 64744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842712 kB SwapTotal: 4192956 kB SwapFree: 4136640 kB Dirty: 4236 kB Writeback: 0 kB AnonPages: 10928 kB Mapped: 9252 kB Slab: 42576 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62504 MiB End job on node026 at 2010-06-13 11:52:49