Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.07 | 1798.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | f368868fda311e5aaeadb84d33b29291 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3750 |
Optimality of the best value was proved | NO |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
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 | 15 |
Number of terms in the objective function | 7500 |
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 | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657438-1276449162.opb 0.00/0.00 c File size is 5971560 bytes. 0.89/0.95 c Highest Coefficient sum: 7500 0.89/0.95 c Parsing was ok!! 0.89/0.95 c Total parsing time: 0.953 s 0.99/1.03 c Var: 7500 Constr: 237715 237715/0/0 Lit: 478680 Watch. Lit: 475430 0.99/1.03 c Obj. Vars: 7500 (100 % of total variables) 8.48/8.53 c Pre-processing Time: 8.518 s 8.48/8.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.48/8.53 c 0 7500 237715 478680 2 475430 79238 0 0 8.52 8.48/8.53 c Switching off lower bounding mode. 1797.94/1798.57 c 100 7500 237815 484553 2 475630 87162 100 11 8.60 1797.94/1798.57 c 251 7500 237966 494235 2 475932 95879 251 28 8.70 1797.94/1798.57 c 478 7500 238193 515940 2 476386 105467 478 53 8.93 1797.94/1798.57 c 818 7500 238533 558952 2 477066 116014 818 88 9.28 1797.94/1798.57 c 1327 7500 239042 602653 2 478084 127616 1327 135 9.77 1797.94/1798.57 c 2091 7500 239806 689986 2 479612 140378 2091 196 10.64 1797.94/1798.57 c 3238 7500 240953 951932 3 481906 154416 3238 239 13.53 1797.94/1798.57 c 4959 7500 242674 1555026 6 485348 169858 4959 262 18.91 1797.94/1798.57 c 7543 7500 245258 2582137 10 490516 186844 7543 265 28.45 1797.94/1798.57 c 11424 7500 249139 3923948 15 498278 205529 11424 254 44.84 1797.94/1798.57 c 17246 7500 254961 5616727 22 509922 226082 17246 266 64.65 1797.94/1798.57 c 25984 7500 263699 8929196 33 527398 248691 25984 232 111.54 1797.94/1798.57 c 39094 7500 276809 13690859 49 553618 273561 39094 176 222.03 1797.94/1798.57 c 58764 7500 296479 20467965 69 592958 300918 58764 114 512.08 1797.94/1798.57 c 88274 7500 325989 31960720 98 651978 331010 88274 85 1032.74 1797.94/1798.57 c Resources Exceeded 1797.94/1798.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.57 c 15 119959 41968 344932 357674 43691191 119959 66 1798.01 1797.94/1798.57 s UNKNOWN 1797.94/1798.57 c Total time: 1798.01 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-2657438-1276449162/watcher-2657438-1276449162 -o /tmp/evaluation-result-2657438-1276449162/solver-2657438-1276449162 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657438-1276449162.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: 2.07 1.98 1.61 3/106 25902 /proc/meminfo: memFree=1823776/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=24592 CPUtime=0 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 20517521 25182208 280 1992294400 134512640 137138936 4287355264 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 6148 281 172 642 0 4046 0 [startup+0.104603 s] /proc/loadavg: 2.07 1.98 1.61 3/106 25902 /proc/meminfo: memFree=1823776/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=19300 CPUtime=0.1 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 1158 0 0 0 10 0 0 0 20 0 1 0 20517521 19763200 1076 1992294400 134512640 137138936 4287355264 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 4825 1076 318 642 0 2723 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 19300 [startup+0.200612 s] /proc/loadavg: 2.07 1.98 1.61 3/106 25902 /proc/meminfo: memFree=1823776/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=21772 CPUtime=0.19 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 1906 0 0 0 19 0 0 0 20 0 1 0 20517521 22294528 1824 1992294400 134512640 137138936 4287355264 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 5443 1825 463 642 0 3341 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21772 [startup+0.300621 s] /proc/loadavg: 2.07 1.98 1.61 3/106 25902 /proc/meminfo: memFree=1823776/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=24248 CPUtime=0.29 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 2685 0 0 0 29 0 0 0 20 0 1 0 20517521 24829952 2603 1992294400 134512640 137138936 4287355264 18446744073709551615 134520243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 6062 2604 617 642 0 3960 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24248 [startup+0.700659 s] /proc/loadavg: 2.07 1.98 1.61 3/106 25902 /proc/meminfo: memFree=1823776/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=34012 CPUtime=0.69 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 5746 0 0 0 67 2 0 0 21 0 1 0 20517521 34828288 5664 1992294400 134512640 137138936 4287355264 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 8503 5664 1230 642 0 6401 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34012 [startup+1.50073 s] /proc/loadavg: 1.99 1.96 1.61 2/107 25903 /proc/meminfo: memFree=1787932/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=46144 CPUtime=1.49 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 10642 0 0 0 144 5 0 0 23 0 1 0 20517521 47251456 9102 1992294400 134512640 137138936 4287355264 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 11536 9102 184 642 0 10892 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46144 [startup+3.10089 s] /proc/loadavg: 1.99 1.96 1.61 2/107 25903 /proc/meminfo: memFree=1787312/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=53976 CPUtime=3.09 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 12599 0 0 0 300 9 0 0 25 0 1 0 20517521 55271424 11059 1992294400 134512640 137138936 4287355264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 13494 11059 185 642 0 12850 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53976 [startup+6.30119 s] /proc/loadavg: 1.91 1.94 1.61 2/107 25903 /proc/meminfo: memFree=1779376/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=53976 CPUtime=6.28 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 12599 0 0 0 607 21 0 0 25 0 1 0 20517521 55271424 11059 1992294400 134512640 137138936 4287355264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 13494 11059 185 642 0 12850 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 53976 [startup+12.7018 s] /proc/loadavg: 1.83 1.93 1.60 2/107 25903 /proc/meminfo: memFree=1782600/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=51744 CPUtime=12.68 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 15756 0 0 0 1235 33 0 0 25 0 1 0 20517521 52985856 10483 1992294400 134512640 137138936 4287355264 18446744073709551615 134575311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 12936 10483 190 642 0 12292 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51744 [startup+25.501 s] /proc/loadavg: 1.65 1.88 1.59 2/107 25903 /proc/meminfo: memFree=1763256/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=70468 CPUtime=25.47 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 20457 0 0 0 2509 38 0 0 25 0 1 0 20517521 72159232 15184 1992294400 134512640 137138936 4287355264 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 17617 15184 190 642 0 16973 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 70468 [startup+51.1014 s] /proc/loadavg: 1.43 1.81 1.58 2/107 25903 /proc/meminfo: memFree=1737836/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=96428 CPUtime=51.06 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 26927 0 0 0 5057 49 0 0 25 0 1 0 20517521 98742272 21654 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 24107 21654 190 642 0 23463 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 96428 [startup+102.301 s] /proc/loadavg: 1.24 1.70 1.55 2/107 25908 /proc/meminfo: memFree=1683092/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=149824 CPUtime=102.25 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 40306 0 0 0 10160 65 0 0 25 0 1 0 20517521 153419776 35033 1992294400 134512640 137138936 4287355264 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 37456 35033 190 642 0 36812 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 149824 [startup+162.301 s] /proc/loadavg: 1.09 1.57 1.51 2/107 25910 /proc/meminfo: memFree=1644776/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=188320 CPUtime=162.22 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 49931 0 0 0 16146 76 0 0 25 0 1 0 20517521 192839680 44658 1992294400 134512640 137138936 4287355264 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 47080 44658 190 642 0 46436 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 188320 [startup+222.309 s] /proc/loadavg: 1.03 1.46 1.48 2/107 25912 /proc/meminfo: memFree=1614024/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=218776 CPUtime=222.22 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 57538 0 0 0 22138 84 0 0 25 0 1 0 20517521 224026624 52265 1992294400 134512640 137138936 4287355264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 54694 52265 190 642 0 54050 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 218776 [startup+282.301 s] /proc/loadavg: 1.01 1.38 1.44 2/107 25914 /proc/meminfo: memFree=1594680/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=238352 CPUtime=282.2 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 62423 0 0 0 28129 91 0 0 25 0 1 0 20517521 244072448 57150 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 59588 57150 190 642 0 58944 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 238352 [startup+342.301 s] /proc/loadavg: 1.00 1.31 1.41 2/107 25914 /proc/meminfo: memFree=1573476/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=259316 CPUtime=342.17 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 67674 0 0 0 34119 98 0 0 25 0 1 0 20517521 265539584 62401 1992294400 134512640 137138936 4287355264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 64829 62401 190 642 0 64185 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 259316 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.38 2/107 25916 /proc/meminfo: memFree=1555248/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=277724 CPUtime=402.16 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 72271 0 0 0 40112 104 0 0 25 0 1 0 20517521 284389376 66998 1992294400 134512640 137138936 4287355264 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 69431 66998 190 642 0 68787 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 277724 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.36 2/107 25918 /proc/meminfo: memFree=1538880/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=293948 CPUtime=462.14 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 76316 0 0 0 46103 111 0 0 25 0 1 0 20517521 301002752 71043 1992294400 134512640 137138936 4287355264 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 73487 71043 190 642 0 72843 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 293948 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.33 2/107 25920 /proc/meminfo: memFree=1523256/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=309660 CPUtime=522.13 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 80250 0 0 0 52098 115 0 0 25 0 1 0 20517521 317091840 74977 1992294400 134512640 137138936 4287355264 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 77415 74977 190 642 0 76771 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 309660 [startup+582.301 s] /proc/loadavg: 1.04 1.14 1.31 2/107 25922 /proc/meminfo: memFree=1507136/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=325768 CPUtime=582.11 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 84263 0 0 0 58092 119 0 0 25 0 1 0 20517521 333586432 78990 1992294400 134512640 137138936 4287355264 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 81442 78990 190 642 0 80798 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 325768 [startup+642.301 s] /proc/loadavg: 1.05 1.13 1.30 2/107 25922 /proc/meminfo: memFree=1492132/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=340940 CPUtime=642.09 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 88064 0 0 0 64086 123 0 0 25 0 1 0 20517521 349122560 82791 1992294400 134512640 137138936 4287355264 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 85235 82791 190 642 0 84591 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 340940 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1368504/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=463808 CPUtime=1061.96 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 118783 0 0 0 106033 163 0 0 25 0 1 0 20517521 474939392 113510 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 115952 113510 190 642 0 115308 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 463808 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.18 2/107 25936 /proc/meminfo: memFree=1351764/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=480376 CPUtime=1121.93 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 122914 0 0 0 112025 168 0 0 25 0 1 0 20517521 491905024 117641 1992294400 134512640 137138936 4287355264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 120094 117641 190 642 0 119450 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 480376 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.16 2/107 25938 /proc/meminfo: memFree=1338124/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=494020 CPUtime=1181.91 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 126357 0 0 0 118019 172 0 0 25 0 1 0 20517521 505876480 121084 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 123505 121084 190 642 0 122861 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 494020 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.15 2/107 25938 /proc/meminfo: memFree=1323368/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=508424 CPUtime=1241.9 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 129948 0 0 0 124013 177 0 0 25 0 1 0 20517521 520626176 124675 1992294400 134512640 137138936 4287355264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 127106 124675 190 642 0 126462 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 508424 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.14 2/107 25940 /proc/meminfo: memFree=1311340/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=520476 CPUtime=1301.87 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 132953 0 0 0 130006 181 0 0 25 0 1 0 20517521 532967424 127680 1992294400 134512640 137138936 4287355264 18446744073709551615 134575311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 130119 127680 190 642 0 129475 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 520476 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.13 2/107 25942 /proc/meminfo: memFree=1299808/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=532000 CPUtime=1361.86 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 135839 0 0 0 136002 184 0 0 25 0 1 0 20517521 544768000 130566 1992294400 134512640 137138936 4287355264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 133000 130566 190 642 0 132356 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 532000 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 25944 /proc/meminfo: memFree=1287656/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=544040 CPUtime=1421.84 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 138855 0 0 0 141997 187 0 0 25 0 1 0 20517521 557096960 133582 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 136010 133582 190 642 0 135366 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 544040 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 25946 /proc/meminfo: memFree=1274264/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=557532 CPUtime=1481.82 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 142205 0 0 0 147991 191 0 0 25 0 1 0 20517521 570912768 136932 1992294400 134512640 137138936 4287355264 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 139383 136932 190 642 0 138739 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 557532 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.09 2/107 25946 /proc/meminfo: memFree=1261244/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=570276 CPUtime=1541.81 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 145415 0 0 0 153985 196 0 0 25 0 1 0 20517521 583962624 140142 1992294400 134512640 137138936 4287355264 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 142569 140142 190 642 0 141925 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 570276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 25948 /proc/meminfo: memFree=1250828/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=580800 CPUtime=1601.78 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 148043 0 0 0 159979 199 0 0 25 0 1 0 20517521 594739200 142770 1992294400 134512640 137138936 4287355264 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 145200 142770 190 642 0 144556 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 580800 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.09 2/107 25950 /proc/meminfo: memFree=1240784/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=590868 CPUtime=1661.77 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 150544 0 0 0 165973 204 0 0 25 0 1 0 20517521 605048832 145271 1992294400 134512640 137138936 4287355264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 147717 145271 190 642 0 147073 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 590868 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.08 2/107 25952 /proc/meminfo: memFree=1232476/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=599184 CPUtime=1721.75 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 152616 0 0 0 171968 207 0 0 25 0 1 0 20517521 613564416 147343 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 149796 147343 190 642 0 149152 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 599184 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1224044/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=607312 CPUtime=1781.74 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 154648 0 0 0 177964 210 0 0 25 0 1 0 20517521 621887488 149375 1992294400 134512640 137138936 4287355264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 151828 149375 190 642 0 151184 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 607312 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1222680/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=608424 CPUtime=1791.44 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 154943 0 0 0 178934 210 0 0 25 0 1 0 20517521 623026176 149670 1992294400 134512640 137138936 4287355264 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 152106 149670 190 642 0 151462 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 608424 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1222432/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=608844 CPUtime=1794.64 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 155031 0 0 0 179254 210 0 0 25 0 1 0 20517521 623456256 149758 1992294400 134512640 137138936 4287355264 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 152211 149758 190 642 0 151567 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 608844 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1222308/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=608976 CPUtime=1796.23 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 155092 0 0 0 179413 210 0 0 25 0 1 0 20517521 623591424 149819 1992294400 134512640 137138936 4287355264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 152244 149819 190 642 0 151600 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 608976 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1222060/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=609108 CPUtime=1797.03 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 155115 0 0 0 179493 210 0 0 25 0 1 0 20517521 623726592 149842 1992294400 134512640 137138936 4287355264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 152277 149842 190 642 0 151633 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 609108 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1222060/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=609240 CPUtime=1797.83 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202496 155136 0 0 0 179573 210 0 0 25 0 1 0 20517521 623861760 149863 1992294400 134512640 137138936 4287355264 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25902/statm: 152310 149863 190 642 0 151666 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 609240 [startup+1798.61 s] /proc/loadavg: 1.00 1.00 1.07 2/107 25954 /proc/meminfo: memFree=1221936/2059040 swapFree=4135876/4192956 [pid=25902] ppid=25900 vsize=0 CPUtime=1798.04 /proc/25902/stat : 25902 (bsolo_pb10) R 25900 25902 25145 0 -1 4202500 155140 0 0 0 179590 214 0 0 25 0 1 0 20517521 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/25902/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.07 CPU user time (s): 1795.91 CPU system time (s): 2.16467 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 609240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.91 system time used= 2.16467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 155140 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= 9609 runsolver used 2.84657 second user time and 8.61069 second system time The end
Begin job on node015 at 2010-06-13 19:12:42 IDJOB=2657438 IDBENCH=2139 IDSOLVER=1163 FILE ID=node015/2657438-1276449162 PBS_JOBID= 11173334 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657438-1276449162/watcher-2657438-1276449162 -o /tmp/evaluation-result-2657438-1276449162/solver-2657438-1276449162 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657438-1276449162.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291 RANDOM SEED=1338385186 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824180 kB Buffers: 58600 kB Cached: 104692 kB SwapCached: 17396 kB Active: 102712 kB Inactive: 80732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824180 kB SwapTotal: 4192956 kB SwapFree: 4135876 kB Dirty: 9748 kB Writeback: 0 kB AnonPages: 11564 kB Mapped: 9196 kB Slab: 29480 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182064 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= 62536 MiB End job on node015 at 2010-06-13 19:42:41