Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -27 | 1800.01 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
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) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 3108 |
Sum of products size | 6216 |
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/454665-1178029151/instance-454665-1178029151.opb 0.00/0.00 c File size is 76271 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.036 s 0.00/0.04 c Var: 6416 Constr: 12832 6416/200/6216 Lit: 49728 Watch. Lit: 37296 0.00/0.04 c Obj. Vars: 200 (3.11721 % of total variables) 0.09/0.15 c Pre-processing Time: 0.155 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 200 3108 9324 3 6216 1035 0 0 0.15 0.09/0.16 c Switching off LPR mode. 0.09/0.16 o -25 0.156 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 200 3109 9524 3 6243 2035 1 0 0.16 0.09/0.16 o -26 0.157 229.00/229.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 229.00/229.13 c 3 200 3113 10241 3 6277 2035 5 19 0.16 229.00/229.13 c 103 200 3213 27264 8 6477 2239 105 609 0.17 229.00/229.13 c 353 200 3463 69823 20 6977 2463 355 1747 0.20 229.00/229.13 c 829 200 3939 150800 38 7929 2710 831 2982 0.28 229.00/229.13 c 1642 200 4752 289330 60 9555 2982 1644 3698 0.44 229.00/229.13 c 2963 200 6073 513726 84 12197 3281 2965 3750 0.79 229.00/229.13 c 5045 200 8155 867684 106 16361 3610 5047 2902 1.74 229.00/229.13 c 8269 200 11379 1414754 124 22809 3972 8271 2607 3.17 229.00/229.13 c 13205 200 7932 828185 104 15890 4370 4824 1886 7.00 229.00/229.13 c 20712 200 6862 646581 94 13750 4808 3754 1467 14.11 229.00/229.13 c 32073 200 9434 1082428 114 18894 5289 6326 1419 22.60 229.00/229.13 c 49217 200 8503 925782 108 17032 5818 5395 1309 37.58 229.00/229.13 c 75036 200 6435 570760 88 12896 6400 3327 1053 71.24 229.00/229.13 c 113868 200 6925 655810 94 13876 7041 3817 896 127.00 229.00/229.13 c 172221 200 15781 2160099 136 31588 7746 12673 836 205.99 229.00/229.13 o -27 229.046 1799.97/1800.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.62 c 188331 200 11372 1408685 123 22797 2035 8264 822 229.05 1799.97/1800.62 c 188431 200 4227 197933 46 8481 2239 1119 822 229.18 1799.97/1800.62 c 188681 200 4477 240196 53 8981 2463 1369 823 229.22 1799.97/1800.62 c 189157 200 4953 320684 64 9933 2710 1845 824 229.29 1799.97/1800.62 c 189970 200 5766 458036 79 11559 2982 2658 827 229.45 1799.97/1800.62 c 191290 200 7086 681044 96 14199 3281 3978 831 229.96 1799.97/1800.62 c 193371 200 9167 1032515 112 18361 3610 6059 838 230.63 1799.97/1800.62 c 196594 200 12390 1577301 127 24807 3972 9282 847 232.01 1799.97/1800.62 c 201530 200 8946 993613 111 17919 4370 5838 856 235.22 1799.97/1800.62 c 209036 200 7876 813136 103 15779 4808 4768 871 239.85 1799.97/1800.62 c 220397 200 10442 1245879 119 20911 5289 7334 883 249.39 1799.97/1800.62 c 237541 200 9520 1090366 114 19067 5818 6412 881 269.36 1799.97/1800.62 c 263360 200 7446 738432 99 14919 6400 4338 859 306.55 1799.97/1800.62 c 302192 200 7924 819516 103 15875 7041 4816 855 353.24 1799.97/1800.62 c 360544 200 6822 634837 93 13671 7746 3714 818 440.48 1799.97/1800.62 c 448176 200 12391 1573795 127 24809 8521 9283 747 599.39 1799.97/1800.62 c 579730 200 16219 2221208 136 32465 9374 13111 702 825.61 1799.97/1800.62 c 777162 200 14430 1919264 133 28887 10312 11322 661 1175.33 1799.97/1800.62 c 1073415 200 10698 1290447 120 21423 11344 7590 597 1796.91 1799.97/1800.62 c Resources Exceeded 1799.97/1800.62 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 1799.97/1800.62 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1799.97/1800.62 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1799.97/1800.62 v x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 1799.97/1800.62 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 1799.97/1800.62 v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 x147 -x148 1799.97/1800.62 v -x149 -x150 -x151 x152 -x153 -x154 x155 x156 -x157 -x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 1799.97/1800.62 v -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1799.97/1800.62 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1799.97/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.62 c 35 1077595 64135 1152247 14878 1995598 11770 598 1800.00 1799.97/1800.62 c Objective: -27 1799.97/1800.62 s SATISFIABLE 1799.97/1800.62 c Total time: 1800 s
OK -27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-454665-1178029151 -o ROOT/results/node37/solver-454665-1178029151 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454665-1178029151/instance-454665-1178029151.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: 1.03 1.24 1.19 3/78 4162 /proc/meminfo: memFree=1800160/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=11812 CPUtime=0 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 250827514 12095488 339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3531680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 2953 345 291 324 0 2003 0 [startup+0.0845519 s] /proc/loadavg: 1.03 1.24 1.19 3/78 4162 /proc/meminfo: memFree=1800160/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=7372 CPUtime=0.07 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 1254 0 0 0 7 0 0 0 18 0 1 0 250827514 7548928 1204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 1843 1204 306 324 0 912 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7372 [startup+0.102555 s] /proc/loadavg: 1.03 1.24 1.19 3/78 4162 /proc/meminfo: memFree=1800160/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=7372 CPUtime=0.09 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 1254 0 0 0 9 0 0 0 18 0 1 0 250827514 7548928 1204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 1843 1204 306 324 0 912 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7372 [startup+0.302593 s] /proc/loadavg: 1.03 1.24 1.19 3/78 4162 /proc/meminfo: memFree=1800160/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=9072 CPUtime=0.29 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 1681 0 0 0 28 1 0 0 19 0 1 0 250827514 9289728 1612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 2268 1612 313 324 0 1337 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9072 [startup+0.701668 s] /proc/loadavg: 1.03 1.24 1.19 3/78 4162 /proc/meminfo: memFree=1800160/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=12504 CPUtime=0.69 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 2549 0 0 0 67 2 0 0 22 0 1 0 250827514 12804096 2480 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 3126 2480 313 324 0 2195 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12504 [startup+1.50182 s] /proc/loadavg: 1.03 1.24 1.19 2/79 4163 /proc/meminfo: memFree=1789336/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=16332 CPUtime=1.49 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 3517 0 0 0 147 2 0 0 25 0 1 0 250827514 16723968 3448 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 4083 3448 313 324 0 3152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16332 [startup+3.10112 s] /proc/loadavg: 1.03 1.24 1.19 2/79 4163 /proc/meminfo: memFree=1783128/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=24188 CPUtime=3.09 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 5458 0 0 0 305 4 0 0 25 0 1 0 250827514 24768512 5389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 6047 5389 313 324 0 5116 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24188 [startup+6.30172 s] /proc/loadavg: 1.02 1.23 1.19 2/79 4163 /proc/meminfo: memFree=1774504/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=29084 CPUtime=6.29 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 6699 0 0 0 624 5 0 0 25 0 1 0 250827514 29782016 6630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 7271 6630 313 324 0 6340 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29084 [startup+12.7019 s] /proc/loadavg: 1.02 1.23 1.19 2/79 4163 /proc/meminfo: memFree=1774576/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=29724 CPUtime=12.68 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 6844 0 0 0 1261 7 0 0 25 0 1 0 250827514 30437376 6775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 7431 6775 313 324 0 6500 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29724 [startup+25.5013 s] /proc/loadavg: 1.02 1.22 1.19 2/79 4163 /proc/meminfo: memFree=1772656/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=31100 CPUtime=25.47 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 7195 0 0 0 2538 9 0 0 25 0 1 0 250827514 31846400 7126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 7775 7126 313 324 0 6844 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 31100 [startup+51.1022 s] /proc/loadavg: 1.01 1.20 1.18 2/79 4163 /proc/meminfo: memFree=1770480/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=33284 CPUtime=51.07 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 8010 0 0 0 5094 13 0 0 25 0 1 0 250827514 34082816 7677 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 8321 7677 313 324 0 7390 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33284 [startup+102.306 s] /proc/loadavg: 1.00 1.17 1.17 2/79 4163 /proc/meminfo: memFree=1769200/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=34652 CPUtime=102.25 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 8350 0 0 0 10208 17 0 0 25 0 1 0 250827514 35483648 8017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 8663 8017 313 324 0 7732 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34652 [startup+162.301 s] /proc/loadavg: 1.00 1.13 1.16 2/79 4163 /proc/meminfo: memFree=1767792/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=36068 CPUtime=162.22 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 8704 0 0 0 16196 26 0 0 25 0 1 0 250827514 36933632 8371 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9017 8371 313 324 0 8086 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 36068 [startup+222.301 s] /proc/loadavg: 1.00 1.11 1.15 2/79 4163 /proc/meminfo: memFree=1766192/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37604 CPUtime=222.2 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9102 0 0 0 22188 32 0 0 25 0 1 0 250827514 38506496 8769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9401 8769 313 324 0 8470 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 37604 [startup+282.302 s] /proc/loadavg: 1.00 1.08 1.13 2/79 4163 /proc/meminfo: memFree=1766256/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37328 CPUtime=282.18 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9106 0 0 0 28177 41 0 0 25 0 1 0 250827514 38223872 8705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3608348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9332 8705 313 324 0 8401 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 37328 [startup+342.302 s] /proc/loadavg: 1.00 1.07 1.12 2/79 4163 /proc/meminfo: memFree=1766256/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37328 CPUtime=342.17 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9106 0 0 0 34168 49 0 0 25 0 1 0 250827514 38223872 8705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9332 8705 313 324 0 8401 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 37328 [startup+402.301 s] /proc/loadavg: 1.00 1.05 1.11 2/79 4163 /proc/meminfo: memFree=1766256/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37328 CPUtime=402.14 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9106 0 0 0 40159 55 0 0 25 0 1 0 250827514 38223872 8705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9332 8705 313 324 0 8401 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 37328 [startup+462.302 s] /proc/loadavg: 1.00 1.04 1.10 2/79 4163 /proc/meminfo: memFree=1766256/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37456 CPUtime=462.13 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9133 0 0 0 46152 61 0 0 25 0 1 0 250827514 38354944 8732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3608276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9364 8732 313 324 0 8433 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 37456 [startup+522.302 s] /proc/loadavg: 1.00 1.03 1.09 2/79 4163 /proc/meminfo: memFree=1766256/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37456 CPUtime=522.11 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9158 0 0 0 52144 67 0 0 25 0 1 0 250827514 38354944 8730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9364 8730 313 324 0 8433 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 37456 [startup+582.301 s] /proc/loadavg: 1.04 1.04 1.09 2/79 4163 /proc/meminfo: memFree=1766256/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=37456 CPUtime=582.08 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9158 0 0 0 58135 73 0 0 25 0 1 0 250827514 38354944 8730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9364 8730 313 324 0 8433 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 37456 [startup+642.301 s] /proc/loadavg: 1.01 1.03 1.08 2/79 4163 /proc/meminfo: memFree=1764528/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=39164 CPUtime=642.07 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 9588 0 0 0 64129 78 0 0 25 0 1 0 250827514 40103936 9160 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 9791 9160 313 324 0 8860 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 39164 ################ # More data... # ################ /proc/meminfo: memFree=1762672/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=41060 CPUtime=1121.89 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10107 0 0 0 112065 124 0 0 25 0 1 0 250827514 42045440 9638 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10265 9638 313 324 0 9334 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 41060 [startup+1182.3 s] /proc/loadavg: 1.17 1.08 1.08 2/79 4163 /proc/meminfo: memFree=1760624/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43200 CPUtime=1181.88 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10626 0 0 0 118057 131 0 0 25 0 1 0 250827514 44236800 10157 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10800 10157 313 324 0 9869 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 43200 [startup+1242.3 s] /proc/loadavg: 1.12 1.08 1.08 2/79 4163 /proc/meminfo: memFree=1760496/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43292 CPUtime=1241.86 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10649 0 0 0 124049 137 0 0 25 0 1 0 250827514 44331008 10180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10823 10180 313 324 0 9892 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 43292 [startup+1302.3 s] /proc/loadavg: 1.09 1.08 1.08 2/79 4163 /proc/meminfo: memFree=1760496/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43296 CPUtime=1301.84 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10656 0 0 0 130042 142 0 0 25 0 1 0 250827514 44335104 10181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10824 10181 313 324 0 9893 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 43296 [startup+1362.3 s] /proc/loadavg: 1.03 1.06 1.07 2/79 4165 /proc/meminfo: memFree=1760240/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43256 CPUtime=1361.82 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10656 0 0 0 136037 145 0 0 25 0 1 0 250827514 44294144 10181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10814 10181 313 324 0 9883 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 43256 [startup+1422.31 s] /proc/loadavg: 1.01 1.05 1.06 2/79 4165 /proc/meminfo: memFree=1760240/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43256 CPUtime=1421.8 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10660 0 0 0 142030 150 0 0 25 0 1 0 250827514 44294144 10185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10814 10185 313 324 0 9883 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 43256 [startup+1482.3 s] /proc/loadavg: 1.00 1.04 1.06 2/79 4165 /proc/meminfo: memFree=1760240/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43248 CPUtime=1481.78 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10660 0 0 0 148022 156 0 0 25 0 1 0 250827514 44285952 10185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10812 10185 313 324 0 9881 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 43248 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.05 2/79 4165 /proc/meminfo: memFree=1760304/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43272 CPUtime=1541.75 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10661 0 0 0 154013 162 0 0 25 0 1 0 250827514 44310528 10186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10818 10186 313 324 0 9887 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 43272 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.05 3/79 4165 /proc/meminfo: memFree=1760304/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43272 CPUtime=1601.74 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10661 0 0 0 160006 168 0 0 25 0 1 0 250827514 44310528 10186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10818 10186 313 324 0 9887 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 43272 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.04 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43256 CPUtime=1661.72 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10661 0 0 0 165999 173 0 0 25 0 1 0 250827514 44294144 10186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10814 10186 313 324 0 9883 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 43256 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.04 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1721.69 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 171991 178 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 43212 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1781.67 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 177984 183 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 43212 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1791.27 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 178943 184 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 43212 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1794.47 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 179263 184 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 43212 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1797.66 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 179581 185 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 43212 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1799.27 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 179741 186 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 43212 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1799.67 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 179781 186 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (KiB) 43212 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1799.87 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 179801 186 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 43212 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.03 2/79 4165 /proc/meminfo: memFree=1760368/2055920 swapFree=4145560/4192956 [pid=4162] ppid=4160 vsize=43212 CPUtime=1799.97 /proc/4162/stat : 4162 (bsolo3.0.16) R 4160 4162 5154 0 -1 4194304 10662 0 0 0 179811 186 0 0 25 0 1 0 250827514 44249088 10176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3599960 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4162/statm: 10803 10176 313 324 0 9872 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 43212 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.01 CPU user time (s): 1798.14 CPU system time (s): 1.86871 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 43316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.14 system time used= 1.86871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10663 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= 12 involuntary context switches= 3385 runsolver used 1.68074 second user time and 4.73028 second system time The end
Begin job on node37 on Tue May 1 14:19:11 UTC 2007 IDJOB= 454665 IDBENCH= 48212 IDSOLVER= 163 FILE ID= node37/454665-1178029151 PBS_JOBID= 4728353 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454665-1178029151/instance-454665-1178029151.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-454665-1178029151 -o ROOT/results/node37/solver-454665-1178029151 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454665-1178029151/instance-454665-1178029151.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED= 556004463 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1800568 kB Buffers: 48488 kB Cached: 115400 kB SwapCached: 14952 kB Active: 97004 kB Inactive: 94404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800568 kB SwapTotal: 4192956 kB SwapFree: 4145560 kB Dirty: 6788 kB Writeback: 0 kB Mapped: 34032 kB Slab: 49232 kB Committed_AS: 4080856 kB PageTables: 2016 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= 66558 MiB End job on node37 on Tue May 1 14:49:11 UTC 2007