Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 21 | 1800.01 | 1800.67 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354921-1176732640/instance-354921-1176732640.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.003 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.006 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.01 0.00/0.00 c Switching off LPR mode. 0.00/0.01 o 1159 0.006 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 5666 0.02 0.00/0.02 o 482 0.019 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 114 172 130 10510 80 1024 2344 116 5999 0.02 0.03/0.07 c 214 172 230 16730 72 1213 2579 216 7642 0.03 0.03/0.07 c 464 172 480 33302 69 1711 2837 466 8923 0.05 0.03/0.07 o 477 0.071 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 640 172 657 46568 70 2167 2344 643 9014 0.07 0.03/0.09 c 740 172 757 53700 70 2369 2579 743 8809 0.08 0.03/0.09 o 400 0.089 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 8688 0.09 0.09/0.10 c 882 172 900 61024 67 2736 2579 886 8820 0.10 0.09/0.10 o 392 0.104 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 8903 0.10 0.09/0.13 c 1027 172 1046 68871 65 3115 2579 1032 8930 0.12 0.09/0.13 o 380 0.135 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 8733 0.14 0.29/0.33 c 1281 172 1301 82794 63 3744 2579 1287 8483 0.15 0.29/0.33 c 1531 172 1551 98890 63 4253 2837 1537 8187 0.19 0.29/0.33 c 2006 172 2026 120716 59 5215 3121 2012 8088 0.25 0.29/0.33 o 358 0.333 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 2571 172 2592 150651 58 6405 2344 2578 7720 0.33 0.29/0.35 o 356 0.348 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 2654 172 1271 68822 54 3359 2344 1257 7626 0.35 0.29/0.37 c 2754 172 1371 73766 53 3552 2579 1357 7692 0.36 0.29/0.37 o 331 0.366 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 7711 0.37 0.29/0.39 c 2931 172 1549 83345 53 3991 2579 1535 7733 0.38 0.29/0.39 o 327 0.395 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 7696 0.40 0.39/0.45 c 3141 172 1760 97862 55 4536 2579 1746 7623 0.41 0.39/0.45 c 3391 172 2010 108559 54 5045 2837 1996 7620 0.45 0.39/0.45 o 245 0.454 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 7612 0.45 0.39/0.46 o 197 0.464 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 3530 172 2151 114729 53 5485 2344 2137 7607 0.46 0.39/0.47 o 195 0.468 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 7582 0.47 0.39/0.47 o 193 0.471 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 7563 0.47 0.39/0.49 c 3670 172 2293 120670 52 6029 2579 2279 7567 0.48 0.39/0.49 o 191 0.491 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 3705 172 2329 122457 52 6132 2344 2315 7545 0.49 0.69/0.74 c 3805 172 1211 60354 49 3118 2579 1197 7475 0.51 0.69/0.74 c 4057 172 1463 71079 48 3632 2837 1449 7597 0.53 0.69/0.74 c 4534 172 1940 98945 51 4589 3121 1926 7607 0.60 0.69/0.74 c 5347 172 2753 142669 51 6214 3434 2739 7530 0.71 0.69/0.74 o 178 0.737 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 5487 172 2894 149415 51 6602 2344 2880 7434 0.74 0.69/0.79 c 5588 172 1288 71580 55 3287 2579 1274 7401 0.76 0.69/0.79 c 5838 172 1538 88186 57 3756 2837 1524 7455 0.78 0.69/0.79 o 165 0.791 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 5932 172 1633 91450 56 4084 2344 1619 7499 0.79 0.69/0.79 o 157 0.792 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 5935 172 1637 91774 56 4201 2344 1623 7493 0.79 1.29/1.38 c 6036 172 1738 96457 55 4394 2579 1724 7498 0.81 1.29/1.38 c 6286 172 1988 108422 54 4912 2837 1974 7456 0.84 1.29/1.38 c 6761 172 2463 130088 52 5859 3121 2449 7381 0.92 1.29/1.38 c 7574 172 1652 77692 47 4017 3434 1638 7091 1.07 1.29/1.38 c 8894 172 2972 137572 46 6657 3778 2958 6997 1.27 1.29/1.38 o 155 1.385 1.59/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.70 c 9518 172 3597 167815 46 8016 2344 3583 6872 1.39 1.59/1.70 c 9618 172 1287 59276 46 3251 2579 1273 6811 1.41 1.59/1.70 c 9870 172 1539 71921 46 3796 2837 1525 6849 1.44 1.59/1.70 c 10347 172 2016 90815 45 4752 3121 2002 6911 1.50 1.59/1.70 c 11160 172 2829 126207 44 6371 3434 2815 6944 1.61 1.59/1.70 o 150 1.696 1.69/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.71 c 11723 172 3393 154623 45 7606 2344 3379 6912 1.70 1.69/1.71 o 148 1.714 1.89/1.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.96 c 11743 172 1208 56989 47 3235 2344 1194 6851 1.71 1.89/1.96 c 11844 172 1309 61296 46 3446 2579 1295 6854 1.73 1.89/1.96 c 12095 172 1560 74808 47 3948 2837 1546 6837 1.77 1.89/1.96 c 12571 172 2036 94973 46 4883 3121 2022 6835 1.84 1.89/1.96 o 144 1.956 1.89/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/2.00 c 13284 172 2750 126087 45 6436 2344 2736 6791 1.96 1.89/2.00 c 13387 172 1290 57037 44 3299 2579 1276 6754 1.98 1.89/2.00 o 142 1.997 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 13520 172 1424 62812 44 3674 2344 1410 6770 2.00 1.99/2.02 c 13622 172 1526 68202 44 3863 2579 1512 6783 2.01 1.99/2.02 o 117 2.021 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 13731 172 1636 72232 44 4212 2344 1622 6794 2.02 1.99/2.06 c 13831 172 1736 79129 45 4413 2579 1722 6803 2.03 1.99/2.06 o 111 2.056 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 13995 166 1901 87394 45 4831 2332 1887 6806 2.06 2.39/2.43 c 14095 163 2001 92020 45 5027 2566 1987 6805 2.07 2.39/2.43 c 14345 163 2251 102506 45 5537 2823 2237 6811 2.11 2.39/2.43 c 14820 160 2726 120411 44 6474 3106 2712 6835 2.17 2.39/2.43 c 15634 158 1924 82759 43 4543 3417 1910 6839 2.29 2.39/2.43 o 110 2.435 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 16745 158 3036 132301 43 6864 2316 3022 6876 2.44 2.59/2.65 c 16845 158 1287 55735 43 3257 2548 1273 6841 2.46 2.59/2.65 c 17096 158 1538 66294 43 3764 2803 1524 6868 2.49 2.59/2.65 c 17574 158 2016 89898 44 4720 3084 2002 6910 2.54 2.59/2.65 o 108 2.647 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 18327 158 2770 121513 43 6312 2316 2756 6923 2.65 2.59/2.68 c 18429 158 1289 58964 45 3259 2548 1275 6897 2.67 2.59/2.68 o 106 2.676 2.79/2.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.83 c 18463 158 1324 60287 45 3415 2316 1310 6899 2.68 2.79/2.83 c 18563 158 1424 66318 46 3625 2548 1410 6911 2.69 2.79/2.83 c 18813 158 1674 77540 46 4126 2803 1660 6939 2.71 2.79/2.83 c 19291 158 2152 98901 45 5082 3084 2138 6979 2.76 2.79/2.83 o 34 2.828 2.79/2.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.84 c 19819 158 2681 119338 44 6221 2316 2667 7005 2.83 2.79/2.84 o 32 2.836 2.79/2.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.84 c 19820 158 1189 50609 42 3166 2316 1175 6986 2.84 2.79/2.84 o 30 2.844 2.79/2.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.85 c 19879 152 1249 54354 43 3374 2304 1235 6989 2.84 2.79/2.85 o 28 2.847 164.13/164.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 164.13/164.24 c 19900 152 1271 55644 43 3503 2304 1257 6987 2.85 164.13/164.24 c 20000 138 1371 60017 43 3690 2535 1357 6983 2.86 164.13/164.24 c 20250 134 1621 71684 44 4179 2789 1607 6977 2.90 164.13/164.24 c 20726 134 2097 94360 44 5137 3068 2083 6929 2.99 164.13/164.24 c 21540 130 2911 133623 45 6767 3375 2897 6827 3.15 164.13/164.24 c 22861 130 2496 119778 47 5657 3713 2482 6620 3.45 164.13/164.24 c 24943 130 2673 129064 48 6008 4085 2659 6311 3.95 164.13/164.24 c 28167 130 3815 183403 48 8299 4494 3801 6000 4.69 164.13/164.24 c 33103 130 4174 205660 49 9014 4944 4160 5576 5.94 164.13/164.24 c 40610 130 4133 205487 49 8915 5439 4119 5099 7.96 164.13/164.24 c 51972 130 4438 223155 50 9541 5983 4424 4583 11.34 164.13/164.24 c 69117 130 3357 166497 49 7380 6582 3343 4086 16.91 164.13/164.24 c 94936 130 5839 287012 49 12332 7241 5825 3726 25.47 164.13/164.24 c 133768 130 4360 212914 48 9386 7966 4346 3422 39.09 164.13/164.24 c 192121 130 6368 314876 49 13400 8763 6354 3105 61.87 164.13/164.24 c 279753 130 5592 279476 49 11847 9640 5578 2777 100.73 164.13/164.24 o 27 164.183 164.33/164.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 164.33/164.41 c 410625 130 5170 262655 50 11076 2260 5156 2501 164.18 164.33/164.41 c 410725 130 1287 64596 50 3210 2487 1273 2500 164.26 164.33/164.41 c 410975 130 1537 76653 49 3712 2736 1523 2501 164.31 164.33/164.41 o 25 164.353 164.33/164.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 164.33/164.44 c 411224 130 1787 89604 50 4288 2260 1773 2502 164.35 164.33/164.44 c 411324 130 1887 94393 50 4476 2487 1873 2502 164.37 164.33/164.44 o 23 164.381 428.04/428.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 428.04/428.22 c 411414 130 1978 98909 50 4739 2260 1964 2502 164.38 428.04/428.22 c 411514 130 2078 103831 49 4929 2487 2064 2503 164.40 428.04/428.22 c 411764 130 2328 116231 49 5434 2736 2314 2504 164.44 428.04/428.22 c 412239 130 1425 69115 48 3495 3010 1411 2505 164.53 428.04/428.22 c 413053 130 2239 108605 48 5118 3312 2225 2508 164.66 428.04/428.22 c 414373 130 1851 89164 48 4345 3644 1837 2512 164.94 428.04/428.22 c 416455 130 2078 98201 47 4802 4009 2064 2518 165.36 428.04/428.22 c 419678 130 3257 152510 46 7125 4410 3243 2527 166.07 428.04/428.22 c 424614 130 3698 176939 47 8035 4852 3684 2538 167.30 428.04/428.22 c 432120 130 3795 174353 45 8220 5338 3781 2559 168.82 428.04/428.22 c 443481 130 4306 201632 46 9232 5872 4292 2583 171.66 428.04/428.22 c 460625 130 3569 169853 47 7779 6460 3555 2608 176.59 428.04/428.22 c 486444 130 6492 314979 48 13629 7107 6478 2630 184.90 428.04/428.22 c 525277 130 5728 283716 49 12099 7818 5714 2644 198.60 428.04/428.22 c 583629 130 4820 234912 48 10277 8600 4806 2635 221.45 428.04/428.22 c 671261 130 5577 275440 49 11791 9461 5563 2598 258.33 428.04/428.22 c 802814 130 8262 409638 49 17143 10408 8248 2519 318.69 428.04/428.22 c 1000246 130 6318 314990 49 13274 11449 6304 2397 417.16 428.04/428.22 o 21 428.066 1799.94/1800.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.66 c 1021692 130 10457 508099 48 21618 2260 10443 2386 428.07 1799.94/1800.66 c 1021792 130 1287 61705 47 3205 2487 1273 2385 428.34 1799.94/1800.66 c 1022042 130 1537 73522 47 3716 2736 1523 2385 428.38 1799.94/1800.66 c 1022517 130 2012 96492 47 4663 3010 1998 2386 428.46 1799.94/1800.66 c 1023330 130 2825 135120 47 6287 3312 2811 2387 428.63 1799.94/1800.66 c 1024650 130 2447 116264 47 5538 3644 2433 2388 428.93 1799.94/1800.66 c 1026731 130 2664 125820 47 5961 4009 2650 2391 429.41 1799.94/1800.66 c 1029954 130 3833 182005 47 8304 4410 3819 2394 430.16 1799.94/1800.66 c 1034890 130 4266 198492 46 9158 4852 4252 2398 431.43 1799.94/1800.66 c 1042396 130 4376 211144 48 9395 5338 4362 2405 433.42 1799.94/1800.66 c 1053757 130 4907 236342 48 10447 5872 4893 2414 436.48 1799.94/1800.66 c 1070903 130 4198 199012 47 9042 6460 4184 2426 441.38 1799.94/1800.66 c 1096722 130 3813 185122 48 8262 7107 3799 2440 449.40 1799.94/1800.66 c 1135554 130 6717 321047 47 14067 7818 6703 2460 461.44 1799.94/1800.66 c 1193906 130 5785 273075 47 12211 8600 5771 2482 480.98 1799.94/1800.66 c 1281538 130 6626 317799 47 13889 9461 6612 2499 512.79 1799.94/1800.66 c 1413090 130 9363 455886 48 19366 10408 9349 2486 568.38 1799.94/1800.66 c 1610522 130 7442 367111 49 15523 11449 7428 2433 661.72 1799.94/1800.66 c 1906775 130 9565 467457 48 19756 12594 9551 2329 818.63 1799.94/1800.66 c 2351257 130 10357 522736 50 21357 13854 10343 2186 1075.14 1799.94/1800.66 c 3018084 130 8146 402824 49 16935 15240 8132 2028 1488.00 1799.94/1800.66 c Resources Exceeded 1799.94/1800.66 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 1799.94/1800.66 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 1799.94/1800.66 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 1799.94/1800.66 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 1799.94/1800.66 v x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 x125 -x126 x127 1799.94/1800.66 v -x128 x129 x130 -x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 x141 x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 1799.94/1800.66 v x151 x152 x153 -x154 x155 x156 x157 x158 x159 x160 -x161 x162 -x163 x164 x165 -x166 x167 x168 -x169 x170 -x171 x172 1799.94/1800.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.66 c 137 3474515 6451 3491402 12636 614363 12622 1930 1800.00 1799.94/1800.66 c Objective: 21 1799.94/1800.66 s SATISFIABLE 1799.94/1800.66 c Total time: 1800 s
OK 21
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-354921-1176732640 -o ROOT/results/node13/solver-354921-1176732640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354921-1176732640/instance-354921-1176732640.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.01 1.00 3/77 18368 /proc/meminfo: memFree=1683840/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11748 CPUtime=0 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 121181886 12029952 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2937 336 282 324 0 2003 0 [startup+0.046511 s] /proc/loadavg: 1.03 1.01 1.00 3/77 18368 /proc/meminfo: memFree=1683840/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=4316 CPUtime=0.03 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 506 0 0 0 3 0 0 0 18 0 1 0 121181886 4419584 471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1079 471 312 324 0 148 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4316 [startup+0.101523 s] /proc/loadavg: 1.03 1.01 1.00 3/77 18368 /proc/meminfo: memFree=1683840/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=4828 CPUtime=0.09 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 121181886 4943872 589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1207 589 312 324 0 276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4828 [startup+0.301565 s] /proc/loadavg: 1.03 1.01 1.00 3/77 18368 /proc/meminfo: memFree=1683840/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=6000 CPUtime=0.29 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 920 0 0 0 28 1 0 0 19 0 1 0 121181886 6144000 885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1500 885 312 324 0 569 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6000 [startup+0.70165 s] /proc/loadavg: 1.03 1.01 1.00 3/77 18368 /proc/meminfo: memFree=1683840/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=6256 CPUtime=0.69 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 968 0 0 0 68 1 0 0 23 0 1 0 121181886 6406144 933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1564 933 312 324 0 633 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6256 [startup+1.50182 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18369 /proc/meminfo: memFree=1681400/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=6520 CPUtime=1.49 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 1050 0 0 0 148 1 0 0 25 0 1 0 121181886 6676480 1015 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1630 1015 312 324 0 699 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6520 [startup+3.10116 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18369 /proc/meminfo: memFree=1680824/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=6520 CPUtime=3.09 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 1050 0 0 0 306 3 0 0 25 0 1 0 121181886 6676480 1015 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1630 1015 312 324 0 699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6520 [startup+6.30185 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18369 /proc/meminfo: memFree=1680056/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=7792 CPUtime=6.29 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 1350 0 0 0 626 3 0 0 25 0 1 0 121181886 7979008 1315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 1948 1315 312 324 0 1017 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7792 [startup+12.7022 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18369 /proc/meminfo: memFree=1678912/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=8572 CPUtime=12.68 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 1562 0 0 0 1263 5 0 0 25 0 1 0 121181886 8777728 1527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2143 1527 312 324 0 1212 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8572 [startup+25.5019 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18369 /proc/meminfo: memFree=1678592/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=9096 CPUtime=25.48 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 1683 0 0 0 2539 9 0 0 25 0 1 0 121181886 9314304 1648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2274 1648 312 324 0 1343 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9096 [startup+51.1014 s] /proc/loadavg: 1.01 1.01 1.00 2/78 18369 /proc/meminfo: memFree=1677632/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=10108 CPUtime=51.08 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 1935 0 0 0 5093 15 0 0 25 0 1 0 121181886 10350592 1900 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2527 1900 312 324 0 1596 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10108 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1676864/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11008 CPUtime=102.26 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2160 0 0 0 10202 24 0 0 25 0 1 0 121181886 11272192 2125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2752 2125 312 324 0 1821 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11008 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1676224/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11456 CPUtime=162.23 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2280 0 0 0 16188 35 0 0 25 0 1 0 121181886 11730944 2245 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2864 2245 312 324 0 1933 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11456 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1676160/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11380 CPUtime=222.21 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2287 0 0 0 22171 50 0 0 25 0 1 0 121181886 11653120 2239 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2845 2239 312 324 0 1914 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 11380 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1676224/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11368 CPUtime=282.19 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2287 0 0 0 28158 61 0 0 25 0 1 0 121181886 11640832 2236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12312060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2842 2236 312 324 0 1911 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 11368 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1675776/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11880 CPUtime=342.17 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2409 0 0 0 34144 73 0 0 25 0 1 0 121181886 12165120 2357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2970 2357 312 324 0 2039 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 11880 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1675712/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=11976 CPUtime=402.15 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2430 0 0 0 40131 84 0 0 25 0 1 0 121181886 12263424 2378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 2994 2378 312 324 0 2063 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 11976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1675008/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=12444 CPUtime=462.12 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2596 0 0 0 46115 97 0 0 25 0 1 0 121181886 12742656 2505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3111 2505 312 324 0 2180 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 12444 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1675008/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=12444 CPUtime=522.1 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2596 0 0 0 52100 110 0 0 25 0 1 0 121181886 12742656 2505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3111 2505 312 324 0 2180 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 12444 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1675008/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=12444 CPUtime=582.08 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2596 0 0 0 58085 123 0 0 25 0 1 0 121181886 12742656 2505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3111 2505 312 324 0 2180 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 12444 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1675008/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=12444 CPUtime=642.06 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 2596 0 0 0 64075 131 0 0 25 0 1 0 121181886 12742656 2505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3111 2505 312 324 0 2180 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 12444 ################ # More data... # ################ /proc/meminfo: memFree=1673024/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14576 CPUtime=1121.88 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3140 0 0 0 111975 213 0 0 25 0 1 0 121181886 14925824 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3644 3038 312 324 0 2713 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 14576 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1673024/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14576 CPUtime=1181.86 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3140 0 0 0 117963 223 0 0 25 0 1 0 121181886 14925824 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3644 3038 312 324 0 2713 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 14576 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1673024/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14576 CPUtime=1241.83 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3140 0 0 0 123950 233 0 0 25 0 1 0 121181886 14925824 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3644 3038 312 324 0 2713 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 14576 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1672960/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14576 CPUtime=1301.82 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3140 0 0 0 129938 244 0 0 25 0 1 0 121181886 14925824 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3644 3038 312 324 0 2713 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 14576 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1672960/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14652 CPUtime=1361.79 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3143 0 0 0 135925 254 0 0 25 0 1 0 121181886 15003648 3041 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3663 3041 312 324 0 2732 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 14652 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1673024/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14612 CPUtime=1421.78 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3143 0 0 0 141916 262 0 0 25 0 1 0 121181886 14962688 3041 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3653 3041 312 324 0 2722 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 14612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1673024/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=14612 CPUtime=1481.75 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3143 0 0 0 147903 272 0 0 25 0 1 0 121181886 14962688 3041 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3653 3041 312 324 0 2722 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 14612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1672000/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15648 CPUtime=1541.72 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 153890 282 0 0 25 0 1 0 121181886 16023552 3296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3912 3296 312 324 0 2981 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 15648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18369 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15644 CPUtime=1601.71 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 159879 292 0 0 25 0 1 0 121181886 16019456 3296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3911 3296 312 324 0 2980 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 15644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15644 CPUtime=1661.68 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 165867 301 0 0 25 0 1 0 121181886 16019456 3296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3911 3296 312 324 0 2980 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 15644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15640 CPUtime=1721.67 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 171857 310 0 0 25 0 1 0 121181886 16015360 3296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3910 3296 312 324 0 2979 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 15640 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15576 CPUtime=1781.64 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 177845 319 0 0 25 0 1 0 121181886 15949824 3287 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3894 3287 312 324 0 2963 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 15576 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1791.24 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 178804 320 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 15572 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1794.44 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 179123 321 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 15572 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1797.63 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 179442 321 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 15572 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1799.23 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 179602 321 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1799.23 Current children cumulated vsize (KiB) 15572 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1799.64 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 179642 322 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (KiB) 15572 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1799.84 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 179662 322 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (KiB) 15572 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18371 /proc/meminfo: memFree=1671936/2055920 swapFree=4175332/4192956 [pid=18368] ppid=18366 vsize=15572 CPUtime=1799.94 /proc/18368/stat : 18368 (bsolo3.0.16) R 18366 18368 16385 0 -1 4194304 3398 0 0 0 179672 322 0 0 25 0 1 0 121181886 15945728 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18368/statm: 3893 3286 312 324 0 2962 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 15572 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.01 CPU user time (s): 1796.78 CPU system time (s): 3.22351 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 15680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.78 system time used= 3.22351 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3399 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= 35903 runsolver used 2.14867 second user time and 4.15037 second system time The end
Begin job on node13 on Mon Apr 16 14:10:41 UTC 2007 IDJOB= 354921 IDBENCH= 2921 IDSOLVER= 163 FILE ID= node13/354921-1176732640 PBS_JOBID= 4559511 Free space on /tmp= 66475 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/354921-1176732640/instance-354921-1176732640.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-354921-1176732640 -o ROOT/results/node13/solver-354921-1176732640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354921-1176732640/instance-354921-1176732640.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 80430494 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1684440 kB Buffers: 61888 kB Cached: 219632 kB SwapCached: 2992 kB Active: 184716 kB Inactive: 126752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1684440 kB SwapTotal: 4192956 kB SwapFree: 4175332 kB Dirty: 4408 kB Writeback: 0 kB Mapped: 40480 kB Slab: 45504 kB Committed_AS: 6498788 kB PageTables: 1872 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= 66475 MiB End job on node13 on Mon Apr 16 14:40:41 UTC 2007