Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -28 | 1800.11 | 1800.72 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454566-1178027432/instance-454566-1178027432.opb 0.00/0.00 c File size is 76321 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: 6426 Constr: 12852 6426/200/6226 Lit: 49808 Watch. Lit: 37356 0.00/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 1171 0.18 0.09/0.18 o -24 0.183 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 221 200 3338 48736 14 6766 2037 225 1201 0.18 1.49/1.52 c 321 200 3438 65960 19 6966 2241 325 1621 0.20 1.49/1.52 c 572 200 3689 109239 29 7468 2466 576 2444 0.23 1.49/1.52 c 1048 200 4165 191251 45 8420 2713 1052 3275 0.32 1.49/1.52 c 1862 200 4979 331411 66 10048 2985 1866 3987 0.47 1.49/1.52 c 3182 200 6299 559044 88 12688 3284 3186 3918 0.81 1.49/1.52 c 5263 200 8380 916652 109 16850 3613 5267 3492 1.51 1.49/1.52 o -25 1.525 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 5355 200 8473 932735 110 17061 2037 5360 3511 1.52 2.29/2.39 c 5456 200 8574 950083 110 17263 2241 5461 3520 1.55 2.29/2.39 c 5706 200 8824 992886 112 17763 2466 5711 3546 1.61 2.29/2.39 c 6181 200 9299 1074086 115 18713 2713 6186 3505 1.76 2.29/2.39 c 6994 200 10112 1213402 119 20339 2985 6999 2946 2.37 2.29/2.39 o -26 2.394 155.25/155.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.25/155.37 c 7033 200 10152 1220320 120 20445 2037 7039 2937 2.39 155.25/155.37 c 7133 200 10252 1237319 120 20645 2241 7139 2858 2.50 155.25/155.37 c 7384 200 10503 1280075 121 21147 2466 7390 2788 2.65 155.25/155.37 c 7859 200 10978 1361002 123 22097 2713 7865 2850 2.76 155.25/155.37 c 8673 200 11792 1499461 127 23725 2985 8679 2587 3.35 155.25/155.37 c 9994 200 5225 368541 70 10476 3284 2112 2448 4.08 155.25/155.37 c 12075 200 7306 722526 98 14638 3613 4193 2525 4.78 155.25/155.37 c 15298 200 10529 1269903 120 21084 3975 7416 2376 6.44 155.25/155.37 c 20235 200 7088 683982 96 14202 4373 3975 2004 10.10 155.25/155.37 c 27743 200 6035 504544 83 12096 4811 2922 1852 14.97 155.25/155.37 c 39105 200 8586 938162 109 17198 5293 5473 1486 26.30 155.25/155.37 c 56250 200 7641 778216 101 15308 5823 4528 1258 44.69 155.25/155.37 c 82069 200 14845 1999792 134 29716 6406 11732 1075 76.33 155.25/155.37 c 120901 200 15270 2074193 135 30566 7047 12157 822 147.00 155.25/155.37 o -27 155.327 398.87/399.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 398.87/399.01 c 130112 200 14558 1954439 134 29169 2037 11445 837 155.33 398.87/399.01 c 130212 200 4233 199448 47 8493 2241 1120 836 155.61 398.87/399.01 c 130462 200 4483 241794 53 8993 2466 1370 838 155.65 398.87/399.01 c 130937 200 4958 322020 64 9943 2713 1845 840 155.72 398.87/399.01 c 131752 200 5773 459935 79 11573 2985 2660 845 155.87 398.87/399.01 c 133073 200 7094 682995 96 14215 3284 3981 851 156.20 398.87/399.01 c 135154 200 9175 1034709 112 18377 3613 6062 859 157.20 398.87/399.01 c 138378 200 12399 1579062 127 24825 3975 9286 870 159.04 398.87/399.01 c 143314 200 8945 993442 111 17917 4373 5832 880 162.76 398.87/399.01 c 150821 200 7866 811975 103 15759 4811 4753 896 168.31 398.87/399.01 c 162182 200 10425 1241517 119 20877 5293 7312 917 176.83 398.87/399.01 c 179326 200 9467 1081854 114 18961 5823 6354 904 198.30 398.87/399.01 c 205145 200 7372 727501 98 14771 6406 4259 911 225.18 398.87/399.01 c 243978 200 7791 801267 102 15609 7047 4678 878 277.62 398.87/399.01 c 302331 200 6651 605363 91 13329 7752 3538 847 356.85 398.87/399.01 o -28 398.896 1800.10/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.70 c 330845 200 14613 1954672 133 29281 2037 11500 829 398.90 1800.10/1800.70 c 330945 200 4233 198011 46 8494 2241 1120 828 399.24 1800.10/1800.70 c 331195 200 4483 239973 53 8994 2466 1370 829 399.27 1800.10/1800.70 c 331671 200 4959 319990 64 9946 2713 1846 830 399.34 1800.10/1800.70 c 332485 200 5773 456915 79 11574 2985 2660 832 399.51 1800.10/1800.70 c 333805 200 7093 678797 95 14214 3284 3980 834 399.83 1800.10/1800.70 c 335887 200 9175 1028727 112 18378 3613 6062 838 400.63 1800.10/1800.70 c 339111 200 12399 1569504 126 24826 3975 9286 843 402.03 1800.10/1800.70 c 344047 200 8941 986805 110 17910 4373 5828 848 405.63 1800.10/1800.70 c 351553 200 7859 805303 102 15746 4811 4746 856 410.44 1800.10/1800.70 c 362914 200 10414 1233383 118 20856 5293 7301 865 419.46 1800.10/1800.70 c 380058 200 9498 1079722 113 19024 5823 6385 871 436.10 1800.10/1800.70 c 405877 200 7396 725318 98 14820 6406 4283 871 465.64 1800.10/1800.70 c 444709 200 7838 801845 102 15704 7047 4725 874 508.74 1800.10/1800.70 c 503061 200 6714 612639 91 13456 7752 3601 823 610.74 1800.10/1800.70 c 590693 200 12223 1534130 125 24474 8528 9110 791 746.58 1800.10/1800.70 c 722245 200 15867 2147859 135 31762 9381 12754 749 963.45 1800.10/1800.70 c 919678 200 13864 1811283 130 27756 10320 10751 688 1336.20 1800.10/1800.70 c Caught signal: 15 1800.10/1800.70 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 1800.10/1800.70 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 1800.10/1800.70 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 1800.10/1800.70 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 1800.10/1800.70 v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 1800.10/1800.70 v -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.10/1800.70 v x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 -x164 -x165 x166 x167 -x168 x169 -x170 1800.10/1800.70 v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 1800.10/1800.70 v -x192 -x193 -x194 -x195 -x196 x197 x198 x199 -x200 1800.10/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.70 c 63 1176341 63252 1249637 16414 2241002 13301 653 1800.10 1800.10/1800.70 c Objective: -28 1800.10/1800.70 s SATISFIABLE 1800.10/1800.70 c Total time: 1800.1 s
OK -28
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-454566-1178027432 -o ROOT/results/node70/solver-454566-1178027432 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454566-1178027432/instance-454566-1178027432.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.11 1.14 1.09 3/64 11107 /proc/meminfo: memFree=1877776/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=11812 CPUtime=0 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242280548 12095488 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 2953 332 279 324 0 2004 0 [startup+0.00761701 s] /proc/loadavg: 1.11 1.14 1.09 3/64 11107 /proc/meminfo: memFree=1877776/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=4136 CPUtime=0 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 242280548 4235264 384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 1034 385 291 324 0 85 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4136 [startup+0.101627 s] /proc/loadavg: 1.11 1.14 1.09 3/64 11107 /proc/meminfo: memFree=1877776/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=7376 CPUtime=0.09 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 1253 0 0 0 9 0 0 0 18 0 1 0 242280548 7553024 1204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 1844 1204 304 324 0 914 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7376 [startup+0.301645 s] /proc/loadavg: 1.11 1.14 1.09 3/64 11107 /proc/meminfo: memFree=1877776/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=9076 CPUtime=0.29 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 1682 0 0 0 28 1 0 0 19 0 1 0 242280548 9293824 1613 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 2269 1613 311 324 0 1339 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9076 [startup+0.701685 s] /proc/loadavg: 1.11 1.14 1.09 3/64 11107 /proc/meminfo: memFree=1877776/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=12772 CPUtime=0.69 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 2615 0 0 0 67 2 0 0 22 0 1 0 242280548 13078528 2546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 3193 2546 311 324 0 2263 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12772 [startup+1.50177 s] /proc/loadavg: 1.11 1.14 1.09 2/65 11108 /proc/meminfo: memFree=1866312/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=17772 CPUtime=1.49 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 3871 0 0 0 147 2 0 0 25 0 1 0 242280548 18198528 3802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 4443 3802 311 324 0 3513 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17772 [startup+3.10192 s] /proc/loadavg: 1.11 1.14 1.09 2/65 11108 /proc/meminfo: memFree=1860744/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=24580 CPUtime=3.09 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 5568 0 0 0 306 3 0 0 25 0 1 0 242280548 25169920 5499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 6145 5499 311 324 0 5215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24580 [startup+6.30124 s] /proc/loadavg: 1.10 1.14 1.09 2/65 11108 /proc/meminfo: memFree=1854120/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=27020 CPUtime=6.29 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 6190 0 0 0 625 4 0 0 25 0 1 0 242280548 27668480 6121 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 6755 6121 311 324 0 5825 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27020 [startup+12.7019 s] /proc/loadavg: 1.09 1.13 1.09 2/65 11108 /proc/meminfo: memFree=1852080/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=29208 CPUtime=12.68 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 6742 0 0 0 1264 4 0 0 25 0 1 0 242280548 29908992 6673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 7302 6673 311 324 0 6372 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29208 [startup+25.5012 s] /proc/loadavg: 1.07 1.13 1.09 2/65 11108 /proc/meminfo: memFree=1850416/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=31136 CPUtime=25.48 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 7215 0 0 0 2543 5 0 0 25 0 1 0 242280548 31883264 7146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 7784 7146 311 324 0 6854 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31136 [startup+51.1017 s] /proc/loadavg: 1.05 1.12 1.09 2/65 11108 /proc/meminfo: memFree=1849328/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=32524 CPUtime=51.08 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 7553 0 0 0 5103 5 0 0 25 0 1 0 242280548 33304576 7484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8131 7484 311 324 0 7201 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32524 [startup+102.306 s] /proc/loadavg: 1.02 1.10 1.08 2/65 11108 /proc/meminfo: memFree=1846960/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=34640 CPUtime=102.26 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 8093 0 0 0 10221 5 0 0 25 0 1 0 242280548 35471360 8024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8660 8024 311 324 0 7730 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34640 [startup+162.302 s] /proc/loadavg: 1.00 1.08 1.08 2/65 11108 /proc/meminfo: memFree=1845488/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=36000 CPUtime=162.25 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 8451 0 0 0 16219 6 0 0 25 0 1 0 242280548 36864000 8372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 9000 8372 311 324 0 8070 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36000 [startup+222.302 s] /proc/loadavg: 1.00 1.06 1.07 2/65 11108 /proc/meminfo: memFree=1846448/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=34868 CPUtime=222.22 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 8451 0 0 0 22216 6 0 0 25 0 1 0 242280548 35704832 8089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8717 8089 311 324 0 7787 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34868 [startup+282.302 s] /proc/loadavg: 1.00 1.05 1.06 2/65 11108 /proc/meminfo: memFree=1846576/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=34732 CPUtime=282.21 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 8451 0 0 0 28215 6 0 0 25 0 1 0 242280548 35565568 8055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8683 8055 311 324 0 7753 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34732 [startup+342.302 s] /proc/loadavg: 1.00 1.04 1.06 2/65 11108 /proc/meminfo: memFree=1845552/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=35884 CPUtime=342.2 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 8739 0 0 0 34213 7 0 0 25 0 1 0 242280548 36745216 8343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8971 8343 311 324 0 8041 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 35884 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.05 2/65 11110 /proc/meminfo: memFree=1843824/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=37524 CPUtime=402.17 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 9146 0 0 0 40210 7 0 0 25 0 1 0 242280548 38424576 8750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 9381 8750 311 324 0 8451 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 37524 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.05 2/65 11110 /proc/meminfo: memFree=1845744/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=35500 CPUtime=462.15 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 9146 0 0 0 46208 7 0 0 25 0 1 0 242280548 36352000 8247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8875 8247 311 324 0 7945 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35500 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.04 2/65 11110 /proc/meminfo: memFree=1845744/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=35764 CPUtime=522.13 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 9252 0 0 0 52206 7 0 0 25 0 1 0 242280548 36622336 8294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8941 8294 311 324 0 8011 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 35764 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.04 2/65 11110 /proc/meminfo: memFree=1845616/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=35720 CPUtime=582.12 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 9268 0 0 0 58205 7 0 0 25 0 1 0 242280548 36577280 8302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 8930 8302 311 324 0 8000 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 35720 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.03 2/71 11192 /proc/meminfo: memFree=1842816/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=37360 CPUtime=642.07 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 9662 0 0 0 64197 10 0 0 25 0 1 0 242280548 38256640 8694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 9340 8694 311 324 0 8410 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 37360 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.01 2/65 11308 /proc/meminfo: memFree=1842096/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=39060 CPUtime=881.94 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10132 0 0 0 88181 13 0 0 25 0 1 0 242280548 39997440 9132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 9765 9132 311 324 0 8835 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 39060 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1842160/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=39060 CPUtime=941.92 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10132 0 0 0 94179 13 0 0 25 0 1 0 242280548 39997440 9132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 9765 9132 311 324 0 8835 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 39060 [startup+1002.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 11308 /proc/meminfo: memFree=1840176/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=41020 CPUtime=1001.91 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10610 0 0 0 100177 14 0 0 25 0 1 0 242280548 42004480 9610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10255 9610 311 324 0 9325 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 41020 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 11308 /proc/meminfo: memFree=1840176/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=40924 CPUtime=1061.89 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10610 0 0 0 106175 14 0 0 25 0 1 0 242280548 41906176 9603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10231 9603 311 324 0 9301 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 40924 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1840240/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=40924 CPUtime=1121.88 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10610 0 0 0 112174 14 0 0 25 0 1 0 242280548 41906176 9603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10231 9603 311 324 0 9301 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 40924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1840176/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=40916 CPUtime=1181.86 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10620 0 0 0 118172 14 0 0 25 0 1 0 242280548 41897984 9601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10229 9601 311 324 0 9299 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 40916 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1840176/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=40992 CPUtime=1241.84 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10627 0 0 0 124170 14 0 0 25 0 1 0 242280548 41975808 9604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10248 9604 311 324 0 9318 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 40992 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1840176/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=40960 CPUtime=1301.83 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 10627 0 0 0 130169 14 0 0 25 0 1 0 242280548 41943040 9604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10240 9604 311 324 0 9310 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 40960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1838128/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43024 CPUtime=1361.81 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11140 0 0 0 136166 15 0 0 25 0 1 0 242280548 44056576 10117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10756 10117 311 324 0 9826 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 43024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1838000/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43092 CPUtime=1421.79 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11157 0 0 0 142164 15 0 0 25 0 1 0 242280548 44126208 10134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10773 10134 311 324 0 9843 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 43092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1838000/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43092 CPUtime=1481.77 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11161 0 0 0 148162 15 0 0 25 0 1 0 242280548 44126208 10138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10773 10138 311 324 0 9843 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 43092 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837936/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43092 CPUtime=1541.76 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11163 0 0 0 154161 15 0 0 25 0 1 0 242280548 44126208 10140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10773 10140 311 324 0 9843 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 43092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837872/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43148 CPUtime=1601.74 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11174 0 0 0 160159 15 0 0 25 0 1 0 242280548 44183552 10151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10787 10151 311 324 0 9857 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 43148 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837872/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43108 CPUtime=1661.72 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11174 0 0 0 166157 15 0 0 25 0 1 0 242280548 44142592 10149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547282 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10777 10149 311 324 0 9847 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 43108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837872/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43108 CPUtime=1721.7 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11174 0 0 0 172155 15 0 0 25 0 1 0 242280548 44142592 10149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10777 10149 311 324 0 9847 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 43108 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837872/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43060 CPUtime=1781.7 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11174 0 0 0 178154 16 0 0 25 0 1 0 242280548 44093440 10137 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10765 10137 311 324 0 9835 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 43060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837872/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43060 CPUtime=1800.1 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11174 0 0 0 179994 16 0 0 25 0 1 0 242280548 44093440 10137 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10765 10137 311 324 0 9835 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 43060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11308 /proc/meminfo: memFree=1837872/2055920 swapFree=4183764/4192956 [pid=11107] ppid=11105 vsize=43060 CPUtime=1800.1 /proc/11107/stat : 11107 (bsolo3.0.17) R 11105 11107 4891 0 -1 4194304 11174 0 0 0 179994 16 0 0 25 0 1 0 242280548 44093440 10137 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11107/statm: 10765 10137 311 324 0 9835 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 43060 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.11 CPU user time (s): 1799.94 CPU system time (s): 0.167974 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 43180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.167974 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= 4424 runsolver used 1.40379 second user time and 3.57046 second system time The end
Begin job on node70 on Tue May 1 13:50:32 UTC 2007 IDJOB= 454566 IDBENCH= 48205 IDSOLVER= 199 FILE ID= node70/454566-1178027432 PBS_JOBID= 4728334 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454566-1178027432/instance-454566-1178027432.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-454566-1178027432 -o ROOT/results/node70/solver-454566-1178027432 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454566-1178027432/instance-454566-1178027432.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED= 748121059 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1878248 kB Buffers: 27064 kB Cached: 69604 kB SwapCached: 3020 kB Active: 81040 kB Inactive: 32408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1878248 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 21704 kB Slab: 50296 kB Committed_AS: 5121612 kB PageTables: 1416 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 node70 on Tue May 1 14:20:35 UTC 2007