Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 12572 | 1798.01 | 1798.62 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 38a2c469f9dc1120b8fe634a693ac03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8691 |
Best CPU time to get the best result obtained on this benchmark | 0.656899 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10829 |
Optimality of the best value was proved | NO |
Number of variables | 548 |
Total number of constraints | 166 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 126 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 143 |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879983-1245133961.opb 0.00/0.00 c File size is 19885 bytes. 0.00/0.00 c Highest Coefficient sum: 96797 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 548 Constr: 166 41/22/103 Lit: 1592 Watch. Lit: 897 0.00/0.00 c Obj. Vars: 416 (75.9124 % of total variables) 0.00/0.00 c Formula reductions applied at preprocessing 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 473 151 1456 9 1002 2655 0 0 0.01 0.00/0.02 c Initial Lower Bound: 4569 0.00/0.02 c Initial Path Cost: 0 2.69/2.76 c 102 473 354 17678 49 7211 2921 203 2040 0.05 2.69/2.76 c 252 473 642 38715 60 15847 3214 491 1737 0.14 2.69/2.76 c 479 472 1053 68679 65 25688 3536 902 1151 0.42 2.69/2.76 c 817 472 1639 107180 65 36990 3890 1488 1054 0.78 2.69/2.76 c 1329 471 2458 147243 59 53622 4280 2307 1070 1.24 2.69/2.76 c 2092 471 3750 227383 60 73469 4709 3599 822 2.54 2.69/2.76 o 39185 5.89/5.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.90 c 2185 471 3934 240899 61 79647 3403 3783 791 2.76 5.89/5.90 c 2287 471 2078 145912 70 57478 3744 1927 617 3.70 5.89/5.90 o 37322 6.09/6.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.18 c 2438 471 2360 166266 70 53663 3403 2209 413 5.90 6.09/6.18 o 35600 6.39/6.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.50 c 2438 471 2361 166640 70 53772 3403 2210 394 6.18 6.39/6.50 o 35592 13.19/13.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.19/13.29 c 2455 471 2405 174272 72 57345 3403 2254 377 6.50 13.19/13.29 c 2555 471 2604 188112 72 68042 3744 2453 314 8.14 13.19/13.29 c 2805 471 3069 224282 73 81913 4119 2918 292 9.59 13.19/13.29 c 3280 471 3914 288574 73 104132 4531 3763 258 12.69 13.19/13.29 o 21125 14.19/14.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.26 c 3311 471 3969 292652 73 105450 3403 3818 249 13.29 14.19/14.26 o 19605 14.38/14.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.38/14.46 c 3312 471 1862 142535 76 55407 3403 1711 232 14.26 14.38/14.46 o 19579 14.78/14.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.87 c 3314 471 1868 143858 77 55994 3403 1717 229 14.46 14.78/14.87 o 19059 74.47/74.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.47/74.59 c 3351 471 1942 149449 76 57035 3403 1791 225 14.87 74.47/74.59 c 3451 471 2113 160266 75 62241 3744 1962 222 15.49 74.47/74.59 c 3702 471 2563 189639 73 76047 4119 2412 218 16.98 74.47/74.59 c 4177 471 3381 240893 71 96478 4531 3230 203 20.49 74.47/74.59 c 4990 471 2423 140639 58 61788 4985 2272 173 28.82 74.47/74.59 c 6310 471 4737 293563 61 121563 5484 4586 164 38.30 74.47/74.59 c 8391 471 5537 353699 63 148965 6033 5386 139 60.17 74.47/74.59 o 16270 147.44/147.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 147.44/147.55 c 9458 471 4185 264510 63 114122 3403 4034 126 74.57 147.44/147.55 c 9558 471 2040 117506 57 50130 3744 1889 123 77.65 147.44/147.55 c 9808 471 2471 146781 59 61311 4119 2320 124 79.07 147.44/147.55 c 10286 471 3205 190262 59 79659 4531 3054 125 82.09 147.44/147.55 c 11102 471 4515 272466 60 99301 4985 4364 126 87.76 147.44/147.55 c 12422 471 4062 247369 60 89403 5484 3911 126 97.86 147.44/147.55 c 14503 471 4423 257049 58 102322 6033 4272 123 117.51 147.44/147.55 c 17728 471 5505 987748 179 80285 6637 5354 125 141.73 147.44/147.55 o 15520 148.04/148.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 148.04/148.20 c 18815 471 3675 483642 131 73504 3403 3524 127 147.50 148.04/148.20 o 15518 158.13/158.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 158.13/158.27 c 18882 471 1979 150901 76 42394 3403 1828 127 148.15 158.13/158.27 c 18983 471 2127 160492 75 45996 3744 1976 127 148.67 158.13/158.27 c 19233 471 2519 186836 74 54568 4119 2368 128 149.94 158.13/158.27 c 19713 471 3826 405889 106 92323 4531 3675 129 152.08 158.13/158.27 c 20528 465 3406 439082 128 89361 4985 3255 130 157.81 158.13/158.27 o 14654 158.73/158.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 158.73/158.88 c 20560 465 3465 446870 128 85268 3403 3314 129 158.22 158.73/158.88 o 14368 159.03/159.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 159.03/159.10 c 20654 465 3618 461525 127 90165 3403 3467 130 158.83 159.03/159.10 o 14359 289.29/289.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 289.29/289.43 c 20660 465 3634 464213 127 90232 3403 3483 129 159.05 289.29/289.43 c 20761 465 1863 242255 130 52808 3744 1712 129 159.92 289.29/289.43 c 21011 463 2286 266473 116 61398 4119 2135 130 161.16 289.29/289.43 c 21487 463 2908 291074 100 71414 4531 2757 131 162.99 289.29/289.43 c 22300 463 4015 338869 84 94428 4985 3864 134 165.96 289.29/289.43 c 23620 463 3171 129738 40 67595 5484 3020 137 171.84 289.29/289.43 c 25703 463 3090 117445 38 61679 6033 2939 140 182.37 289.29/289.43 c 28934 463 5070 814417 160 89799 6637 4919 141 205.10 289.29/289.43 c 33870 463 5138 301770 58 93254 7301 4987 143 235.83 289.29/289.43 c 41376 463 3872 527356 136 18422 8032 3721 147 280.54 289.29/289.43 o 14272 341.28/341.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 341.28/341.49 c 43286 463 6934 736344 106 85735 3403 6783 149 289.33 341.28/341.49 c 43386 463 2038 122918 60 36895 3744 1887 149 290.38 341.28/341.49 c 43637 463 2402 146237 60 40375 4119 2251 149 292.19 341.28/341.49 c 44112 463 3213 205409 63 58150 4531 3062 149 294.50 341.28/341.49 c 44926 463 4547 301472 66 87360 4985 4396 150 298.93 341.28/341.49 c 46246 462 3882 234354 60 73436 5484 3731 150 306.91 341.28/341.49 c 48328 462 4401 262791 59 87387 6033 4250 150 321.08 341.28/341.49 o 14266 347.07/347.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 347.07/347.28 c 50902 462 5636 368453 65 118187 3401 5485 149 341.38 347.07/347.28 c 51002 462 2130 158075 74 42904 3742 1979 147 344.67 347.07/347.28 c 51258 462 2849 288420 101 67415 4117 2698 148 345.75 347.07/347.28 o 14264 352.67/352.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 352.67/352.89 c 51452 462 3181 310428 97 71855 3401 3030 148 347.17 352.67/352.89 c 51552 462 3400 345758 101 81128 3742 3249 148 347.81 352.67/352.89 c 51803 462 3842 415560 108 111000 4117 3691 148 349.94 352.67/352.89 o 14239 355.37/355.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 355.37/355.60 c 52176 462 2227 271028 121 94190 3401 2076 147 352.78 355.37/355.60 c 52276 462 2500 313225 125 96897 3742 2349 147 353.56 355.37/355.60 c 52529 462 2961 344570 116 109780 4117 2810 147 355.22 355.37/355.60 o 14168 355.67/355.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 355.67/355.84 c 52530 462 2964 345073 116 108439 3401 2813 147 355.48 355.67/355.84 o 14127 371.17/371.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 371.17/371.35 c 52531 462 2967 345932 116 108548 3401 2816 147 355.73 371.17/371.35 c 52631 462 3144 356405 113 113638 3742 2993 147 356.41 371.17/371.35 c 52881 462 3578 383610 107 121871 4117 3427 147 358.52 371.17/371.35 c 53357 462 2226 257849 115 91239 4529 2075 146 363.37 371.17/371.35 c 54170 462 3727 538630 144 268775 4982 3576 146 369.95 371.17/371.35 o 14102 382.46/382.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 382.46/382.67 c 54262 462 3903 563189 144 229932 3401 3752 146 371.23 382.46/382.67 c 54362 462 2041 264968 129 108957 3742 1890 145 373.67 382.46/382.67 c 54612 462 2761 374311 135 116466 4117 2610 145 374.86 382.46/382.67 c 55087 462 3822 559898 146 187766 4529 3671 145 379.04 382.46/382.67 o 13915 385.86/386.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 385.86/386.09 c 55459 462 4646 674669 145 203425 3401 4495 144 382.55 385.86/386.09 c 55560 462 2053 254497 123 75961 3742 1902 144 385.73 385.86/386.09 o 12628 386.06/386.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 386.06/386.25 c 55561 462 2056 255018 124 75502 3401 1905 143 385.97 386.06/386.25 o 12615 386.26/386.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 386.26/386.44 c 55561 462 2057 255391 124 75728 3401 1906 143 386.13 386.26/386.44 o 12611 1034.64/1035.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1034.64/1035.01 c 55563 462 2062 256458 124 76321 3401 1911 143 386.31 1034.64/1035.01 c 55663 462 2322 303425 130 83789 3742 2171 143 386.98 1034.64/1035.01 c 55916 462 2770 332595 120 92407 4117 2619 143 388.58 1034.64/1035.01 c 56391 462 3662 443889 121 144914 4529 3511 143 391.99 1034.64/1035.01 c 57209 461 2547 280257 110 118794 4982 2396 143 400.00 1034.64/1035.01 c 58530 436 3625 419408 115 42730 5481 3474 144 406.27 1034.64/1035.01 c 60612 436 4606 678178 147 246875 6030 4455 141 429.69 1034.64/1035.01 c 63846 435 3207 411557 128 68199 6634 3056 137 462.82 1034.64/1035.01 c 68782 435 5956 538659 90 149015 7298 5805 137 499.65 1034.64/1035.01 c 76289 435 5530 533816 96 66142 8028 5379 134 568.37 1034.64/1035.01 c 87655 435 7240 1208124 166 163772 8831 7089 136 644.15 1034.64/1035.01 c 104799 435 6313 1035500 164 278818 9715 6162 101 1032.99 1034.64/1035.01 o 12586 1044.65/1045.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1044.65/1045.03 c 105085 435 6825 1106611 162 236692 3349 6674 101 1034.67 1044.65/1045.03 c 105185 435 2020 261316 129 58557 3684 1869 101 1040.66 1044.65/1045.03 c 105435 435 2460 334347 135 108043 4053 2309 101 1042.93 1044.65/1045.03 o 12579 1128.52/1128.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1128.52/1128.93 c 105597 435 2800 381560 136 124723 3349 2649 101 1044.69 1128.52/1128.93 c 105700 435 2972 403224 135 137367 3684 2821 101 1046.31 1128.52/1128.93 c 105950 435 3386 429476 126 146753 4053 3235 100 1049.85 1128.52/1128.93 c 106425 435 4176 478425 114 161412 4459 4025 100 1056.53 1128.52/1128.93 c 107238 435 3107 195950 63 74743 4905 2956 100 1066.80 1128.52/1128.93 c 108561 435 3857 439496 113 60938 5396 3706 101 1073.27 1128.52/1128.93 c 110642 435 5537 649555 117 79717 5936 5386 102 1082.69 1128.52/1128.93 c 113866 435 4232 476238 112 258815 6530 4081 101 1127.06 1128.52/1128.93 o 12572 1797.98/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.61 c 113984 435 4461 499189 111 227156 3349 4310 100 1128.56 1797.98/1798.61 c 114084 435 2090 195227 93 77925 3684 1939 100 1132.45 1797.98/1798.61 c 114339 435 2813 287988 102 80827 4053 2662 100 1133.52 1797.98/1798.61 c 114814 435 3458 341626 98 98903 4459 3307 100 1136.86 1797.98/1798.61 c 115628 435 2406 152273 63 45852 4905 2255 101 1141.50 1797.98/1798.61 c 116948 435 4662 279116 59 92741 5396 4511 101 1148.39 1797.98/1798.61 c 119030 435 5228 270830 51 103520 5936 5077 102 1163.39 1797.98/1798.61 c 122254 435 3874 554329 143 35285 6530 3723 103 1177.22 1797.98/1798.61 c 127190 435 5883 795103 135 77590 7184 5732 105 1201.47 1797.98/1798.61 c 134696 435 6173 835984 135 25513 7903 6022 109 1232.66 1797.98/1798.61 c 146058 435 5131 847470 165 238024 8694 4980 107 1363.39 1797.98/1798.61 c 163204 435 8306 520606 62 181452 9564 8155 100 1619.42 1797.98/1798.61 c Resources Exceeded 1797.98/1798.61 v -x1 -x2 x3 x4 -x5 -x8 -x10 -x11 -x12 -x13 x14 x15 -x16 -x19 -x21 -x22 -x23 -x24 x25 x26 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x38 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x49 -x51 -x52 -x53 -x54 -x55 -x58 -x60 -x61 x62 x63 -x64 -x66 -x67 -x68 -x69 -x70 -x72 -x73 -x74 x75 x76 -x77 -x79 -x80 -x81 x82 x83 -x84 -x87 -x89 -x90 -x91 -x92 x93 x94 -x95 -x98 x100 -x101 -x102 x103 x104 -x105 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x117 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x128 x130 -x131 -x132 -x133 -x134 -x137 -x139 -x140 x141 x142 -x143 -x145 -x146 x147 x148 -x149 x151 -x152 -x153 x154 x155 -x156 -x158 -x159 -x160 -x161 -x162 x163 x164 -x167 -x168 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x217 x218 -x219 x220 x221 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 x232 x233 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x303 -x304 x305 x306 -x307 -x308 x309 -x310 -x311 -x312 x313 x314 -x316 -x317 x318 x319 x320 -x321 -x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x387 -x388 x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 x407 x408 -x409 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x425 -x426 x427 x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x449 x450 x451 -x452 -x453 -x454 -x455 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x474 -x475 x476 -x477 x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x6 -x7 -x9 -x500 x17 -x18 -x20 x501 x27 -x28 -x502 -x36 -x37 -x39 -x503 -x47 x48 -x50 x504 -x56 -x57 -x59 -x505 -x65 -x506 -x71 -x507 -x78 -x508 -x85 x86 -x88 x509 -x96 x97 -x99 x510 x106 -x107 x511 x115 -x116 -x118 x512 -x126 x127 -x129 x513 -x135 -x136 -x138 -x514 -x144 -x515 x150 x516 -x157 -x517 -x165 x166 x518 -x177 x178 x519 -x189 x190 x520 x203 -x204 -x521 x522 -x222 x223 x523 -x234 x235 x524 -x247 x248 -x525 x260 -x261 x526 -x274 x275 x527 x287 -x288 x528 x301 -x302 x529 x315 x530 x531 -x532 x341 x533 x350 x534 x360 -x535 -x372 x373 -x536 -x385 x386 x537 -x397 x398 x538 -x410 x411 x539 -x423 x424 x540 -x541 x440 x542 x448 x543 -x456 -x544 -x464 -x545 x473 x546 x481 -x547 x489 x548 1797.98/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.61 c 115 179848 17604 226275 9194 535603 9043 100 1798.00 1797.98/1798.61 c Objective: 12572 1797.98/1798.61 s SATISFIABLE 1797.98/1798.61 c Total time: 1798 s
OK 12572
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879983-1245133961/watcher-1879983-1245133961 -o /tmp/evaluation-result-1879983-1245133961/solver-1879983-1245133961 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879983-1245133961.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3085 /proc/meminfo: memFree=1684400/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=10712 CPUtime=0 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 180992805 10969088 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 2678 256 188 640 0 2034 0 [startup+0.066629 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3085 /proc/meminfo: memFree=1684400/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=11292 CPUtime=0.06 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 564 0 0 0 6 0 0 0 18 0 1 0 180992805 11563008 496 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 2823 496 290 640 0 2179 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11292 [startup+0.102635 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3085 /proc/meminfo: memFree=1684400/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=11424 CPUtime=0.1 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 605 0 0 0 10 0 0 0 18 0 1 0 180992805 11698176 537 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 2856 537 290 640 0 2212 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11424 [startup+0.302671 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3085 /proc/meminfo: memFree=1684400/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=12084 CPUtime=0.3 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 759 0 0 0 30 0 0 0 19 0 1 0 180992805 12374016 691 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 3021 691 290 640 0 2377 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12084 [startup+0.701745 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3085 /proc/meminfo: memFree=1684400/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=12880 CPUtime=0.69 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 977 0 0 0 69 0 0 0 22 0 1 0 180992805 13189120 909 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 3220 909 290 640 0 2576 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12880 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1681128/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=14468 CPUtime=1.49 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 1371 0 0 0 149 0 0 0 25 0 1 0 180992805 14815232 1303 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 3617 1303 290 640 0 2973 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14468 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1679528/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=16056 CPUtime=3.09 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 1755 0 0 0 309 0 0 0 25 0 1 0 180992805 16441344 1687 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 4014 1687 290 640 0 3370 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16056 [startup+6.30177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1678120/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=16752 CPUtime=6.28 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 29418 0 0 0 618 10 0 0 25 0 1 0 180992805 17154048 1741 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 4188 1742 291 640 0 3544 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16752 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1677360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=18040 CPUtime=12.69 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 61320 0 0 0 1244 25 0 0 25 0 1 0 180992805 18472960 2043 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 4510 2043 294 640 0 3866 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18040 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1676464/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=18732 CPUtime=25.48 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 94931 0 0 0 2508 40 0 0 25 0 1 0 180992805 19181568 2215 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 4683 2215 294 640 0 4039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18732 [startup+51.103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1674800/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=20052 CPUtime=51.07 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 138319 0 0 0 5043 64 0 0 25 0 1 0 180992805 20533248 2581 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 5013 2581 294 640 0 4369 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20052 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1673648/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=20716 CPUtime=102.26 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 222556 0 0 0 10120 106 0 0 25 0 1 0 180992805 21213184 2867 1992294400 134512640 137136520 4294956256 18446744073709551615 136502046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 5179 2867 294 640 0 4535 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20716 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660848/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33500 CPUtime=162.24 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358028 0 0 0 16055 169 0 0 25 0 1 0 180992805 34304000 6060 1992294400 134512640 137136520 4294956256 18446744073709551615 134728608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8375 6060 294 640 0 7731 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33500 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660848/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33500 CPUtime=222.21 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358028 0 0 0 22051 170 0 0 25 0 1 0 180992805 34304000 6060 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8375 6060 294 640 0 7731 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 33500 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660848/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33504 CPUtime=282.19 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358029 0 0 0 28046 173 0 0 25 0 1 0 180992805 34308096 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 134719084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8376 6061 294 640 0 7732 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 33504 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660784/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33504 CPUtime=342.18 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358029 0 0 0 34043 175 0 0 25 0 1 0 180992805 34308096 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8376 6061 294 640 0 7732 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33504 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660720/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33504 CPUtime=402.16 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358029 0 0 0 40038 178 0 0 25 0 1 0 180992805 34308096 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 134826782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8376 6061 294 640 0 7732 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 33504 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660720/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33504 CPUtime=462.14 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358029 0 0 0 46034 180 0 0 25 0 1 0 180992805 34308096 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8376 6061 294 640 0 7732 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33504 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660720/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33504 CPUtime=522.11 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 358029 0 0 0 52029 182 0 0 25 0 1 0 180992805 34308096 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8376 6061 294 640 0 7732 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 33504 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1660592/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=33752 CPUtime=582.1 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 361381 0 0 0 58023 187 0 0 25 0 1 0 180992805 34562048 6126 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8438 6126 294 640 0 7794 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 33752 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3086 /proc/meminfo: memFree=1658352/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=35828 CPUtime=642.08 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 593980 0 0 0 63909 299 0 0 25 0 1 0 180992805 36687872 6645 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 8957 6645 294 640 0 8313 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 35828 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45788 CPUtime=1121.91 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 111772 419 0 0 25 0 1 0 180992805 46886912 9090 1992294400 134512640 137136520 4294956256 18446744073709551615 135377180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11447 9090 294 640 0 10803 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 45788 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3088 /proc/meminfo: memFree=1648424/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1181.89 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 117768 421 0 0 25 0 1 0 180992805 46477312 9043 1992294400 134512640 137136520 4294956256 18446744073709551615 135213828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9043 294 640 0 10703 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 45388 [startup+1242.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 3088 /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1241.87 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 123762 425 0 0 25 0 1 0 180992805 46477312 9043 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9043 294 640 0 10703 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 45388 [startup+1302.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 3088 /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1301.86 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 129759 427 0 0 25 0 1 0 180992805 46477312 9043 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9043 294 640 0 10703 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 45388 [startup+1362.3 s] /proc/loadavg: 1.05 1.04 1.00 2/65 3088 /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1361.83 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 135754 429 0 0 25 0 1 0 180992805 46477312 9043 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9043 294 640 0 10703 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 45388 [startup+1422.31 s] /proc/loadavg: 1.05 1.04 1.00 2/65 3088 /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1421.81 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 141750 431 0 0 25 0 1 0 180992805 46477312 9043 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9043 294 640 0 10703 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 45388 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 3088 /proc/meminfo: memFree=1648496/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1481.79 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798403 0 0 0 147746 433 0 0 25 0 1 0 180992805 46477312 9043 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9043 294 640 0 10703 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 45388 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3088 /proc/meminfo: memFree=1648496/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1541.77 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 153742 435 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 45388 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3088 /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1601.75 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 159739 436 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 45388 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3088 /proc/meminfo: memFree=1648432/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1661.73 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 165734 439 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 45388 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1721.71 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 171730 441 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 45388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1781.68 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 177725 443 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 45388 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1791.29 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 178685 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 45388 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1794.48 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 179004 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 45388 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1796.08 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 179164 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 45388 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1796.88 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 179244 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 45388 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1797.68 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 179324 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134732448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 45388 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1797.88 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 179344 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 45388 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3094 /proc/meminfo: memFree=1648360/2055920 swapFree=4191900/4192956 [pid=3085] ppid=3083 vsize=45388 CPUtime=1797.98 /proc/3085/stat : 3085 (bsolo) R 3083 3085 2823 0 -1 4194304 798404 0 0 0 179354 444 0 0 25 0 1 0 180992805 46477312 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 134730302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3085/statm: 11347 9044 295 640 0 10703 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 45388 Child status: 0 Real time (s): 1798.62 CPU time (s): 1798.01 CPU user time (s): 1793.55 CPU system time (s): 4.45432 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 45788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.55 system time used= 4.45432 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 798406 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3501 runsolver used 1.14882 second user time and 3.9424 second system time The end
Begin job on node44 at 2009-06-16 08:32:41 IDJOB=1879983 IDBENCH=1866 IDSOLVER=701 FILE ID=node44/1879983-1245133961 PBS_JOBID= 9363718 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879983-1245133961/watcher-1879983-1245133961 -o /tmp/evaluation-result-1879983-1245133961/solver-1879983-1245133961 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879983-1245133961.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED=2131601728 node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 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.263 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: 1684816 kB Buffers: 46316 kB Cached: 242832 kB SwapCached: 260 kB Active: 42908 kB Inactive: 259552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1684816 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 21804 kB Slab: 54560 kB Committed_AS: 158840 kB PageTables: 1384 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= 65920 MiB End job on node44 at 2009-06-16 09:02:40