Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -28 | 1800.02 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
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 | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
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 | 49 |
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) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 3113 |
Sum of products size | 6226 |
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/454560-1178027314/instance-454560-1178027314.opb 0.00/0.00 c File size is 76321 bytes. 0.02/0.03 c Highest Coefficient sum: 200 0.02/0.03 c Parsing was ok!! 0.02/0.03 c Total parsing time: 0.035 s 0.02/0.04 c Var: 6426 Constr: 12852 6426/200/6226 Lit: 49808 Watch. Lit: 37356 0.02/0.04 c Obj. Vars: 200 (3.11236 % of total variables) 0.09/0.16 c Pre-processing Time: 0.156 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 3113 9339 3 6226 1037 0 0 0.16 0.09/0.16 c Switching off LPR mode. 0.09/0.16 o -21 0.157 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 200 3114 9539 3 6249 2037 1 0 0.16 0.09/0.16 o -22 0.159 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 17 200 3132 12740 4 6307 2037 19 106 0.16 0.09/0.18 c 117 200 3232 30210 9 6507 2241 119 688 0.17 0.09/0.18 o -23 0.181 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 212 200 3328 46973 14 6722 2037 215 1164 0.18 0.09/0.18 o -24 0.184 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 221 200 3338 48736 14 6766 2037 225 1201 0.18 1.49/1.54 c 321 200 3438 65960 19 6966 2241 325 1621 0.20 1.49/1.54 c 572 200 3689 109239 29 7468 2466 576 2423 0.24 1.49/1.54 c 1048 200 4165 191251 45 8420 2713 1052 3254 0.32 1.49/1.54 c 1862 200 4979 331411 66 10048 2985 1866 3944 0.47 1.49/1.54 c 3182 200 6299 559044 88 12688 3284 3186 3889 0.82 1.49/1.54 c 5263 200 8380 916652 109 16850 3613 5267 3455 1.52 1.49/1.54 o -25 1.541 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 5355 200 8473 932735 110 17061 2037 5360 3472 1.54 2.39/2.42 c 5456 200 8574 950083 110 17263 2241 5461 3481 1.57 2.39/2.42 c 5706 200 8824 992886 112 17763 2466 5711 3507 1.63 2.39/2.42 c 6181 200 9299 1074086 115 18713 2713 6186 3470 1.78 2.39/2.42 c 6994 200 10112 1213402 119 20339 2985 6999 2910 2.40 2.39/2.42 o -26 2.423 155.33/155.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.33/155.49 c 7033 200 10152 1220320 120 20445 2037 7039 2901 2.42 155.33/155.49 c 7133 200 10252 1237319 120 20645 2241 7139 2822 2.53 155.33/155.49 c 7384 200 10503 1280075 121 21147 2466 7390 2753 2.68 155.33/155.49 c 7859 200 10978 1361002 123 22097 2713 7865 2813 2.79 155.33/155.49 c 8673 200 11792 1499461 127 23725 2985 8679 2555 3.39 155.33/155.49 c 9994 200 5225 368541 70 10476 3284 2112 2421 4.13 155.33/155.49 c 12075 200 7306 722526 98 14638 3613 4193 2496 4.84 155.33/155.49 c 15298 200 10529 1269903 120 21084 3975 7416 2353 6.50 155.33/155.49 c 20235 200 7088 683982 96 14202 4373 3975 1990 10.16 155.33/155.49 c 27743 200 6035 504544 83 12096 4811 2922 1849 15.00 155.33/155.49 c 39105 200 8586 938162 109 17198 5293 5473 1483 26.36 155.33/155.49 c 56250 200 7641 778216 101 15308 5823 4528 1257 44.73 155.33/155.49 c 82069 200 14845 1999792 134 29716 6406 11732 1074 76.36 155.33/155.49 c 120901 200 15270 2074193 135 30566 7047 12157 821 147.15 155.33/155.49 o -27 155.436 399.44/399.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 399.44/399.66 c 130112 200 14558 1954439 134 29169 2037 11445 837 155.44 399.44/399.66 c 130212 200 4233 199448 47 8493 2241 1120 836 155.71 399.44/399.66 c 130462 200 4483 241794 53 8993 2466 1370 837 155.75 399.44/399.66 c 130937 200 4958 322020 64 9943 2713 1845 840 155.83 399.44/399.66 c 131752 200 5773 459935 79 11573 2985 2660 844 155.97 399.44/399.66 c 133073 200 7094 682995 96 14215 3284 3981 851 156.31 399.44/399.66 c 135154 200 9175 1034709 112 18377 3613 6062 859 157.29 399.44/399.66 c 138378 200 12399 1579062 127 24825 3975 9286 869 159.15 399.44/399.66 c 143314 200 8945 993442 111 17917 4373 5832 879 162.90 399.44/399.66 c 150821 200 7866 811975 103 15759 4811 4753 895 168.51 399.44/399.66 c 162182 200 10425 1241517 119 20877 5293 7312 916 176.97 399.44/399.66 c 179326 200 9467 1081854 114 18961 5823 6354 903 198.52 399.44/399.66 c 205145 200 7372 727501 98 14771 6406 4259 909 225.53 399.44/399.66 c 243978 200 7791 801267 102 15609 7047 4678 877 278.01 399.44/399.66 c 302331 200 6651 605363 91 13329 7752 3538 845 357.37 399.44/399.66 o -28 399.512 1799.93/1800.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.77 c 330845 200 14613 1954672 133 29281 2037 11500 828 399.51 1799.93/1800.77 c 330945 200 4233 198011 46 8494 2241 1120 827 399.85 1799.93/1800.77 c 331195 200 4483 239973 53 8994 2466 1370 828 399.89 1799.93/1800.77 c 331671 200 4959 319990 64 9946 2713 1846 829 399.96 1799.93/1800.77 c 332485 200 5773 456915 79 11574 2985 2660 830 400.13 1799.93/1800.77 c 333805 200 7093 678797 95 14214 3284 3980 833 400.45 1799.93/1800.77 c 335887 200 9175 1028727 112 18378 3613 6062 837 401.26 1799.93/1800.77 c 339111 200 12399 1569504 126 24826 3975 9286 842 402.68 1799.93/1800.77 c 344047 200 8941 986805 110 17910 4373 5828 846 406.32 1799.93/1800.77 c 351553 200 7859 805303 102 15746 4811 4746 855 411.15 1799.93/1800.77 c 362914 200 10414 1233383 118 20856 5293 7301 863 420.15 1799.93/1800.77 c 380058 200 9498 1079722 113 19024 5823 6385 870 436.81 1799.93/1800.77 c 405877 200 7396 725318 98 14820 6406 4283 870 466.42 1799.93/1800.77 c 444709 200 7838 801845 102 15704 7047 4725 872 509.59 1799.93/1800.77 c 503061 200 6714 612639 91 13456 7752 3601 822 611.63 1799.93/1800.77 c 590693 200 12223 1534130 125 24474 8528 9110 790 747.65 1799.93/1800.77 c 722245 200 15867 2147859 135 31762 9381 12754 748 964.76 1799.93/1800.77 c 919678 200 13864 1811283 130 27756 10320 10751 687 1338.02 1799.93/1800.77 c Resources Exceeded 1799.93/1800.77 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.93/1800.77 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.93/1800.77 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.93/1800.77 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.93/1800.77 v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 1799.93/1800.77 v -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1799.93/1800.77 v x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 -x164 -x165 x166 x167 -x168 x169 -x170 1799.93/1800.77 v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 1799.93/1800.77 v -x192 -x193 -x194 -x195 -x196 x197 x198 x199 -x200 1799.93/1800.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.77 c 63 1174012 63118 1247164 14085 1849453 10972 652 1800.01 1799.93/1800.77 c Objective: -28 1799.93/1800.77 s SATISFIABLE 1799.93/1800.77 c Total time: 1800.01 s
OK -28
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-454560-1178027314 -o ROOT/results/node23/solver-454560-1178027314 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454560-1178027314/instance-454560-1178027314.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.84 0.97 0.99 3/77 16433 /proc/meminfo: memFree=1879720/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=11812 CPUtime=0 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 250648593 12095488 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2760263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 2953 345 291 324 0 2003 0 [startup+0.026484 s] /proc/loadavg: 0.84 0.97 0.99 3/77 16433 /proc/meminfo: memFree=1879720/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=5236 CPUtime=0.02 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 699 0 0 0 2 0 0 0 18 0 1 0 250648593 5361664 668 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 1309 669 303 324 0 359 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5236 [startup+0.101499 s] /proc/loadavg: 0.84 0.97 0.99 3/77 16433 /proc/meminfo: memFree=1879720/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=7376 CPUtime=0.09 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 1256 0 0 0 9 0 0 0 18 0 1 0 250648593 7553024 1206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 1844 1206 306 324 0 913 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7376 [startup+0.301537 s] /proc/loadavg: 0.84 0.97 0.99 3/77 16433 /proc/meminfo: memFree=1879720/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=8944 CPUtime=0.29 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 1680 0 0 0 28 1 0 0 19 0 1 0 250648593 9158656 1610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 2236 1610 313 324 0 1305 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8944 [startup+0.701615 s] /proc/loadavg: 0.84 0.97 0.99 3/77 16433 /proc/meminfo: memFree=1879720/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=12772 CPUtime=0.69 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 2609 0 0 0 68 1 0 0 22 0 1 0 250648593 13078528 2539 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 3193 2539 313 324 0 2262 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12772 [startup+1.50177 s] /proc/loadavg: 0.84 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1868320/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=17644 CPUtime=1.49 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 3853 0 0 0 147 2 0 0 25 0 1 0 250648593 18067456 3783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 4411 3783 313 324 0 3480 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17644 [startup+3.10108 s] /proc/loadavg: 0.85 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1862688/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=24452 CPUtime=3.09 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 5551 0 0 0 305 4 0 0 25 0 1 0 250648593 25038848 5481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 6113 5481 313 324 0 5182 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24452 [startup+6.3017 s] /proc/loadavg: 0.85 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1855968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=27020 CPUtime=6.29 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 6193 0 0 0 624 5 0 0 25 0 1 0 250648593 27668480 6123 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 6755 6123 313 324 0 5824 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27020 [startup+12.7019 s] /proc/loadavg: 0.88 0.97 0.99 3/78 16434 /proc/meminfo: memFree=1853944/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=29208 CPUtime=12.68 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 6745 0 0 0 1261 7 0 0 25 0 1 0 250648593 29908992 6675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 7302 6675 313 324 0 6371 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29208 [startup+25.5014 s] /proc/loadavg: 0.89 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1852088/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=31136 CPUtime=25.48 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 7218 0 0 0 2538 10 0 0 25 0 1 0 250648593 31883264 7148 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 7784 7148 313 324 0 6853 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31136 [startup+51.1014 s] /proc/loadavg: 0.93 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1851000/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=32396 CPUtime=51.07 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 7538 0 0 0 5093 14 0 0 25 0 1 0 250648593 33173504 7468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8099 7468 313 324 0 7168 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32396 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1848632/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=34640 CPUtime=102.25 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 8096 0 0 0 10204 21 0 0 25 0 1 0 250648593 35471360 8026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8660 8026 313 324 0 7729 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34640 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1847096/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=36000 CPUtime=162.23 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 8454 0 0 0 16193 30 0 0 25 0 1 0 250648593 36864000 8374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 9000 8374 313 324 0 8069 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 36000 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1848056/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=34868 CPUtime=222.21 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 8454 0 0 0 22181 40 0 0 25 0 1 0 250648593 35704832 8091 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8717 8091 313 324 0 7786 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 34868 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1848184/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=34732 CPUtime=282.18 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 8454 0 0 0 28171 47 0 0 25 0 1 0 250648593 35565568 8057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8683 8057 313 324 0 7752 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 34732 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1847096/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=35884 CPUtime=342.16 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 8742 0 0 0 34162 54 0 0 25 0 1 0 250648593 36745216 8345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8971 8345 313 324 0 8040 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 35884 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1845432/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=37524 CPUtime=402.14 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 9149 0 0 0 40153 61 0 0 25 0 1 0 250648593 38424576 8752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2936577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 9381 8752 313 324 0 8450 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 37524 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1847224/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=35500 CPUtime=462.11 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 9149 0 0 0 46141 70 0 0 25 0 1 0 250648593 36352000 8249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8875 8249 313 324 0 7944 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 35500 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1847224/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=35764 CPUtime=522.1 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 9255 0 0 0 52130 80 0 0 25 0 1 0 250648593 36622336 8296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8941 8296 313 324 0 8010 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 35764 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1847160/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=35720 CPUtime=582.07 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 9271 0 0 0 58121 86 0 0 25 0 1 0 250648593 36577280 8304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 8930 8304 313 324 0 7999 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 35720 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16434 /proc/meminfo: memFree=1845560/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=37360 CPUtime=642.05 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 9665 0 0 0 64112 93 0 0 25 0 1 0 250648593 38256640 8696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 9340 8696 313 324 0 8409 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 37360 ################ # More data... # ################ /proc/meminfo: memFree=1841528/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=40924 CPUtime=1061.8 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 10613 0 0 0 106039 141 0 0 25 0 1 0 250648593 41906176 9605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10231 9605 313 324 0 9300 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 40924 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1841528/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=40924 CPUtime=1121.78 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 10613 0 0 0 112031 147 0 0 25 0 1 0 250648593 41906176 9605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10231 9605 313 324 0 9300 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 40924 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1841464/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=40916 CPUtime=1181.75 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 10623 0 0 0 118023 152 0 0 25 0 1 0 250648593 41897984 9603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10229 9603 313 324 0 9298 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 40916 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1841464/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=40992 CPUtime=1241.73 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 10630 0 0 0 124016 157 0 0 25 0 1 0 250648593 41975808 9606 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10248 9606 313 324 0 9317 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 40992 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1841400/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=40960 CPUtime=1301.71 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 10630 0 0 0 130008 163 0 0 25 0 1 0 250648593 41943040 9606 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10240 9606 313 324 0 9309 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 40960 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839352/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43024 CPUtime=1361.68 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11143 0 0 0 136000 168 0 0 25 0 1 0 250648593 44056576 10119 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10756 10119 313 324 0 9825 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 43024 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839224/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43092 CPUtime=1421.66 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11160 0 0 0 141992 174 0 0 25 0 1 0 250648593 44126208 10136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10773 10136 313 324 0 9842 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 43092 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839224/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43092 CPUtime=1481.65 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11164 0 0 0 147984 181 0 0 25 0 1 0 250648593 44126208 10140 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10773 10140 313 324 0 9842 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 43092 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839224/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43092 CPUtime=1541.61 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11166 0 0 0 153975 186 0 0 25 0 1 0 250648593 44126208 10142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10773 10142 313 324 0 9842 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 43092 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839160/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43148 CPUtime=1601.59 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 159966 193 0 0 25 0 1 0 250648593 44183552 10153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10787 10153 313 324 0 9856 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 43148 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839160/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43108 CPUtime=1661.57 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 165958 199 0 0 25 0 1 0 250648593 44142592 10151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10777 10151 313 324 0 9846 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 43108 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1839096/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43108 CPUtime=1721.55 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 171950 205 0 0 25 0 1 0 250648593 44142592 10151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10777 10151 313 324 0 9846 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 43108 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1781.53 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 177941 212 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 43060 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1791.13 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 178900 213 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1791.13 Current children cumulated vsize (KiB) 43060 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1794.33 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 179220 213 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (KiB) 43060 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1797.53 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 179539 214 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 43060 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1799.13 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 179699 214 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1799.13 Current children cumulated vsize (KiB) 43060 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1799.53 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 179739 214 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 43060 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16632 /proc/meminfo: memFree=1838968/2055920 swapFree=4169104/4192956 [pid=16433] ppid=16431 vsize=43060 CPUtime=1799.93 /proc/16433/stat : 16433 (bsolo3.0.16) R 16431 16433 15387 0 -1 4194304 11177 0 0 0 179779 214 0 0 25 0 1 0 250648593 44093440 10139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16433/statm: 10765 10139 313 324 0 9834 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 43060 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.02 CPU user time (s): 1797.87 CPU system time (s): 2.14867 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 43180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.87 system time used= 2.14867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11178 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= 3259 runsolver used 1.37879 second user time and 3.9324 second system time The end
Begin job on node23 on Tue May 1 13:48:35 UTC 2007 IDJOB= 454560 IDBENCH= 48205 IDSOLVER= 163 FILE ID= node23/454560-1178027314 PBS_JOBID= 4728371 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_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454560-1178027314/instance-454560-1178027314.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-454560-1178027314 -o ROOT/results/node23/solver-454560-1178027314 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454560-1178027314/instance-454560-1178027314.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED= 807910932 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1880128 kB Buffers: 22572 kB Cached: 70544 kB SwapCached: 2424 kB Active: 73772 kB Inactive: 44764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880128 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 32732 kB Slab: 42760 kB Committed_AS: 4022212 kB PageTables: 1800 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 node23 on Tue May 1 14:18:36 UTC 2007