Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 75 | 1798 | 1798.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1792.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
Number of bits of the biggest sum of numbers | 13 |
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: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3734927-1338717956.opb 0.00/0.00 c File size is 13239 bytes. 0.00/0.00 c Highest Coefficient sum: 6162 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 198 Constr: 16 0/0/16 Lit: 1364 Watch. Lit: 392 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1364 85 398 2728 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1039 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 198 17 1492 87 919 2984 1 0 0.00 0.00/0.02 c 100 198 120 10271 85 1162 3283 104 4545 0.02 0.00/0.02 o 872 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 101 198 122 10463 85 1255 2984 106 4391 0.02 0.00/0.02 o 792 0.05/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.05 c 101 198 123 10591 86 1354 2984 107 4391 0.02 0.05/0.05 c 202 198 229 19981 87 1614 3283 213 4809 0.04 0.05/0.05 o 786 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 278 198 310 25642 82 1942 2984 294 4964 0.06 0.05/0.07 o 776 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 366 198 400 32346 80 2248 2984 384 4880 0.07 0.05/0.07 o 757 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 373 198 408 32941 80 2340 2984 392 4844 0.08 0.05/0.07 o 755 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 379 198 415 33560 80 2469 2984 399 4858 0.08 0.05/0.09 o 733 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 440 198 479 38491 80 2726 2984 463 4835 0.09 0.09/0.11 c 540 198 583 45030 77 3014 3283 567 4778 0.11 0.09/0.11 o 380 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 540 198 584 45158 77 2993 2984 568 4736 0.11 0.09/0.11 o 378 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 542 198 587 45454 77 3103 2984 571 4754 0.11 0.09/0.12 o 376 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 574 198 620 48478 78 3138 2984 604 4704 0.12 0.09/0.13 o 297 1.69/1.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.75 c 635 198 683 51061 74 3297 2984 667 4774 0.13 1.69/1.75 c 735 198 786 56653 72 3563 3283 770 4835 0.15 1.69/1.75 c 987 198 1041 69945 67 4059 3612 1025 4959 0.20 1.69/1.75 c 1462 198 1529 96248 62 5154 3974 1513 5184 0.28 1.69/1.75 c 2276 198 2347 142115 60 6822 4372 2331 5002 0.46 1.69/1.75 c 3596 198 3674 209200 56 9472 4810 3658 4859 0.74 1.69/1.75 c 5677 198 3340 183768 55 7679 5292 3324 4581 1.24 1.69/1.75 o 295 2.09/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.13 c 7576 198 5270 305532 57 11912 2984 5254 4334 1.75 2.09/2.13 c 7676 198 1611 101805 63 4228 3283 1595 4322 1.78 2.09/2.13 c 7927 198 1868 116985 62 4766 3612 1852 4360 1.82 2.09/2.13 c 8403 198 2355 144668 61 5855 3974 2339 4390 1.91 2.09/2.13 c 9216 198 3185 188159 59 7654 4372 3169 4445 2.07 2.09/2.13 o 288 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 9475 198 3449 203955 59 8347 2984 3433 4435 2.14 2.09/2.19 c 9575 198 1610 89212 55 4172 3283 1594 4434 2.16 2.09/2.19 o 286 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 9706 198 1749 97712 55 4622 2984 1733 4431 2.19 2.19/2.23 c 9806 198 1851 103063 55 4830 3283 1835 4435 2.21 2.19/2.23 o 284 2.19/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.28 c 9912 198 1970 109802 55 5265 2984 1954 4434 2.23 2.19/2.28 c 10012 198 2071 114863 55 5472 3283 2055 4432 2.26 2.19/2.28 o 282 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 10106 198 2178 122916 56 5854 2984 2162 4430 2.28 2.19/2.29 o 235 2.58/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.65 c 10188 198 2261 126262 55 6129 2984 2245 4439 2.29 2.58/2.65 c 10291 198 2365 131434 55 6355 3283 2349 4443 2.32 2.58/2.65 c 10541 198 2618 143057 54 6873 3612 2602 4460 2.36 2.58/2.65 c 11016 198 3102 168004 54 7865 3974 3086 4468 2.46 2.58/2.65 c 11829 198 3928 207262 52 9539 4372 3912 4475 2.64 2.58/2.65 o 210 2.58/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.65 c 11846 198 3947 208248 52 9680 2984 3931 4471 2.65 2.58/2.65 o 206 3.08/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.18 c 11861 198 1525 75986 49 4077 2984 1509 4464 2.66 3.08/3.18 c 11961 198 1629 82767 50 4283 3283 1613 4466 2.68 3.08/3.18 c 12211 198 1886 96617 51 4825 3612 1870 4466 2.73 3.08/3.18 c 12686 198 2371 121320 51 5834 3974 2355 4481 2.83 3.08/3.18 c 13499 198 3201 162763 50 7481 4372 3185 4504 3.00 3.08/3.18 o 205 3.19/3.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.21 c 14347 198 4071 211027 51 9433 2984 4055 4505 3.18 3.19/3.21 c 14447 198 1609 85275 52 4195 3283 1593 4502 3.21 3.19/3.21 o 195 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 14459 198 1622 86063 53 4321 2984 1606 4501 3.21 3.19/3.22 o 185 3.19/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.23 c 14507 198 1674 89014 53 4563 2984 1658 4501 3.22 3.19/3.23 o 179 3.19/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.24 c 14540 198 1708 90739 53 4752 2984 1692 4501 3.23 3.19/3.24 o 177 16.59/16.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.59/16.63 c 14576 198 1745 93277 53 4952 2984 1729 4501 3.24 16.59/16.63 c 14676 198 1846 98641 53 5156 3283 1830 4505 3.26 16.59/16.63 c 14926 198 2097 108841 51 5657 3612 2081 4527 3.30 16.59/16.63 c 15401 198 2576 131428 51 6614 3974 2560 4531 3.40 16.59/16.63 c 16214 198 3395 170384 50 8262 4372 3379 4543 3.57 16.59/16.63 c 17534 198 2498 128690 51 6124 4810 2482 4526 3.87 16.59/16.63 c 19615 198 4619 244159 52 10453 5292 4603 4477 4.38 16.59/16.63 c 22838 198 5215 258361 49 11490 5822 5199 4490 5.09 16.59/16.63 c 27774 198 4261 219044 51 9426 6405 4245 4389 6.33 16.59/16.63 c 35282 198 5307 272138 51 11583 7046 5291 4330 8.15 16.59/16.63 c 46643 198 6082 295846 48 13070 7751 6066 4196 11.11 16.59/16.63 c 63787 198 7710 386096 50 16326 8527 7694 4100 15.56 16.59/16.63 o 158 17.78/17.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.78/17.88 c 67760 198 7414 413003 55 16379 2984 7398 4075 16.62 17.78/17.88 c 67860 198 1609 101954 63 4265 3283 1593 4071 16.67 17.78/17.88 c 68110 198 1861 114512 61 4766 3612 1845 4072 16.72 17.78/17.88 c 68585 198 2341 135907 58 5726 3974 2325 4079 16.81 17.78/17.88 c 69398 198 3168 173285 54 7377 4372 3152 4092 16.96 17.78/17.88 c 70722 198 2233 105597 47 5381 4810 2217 4100 17.25 17.78/17.88 c 72803 198 4353 204668 47 9663 5292 4337 4124 17.65 17.78/17.88 o 157 17.88/17.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.88/17.92 c 73749 198 2663 135040 50 6443 2984 2647 4123 17.88 17.88/17.92 c 73849 198 2764 139662 50 6651 3283 2748 4124 17.91 17.88/17.92 o 155 20.29/20.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.29/20.35 c 73919 198 2840 144893 51 6946 2984 2824 4124 17.92 20.29/20.35 c 74020 198 2942 148888 50 7145 3283 2926 4126 17.94 20.29/20.35 c 74270 198 3218 161298 50 7693 3612 3202 4131 17.98 20.29/20.35 c 74745 198 1863 92801 49 4644 3974 1847 4140 18.05 20.29/20.35 c 75558 198 2677 129247 48 6274 4372 2661 4153 18.19 20.29/20.35 c 76878 198 4005 195059 48 8931 4810 3989 4169 18.44 20.29/20.35 c 78959 198 3610 184763 51 8117 5292 3594 4172 18.92 20.29/20.35 c 82182 198 4130 201466 48 9188 5822 4114 4192 19.60 20.29/20.35 o 90 20.29/20.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.29/20.36 c 85507 198 4512 226671 50 10298 2984 4496 4202 20.35 20.29/20.36 o 86 166.96/167.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.96/167.06 c 85509 197 1512 83001 54 4240 2982 1496 4200 20.36 166.96/167.06 c 85609 194 1612 88936 55 4425 3281 1596 4201 20.37 166.96/167.06 c 85859 190 1864 100283 53 4929 3610 1848 4205 20.42 166.96/167.06 c 86334 190 2340 118954 50 5876 3972 2324 4211 20.50 166.96/167.06 c 87147 189 3156 152844 48 7508 4370 3140 4218 20.66 166.96/167.06 c 88467 189 2236 91519 40 5358 4808 2220 4227 20.93 166.96/167.06 c 90548 188 4328 179964 41 9539 5289 4312 4248 21.32 166.96/167.06 c 93771 188 4891 204064 41 10658 5818 4875 4277 21.92 166.96/167.06 c 98707 188 3947 165355 41 8798 6400 3931 4309 22.91 166.96/167.06 c 106213 188 4994 214712 42 10872 7041 4978 4364 24.34 166.96/167.06 c 117574 185 5675 239891 42 12237 7746 5659 4414 26.64 166.96/167.06 c 134718 185 7323 330546 45 15534 8521 7307 4405 30.58 166.96/167.06 c 160537 184 7598 327926 43 16081 9374 7582 4416 36.35 166.96/167.06 c 199369 184 9061 405690 44 19002 10312 9045 4433 44.97 166.96/167.06 c 257721 184 5669 248003 43 12220 11344 5653 4377 58.88 166.96/167.06 c 345354 184 8735 454181 51 18356 12479 8719 4213 81.95 166.96/167.06 c 476906 183 9195 418415 45 19282 13727 9179 4070 117.17 166.96/167.06 o 81 166.96/167.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.96/167.08 c 673084 182 7151 320302 44 15300 2952 7135 4029 167.03 166.96/167.08 o 77 166.96/167.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.96/167.09 c 673096 182 1522 62938 41 4014 2952 1506 4029 167.05 166.96/167.09 o 75 1797.91/1798.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.28 c 673192 182 1620 70426 43 4320 2952 1604 4029 167.07 1797.91/1798.28 c 673292 182 1723 76713 44 4547 3248 1707 4029 167.09 1797.91/1798.28 c 673542 182 1974 88436 44 5046 3573 1958 4029 167.14 1797.91/1798.28 c 674017 182 2449 110741 45 6002 3931 2433 4030 167.22 1797.91/1798.28 c 674830 182 3262 149312 45 7622 4325 3246 4031 167.38 1797.91/1798.28 c 676150 182 2369 112284 47 5600 4758 2353 4032 167.66 1797.91/1798.28 c 678231 182 4451 207012 46 9771 5234 4435 4035 168.06 1797.91/1798.28 c 681454 182 5008 230153 45 10879 5758 4992 4039 168.72 1797.91/1798.28 c 686391 182 4096 188494 46 9041 6334 4080 4044 169.71 1797.91/1798.28 c 693897 182 5167 234054 45 11199 6968 5151 4052 171.22 1797.91/1798.28 c 705259 182 5925 255109 43 12714 7665 5909 4063 173.54 1797.91/1798.28 c 722403 182 7557 337179 44 15974 8432 7541 4080 177.04 1797.91/1798.28 c 748222 182 7780 362811 46 16416 9276 7764 4094 182.72 1797.91/1798.28 c 787055 182 9158 410657 44 19170 10204 9142 4114 191.28 1797.91/1798.28 c 845407 182 5750 255240 44 12348 11225 5734 4142 204.07 1797.91/1798.28 c 933040 182 8517 375873 44 17893 12348 8501 4173 223.56 1797.91/1798.28 c 1064593 182 9585 452645 47 20028 13583 9569 4177 254.87 1797.91/1798.28 c 1262025 182 8840 363382 41 18549 14942 8824 4197 300.69 1797.91/1798.28 c 1558277 182 12122 602939 49 25112 16437 12106 4108 379.31 1797.91/1798.28 c 2002759 182 10954 495318 45 22773 18081 10938 4047 494.79 1797.91/1798.28 c 2669586 182 15216 679845 44 31299 19890 15200 3895 685.37 1797.91/1798.28 c 3669931 182 17366 797695 45 35598 21880 17350 3718 986.88 1797.91/1798.28 c 5170553 182 16276 711797 43 33417 24069 16260 3555 1454.21 1797.91/1798.28 c Resources Exceeded 1797.91/1798.28 v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 -x134 x135 x136 x137 -x138 x139 x140 x141 x142 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 x179 x180 x181 x182 -x183 -x184 -x185 -x186 x187 x188 -x189 x190 x191 -x192 x193 x194 -x195 -x196 -x197 x198 x143 1797.91/1798.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.28 c 121 6274796 204498 6517815 17306 801665 17290 3489 1798.00 1797.91/1798.28 c Objective: 75 1797.91/1798.28 s SATISFIABLE 1797.91/1798.28 c Total time: 1798 s
OK 75
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734927-1338717956/watcher-3734927-1338717956 -o /tmp/evaluation-result-3734927-1338717956/solver-3734927-1338717956 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734927-1338717956.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.30 2.11 1.96 3/176 1153 /proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=18604 CPUtime=0 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 304 0 0 0 0 0 0 0 20 0 1 0 337921101 19050496 254 33554432000 134512640 137136520 4290691232 4290689512 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 4651 254 196 641 0 4007 0 [startup+0.052503 s] /proc/loadavg: 2.30 2.11 1.96 3/176 1153 /proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=11036 CPUtime=0.05 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 381 0 0 0 5 0 0 0 20 0 1 0 337921101 11300864 331 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 2759 331 197 641 0 2115 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11036 [startup+0.100259 s] /proc/loadavg: 2.30 2.11 1.96 3/176 1153 /proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=11276 CPUtime=0.09 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 447 0 0 0 9 0 0 0 20 0 1 0 337921101 11546624 397 33554432000 134512640 137136520 4290691232 4290689904 134617004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 2819 397 197 641 0 2175 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11276 [startup+0.300222 s] /proc/loadavg: 2.30 2.11 1.96 3/176 1153 /proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=12256 CPUtime=0.29 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 671 0 0 0 29 0 0 0 20 0 1 0 337921101 12550144 621 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 3064 621 197 641 0 2420 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12256 [startup+0.700219 s] /proc/loadavg: 2.30 2.11 1.96 3/176 1153 /proc/meminfo: memFree=27257120/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=13740 CPUtime=0.69 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1043 0 0 0 69 0 0 0 20 0 1 0 337921101 14069760 993 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 3435 993 197 641 0 2791 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13740 [startup+1.50016 s] /proc/loadavg: 2.30 2.11 1.96 3/177 1154 /proc/meminfo: memFree=27253036/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=14836 CPUtime=1.49 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 337921101 15192064 1272 33554432000 134512640 137136520 4290691232 4290689900 136295552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 3709 1272 197 641 0 3065 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14836 [startup+3.10022 s] /proc/loadavg: 2.30 2.11 1.96 3/177 1154 /proc/meminfo: memFree=27251888/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=15320 CPUtime=3.08 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1432 0 0 0 308 0 0 0 20 0 1 0 337921101 15687680 1382 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 3830 1382 197 641 0 3186 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15320 [startup+6.30023 s] /proc/loadavg: 2.28 2.10 1.96 3/177 1154 /proc/meminfo: memFree=27253936/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=15320 CPUtime=6.29 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1432 0 0 0 628 1 0 0 20 0 1 0 337921101 15687680 1382 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 3830 1382 197 641 0 3186 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15320 [startup+12.7002 s] /proc/loadavg: 2.26 2.10 1.96 3/177 1154 /proc/meminfo: memFree=27252092/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=16544 CPUtime=12.69 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1757 0 0 0 1266 3 0 0 20 0 1 0 337921101 16941056 1707 33554432000 134512640 137136520 4290691232 4290690160 134543834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 4136 1707 197 641 0 3492 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16544 [startup+25.5002 s] /proc/loadavg: 2.27 2.11 1.97 3/177 1154 /proc/meminfo: memFree=27251732/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=17280 CPUtime=25.48 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 1940 0 0 0 2541 7 0 0 20 0 1 0 337921101 17694720 1888 33554432000 134512640 137136520 4290691232 4290690272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 4320 1888 197 641 0 3676 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17280 [startup+51.1002 s] /proc/loadavg: 2.18 2.10 1.97 3/177 1154 /proc/meminfo: memFree=27250676/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=18632 CPUtime=51.08 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 2283 0 0 0 5093 15 0 0 20 0 1 0 337921101 19079168 2230 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 4658 2230 197 641 0 4014 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18632 [startup+102.307 s] /proc/loadavg: 2.17 2.12 1.98 3/177 1154 /proc/meminfo: memFree=27247636/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=21840 CPUtime=102.28 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3075 0 0 0 10201 27 0 0 20 0 1 0 337921101 22364160 3021 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5460 3021 197 641 0 4816 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 21840 [startup+162.3 s] /proc/loadavg: 2.06 2.09 1.98 3/177 1154 /proc/meminfo: memFree=27247324/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=21556 CPUtime=162.26 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3077 0 0 0 16183 43 0 0 20 0 1 0 337921101 22073344 2968 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5389 2968 197 641 0 4745 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 21556 [startup+222.3 s] /proc/loadavg: 2.02 2.07 1.98 3/177 1202 /proc/meminfo: memFree=27256884/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=21524 CPUtime=222.25 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3077 0 0 0 22167 58 0 0 20 0 1 0 337921101 22040576 2960 33554432000 134512640 137136520 4290691232 4290690160 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5381 2960 197 641 0 4737 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 21524 [startup+282.3 s] /proc/loadavg: 2.01 2.06 1.98 3/178 1206 /proc/meminfo: memFree=27254020/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=21524 CPUtime=282.24 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3077 0 0 0 28150 74 0 0 20 0 1 0 337921101 22040576 2960 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5381 2960 197 641 0 4737 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 21524 [startup+342.3 s] /proc/loadavg: 2.00 2.04 1.98 3/177 1206 /proc/meminfo: memFree=27252848/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=21992 CPUtime=342.24 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3178 0 0 0 34133 91 0 0 20 0 1 0 337921101 22519808 3061 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5498 3061 197 641 0 4854 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 21992 [startup+402.3 s] /proc/loadavg: 2.00 2.03 1.98 3/177 1206 /proc/meminfo: memFree=27250864/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=22812 CPUtime=402.22 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3392 0 0 0 40118 104 0 0 20 0 1 0 337921101 23359488 3275 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5703 3275 197 641 0 5059 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 22812 [startup+462.3 s] /proc/loadavg: 2.00 2.03 1.98 3/177 1206 /proc/meminfo: memFree=27250988/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=22812 CPUtime=462.21 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3392 0 0 0 46103 118 0 0 20 0 1 0 337921101 23359488 3275 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5703 3275 197 641 0 5059 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 22812 [startup+522.3 s] /proc/loadavg: 2.00 2.02 1.98 3/177 1206 /proc/meminfo: memFree=27250304/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=23904 CPUtime=522.2 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3662 0 0 0 52086 134 0 0 20 0 1 0 337921101 24477696 3544 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 5976 3544 197 641 0 5332 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 23904 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.98 3/177 1207 /proc/meminfo: memFree=27249808/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=24272 CPUtime=582.19 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 3751 0 0 0 58072 147 0 0 20 0 1 0 337921101 24854528 3633 33554432000 134512640 137136520 4290691232 4290690128 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6068 3633 197 641 0 5424 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 24272 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27244720/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=27072 CPUtime=1122.11 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 111943 268 0 0 20 0 1 0 337921101 27721728 4337 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6768 4337 197 641 0 6124 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 27072 [startup+1182.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 1213 /proc/meminfo: memFree=27244224/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=27024 CPUtime=1182.1 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 117930 280 0 0 20 0 1 0 337921101 27672576 4335 33554432000 134512640 137136520 4290691232 4290689168 134572143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6756 4335 197 641 0 6112 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 27024 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 1213 /proc/meminfo: memFree=27243540/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=27020 CPUtime=1242.1 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 123919 291 0 0 20 0 1 0 337921101 27668480 4334 33554432000 134512640 137136520 4290691232 4290689912 136502025 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6755 4334 197 641 0 6111 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 27020 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 1213 /proc/meminfo: memFree=27243540/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=26916 CPUtime=1302.09 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4500 0 0 0 129906 303 0 0 20 0 1 0 337921101 27561984 4308 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6729 4308 197 641 0 6085 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 26916 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1213 /proc/meminfo: memFree=27244184/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=27064 CPUtime=1362.07 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4526 0 0 0 135892 315 0 0 20 0 1 0 337921101 27713536 4334 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6766 4334 197 641 0 6122 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 27064 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1214 /proc/meminfo: memFree=27242996/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=27456 CPUtime=1422.07 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4626 0 0 0 141879 328 0 0 20 0 1 0 337921101 28114944 4433 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 6864 4433 197 641 0 6220 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 27456 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1218 /proc/meminfo: memFree=27241376/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28216 CPUtime=1482.06 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4826 0 0 0 147864 342 0 0 20 0 1 0 337921101 28893184 4633 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7054 4633 197 641 0 6410 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 28216 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 1218 /proc/meminfo: memFree=27241384/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28444 CPUtime=1542.05 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4918 0 0 0 153849 356 0 0 20 0 1 0 337921101 29126656 4690 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7111 4690 197 641 0 6467 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 28444 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 1218 /proc/meminfo: memFree=27241384/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28368 CPUtime=1602.03 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 4951 0 0 0 159835 368 0 0 20 0 1 0 337921101 29048832 4671 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7092 4671 197 641 0 6448 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 28368 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 1218 /proc/meminfo: memFree=27241012/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28776 CPUtime=1662.03 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 165821 382 0 0 20 0 1 0 337921101 29466624 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7194 4765 197 641 0 6550 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 28776 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1218 /proc/meminfo: memFree=27241136/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28752 CPUtime=1722.02 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 171806 396 0 0 20 0 1 0 337921101 29442048 4765 33554432000 134512640 137136520 4290691232 4290690272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7188 4765 197 641 0 6544 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 28752 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1218 /proc/meminfo: memFree=27240772/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1782.01 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 177792 409 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 28744 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1791.61 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 178750 411 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 28744 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1794.82 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179070 412 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1794.82 Current children cumulated vsize (KiB) 28744 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1796.41 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179229 412 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (KiB) 28744 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1797.2 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179308 412 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1797.2 Current children cumulated vsize (KiB) 28744 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1797.61 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179348 413 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 28744 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1797.81 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179368 413 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 28744 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1219 /proc/meminfo: memFree=27240764/32873844 swapFree=7384/7384 [pid=1153] ppid=1151 vsize=28744 CPUtime=1797.91 cores=1,3,5,7 /proc/1153/stat : 1153 (bsolo) R 1151 1153 797 0 -1 4202496 5045 0 0 0 179378 413 0 0 20 0 1 0 337921101 29433856 4765 33554432000 134512640 137136520 4290691232 4290690348 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1153/statm: 7186 4765 197 641 0 6542 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 28744 Child status: 0 Real time (s): 1798.28 CPU time (s): 1798 CPU user time (s): 1793.87 CPU system time (s): 4.13037 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 28780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.87 system time used= 4.13037 maximum resident set size= 19064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5047 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= 9 involuntary context switches= 1866 runsolver used 2.57761 second user time and 7.2499 second system time The end
Begin job on node136 at 2012-06-03 12:05:56 IDJOB=3734927 IDBENCH=2920 IDSOLVER=2320 FILE ID=node136/3734927-1338717956 RUNJOBID= node136-1338714359-814 PBS_JOBID= 14636754 Free space on /tmp= 69816 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734927-1338717956/watcher-3734927-1338717956 -o /tmp/evaluation-result-3734927-1338717956/solver-3734927-1338717956 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734927-1338717956.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1041877234 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27257756 kB Buffers: 1255680 kB Cached: 3422532 kB SwapCached: 20316 kB Active: 2694504 kB Inactive: 2028440 kB Active(anon): 17244 kB Inactive(anon): 22312 kB Active(file): 2677260 kB Inactive(file): 2006128 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67083208 kB Dirty: 3888 kB Writeback: 0 kB AnonPages: 43724 kB Mapped: 10316 kB Shmem: 0 kB Slab: 751828 kB SReclaimable: 192936 kB SUnreclaim: 558892 kB KernelStack: 1472 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 155356 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734927-1338717956.opb Free space on /tmp at the end= 69812 MiB End job on node136 at 2012-06-03 12:35:55