Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.47 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | bc7893eb7aff4749139e472af91e587e |
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 | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
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 | 2650 |
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 | 2650 |
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 | 2650 |
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.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-2656405-1276463666.opb 0.00/0.00 c File size is 223485 bytes. 0.00/0.03 c Highest Coefficient sum: 2650 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.035 s 0.00/0.03 c Var: 2650 Constr: 6619 6619/0/0 Lit: 18160 Watch. Lit: 13238 0.00/0.03 c Obj. Vars: 2650 (100 % of total variables) 0.00/0.09 c Pre-processing Time: 0.095 s 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 0 2461 6302 17400 2 12604 2100 0 0 0.10 0.00/0.09 c Switching off lower bounding mode. 1797.93/1798.46 c 100 2461 6487 25193 3 12974 2311 185 552 0.18 1797.93/1798.46 c 251 2461 6789 37209 5 13578 2543 487 747 0.34 1797.93/1798.46 c 476 2461 7234 53450 7 14468 2798 932 822 0.58 1797.93/1798.46 c 814 2461 7903 77006 9 15806 3078 1601 747 1.09 1797.93/1798.46 c 1322 2461 8914 109640 12 17828 3386 2612 768 1.72 1797.93/1798.46 c 2085 2461 8432 89800 10 16864 3725 2130 764 2.73 1797.93/1798.46 c 3232 2461 8519 96597 11 17038 4098 2217 744 4.34 1797.93/1798.46 c 4953 2461 9489 145554 15 18978 4508 3187 721 6.86 1797.93/1798.46 c 7537 2461 9601 172818 18 19202 4959 3299 685 10.99 1797.93/1798.46 c 11417 2461 8875 160701 18 17750 5455 2573 639 17.86 1797.93/1798.46 c 17240 2461 11432 261036 22 22864 6001 5130 608 28.31 1797.93/1798.46 c 25977 2461 9349 158027 16 18698 6602 3047 589 44.03 1797.93/1798.46 c 39088 2461 10870 226408 20 21740 7263 4568 565 69.18 1797.93/1798.46 c 58759 2461 11088 224231 20 22176 7990 4786 548 107.13 1797.93/1798.46 c 88269 2461 10567 212174 20 21134 8790 4265 533 165.36 1797.93/1798.46 c 132539 2461 11162 241463 21 22324 9670 4860 517 256.00 1797.93/1798.46 c 198949 2461 12634 310358 24 25268 10638 6332 502 395.67 1797.93/1798.46 c 298571 2461 13172 339408 25 26344 11702 6870 482 619.32 1797.93/1798.46 c 448006 2461 15196 429038 28 30392 12873 8894 470 952.20 1797.93/1798.46 c 672164 2461 13921 350070 25 27842 14161 7619 458 1467.13 1797.93/1798.46 c Resources Exceeded 1797.93/1798.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.46 c 20 811331 44484 864008 16570 518969 10268 451 1798.00 1797.93/1798.46 s UNKNOWN 1797.93/1798.46 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-2656405-1276463666/watcher-2656405-1276463666 -o /tmp/evaluation-result-2656405-1276463666/solver-2656405-1276463666 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656405-1276463666.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.00 1.00 1.00 3/106 25843 /proc/meminfo: memFree=1837276/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=11152 CPUtime=0 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 21952974 11419648 279 1992294400 134512640 137138936 4287194176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 2788 279 175 642 0 2089 0 [startup+0.101025 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25843 /proc/meminfo: memFree=1837276/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=12288 CPUtime=0.09 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 820 0 0 0 8 1 0 0 22 0 1 0 21952974 12582912 642 1992294400 134512640 137138936 4287194176 18446744073709551615 134578520 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3072 642 192 642 0 2428 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12288 [startup+0.202035 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25843 /proc/meminfo: memFree=1837276/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=12288 CPUtime=0.19 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 820 0 0 0 18 1 0 0 22 0 1 0 21952974 12582912 642 1992294400 134512640 137138936 4287194176 18446744073709551615 134606636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3072 642 192 642 0 2428 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12288 [startup+0.301045 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25843 /proc/meminfo: memFree=1837276/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=12408 CPUtime=0.29 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 832 0 0 0 28 1 0 0 22 0 1 0 21952974 12705792 654 1992294400 134512640 137138936 4287194176 18446744073709551615 134606598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3102 654 192 642 0 2458 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12408 [startup+0.701085 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25843 /proc/meminfo: memFree=1837276/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=12788 CPUtime=0.69 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 932 0 0 0 68 1 0 0 23 0 1 0 21952974 13094912 754 1992294400 134512640 137138936 4287194176 18446744073709551615 136297173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3197 754 192 642 0 2553 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12788 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25844 /proc/meminfo: memFree=1834664/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=13400 CPUtime=1.49 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 1089 0 0 0 148 1 0 0 25 0 1 0 21952974 13721600 911 1992294400 134512640 137138936 4287194176 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3350 911 192 642 0 2706 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13400 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25844 /proc/meminfo: memFree=1833300/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=14144 CPUtime=3.09 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 1289 0 0 0 307 2 0 0 25 0 1 0 21952974 14483456 1111 1992294400 134512640 137138936 4287194176 18446744073709551615 136364664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3536 1111 192 642 0 2892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14144 [startup+6.30165 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25844 /proc/meminfo: memFree=1832928/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=14856 CPUtime=6.29 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 1454 0 0 0 627 2 0 0 25 0 1 0 21952974 15212544 1276 1992294400 134512640 137138936 4287194176 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 3714 1276 192 642 0 3070 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14856 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25844 /proc/meminfo: memFree=1831688/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=16104 CPUtime=12.69 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 1782 0 0 0 1265 4 0 0 25 0 1 0 21952974 16490496 1604 1992294400 134512640 137138936 4287194176 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4026 1604 192 642 0 3382 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16104 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25846 /proc/meminfo: memFree=1830448/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=16848 CPUtime=25.48 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 1954 0 0 0 2543 5 0 0 25 0 1 0 21952974 17252352 1776 1992294400 134512640 137138936 4287194176 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4212 1776 192 642 0 3568 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16848 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25846 /proc/meminfo: memFree=1830076/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=17436 CPUtime=51.08 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2108 0 0 0 5099 9 0 0 25 0 1 0 21952974 17854464 1930 1992294400 134512640 137138936 4287194176 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4359 1930 192 642 0 3715 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17436 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25848 /proc/meminfo: memFree=1828712/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=18436 CPUtime=102.27 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2347 0 0 0 10211 16 0 0 25 0 1 0 21952974 18878464 2169 1992294400 134512640 137138936 4287194176 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4609 2169 192 642 0 3965 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18436 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 25851 /proc/meminfo: memFree=1827720/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=18440 CPUtime=162.25 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2360 0 0 0 16199 26 0 0 25 0 1 0 21952974 18882560 2182 1992294400 134512640 137138936 4287194176 18446744073709551615 134542061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4610 2182 192 642 0 3966 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18440 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25853 /proc/meminfo: memFree=1827596/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=19056 CPUtime=222.24 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2498 0 0 0 22190 34 0 0 25 0 1 0 21952974 19513344 2320 1992294400 134512640 137138936 4287194176 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4764 2320 192 642 0 4120 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 19056 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25855 /proc/meminfo: memFree=1827100/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=19392 CPUtime=282.22 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2591 0 0 0 28180 42 0 0 25 0 1 0 21952974 19857408 2413 1992294400 134512640 137138936 4287194176 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4848 2413 192 642 0 4204 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 19392 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25857 /proc/meminfo: memFree=1826604/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=19872 CPUtime=342.2 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2707 0 0 0 34170 50 0 0 25 0 1 0 21952974 20348928 2529 1992294400 134512640 137138936 4287194176 18446744073709551615 134542255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 4968 2529 192 642 0 4324 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 19872 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25859 /proc/meminfo: memFree=1826356/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=20128 CPUtime=402.19 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2785 0 0 0 40160 59 0 0 25 0 1 0 21952974 20611072 2607 1992294400 134512640 137138936 4287194176 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5032 2607 192 642 0 4388 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 20128 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25859 /proc/meminfo: memFree=1825860/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=20560 CPUtime=462.17 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2891 0 0 0 46149 68 0 0 25 0 1 0 21952974 21053440 2713 1992294400 134512640 137138936 4287194176 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5140 2713 192 642 0 4496 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 20560 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25861 /proc/meminfo: memFree=1825860/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=20560 CPUtime=522.16 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2891 0 0 0 52139 77 0 0 25 0 1 0 21952974 21053440 2713 1992294400 134512640 137138936 4287194176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5140 2713 192 642 0 4496 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 20560 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25863 /proc/meminfo: memFree=1825736/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=20560 CPUtime=582.13 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2891 0 0 0 58129 84 0 0 25 0 1 0 21952974 21053440 2713 1992294400 134512640 137138936 4287194176 18446744073709551615 134544837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5140 2713 192 642 0 4496 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 20560 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25865 /proc/meminfo: memFree=1825488/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=20820 CPUtime=642.12 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 2950 0 0 0 64121 91 0 0 25 0 1 0 21952974 21319680 2772 1992294400 134512640 137138936 4287194176 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5205 2772 192 642 0 4561 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 20820 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1824000/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22120 CPUtime=1062.02 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 106056 146 0 0 25 0 1 0 21952974 22650880 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5530 3101 192 642 0 4886 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 22120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25877 /proc/meminfo: memFree=1824000/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22120 CPUtime=1122.01 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 112047 154 0 0 25 0 1 0 21952974 22650880 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5530 3101 192 642 0 4886 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 22120 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25879 /proc/meminfo: memFree=1824000/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22116 CPUtime=1181.99 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 118038 161 0 0 25 0 1 0 21952974 22646784 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 134542061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5529 3101 192 642 0 4885 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 22116 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25881 /proc/meminfo: memFree=1823876/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22108 CPUtime=1241.98 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 124029 169 0 0 25 0 1 0 21952974 22638592 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5527 3101 192 642 0 4883 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 22108 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 25883 /proc/meminfo: memFree=1823876/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22108 CPUtime=1301.96 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 130019 177 0 0 25 0 1 0 21952974 22638592 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5527 3101 192 642 0 4883 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 22108 [startup+1362.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 25883 /proc/meminfo: memFree=1823876/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22108 CPUtime=1361.94 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 136008 186 0 0 25 0 1 0 21952974 22638592 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5527 3101 192 642 0 4883 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 22108 [startup+1422.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 25885 /proc/meminfo: memFree=1823876/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22104 CPUtime=1421.94 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3279 0 0 0 141998 196 0 0 25 0 1 0 21952974 22634496 3101 1992294400 134512640 137138936 4287194176 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5526 3101 192 642 0 4882 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 22104 [startup+1482.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 25887 /proc/meminfo: memFree=1823504/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22480 CPUtime=1481.91 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3359 0 0 0 147987 204 0 0 25 0 1 0 21952974 23019520 3181 1992294400 134512640 137138936 4287194176 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5620 3181 192 642 0 4976 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 22480 [startup+1542.31 s] /proc/loadavg: 1.06 1.04 1.00 2/107 25889 /proc/meminfo: memFree=1823008/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22880 CPUtime=1541.9 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3464 0 0 0 153978 212 0 0 25 0 1 0 21952974 23429120 3286 1992294400 134512640 137138936 4287194176 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5720 3286 192 642 0 5076 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 22880 [startup+1602.3 s] /proc/loadavg: 1.06 1.05 1.00 2/107 25891 /proc/meminfo: memFree=1823008/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=22876 CPUtime=1601.87 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3464 0 0 0 159969 218 0 0 25 0 1 0 21952974 23425024 3286 1992294400 134512640 137138936 4287194176 18446744073709551615 134576376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5719 3286 192 642 0 5075 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 22876 [startup+1662.3 s] /proc/loadavg: 1.12 1.07 1.01 2/107 25891 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1661.86 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 165961 225 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 23004 [startup+1722.3 s] /proc/loadavg: 1.08 1.07 1.01 2/107 25893 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1721.85 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 171953 232 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 23004 [startup+1782.3 s] /proc/loadavg: 1.03 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1781.84 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 177943 241 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134606773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 23004 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1791.54 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 178912 242 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (KiB) 23004 [startup+1795.2 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1794.74 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 179231 243 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 136500320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 23004 [startup+1796.8 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1796.33 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 179390 243 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 23004 [startup+1797.6 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1797.13 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 179470 243 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 23004 [startup+1798 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1797.53 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 179510 243 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 23004 [startup+1798.4 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25895 /proc/meminfo: memFree=1822760/2059040 swapFree=4134576/4192956 [pid=25843] ppid=25841 vsize=23004 CPUtime=1797.93 /proc/25843/stat : 25843 (bsolo_pb10) R 25841 25843 24849 0 -1 4202496 3503 0 0 0 179550 243 0 0 25 0 1 0 21952974 23556096 3325 1992294400 134512640 137138936 4287194176 18446744073709551615 134606660 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25843/statm: 5751 3325 192 642 0 5107 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 23004 Child status: 0 Real time (s): 1798.47 CPU time (s): 1798 CPU user time (s): 1795.57 CPU system time (s): 2.43963 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 23004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.57 system time used= 2.43963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3503 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= 21278 runsolver used 2.90956 second user time and 8.5517 second system time The end
Begin job on node017 at 2010-06-13 23:14:26 IDJOB=2656405 IDBENCH=2175 IDSOLVER=1162 FILE ID=node017/2656405-1276463666 PBS_JOBID= 11173350 Free space on /tmp= 62368 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656405-1276463666/watcher-2656405-1276463666 -o /tmp/evaluation-result-2656405-1276463666/solver-2656405-1276463666 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656405-1276463666.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e RANDOM SEED=946047219 node017.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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837804 kB Buffers: 47288 kB Cached: 97132 kB SwapCached: 11368 kB Active: 101376 kB Inactive: 56756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837804 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 4104 kB Writeback: 0 kB AnonPages: 12176 kB Mapped: 9224 kB Slab: 41344 kB PageTables: 3864 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184264 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= 62364 MiB End job on node017 at 2010-06-13 23:44:24