Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 0b8531b64d2ca93b44d439b9cb9fcfaa |
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 | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
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 | 6352 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878391-1245157068.opb 0.00/0.00 c File size is 453016 bytes. 0.01/0.06 c Highest Coefficient sum: 6352 0.01/0.06 c Parsing was ok!! 0.01/0.06 c Total parsing time: 0.064 s 0.01/0.07 c Var: 6352 Constr: 13429 13429/0/0 Lit: 33757 Watch. Lit: 26717 0.01/0.07 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.16 c Pre-processing Time: 0.16 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 1908 5683 16072 2 11366 1894 0 0 0.16 0.09/0.16 c Switching off lower bounding mode. 1797.90/1798.59 c 101 1908 5784 17720 3 11568 2084 101 492 0.20 1797.90/1798.59 c 251 1908 5934 22078 3 11868 2293 251 868 0.29 1797.90/1798.59 c 477 1908 6160 29855 4 12320 2523 477 1094 0.44 1797.90/1798.59 c 816 1908 6499 40935 6 12998 2776 816 1086 0.75 1797.90/1798.59 c 1325 1908 7008 57207 8 14016 3054 1325 1155 1.15 1797.90/1798.59 c 2088 1908 7771 86494 11 15542 3360 2088 1165 1.79 1797.90/1798.59 c 3234 1908 8917 136856 15 17834 3697 3234 1100 2.94 1797.90/1798.59 c 4955 1908 10638 211128 19 21276 4067 4955 896 5.53 1797.90/1798.59 c 7539 1908 13222 321003 24 26444 4474 7539 744 10.12 1797.90/1798.59 c 11419 1908 10383 191714 18 20766 4922 4700 685 16.66 1797.90/1798.59 c 17241 1908 9232 131975 14 18464 5415 3549 649 26.54 1797.90/1798.59 c 25978 1908 10723 188214 17 21446 5957 5040 651 39.89 1797.90/1798.59 c 39088 1908 8884 115891 13 17768 6553 3201 645 60.54 1797.90/1798.59 c 58758 1908 12985 270783 20 25970 7209 7302 658 89.27 1797.90/1798.59 c 88268 1908 9994 168165 16 19988 7930 4311 642 137.39 1797.90/1798.59 c 132538 1908 11795 243835 20 23590 8724 6112 618 214.37 1797.90/1798.59 c 198948 1908 16106 481156 29 32212 9597 10423 602 330.22 1797.90/1798.59 c 298569 1908 13352 382325 28 26704 10557 7669 572 521.40 1797.90/1798.59 c 448005 1908 15951 452176 28 31902 11613 10268 559 801.43 1797.90/1798.59 c 672164 1908 14066 323704 23 28132 12775 8383 531 1265.07 1797.90/1798.59 c Resources Exceeded 1797.90/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.59 c 20 953834 72945 1041096 12984 357969 7301 530 1798.00 1797.90/1798.59 s UNKNOWN 1797.90/1798.59 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-1878391-1245157068/watcher-1878391-1245157068 -o /tmp/evaluation-result-1878391-1245157068/solver-1878391-1245157068 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878391-1245157068.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: 0.98 1.00 1.00 3/64 4915 /proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=18972 CPUtime=0 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 183307718 19427328 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 4743 246 172 640 0 3988 0 [startup+0.0216071 s] /proc/loadavg: 0.98 1.00 1.00 3/64 4915 /proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=11792 CPUtime=0.01 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 445 0 0 0 1 0 0 0 18 0 1 0 183307718 12075008 429 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 2948 430 202 640 0 2193 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11792 [startup+0.10162 s] /proc/loadavg: 0.98 1.00 1.00 3/64 4915 /proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=13632 CPUtime=0.09 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 1109 0 0 0 9 0 0 0 18 0 1 0 183307718 13959168 982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 3408 982 188 640 0 2764 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13632 [startup+0.301763 s] /proc/loadavg: 0.98 1.00 1.00 3/64 4915 /proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=13744 CPUtime=0.29 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 1166 0 0 0 28 1 0 0 19 0 1 0 183307718 14073856 1022 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 3436 1022 196 640 0 2792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13744 [startup+0.701724 s] /proc/loadavg: 0.98 1.00 1.00 3/64 4915 /proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=13744 CPUtime=0.69 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 1166 0 0 0 68 1 0 0 22 0 1 0 183307718 14073856 1022 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 3436 1022 196 640 0 2792 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13744 [startup+1.50186 s] /proc/loadavg: 0.98 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1855760/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=13744 CPUtime=1.49 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 1166 0 0 0 148 1 0 0 25 0 1 0 183307718 14073856 1022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 3436 1022 196 640 0 2792 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13744 [startup+3.10115 s] /proc/loadavg: 0.98 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=14728 CPUtime=3.09 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 1392 0 0 0 307 2 0 0 25 0 1 0 183307718 15081472 1248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 3682 1248 196 640 0 3038 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14728 [startup+6.3017 s] /proc/loadavg: 0.98 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1853648/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=16020 CPUtime=6.29 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 1716 0 0 0 626 3 0 0 25 0 1 0 183307718 16404480 1572 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 4005 1572 196 640 0 3361 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16020 [startup+12.7018 s] /proc/loadavg: 0.98 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1851344/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=18236 CPUtime=12.69 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2270 0 0 0 1265 4 0 0 25 0 1 0 183307718 18673664 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 4559 2126 196 640 0 3915 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18236 [startup+25.5011 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1851024/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=18352 CPUtime=25.48 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2299 0 0 0 2542 6 0 0 25 0 1 0 183307718 18792448 2155 1992294400 134512640 137136520 4294956256 18446744073709551615 136293438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 4588 2155 196 640 0 3944 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18352 [startup+51.1016 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1850512/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=18820 CPUtime=51.07 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2416 0 0 0 5097 10 0 0 25 0 1 0 183307718 19271680 2272 1992294400 134512640 137136520 4294956256 18446744073709551615 134545032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 4705 2272 196 640 0 4061 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18820 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1849680/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=19572 CPUtime=102.26 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2619 0 0 0 10210 16 0 0 25 0 1 0 183307718 20041728 2475 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 4893 2475 196 640 0 4249 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19572 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4916 /proc/meminfo: memFree=1848720/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=20596 CPUtime=162.23 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2859 0 0 0 16200 23 0 0 25 0 1 0 183307718 21090304 2715 1992294400 134512640 137136520 4294956256 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5149 2715 196 640 0 4505 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20596 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1848520/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=20568 CPUtime=222.21 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2859 0 0 0 22190 31 0 0 25 0 1 0 183307718 21061632 2715 1992294400 134512640 137136520 4294956256 18446744073709551615 136293438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5142 2715 196 640 0 4498 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 20568 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1848264/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=20904 CPUtime=282.2 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 2956 0 0 0 28182 38 0 0 25 0 1 0 183307718 21405696 2812 1992294400 134512640 137136520 4294956256 18446744073709551615 134545059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5226 2812 196 640 0 4582 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 20904 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1846728/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=22428 CPUtime=342.17 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3334 0 0 0 34173 44 0 0 25 0 1 0 183307718 22966272 3190 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5607 3190 196 640 0 4963 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 22428 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1846728/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=22428 CPUtime=402.15 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3334 0 0 0 40164 51 0 0 25 0 1 0 183307718 22966272 3190 1992294400 134512640 137136520 4294956256 18446744073709551615 134544275 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5607 3190 196 640 0 4963 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 22428 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845896/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23276 CPUtime=462.13 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3531 0 0 0 46155 58 0 0 25 0 1 0 183307718 23834624 3387 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5819 3387 196 640 0 5175 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 23276 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845776/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23436 CPUtime=522.12 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3571 0 0 0 52147 65 0 0 25 0 1 0 183307718 23998464 3427 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5859 3427 196 640 0 5215 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 23436 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845648/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23440 CPUtime=582.09 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3590 0 0 0 58137 72 0 0 25 0 1 0 183307718 24002560 3446 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5860 3446 196 640 0 5216 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 23440 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845648/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23472 CPUtime=642.08 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3593 0 0 0 64129 79 0 0 25 0 1 0 183307718 24035328 3449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5868 3449 196 640 0 5224 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 23472 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1845392/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23456 CPUtime=1061.93 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3594 0 0 0 106069 124 0 0 25 0 1 0 183307718 24018944 3450 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5864 3450 196 640 0 5220 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 23456 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845392/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23456 CPUtime=1121.92 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3594 0 0 0 112060 132 0 0 25 0 1 0 183307718 24018944 3450 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5864 3450 196 640 0 5220 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 23456 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845392/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23456 CPUtime=1181.9 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3594 0 0 0 118051 139 0 0 25 0 1 0 183307718 24018944 3450 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5864 3450 196 640 0 5220 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 23456 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845200/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23456 CPUtime=1241.87 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3594 0 0 0 124042 145 0 0 25 0 1 0 183307718 24018944 3450 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5864 3450 196 640 0 5220 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 23456 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1845136/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=23528 CPUtime=1301.86 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 3597 0 0 0 130035 151 0 0 25 0 1 0 183307718 24092672 3453 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 5882 3453 196 640 0 5238 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 23528 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841808/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26856 CPUtime=1361.84 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 136024 160 0 0 25 0 1 0 183307718 27500544 4285 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6714 4285 196 640 0 6070 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 26856 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841808/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26812 CPUtime=1421.82 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 142015 167 0 0 25 0 1 0 183307718 27455488 4285 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6703 4285 196 640 0 6059 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 26812 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841744/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26780 CPUtime=1481.8 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 148007 173 0 0 25 0 1 0 183307718 27422720 4281 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6695 4281 196 640 0 6051 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 26780 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841744/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1541.78 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 153996 182 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 26776 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841744/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1601.76 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 159986 190 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 26776 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841744/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1661.74 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 165977 197 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 26776 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841744/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1721.72 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 171967 205 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 136502115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 26776 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1781.7 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 177959 211 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 26776 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1791.3 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 178917 213 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 26776 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1794.5 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 179237 213 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 26776 [startup+1796.7 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1796.09 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 179396 213 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 134544547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 26776 [startup+1797.5 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1796.89 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 179476 213 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 26776 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1797.7 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 179556 214 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 26776 [startup+1798.51 s] /proc/loadavg: 0.99 1.00 1.00 2/65 4922 /proc/meminfo: memFree=1841616/2055920 swapFree=4191900/4192956 [pid=4915] ppid=4913 vsize=26776 CPUtime=1797.9 /proc/4915/stat : 4915 (bsolo) R 4913 4915 4538 0 -1 4194304 4429 0 0 0 179576 214 0 0 25 0 1 0 183307718 27418624 4280 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4915/statm: 6694 4280 196 640 0 6050 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 26776 Child status: 0 Real time (s): 1798.6 CPU time (s): 1798 CPU user time (s): 1795.86 CPU system time (s): 2.14467 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 26856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.86 system time used= 2.14467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4430 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= 2 involuntary context switches= 1378 runsolver used 1.43078 second user time and 3.61145 second system time The end
Begin job on node4 at 2009-06-16 14:57:48 IDJOB=1878391 IDBENCH=2160 IDSOLVER=700 FILE ID=node4/1878391-1245157068 PBS_JOBID= 9363739 Free space on /tmp= 66408 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878391-1245157068/watcher-1878391-1245157068 -o /tmp/evaluation-result-1878391-1245157068/solver-1878391-1245157068 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878391-1245157068.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa RANDOM SEED=270617542 node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 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.259 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: 1859640 kB Buffers: 30376 kB Cached: 97748 kB SwapCached: 260 kB Active: 30272 kB Inactive: 111160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859640 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4400 kB Writeback: 0 kB Mapped: 21804 kB Slab: 40724 kB Committed_AS: 138528 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878391-1245157068.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-16 15:27:47