Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 21 | 1800.03 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
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 | 75 |
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 | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433534-1177960766/instance-433534-1177960766.opb 0.00/0.00 c File size is 10372 bytes. 0.00/0.00 c Highest Coefficient sum: 5104 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 301 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 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 1060 75 310 2120 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 1159 0.005 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 172 15 1172 78 724 2344 1 0 0.01 0.00/0.02 c 102 172 117 9539 81 923 2579 103 6375 0.02 0.00/0.02 o 482 0.017 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 114 172 130 10510 80 1024 2344 116 6705 0.02 0.00/0.07 c 214 172 230 16730 72 1213 2579 216 7925 0.03 0.00/0.07 c 464 172 480 33302 69 1711 2837 466 9280 0.05 0.00/0.07 o 477 0.069 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 640 172 657 46568 70 2167 2344 643 9275 0.07 0.00/0.09 c 740 172 757 53700 70 2369 2579 743 9024 0.08 0.00/0.09 o 400 0.087 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 782 172 800 55986 69 2519 2344 786 8988 0.09 0.09/0.10 c 882 172 900 61024 67 2736 2579 886 9092 0.10 0.09/0.10 o 392 0.102 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 926 172 945 63621 67 2888 2344 931 9078 0.10 0.09/0.13 c 1027 172 1046 68871 65 3115 2579 1032 9169 0.11 0.09/0.13 o 380 0.132 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 1179 172 1199 77118 64 3523 2344 1185 8864 0.13 0.29/0.33 c 1281 172 1301 82794 63 3744 2579 1287 8655 0.15 0.29/0.33 c 1531 172 1551 98890 63 4253 2837 1537 8320 0.18 0.29/0.33 c 2006 172 2026 120716 59 5215 3121 2012 8187 0.24 0.29/0.33 o 358 0.329 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 2571 172 2592 150651 58 6405 2344 2578 7814 0.33 0.29/0.34 o 356 0.344 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 2654 172 1271 68822 54 3359 2344 1257 7715 0.34 0.29/0.36 c 2754 172 1371 73766 53 3552 2579 1357 7779 0.35 0.29/0.36 o 331 0.362 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 2830 172 1448 77473 53 3788 2344 1434 7817 0.36 0.29/0.39 c 2931 172 1549 83345 53 3991 2579 1535 7836 0.37 0.29/0.39 o 327 0.391 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 3040 172 1659 90831 54 4346 2344 1645 7774 0.39 0.39/0.45 c 3141 172 1760 97862 55 4536 2579 1746 7698 0.41 0.39/0.45 c 3391 172 2010 108559 54 5045 2837 1996 7706 0.44 0.39/0.45 o 245 0.449 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 3456 172 2076 111638 53 5247 2344 2062 7697 0.45 0.39/0.46 o 197 0.46 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 3530 172 2151 114729 53 5485 2344 2137 7673 0.46 0.39/0.46 o 195 0.464 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 3556 172 2178 115759 53 5626 2344 2164 7663 0.46 0.39/0.47 o 193 0.467 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 3570 172 2193 116827 53 5757 2344 2179 7644 0.47 0.39/0.49 c 3670 172 2293 120670 52 6029 2579 2279 7645 0.48 0.39/0.49 o 191 0.486 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 3705 172 2329 122457 52 6132 2344 2315 7623 0.49 0.69/0.73 c 3805 172 1211 60354 49 3118 2579 1197 7549 0.50 0.69/0.73 c 4057 172 1463 71079 48 3632 2837 1449 7669 0.53 0.69/0.73 c 4534 172 1940 98945 51 4589 3121 1926 7684 0.59 0.69/0.73 c 5347 172 2753 142669 51 6214 3434 2739 7595 0.70 0.69/0.73 o 178 0.731 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 5487 172 2894 149415 51 6602 2344 2880 7506 0.73 0.69/0.78 c 5588 172 1288 71580 55 3287 2579 1274 7460 0.75 0.69/0.78 c 5838 172 1538 88186 57 3756 2837 1524 7513 0.78 0.69/0.78 o 165 0.784 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 5932 172 1633 91450 56 4084 2344 1619 7556 0.79 0.69/0.78 o 157 0.785 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 5935 172 1637 91774 56 4201 2344 1623 7560 0.79 1.29/1.37 c 6036 172 1738 96457 55 4394 2579 1724 7554 0.80 1.29/1.37 c 6286 172 1988 108422 54 4912 2837 1974 7519 0.84 1.29/1.37 c 6761 172 2463 130088 52 5859 3121 2449 7437 0.91 1.29/1.37 c 7574 172 1652 77692 47 4017 3434 1638 7152 1.06 1.29/1.37 c 8894 172 2972 137572 46 6657 3778 2958 7053 1.26 1.29/1.37 o 155 1.373 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 9518 172 3597 167815 46 8016 2344 3583 6932 1.37 1.59/1.68 c 9618 172 1287 59276 46 3251 2579 1273 6874 1.40 1.59/1.68 c 9870 172 1539 71921 46 3796 2837 1525 6906 1.43 1.59/1.68 c 10347 172 2016 90815 45 4752 3121 2002 6977 1.48 1.59/1.68 c 11160 172 2829 126207 44 6371 3434 2815 7010 1.59 1.59/1.68 o 150 1.68 1.69/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.70 c 11723 172 3393 154623 45 7606 2344 3379 6977 1.68 1.69/1.70 o 148 1.698 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 11743 172 1208 56989 47 3235 2344 1194 6915 1.70 1.89/1.94 c 11844 172 1309 61296 46 3446 2579 1295 6918 1.71 1.89/1.94 c 12095 172 1560 74808 47 3948 2837 1546 6899 1.75 1.89/1.94 c 12571 172 2036 94973 46 4883 3121 2022 6899 1.82 1.89/1.94 o 144 1.938 1.89/1.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.98 c 13284 172 2750 126087 45 6436 2344 2736 6854 1.94 1.89/1.98 c 13387 172 1290 57037 44 3299 2579 1276 6816 1.96 1.89/1.98 o 142 1.979 1.99/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.00 c 13520 172 1424 62812 44 3674 2344 1410 6831 1.98 1.99/2.00 c 13622 172 1526 68202 44 3863 2579 1512 6845 1.99 1.99/2.00 o 117 2.003 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 13731 172 1636 72232 44 4212 2344 1622 6855 2.00 1.99/2.04 c 13831 172 1736 79129 45 4413 2579 1722 6864 2.02 1.99/2.04 o 111 2.038 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 13995 166 1901 87394 45 4831 2332 1887 6867 2.04 2.39/2.41 c 14095 163 2001 92020 45 5027 2566 1987 6868 2.05 2.39/2.41 c 14345 163 2251 102506 45 5537 2823 2237 6873 2.09 2.39/2.41 c 14820 160 2726 120411 44 6474 3106 2712 6896 2.15 2.39/2.41 c 15634 158 1924 82759 43 4543 3417 1910 6902 2.27 2.39/2.41 o 110 2.411 2.59/2.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.62 c 16745 158 3036 132301 43 6864 2316 3022 6945 2.41 2.59/2.62 c 16845 158 1287 55735 43 3257 2548 1273 6909 2.44 2.59/2.62 c 17096 158 1538 66294 43 3764 2803 1524 6938 2.46 2.59/2.62 c 17574 158 2016 89898 44 4720 3084 2002 6979 2.52 2.59/2.62 o 108 2.62 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 18327 158 2770 121513 43 6312 2316 2756 6995 2.62 2.59/2.65 c 18429 158 1289 58964 45 3259 2548 1275 6970 2.64 2.59/2.65 o 106 2.649 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 18463 158 1324 60287 45 3415 2316 1310 6969 2.65 2.79/2.80 c 18563 158 1424 66318 46 3625 2548 1410 6981 2.66 2.79/2.80 c 18813 158 1674 77540 46 4126 2803 1660 7011 2.68 2.79/2.80 c 19291 158 2152 98901 45 5082 3084 2138 7053 2.73 2.79/2.80 o 34 2.799 2.79/2.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.81 c 19819 158 2681 119338 44 6221 2316 2667 7080 2.80 2.79/2.81 o 32 2.806 2.79/2.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.81 c 19820 158 1189 50609 42 3166 2316 1175 7063 2.81 2.79/2.81 o 30 2.814 2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.82 c 19879 152 1249 54354 43 3374 2304 1235 7064 2.81 2.79/2.82 o 28 2.817 162.54/162.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.54/162.60 c 19900 152 1271 55644 43 3503 2304 1257 7064 2.82 162.54/162.60 c 20000 138 1371 60017 43 3690 2535 1357 7059 2.83 162.54/162.60 c 20250 134 1621 71684 44 4179 2789 1607 7053 2.87 162.54/162.60 c 20726 134 2097 94360 44 5137 3068 2083 7004 2.96 162.54/162.60 c 21540 130 2911 133623 45 6767 3375 2897 6901 3.12 162.54/162.60 c 22861 130 2496 119778 47 5657 3713 2482 6698 3.41 162.54/162.60 c 24943 130 2673 129064 48 6008 4085 2659 6385 3.91 162.54/162.60 c 28167 130 3815 183403 48 8299 4494 3801 6078 4.63 162.54/162.60 c 33103 130 4174 205660 49 9014 4944 4160 5652 5.86 162.54/162.60 c 40610 130 4133 205487 49 8915 5439 4119 5169 7.86 162.54/162.60 c 51972 130 4438 223155 50 9541 5983 4424 4654 11.16 162.54/162.60 c 69117 130 3357 166497 49 7380 6582 3343 4149 16.66 162.54/162.60 c 94936 130 5839 287012 49 12332 7241 5825 3780 25.11 162.54/162.60 c 133768 130 4360 212914 48 9386 7966 4346 3467 38.58 162.54/162.60 c 192121 130 6368 314876 49 13400 8763 6354 3143 61.12 162.54/162.60 c 279753 130 5592 279476 49 11847 9640 5578 2806 99.69 162.54/162.60 o 27 162.55 162.64/162.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.64/162.77 c 410625 130 5170 262655 50 11076 2260 5156 2526 162.55 162.64/162.77 c 410725 130 1287 64596 50 3210 2487 1273 2525 162.63 162.64/162.77 c 410975 130 1537 76653 49 3712 2736 1523 2526 162.68 162.64/162.77 o 25 162.72 162.64/162.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.64/162.80 c 411224 130 1787 89604 50 4288 2260 1773 2527 162.72 162.64/162.80 c 411324 130 1887 94393 50 4476 2487 1873 2527 162.73 162.64/162.80 o 23 162.748 423.87/424.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 423.87/424.01 c 411414 130 1978 98909 50 4739 2260 1964 2527 162.75 423.87/424.01 c 411514 130 2078 103831 49 4929 2487 2064 2528 162.76 423.87/424.01 c 411764 130 2328 116231 49 5434 2736 2314 2529 162.81 423.87/424.01 c 412239 130 1425 69115 48 3495 3010 1411 2530 162.89 423.87/424.01 c 413053 130 2239 108605 48 5118 3312 2225 2533 163.03 423.87/424.01 c 414373 130 1851 89164 48 4345 3644 1837 2537 163.30 423.87/424.01 c 416455 130 2078 98201 47 4802 4009 2064 2543 163.73 423.87/424.01 c 419678 130 3257 152510 46 7125 4410 3243 2552 164.43 423.87/424.01 c 424614 130 3698 176939 47 8035 4852 3684 2563 165.65 423.87/424.01 c 432120 130 3795 174353 45 8220 5338 3781 2585 167.16 423.87/424.01 c 443481 130 4306 201632 46 9232 5872 4292 2608 169.99 423.87/424.01 c 460625 130 3569 169853 47 7779 6460 3555 2634 174.87 423.87/424.01 c 486444 130 6492 314979 48 13629 7107 6478 2656 183.11 423.87/424.01 c 525277 130 5728 283716 49 12099 7818 5714 2669 196.74 423.87/424.01 c 583629 130 4820 234912 48 10277 8600 4806 2660 219.40 423.87/424.01 c 671261 130 5577 275440 49 11791 9461 5563 2623 255.89 423.87/424.01 c 802814 130 8262 409638 49 17143 10408 8248 2543 315.69 423.87/424.01 c 1000246 130 6318 314990 49 13274 11449 6304 2421 413.09 423.87/424.01 o 21 423.889 1800.01/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.50 c 1021692 130 10457 508099 48 21618 2260 10443 2410 423.89 1800.01/1800.50 c 1021792 130 1287 61705 47 3205 2487 1273 2408 424.17 1800.01/1800.50 c 1022042 130 1537 73522 47 3716 2736 1523 2409 424.20 1800.01/1800.50 c 1022517 130 2012 96492 47 4663 3010 1998 2409 424.28 1800.01/1800.50 c 1023330 130 2825 135120 47 6287 3312 2811 2410 424.45 1800.01/1800.50 c 1024650 130 2447 116264 47 5538 3644 2433 2412 424.75 1800.01/1800.50 c 1026731 130 2664 125820 47 5961 4009 2650 2414 425.23 1800.01/1800.50 c 1029954 130 3833 182005 47 8304 4410 3819 2417 425.98 1800.01/1800.50 c 1034890 130 4266 198492 46 9158 4852 4252 2422 427.22 1800.01/1800.50 c 1042396 130 4376 211144 48 9395 5338 4362 2428 429.20 1800.01/1800.50 c 1053757 130 4907 236342 48 10447 5872 4893 2437 432.25 1800.01/1800.50 c 1070903 130 4198 199012 47 9042 6460 4184 2449 437.13 1800.01/1800.50 c 1096722 130 3813 185122 48 8262 7107 3799 2464 445.05 1800.01/1800.50 c 1135554 130 6717 321047 47 14067 7818 6703 2485 456.95 1800.01/1800.50 c 1193906 130 5785 273075 47 12211 8600 5771 2506 476.23 1800.01/1800.50 c 1281538 130 6626 317799 47 13889 9461 6612 2523 507.75 1800.01/1800.50 c 1413090 130 9363 455886 48 19366 10408 9349 2510 562.93 1800.01/1800.50 c 1610522 130 7442 367111 49 15523 11449 7428 2457 655.43 1800.01/1800.50 c 1906775 130 9565 467457 48 19756 12594 9551 2351 810.73 1800.01/1800.50 c 2351257 130 10357 522736 50 21357 13854 10343 2209 1064.35 1800.01/1800.50 c 3018084 130 8146 402824 49 16935 15240 8132 2048 1473.66 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.01/1800.50 v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 1800.01/1800.50 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.01/1800.50 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.01/1800.50 v x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 x125 -x126 x127 1800.01/1800.50 v -x128 x129 x130 -x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 x141 x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 1800.01/1800.50 v x151 x152 x153 -x154 x155 x156 x157 x158 x159 x160 -x161 x162 -x163 x164 x165 -x166 x167 x168 -x169 x170 -x171 x172 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 137 3500055 6468 3516966 15195 749092 15181 1944 1800.03 1800.01/1800.50 c Objective: 21 1800.01/1800.50 s SATISFIABLE 1800.01/1800.50 c Total time: 1800.03 s
OK 21
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-433534-1177960766 -o ROOT/results/node24/solver-433534-1177960766 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433534-1177960766/instance-433534-1177960766.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.97 3/77 21958 /proc/meminfo: memFree=1857288/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11748 CPUtime=0 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243994591 12029952 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2937 334 280 324 0 2004 0 [startup+0.009339 s] /proc/loadavg: 0.91 0.95 0.97 3/77 21958 /proc/meminfo: memFree=1857288/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11868 CPUtime=0 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 412 0 0 0 0 0 0 0 18 0 1 0 243994591 12152832 379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2967 379 310 324 0 2037 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11868 [startup+0.101349 s] /proc/loadavg: 0.91 0.95 0.97 3/77 21958 /proc/meminfo: memFree=1857288/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=4828 CPUtime=0.09 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 625 0 0 0 9 0 0 0 18 0 1 0 243994591 4943872 592 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 1207 592 310 324 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4828 [startup+0.301371 s] /proc/loadavg: 0.91 0.95 0.97 3/77 21958 /proc/meminfo: memFree=1857288/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=6000 CPUtime=0.29 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 920 0 0 0 29 0 0 0 19 0 1 0 243994591 6144000 887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 1500 888 310 324 0 570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6000 [startup+0.701414 s] /proc/loadavg: 0.91 0.95 0.97 3/77 21958 /proc/meminfo: memFree=1857288/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=6256 CPUtime=0.69 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 964 0 0 0 69 0 0 0 23 0 1 0 243994591 6406144 931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 1564 931 310 324 0 634 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6256 [startup+1.5015 s] /proc/loadavg: 0.91 0.95 0.97 2/78 21959 /proc/meminfo: memFree=1854656/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=6520 CPUtime=1.49 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 1046 0 0 0 149 0 0 0 25 0 1 0 243994591 6676480 1013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3038640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 1630 1013 310 324 0 700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6520 [startup+3.10168 s] /proc/loadavg: 0.91 0.95 0.97 2/78 21959 /proc/meminfo: memFree=1854208/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=6520 CPUtime=3.09 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 1046 0 0 0 309 0 0 0 25 0 1 0 243994591 6676480 1013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 1630 1013 310 324 0 700 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6520 [startup+6.30202 s] /proc/loadavg: 0.92 0.95 0.97 2/78 21959 /proc/meminfo: memFree=1853248/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=7792 CPUtime=6.3 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 1346 0 0 0 629 1 0 0 25 0 1 0 243994591 7979008 1313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 1948 1313 310 324 0 1018 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 7792 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.97 2/78 21959 /proc/meminfo: memFree=1852160/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=8572 CPUtime=12.69 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 1558 0 0 0 1268 1 0 0 25 0 1 0 243994591 8777728 1525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2143 1525 310 324 0 1213 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8572 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.97 2/78 21959 /proc/meminfo: memFree=1851712/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=9096 CPUtime=25.49 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 1679 0 0 0 2548 1 0 0 25 0 1 0 243994591 9314304 1646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2274 1646 310 324 0 1344 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9096 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.97 2/78 21959 /proc/meminfo: memFree=1850624/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=10108 CPUtime=51.07 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 1931 0 0 0 5106 1 0 0 25 0 1 0 243994591 10350592 1898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2527 1898 310 324 0 1597 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10108 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 21959 /proc/meminfo: memFree=1849408/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11376 CPUtime=102.26 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2246 0 0 0 10224 2 0 0 25 0 1 0 243994591 11649024 2213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3047134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2844 2213 310 324 0 1914 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11376 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1849216/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11456 CPUtime=162.24 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2276 0 0 0 16222 2 0 0 25 0 1 0 243994591 11730944 2243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2864 2243 310 324 0 1934 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11456 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1849216/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11380 CPUtime=222.23 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2283 0 0 0 22220 3 0 0 25 0 1 0 243994591 11653120 2237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2845 2237 310 324 0 1915 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 11380 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1849216/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11368 CPUtime=282.21 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2283 0 0 0 28218 3 0 0 25 0 1 0 243994591 11640832 2234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2842 2234 310 324 0 1912 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 11368 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1848704/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11880 CPUtime=342.2 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2405 0 0 0 34216 4 0 0 25 0 1 0 243994591 12165120 2355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2970 2355 310 324 0 2040 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11880 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1848576/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=11976 CPUtime=402.18 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2426 0 0 0 40214 4 0 0 25 0 1 0 243994591 12263424 2376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551466 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 2994 2376 310 324 0 2064 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 11976 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1848064/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=12444 CPUtime=462.16 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2592 0 0 0 46211 5 0 0 25 0 1 0 243994591 12742656 2503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3111 2503 310 324 0 2181 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 12444 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1848064/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=12444 CPUtime=522.15 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2592 0 0 0 52210 5 0 0 25 0 1 0 243994591 12742656 2503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3036468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3111 2503 310 324 0 2181 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12444 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1848064/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=12444 CPUtime=582.13 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2592 0 0 0 58207 6 0 0 25 0 1 0 243994591 12742656 2503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3037013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3111 2503 310 324 0 2181 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 12444 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1848064/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=12444 CPUtime=642.12 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2592 0 0 0 64206 6 0 0 25 0 1 0 243994591 12742656 2503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3111 2503 310 324 0 2181 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12444 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1847104/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=13564 CPUtime=882.05 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2860 0 0 0 88197 8 0 0 25 0 1 0 243994591 13889536 2771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3391 2771 310 324 0 2461 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 13564 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1846976/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=13692 CPUtime=942.04 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2891 0 0 0 94195 9 0 0 25 0 1 0 243994591 14020608 2802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3423 2802 310 324 0 2493 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 13692 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1846976/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=13596 CPUtime=1002.02 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2891 0 0 0 100193 9 0 0 25 0 1 0 243994591 13922304 2791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3399 2791 310 324 0 2469 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 13596 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1846976/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=13676 CPUtime=1062.01 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 2892 0 0 0 106191 10 0 0 25 0 1 0 243994591 14004224 2792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3419 2792 310 324 0 2489 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 13676 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1846016/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=14576 CPUtime=1121.99 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3136 0 0 0 112188 11 0 0 25 0 1 0 243994591 14925824 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3644 3036 310 324 0 2714 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 14576 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1846016/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=14576 CPUtime=1181.97 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3136 0 0 0 118186 11 0 0 25 0 1 0 243994591 14925824 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3644 3036 310 324 0 2714 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 14576 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21959 /proc/meminfo: memFree=1846016/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=14576 CPUtime=1241.96 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3136 0 0 0 124184 12 0 0 25 0 1 0 243994591 14925824 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2722932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3644 3036 310 324 0 2714 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 14576 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1846016/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=14576 CPUtime=1301.95 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3136 0 0 0 130183 12 0 0 25 0 1 0 243994591 14925824 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3644 3036 310 324 0 2714 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 14576 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1846016/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=14616 CPUtime=1361.93 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3139 0 0 0 136180 13 0 0 25 0 1 0 243994591 14966784 3039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3654 3039 310 324 0 2724 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 14616 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1845952/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=14612 CPUtime=1421.91 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3139 0 0 0 142178 13 0 0 25 0 1 0 243994591 14962688 3039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3653 3039 310 324 0 2723 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 14612 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844992/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15600 CPUtime=1481.9 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3374 0 0 0 148176 14 0 0 25 0 1 0 243994591 15974400 3274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3900 3274 310 324 0 2970 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 15600 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844928/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15648 CPUtime=1541.88 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 154174 14 0 0 25 0 1 0 243994591 16023552 3294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3912 3294 310 324 0 2982 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 15648 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 3/78 21961 /proc/meminfo: memFree=1844928/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15644 CPUtime=1601.87 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 160172 15 0 0 25 0 1 0 243994591 16019456 3294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3911 3294 310 324 0 2981 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 15644 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844864/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15644 CPUtime=1661.85 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 166170 15 0 0 25 0 1 0 243994591 16019456 3294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3911 3294 310 324 0 2981 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 15644 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844864/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15640 CPUtime=1721.84 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 172168 16 0 0 25 0 1 0 243994591 16015360 3294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3910 3294 310 324 0 2980 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 15640 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844864/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15572 CPUtime=1781.82 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 178166 16 0 0 25 0 1 0 243994591 15945728 3284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3893 3284 310 324 0 2963 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 15572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844864/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15572 CPUtime=1800.01 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 179985 16 0 0 25 0 1 0 243994591 15945728 3284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3893 3284 310 324 0 2963 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 15572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21961 /proc/meminfo: memFree=1844864/2055920 swapFree=4143580/4192956 [pid=21958] ppid=21956 vsize=15572 CPUtime=1800.01 /proc/21958/stat : 21958 (bsolo3.0.17) R 21956 21958 21549 0 -1 4194304 3394 0 0 0 179985 16 0 0 25 0 1 0 243994591 15945728 3284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21958/statm: 3893 3284 310 324 0 2963 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 15572 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.86 CPU system time (s): 0.172973 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 15680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.172973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3398 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 36904 runsolver used 1.3438 second user time and 3.9414 second system time The end
Begin job on node24 on Mon Apr 30 19:19:26 UTC 2007 IDJOB= 433534 IDBENCH= 2921 IDSOLVER= 199 FILE ID= node24/433534-1177960766 PBS_JOBID= 4727744 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433534-1177960766/instance-433534-1177960766.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-433534-1177960766 -o ROOT/results/node24/solver-433534-1177960766 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433534-1177960766/instance-433534-1177960766.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 832530414 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 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.238 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: 1857696 kB Buffers: 31396 kB Cached: 82712 kB SwapCached: 17132 kB Active: 53160 kB Inactive: 84020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857696 kB SwapTotal: 4192956 kB SwapFree: 4143580 kB Dirty: 6604 kB Writeback: 0 kB Mapped: 30064 kB Slab: 46516 kB Committed_AS: 3883500 kB PageTables: 1808 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node24 on Mon Apr 30 19:49:28 UTC 2007