Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 82 | 1798 | 1798.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 1792.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 74 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657560-1276616295.opb 0.00/0.00 c File size is 10354 bytes. 0.00/0.00 c Highest Coefficient sum: 5454 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 172 14 1058 75 322 2116 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 643 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 0 172 15 1170 78 728 2340 1 0 0.00 0.01/0.06 c 100 172 115 7371 64 935 2575 101 6666 0.01 0.01/0.06 c 352 172 367 23498 64 1437 2833 353 7652 0.05 0.01/0.06 o 641 0.01/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.07 c 491 172 507 32346 63 1823 2340 493 7439 0.07 0.01/0.07 o 639 0.01/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.07 c 517 172 534 33731 63 1981 2340 520 7281 0.07 0.01/0.07 o 608 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 534 172 552 34952 63 2084 2340 538 7216 0.07 0.01/0.08 o 428 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 566 172 585 36508 62 2233 2340 571 7075 0.08 0.19/0.21 c 666 172 685 41386 60 2434 2575 671 7085 0.09 0.19/0.21 c 916 172 935 54656 58 2918 2833 921 6887 0.13 0.19/0.21 c 1391 172 1410 79633 56 3832 3117 1396 6785 0.20 0.19/0.21 o 418 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1424 172 1444 81059 56 3948 2340 1430 6716 0.21 0.19/0.21 o 416 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 1436 172 1457 82025 56 4060 2340 1443 6679 0.21 0.19/0.26 c 1536 172 1557 88537 56 4267 2575 1543 6592 0.23 0.19/0.26 o 414 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 1689 172 1711 96666 56 4684 2340 1697 6349 0.27 0.19/0.29 c 1791 172 1813 102467 56 4929 2575 1799 6197 0.29 0.19/0.29 o 391 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 1806 172 1829 103464 56 5022 2340 1815 6163 0.29 0.29/0.35 c 1906 172 1929 107423 55 5310 2575 1915 6108 0.31 0.29/0.35 o 390 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 2104 172 2128 118007 55 5720 2340 2114 5877 0.36 0.29/0.37 o 388 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2188 172 2213 121963 55 5985 2340 2199 5803 0.38 0.29/0.38 o 387 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 2224 172 2250 124995 55 6185 2340 2236 5761 0.39 0.59/0.60 c 2325 172 2351 129119 54 6423 2575 2337 5684 0.41 0.59/0.60 c 2575 172 1303 67861 52 3318 2833 1289 5421 0.47 0.59/0.60 c 3051 172 1779 95570 53 4269 3117 1765 5438 0.56 0.59/0.60 o 356 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 3279 172 2008 108810 54 4832 2340 1994 5455 0.60 0.59/0.60 o 342 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 3286 172 2016 109229 54 4944 2340 2002 5449 0.60 0.59/0.62 o 340 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 3371 172 2102 115498 54 5218 2340 2088 5445 0.62 0.59/0.64 c 3471 172 2202 119920 54 5430 2575 2188 5440 0.64 0.59/0.64 o 336 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 3519 172 2251 123332 54 5632 2340 2237 5438 0.65 0.59/0.66 o 258 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 3572 172 2305 125473 54 5817 2340 2291 5420 0.66 0.59/0.66 o 254 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 3582 172 2316 126310 54 5938 2340 2302 5410 0.66 0.59/0.68 o 252 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 3657 172 1185 68271 57 3078 2340 1171 5362 0.68 0.59/0.68 o 185 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 3685 172 1214 69304 57 3224 2340 1200 5356 0.69 0.59/0.69 o 183 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 3686 172 1216 69514 57 3338 2340 1202 5357 0.69 0.59/0.69 o 181 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 3695 172 1226 70347 57 3465 2340 1212 5347 0.69 0.69/0.77 c 3796 172 1327 77685 58 3674 2575 1313 5361 0.71 0.69/0.77 c 4046 172 1577 86761 55 4187 2833 1563 5430 0.74 0.69/0.77 o 180 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 4180 172 1712 93155 54 4550 2340 1698 5428 0.77 0.79/0.86 c 4280 172 1812 96539 53 4779 2575 1798 5459 0.78 0.79/0.86 c 4531 172 2063 107222 51 5270 2833 2049 5459 0.83 0.79/0.86 o 177 10.19/10.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.26 c 4693 172 2226 118307 53 5715 2340 2212 5444 0.86 10.19/10.26 c 4793 172 2326 121455 52 5902 2575 2312 5471 0.88 10.19/10.26 c 5043 172 2576 131567 51 6409 2833 2562 5469 0.92 10.19/10.26 c 5518 172 1587 70352 44 3888 3117 1573 5496 1.00 10.19/10.26 c 6331 172 2400 105544 43 5519 3429 2386 5543 1.14 10.19/10.26 c 7652 172 1945 82911 42 4608 3772 1931 5508 1.39 10.19/10.26 c 9733 172 2093 82020 39 4884 4150 2079 5471 1.78 10.19/10.26 c 12956 172 3207 122291 38 7104 4566 3193 5494 2.36 10.19/10.26 c 17893 172 3496 151779 43 7703 5023 3482 5104 3.50 10.19/10.26 c 25399 172 3320 151029 45 7357 5526 3306 4702 5.40 10.19/10.26 c 36760 172 3439 172629 50 7603 6079 3425 4327 8.49 10.19/10.26 o 176 10.29/10.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.32 c 43600 172 4099 197617 48 9036 2340 4085 4247 10.26 10.29/10.32 c 43700 172 1285 60490 47 3289 2575 1271 4235 10.32 10.29/10.32 o 174 29.28/29.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.28/29.34 c 43727 172 1313 61914 47 3464 2340 1299 4235 10.32 29.28/29.34 c 43827 172 1413 66740 47 3642 2575 1399 4237 10.34 29.28/29.34 c 44077 172 1663 78448 47 4161 2833 1649 4243 10.39 29.28/29.34 c 44552 172 2138 98739 46 5087 3117 2124 4253 10.47 29.28/29.34 c 45365 172 2951 135962 46 6720 3429 2937 4262 10.64 29.28/29.34 c 46685 172 2481 113878 45 5786 3772 2467 4272 10.93 29.28/29.34 c 48766 172 2628 105215 40 6079 4150 2614 4309 11.31 29.28/29.34 c 51990 172 3729 161653 43 8172 4566 3715 4345 11.96 29.28/29.34 c 56927 172 4014 173711 43 8731 5023 4000 4349 13.09 29.28/29.34 c 64434 172 3807 168731 44 8334 5526 3793 4322 14.91 29.28/29.34 c 75795 172 3886 178737 45 8493 6079 3872 4244 17.86 29.28/29.34 c 92939 172 5548 231721 41 11813 6687 5534 4215 22.05 29.28/29.34 c 118758 172 4154 192911 46 9020 7356 4140 4055 29.28 29.28/29.34 o 155 29.59/29.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.69 c 118963 172 4360 201109 46 9543 2340 4346 4055 29.33 29.59/29.69 c 119063 172 1285 56755 44 3247 2575 1271 4047 29.41 29.59/29.69 c 119313 172 1535 68001 44 3783 2833 1521 4049 29.46 29.59/29.69 c 119788 172 2010 88679 44 4738 3117 1996 4053 29.55 29.59/29.69 o 148 29.59/29.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.70 c 120456 172 2679 116929 43 6184 2340 2665 4058 29.68 29.59/29.70 o 146 29.59/29.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.70 c 120459 172 1189 51311 43 3204 2340 1175 4057 29.69 29.59/29.70 o 144 29.59/29.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.70 c 120460 172 1191 51505 43 3318 2340 1177 4057 29.69 29.59/29.70 o 140 29.69/29.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.69/29.74 c 120475 172 1207 52317 43 3460 2340 1193 4057 29.69 29.69/29.74 c 120576 172 1308 59213 45 3665 2575 1294 4057 29.71 29.69/29.74 o 132 29.88/29.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.88/29.90 c 120727 172 1460 64759 44 4074 2340 1446 4059 29.74 29.88/29.90 c 120827 172 1560 71275 45 4278 2575 1546 4060 29.76 29.88/29.90 c 121078 172 1811 86860 47 4778 2833 1797 4061 29.81 29.88/29.90 o 127 30.08/30.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.08/30.19 c 121507 172 2241 107092 47 5748 2340 2227 4064 29.90 30.08/30.19 c 121607 167 2341 110346 47 5949 2575 2327 4064 29.92 30.08/30.19 c 121858 165 2592 119867 46 6449 2833 2578 4066 29.97 30.08/30.19 c 122333 165 1585 71708 45 3881 3117 1571 4068 30.07 30.08/30.19 o 96 30.18/30.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.18/30.20 c 123031 165 2284 98117 42 5386 2326 2270 4075 30.19 30.18/30.20 o 92 30.18/30.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.18/30.20 c 123049 165 2303 98792 42 5523 2326 2289 4075 30.19 30.18/30.20 o 88 30.18/30.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.18/30.21 c 123056 165 2311 99166 42 5642 2326 2297 4075 30.19 30.18/30.21 o 86 30.18/30.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.18/30.22 c 123125 164 1185 46389 39 3072 2324 1171 4075 30.21 30.18/30.22 o 84 30.18/30.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.18/30.23 c 123160 164 1221 49080 40 3246 2324 1207 4075 30.22 30.18/30.23 o 82 1797.92/1798.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.57 c 123178 164 1240 50684 40 3386 2324 1226 4075 30.22 1797.92/1798.57 c 123278 164 1340 54201 40 3583 2557 1326 4077 30.24 1797.92/1798.57 c 123528 162 1590 63702 40 4081 2813 1576 4080 30.28 1797.92/1798.57 c 124003 162 2065 80722 39 5026 3095 2051 4084 30.36 1797.92/1798.57 c 124816 162 2878 111316 38 6658 3405 2864 4090 30.51 1797.92/1798.57 c 126138 160 2447 92142 37 5594 3746 2433 4096 30.79 1797.92/1798.57 c 128219 160 2615 98217 37 5929 4121 2601 4112 31.18 1797.92/1798.57 c 131442 160 3739 141879 37 8182 4534 3725 4128 31.84 1797.92/1798.57 c 136378 160 4041 155453 38 8780 4988 4027 4147 32.88 1797.92/1798.57 c 143884 160 3934 152292 38 8572 5487 3920 4171 34.49 1797.92/1798.57 c 155245 160 4137 149319 36 8976 6036 4123 4220 36.79 1797.92/1798.57 c 172389 160 5971 217336 36 12629 6640 5957 4266 40.40 1797.92/1798.57 c 198208 160 4884 194258 39 10455 7305 4870 4273 46.38 1797.92/1798.57 c 237040 160 6760 258421 38 14212 8036 6746 4252 55.74 1797.92/1798.57 c 295392 160 4195 176059 41 9088 8840 4181 4086 72.29 1797.92/1798.57 c 383024 160 7083 285270 40 14854 9725 7069 3756 101.97 1797.92/1798.57 c 514576 160 6271 237912 37 13236 10698 6257 3443 149.43 1797.92/1798.57 c 712008 160 9755 351005 35 20186 11768 9741 3227 220.61 1797.92/1798.57 c 1008260 159 9875 390990 39 20442 12945 9861 2948 341.91 1797.92/1798.57 c 1452742 159 11601 439488 37 23893 14240 11587 2628 552.60 1797.92/1798.57 c 2119569 159 12637 533202 42 25963 15665 12623 2451 864.45 1797.92/1798.57 c 3119915 159 13353 523066 39 27389 17232 13339 2267 1375.99 1797.92/1798.57 c Resources Exceeded 1797.92/1798.57 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 -x143 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 1797.92/1798.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.57 c 108 3887957 88324 3989295 11064 463740 11050 2162 1798.00 1797.92/1798.57 c Objective: 82 1797.92/1798.57 s SATISFIABLE 1797.92/1798.57 c Total time: 1798 s
OK 82
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657560-1276616295/watcher-2657560-1276616295 -o /tmp/evaluation-result-2657560-1276616295/solver-2657560-1276616295 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657560-1276616295.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/106 2710 /proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=18604 CPUtime=0 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 333 0 0 0 0 0 0 0 17 0 1 0 37233199 19050496 249 1992294400 134512640 137138936 4292169904 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4651 249 191 642 0 4007 0 [startup+0.0144219 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2710 /proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=18604 CPUtime=0.01 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 344 0 0 0 1 0 0 0 17 0 1 0 37233199 19050496 260 1992294400 134512640 137138936 4292169904 18446744073709551615 134609273 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4651 260 191 642 0 4007 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 18604 [startup+0.101432 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2710 /proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=11304 CPUtime=0.09 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 482 0 0 0 9 0 0 0 17 0 1 0 37233199 11575296 398 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 2826 398 191 642 0 2182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11304 [startup+0.301453 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2710 /proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=12332 CPUtime=0.29 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 714 0 0 0 29 0 0 0 17 0 1 0 37233199 12627968 630 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3083 630 191 642 0 2439 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12332 [startup+0.701497 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2710 /proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=12848 CPUtime=0.69 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 854 0 0 0 68 1 0 0 17 0 1 0 37233199 13156352 770 1992294400 134512640 137138936 4292169904 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3212 770 191 642 0 2568 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12848 [startup+1.50159 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2711 /proc/meminfo: memFree=1809312/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=13108 CPUtime=1.49 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 909 0 0 0 148 1 0 0 18 0 1 0 37233199 13422592 825 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3277 825 191 642 0 2633 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13108 [startup+3.10176 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2711 /proc/meminfo: memFree=1808816/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=13624 CPUtime=3.09 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1060 0 0 0 306 3 0 0 21 0 1 0 37233199 13950976 976 1992294400 134512640 137138936 4292169904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3406 976 191 642 0 2762 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13624 [startup+6.30112 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2711 /proc/meminfo: memFree=1807700/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=14652 CPUtime=6.29 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1304 0 0 0 624 5 0 0 25 0 1 0 37233199 15003648 1220 1992294400 134512640 137138936 4292169904 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3663 1220 191 642 0 3019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14652 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2711 /proc/meminfo: memFree=1806708/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=15164 CPUtime=12.69 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1434 0 0 0 1261 8 0 0 25 0 1 0 37233199 15527936 1350 1992294400 134512640 137138936 4292169904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3791 1350 191 642 0 3147 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15164 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2713 /proc/meminfo: memFree=1806584/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=15288 CPUtime=25.49 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1476 0 0 0 2536 13 0 0 25 0 1 0 37233199 15654912 1392 1992294400 134512640 137138936 4292169904 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3822 1392 191 642 0 3178 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15288 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2713 /proc/meminfo: memFree=1806212/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=15548 CPUtime=51.07 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1539 0 0 0 5080 27 0 0 25 0 1 0 37233199 15921152 1455 1992294400 134512640 137138936 4292169904 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 3887 1455 191 642 0 3243 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15548 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2715 /proc/meminfo: memFree=1805220/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=16516 CPUtime=102.26 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1786 0 0 0 10178 48 0 0 25 0 1 0 37233199 16912384 1702 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4129 1702 191 642 0 3485 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16516 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2715 /proc/meminfo: memFree=1804228/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=17524 CPUtime=162.23 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2036 0 0 0 16153 70 0 0 25 0 1 0 37233199 17944576 1952 1992294400 134512640 137138936 4292169904 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4381 1952 191 642 0 3737 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17524 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2717 /proc/meminfo: memFree=1803608/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=18032 CPUtime=222.22 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2149 0 0 0 22129 93 0 0 25 0 1 0 37233199 18464768 2065 1992294400 134512640 137138936 4292169904 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4508 2065 191 642 0 3864 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 18032 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2719 /proc/meminfo: memFree=1803112/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=18528 CPUtime=282.2 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2276 0 0 0 28107 113 0 0 25 0 1 0 37233199 18972672 2192 1992294400 134512640 137138936 4292169904 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4632 2192 191 642 0 3988 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18528 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2721 /proc/meminfo: memFree=1802740/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=18884 CPUtime=342.18 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2362 0 0 0 34087 131 0 0 25 0 1 0 37233199 19337216 2278 1992294400 134512640 137138936 4292169904 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4721 2278 191 642 0 4077 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 18884 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2723 /proc/meminfo: memFree=1802244/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=19400 CPUtime=402.16 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2494 0 0 0 40066 150 0 0 25 0 1 0 37233199 19865600 2410 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4850 2410 191 642 0 4206 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 19400 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2723 /proc/meminfo: memFree=1802244/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=19400 CPUtime=462.14 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2494 0 0 0 46043 171 0 0 25 0 1 0 37233199 19865600 2410 1992294400 134512640 137138936 4292169904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4850 2410 191 642 0 4206 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 19400 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2725 /proc/meminfo: memFree=1801748/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=19736 CPUtime=522.13 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2574 0 0 0 52024 189 0 0 25 0 1 0 37233199 20209664 2490 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4934 2490 191 642 0 4290 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 19736 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2727 /proc/meminfo: memFree=1801624/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=19936 CPUtime=582.11 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2623 0 0 0 58003 208 0 0 25 0 1 0 37233199 20414464 2539 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4984 2539 191 642 0 4340 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 19936 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2729 /proc/meminfo: memFree=1801624/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=19932 CPUtime=642.1 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2623 0 0 0 63982 228 0 0 25 0 1 0 37233199 20410368 2539 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 4983 2539 191 642 0 4339 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 19932 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1800384/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=20868 CPUtime=1061.96 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 105840 356 0 0 25 0 1 0 37233199 21368832 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5217 2779 191 642 0 4573 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 20868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2741 /proc/meminfo: memFree=1800384/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=20864 CPUtime=1121.93 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 111820 373 0 0 25 0 1 0 37233199 21364736 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5216 2779 191 642 0 4572 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 20864 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2743 /proc/meminfo: memFree=1800260/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=20864 CPUtime=1181.92 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 117804 388 0 0 25 0 1 0 37233199 21364736 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5216 2779 191 642 0 4572 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 20864 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2745 /proc/meminfo: memFree=1800136/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=20860 CPUtime=1241.9 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 123786 404 0 0 25 0 1 0 37233199 21360640 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5215 2779 191 642 0 4571 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 20860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2747 /proc/meminfo: memFree=1800012/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=20960 CPUtime=1301.89 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2907 0 0 0 129765 424 0 0 25 0 1 0 37233199 21463040 2800 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5240 2800 191 642 0 4596 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 20960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2747 /proc/meminfo: memFree=1799888/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=20960 CPUtime=1361.86 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2917 0 0 0 135742 444 0 0 25 0 1 0 37233199 21463040 2810 1992294400 134512640 137138936 4292169904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5240 2810 191 642 0 4596 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 20960 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2758 /proc/meminfo: memFree=1798772/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=21668 CPUtime=1421.84 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3084 0 0 0 141724 460 0 0 25 0 1 0 37233199 22188032 2977 1992294400 134512640 137138936 4292169904 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5417 2977 191 642 0 4773 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 21668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2760 /proc/meminfo: memFree=1798648/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=21780 CPUtime=1481.81 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3111 0 0 0 147704 477 0 0 25 0 1 0 37233199 22302720 3004 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5445 3004 191 642 0 4801 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 21780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2762 /proc/meminfo: memFree=1798276/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22288 CPUtime=1541.8 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3250 0 0 0 153686 494 0 0 25 0 1 0 37233199 22822912 3143 1992294400 134512640 137138936 4292169904 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5572 3143 191 642 0 4928 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 22288 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2764 /proc/meminfo: memFree=1798276/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22288 CPUtime=1601.78 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3250 0 0 0 159665 513 0 0 25 0 1 0 37233199 22822912 3143 1992294400 134512640 137138936 4292169904 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5572 3143 191 642 0 4928 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 22288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2764 /proc/meminfo: memFree=1798276/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22288 CPUtime=1661.76 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3250 0 0 0 165647 529 0 0 25 0 1 0 37233199 22822912 3143 1992294400 134512640 137138936 4292169904 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5572 3143 191 642 0 4928 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 22288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2766 /proc/meminfo: memFree=1798152/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1721.75 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 171628 547 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 22544 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1781.72 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 177608 564 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 22544 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1791.33 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 178565 568 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 22544 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1794.53 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 178884 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 22544 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1796.12 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179043 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (KiB) 22544 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1796.92 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179123 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (KiB) 22544 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1797.72 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179203 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 22544 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2768 /proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956 [pid=2710] ppid=2708 vsize=22544 CPUtime=1797.92 /proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179223 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134600264 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2710/statm: 5636 3201 191 642 0 4992 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 22544 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798 CPU user time (s): 1792.3 CPU system time (s): 5.70013 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 22544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.3 system time used= 5.70013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3309 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= 1 involuntary context switches= 5658 runsolver used 2.80457 second user time and 8.65668 second system time The end
Begin job on node005 at 2010-06-15 17:38:15 IDJOB=2657560 IDBENCH=2924 IDSOLVER=1163 FILE ID=node005/2657560-1276616295 PBS_JOBID= 11172290 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657560-1276616295/watcher-2657560-1276616295 -o /tmp/evaluation-result-2657560-1276616295/solver-2657560-1276616295 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657560-1276616295.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=2082917389 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812460 kB Buffers: 65584 kB Cached: 98840 kB SwapCached: 6800 kB Active: 92632 kB Inactive: 86028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812460 kB SwapTotal: 4192956 kB SwapFree: 4140532 kB Dirty: 4040 kB Writeback: 16 kB AnonPages: 11708 kB Mapped: 13196 kB Slab: 46192 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181472 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node005 at 2010-06-15 18:08:13