Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 89 | 264.973 | 265.074 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb |
MD5SUM | 5f8256f2423d7410846942dcc96981a5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 89 |
Best CPU time to get the best result obtained on this benchmark | 0.642901 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 89 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 11 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/364563-1177041046/instance-364563-1177041046.opb 0.00/0.00 c File size is 38948 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.006 s 0.00/0.01 c Var: 200 Constr: 900 900/0/0 Lit: 4139 Watch. Lit: 1800 0.00/0.01 c Obj. Vars: 200 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 200 880 3989 4 1760 293 0 0 0.01 0.09/0.17 c Initial Lower Bound: 67 0.09/0.17 c Initial Path Cost: 0 0.19/0.22 c 102 200 982 6119 6 1964 323 102 579 0.18 0.19/0.22 c 253 200 1133 8927 7 2266 356 253 1324 0.19 0.19/0.22 c 478 200 1158 8486 7 2316 392 278 2254 0.21 0.19/0.22 o 95 0.216 1.18/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.20 c 513 200 1194 9254 7 2493 1293 314 2375 0.22 1.18/1.20 o 93 1.196 * 2.49/2.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.56 c 531 200 1213 9643 7 2638 1293 333 443 1.20 2.49/2.56 o 92 2.557 * 2.98/3.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.08 c 599 200 1291 13682 10 2902 1293 411 234 2.56 2.98/3.08 o 91 3.079 * 77.74/77.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.74/77.87 c 599 200 1292 13882 10 3013 1293 412 194 3.08 77.74/77.87 c 699 200 1397 17306 12 3223 1423 517 130 5.35 77.74/77.87 c 952 200 1656 23668 14 3741 1566 776 85 11.13 77.74/77.87 c 1428 200 2169 41217 19 4767 1723 1289 64 22.16 77.74/77.87 c 2241 200 2150 38039 17 4409 1896 1270 53 41.98 77.74/77.87 c 3561 200 2520 41797 16 5149 2086 1640 49 71.35 77.74/77.87 o 90 77.825 * 111.63/111.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 111.63/111.75 c 3844 200 2821 51758 18 5861 1293 1941 49 77.83 111.63/111.75 c 3944 200 1628 17184 10 3366 1423 748 48 80.83 111.63/111.75 c 4195 200 1917 30966 16 3944 1566 1037 48 86.19 111.63/111.75 c 4670 200 2412 44306 18 4934 1723 1532 47 97.60 111.63/111.75 o 89 111.696 * 264.90/265.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 264.90/265.07 c 5384 200 2296 47511 20 4813 1293 1416 48 111.70 264.90/265.07 c 5485 200 1669 29994 17 3449 1423 789 48 113.22 264.90/265.07 c 5735 200 1963 44145 22 4037 1566 1083 48 119.35 264.90/265.07 c 6210 200 1664 20079 12 3439 1723 784 47 129.72 264.90/265.07 c 7023 200 2602 67288 25 5315 1896 1722 48 144.07 264.90/265.07 c 8343 200 2151 48950 22 4413 2086 1271 48 172.57 264.90/265.07 c 10425 196 2171 25608 11 4452 2295 1291 46 223.11 264.90/265.07 v -x1 x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 264.90/265.07 v x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 264.90/265.07 v -x60 -x61 -x62 x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 264.90/265.07 v -x89 x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 -x113 264.90/265.07 v -x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135 264.90/265.07 v x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 264.90/265.07 v x159 -x160 -x161 x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 -x180 x181 264.90/265.07 v -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 264.90/265.07 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 264.90/265.07 c 23 12324 1568 14835 3036 57108 2156 46 264.97 264.90/265.07 c Objective: 89 264.90/265.07 s OPTIMUM FOUND 264.90/265.07 c Total time: 264.97 s
OK 89
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-364563-1177041046 -o ROOT/results/node71/solver-364563-1177041046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364563-1177041046/instance-364563-1177041046.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.98 0.99 3/64 9815 /proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=11776 CPUtime=0 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 180093943 12058624 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 2944 336 282 324 0 2003 0 [startup+0.05293 s] /proc/loadavg: 0.85 0.98 0.99 3/64 9815 /proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6092 CPUtime=0.04 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 811 0 0 0 4 0 0 0 18 0 1 0 180093943 6238208 756 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1523 756 390 324 0 592 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6092 [startup+0.101935 s] /proc/loadavg: 0.85 0.98 0.99 3/64 9815 /proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6280 CPUtime=0.09 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 901 0 0 0 9 0 0 0 18 0 1 0 180093943 6430720 845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1570 845 390 324 0 639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6280 [startup+0.301962 s] /proc/loadavg: 0.85 0.98 0.99 3/64 9815 /proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6616 CPUtime=0.28 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 1454 0 0 0 28 0 0 0 19 0 1 0 180093943 6774784 842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1654 842 393 324 0 723 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6616 [startup+0.702017 s] /proc/loadavg: 0.85 0.98 0.99 3/64 9815 /proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=4712 CPUtime=0.69 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 3165 0 0 0 68 1 0 0 22 0 1 0 180093943 4825088 653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1178 653 393 324 0 247 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4712 [startup+1.50112 s] /proc/loadavg: 0.85 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1120992/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6748 CPUtime=1.49 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 7013 0 0 0 147 2 0 0 25 0 1 0 180093943 6909952 762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135333401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1687 762 393 324 0 756 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6748 [startup+3.10134 s] /proc/loadavg: 0.86 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1120800/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6516 CPUtime=3.08 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 17885 0 0 0 303 5 0 0 25 0 1 0 180093943 6672384 766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1629 766 393 324 0 698 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6516 [startup+6.30179 s] /proc/loadavg: 0.86 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1120288/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6924 CPUtime=6.28 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 33863 0 0 0 617 11 0 0 25 0 1 0 180093943 7090176 826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1731 826 393 324 0 800 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6924 [startup+12.7017 s] /proc/loadavg: 0.88 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1120616/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=6832 CPUtime=12.68 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 68562 0 0 0 1243 25 0 0 25 0 1 0 180093943 6995968 906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1708 906 393 324 0 777 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6832 [startup+25.5014 s] /proc/loadavg: 0.90 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1120040/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7292 CPUtime=25.48 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 124404 0 0 0 2498 50 0 0 25 0 1 0 180093943 7467008 903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1823 903 393 324 0 892 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7292 [startup+51.1019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119784/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7600 CPUtime=51.05 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 215342 0 0 0 5019 86 0 0 25 0 1 0 180093943 7782400 988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1900 988 393 324 0 969 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 7600 [startup+102.306 s] /proc/loadavg: 0.97 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119912/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7688 CPUtime=102.24 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 401677 0 0 0 10063 161 0 0 25 0 1 0 180093943 7872512 954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134802937 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1922 954 393 324 0 991 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 7688 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119400/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7840 CPUtime=162.22 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 592741 0 0 0 15976 246 0 0 25 0 1 0 180093943 8028160 1074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1960 1074 393 324 0 1029 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 7840 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119400/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7864 CPUtime=222.2 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 763927 0 0 0 21895 325 0 0 25 0 1 0 180093943 8052736 1080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135311605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1966 1080 393 324 0 1035 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 7864 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119400/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=8076 CPUtime=230.2 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 786388 0 0 0 22685 335 0 0 25 0 1 0 180093943 8269824 1068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 2019 1068 393 324 0 1088 0 Current children cumulated CPU time (s) 230.2 Current children cumulated vsize (KiB) 8076 [startup+243.105 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119336/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7800 CPUtime=243 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 823410 0 0 0 23948 352 0 0 25 0 1 0 180093943 7987200 1065 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1950 1065 393 324 0 1019 0 Current children cumulated CPU time (s) 243 Current children cumulated vsize (KiB) 7800 [startup+255.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119208/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7788 CPUtime=255.8 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 860368 0 0 0 25212 368 0 0 25 0 1 0 180093943 7974912 1070 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135222248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1947 1070 393 324 0 1016 0 Current children cumulated CPU time (s) 255.8 Current children cumulated vsize (KiB) 7788 [startup+259.101 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119336/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7760 CPUtime=259 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 869201 0 0 0 25528 372 0 0 25 0 1 0 180093943 7946240 1114 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1940 1114 393 324 0 1009 0 Current children cumulated CPU time (s) 259 Current children cumulated vsize (KiB) 7760 [startup+262.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119336/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7752 CPUtime=262.2 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 877319 0 0 0 25845 375 0 0 25 0 1 0 180093943 7938048 1102 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135311824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1938 1102 393 324 0 1007 0 Current children cumulated CPU time (s) 262.2 Current children cumulated vsize (KiB) 7752 [startup+263.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119080/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7896 CPUtime=263.8 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 881289 0 0 0 26003 377 0 0 25 0 1 0 180093943 8085504 1145 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1974 1145 393 324 0 1043 0 Current children cumulated CPU time (s) 263.8 Current children cumulated vsize (KiB) 7896 [startup+264.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119080/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7892 CPUtime=264.6 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 883583 0 0 0 26082 378 0 0 25 0 1 0 180093943 8081408 1067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1973 1067 393 324 0 1042 0 Current children cumulated CPU time (s) 264.6 Current children cumulated vsize (KiB) 7892 [startup+264.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119080/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7840 CPUtime=264.79 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 884126 0 0 0 26101 378 0 0 25 0 1 0 180093943 8028160 1090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331993 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1960 1090 393 324 0 1029 0 Current children cumulated CPU time (s) 264.79 Current children cumulated vsize (KiB) 7840 [startup+265.001 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9816 /proc/meminfo: memFree=1119208/2055920 swapFree=4184232/4192956 [pid=9815] ppid=9813 vsize=7816 CPUtime=264.9 /proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 884332 0 0 0 26112 378 0 0 25 0 1 0 180093943 8003584 1128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9815/statm: 1954 1128 393 324 0 1023 0 Current children cumulated CPU time (s) 264.9 Current children cumulated vsize (KiB) 7816 Child status: 0 Real time (s): 265.074 CPU time (s): 264.973 CPU user time (s): 261.185 CPU system time (s): 3.78742 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 8240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 261.185 system time used= 3.78742 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 884470 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= 11 involuntary context switches= 493 runsolver used 0.19297 second user time and 0.547916 second system time The end
Begin job on node71 on Fri Apr 20 03:50:46 UTC 2007 IDJOB= 364563 IDBENCH= 2129 IDSOLVER= 163 FILE ID= node71/364563-1177041046 PBS_JOBID= 4640135 Free space on /tmp= 66443 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh217.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364563-1177041046/instance-364563-1177041046.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-364563-1177041046 -o ROOT/results/node71/solver-364563-1177041046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364563-1177041046/instance-364563-1177041046.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5f8256f2423d7410846942dcc96981a5 RANDOM SEED= 413081287 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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.234 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: 1122944 kB Buffers: 56236 kB Cached: 794748 kB SwapCached: 2620 kB Active: 232668 kB Inactive: 628476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1122944 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 4616 kB Writeback: 0 kB Mapped: 15480 kB Slab: 57856 kB Committed_AS: 2779560 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66443 MiB End job on node71 on Fri Apr 20 03:55:12 UTC 2007