Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 3 | 1798 | 1798.45 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3997 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877199-1245174463.opb 0.00/0.00 c File size is 5435 bytes. 0.00/0.00 c Highest Coefficient sum: 3997 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 120 Constr: 10 0/0/10 Lit: 554 Watch. Lit: 164 0.00/0.00 c Obj. Vars: 80 (66.6667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 10 554 55 164 1108 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 924 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 11 634 57 416 1268 1 0 0.00 0.00/0.00 o 716 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 25 120 39 2021 51 559 1268 29 4166 0.01 0.00/0.00 o 390 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 25 120 40 2101 52 583 1268 30 4166 0.01 0.00/0.01 o 283 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 42 120 58 3041 52 653 1268 48 5250 0.01 0.00/0.01 o 281 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 65 120 82 3867 47 799 1268 72 5416 0.01 0.00/0.01 o 279 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 71 120 89 4214 47 875 1268 79 5461 0.01 0.00/0.01 o 277 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 84 120 103 4734 45 977 1268 93 5250 0.02 0.00/0.02 o 208 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 92 120 112 5124 45 1011 1268 102 5111 0.02 0.00/0.02 o 204 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 93 120 114 5226 45 1094 1268 104 5166 0.02 0.00/0.02 o 200 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 94 120 116 5377 46 1172 1268 106 4947 0.02 0.00/0.02 o 192 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 115 120 138 6050 43 1330 1268 128 5227 0.02 0.00/0.03 o 158 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 152 120 179 7588 42 1457 1268 169 5066 0.03 0.00/0.03 o 150 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 153 120 181 7706 42 1541 1268 171 5100 0.03 0.00/0.04 o 144 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 238 120 267 10447 39 1801 1268 257 5063 0.05 0.00/0.05 o 142 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 252 120 284 11053 38 1909 1268 274 5040 0.05 0.06/0.07 c 352 120 384 14100 36 2146 1395 374 4957 0.07 0.06/0.07 o 139 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 371 120 404 14876 36 2207 1268 394 4946 0.07 0.06/0.07 o 135 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 373 120 407 15069 37 2287 1268 397 4907 0.08 0.09/0.14 c 473 120 510 19197 37 2493 1395 500 4730 0.10 0.09/0.14 o 93 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 656 120 697 25242 36 2939 1268 687 4685 0.14 0.09/0.14 o 89 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 677 118 720 26512 36 3043 1264 710 4668 0.14 0.09/0.15 o 87 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 715 118 759 27728 36 3209 1264 749 4673 0.15 0.09/0.16 o 62 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 771 117 817 29728 36 3386 1262 807 4616 0.17 0.09/0.17 o 59 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 790 115 839 30546 36 3447 1258 829 4593 0.17 0.09/0.18 o 49 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 810 115 861 31657 36 3559 1258 851 4550 0.18 0.09/0.18 o 47 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 840 113 892 32893 36 3726 1254 882 4516 0.19 0.09/0.19 o 45 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 860 113 916 34275 37 3850 1254 906 4479 0.19 0.29/0.34 c 960 106 1018 37034 36 4227 1380 1008 4507 0.21 0.29/0.34 c 1210 102 1271 43407 34 4653 1519 1261 4498 0.27 0.29/0.34 o 41 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1531 102 807 22749 28 2069 1232 797 4476 0.34 0.29/0.34 o 39 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 1538 102 815 23103 28 2148 1232 805 4483 0.34 0.39/0.40 c 1638 102 915 25959 28 2338 1356 905 4524 0.36 0.39/0.40 o 37 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 1855 102 1136 32041 28 2852 1232 1126 4625 0.40 0.59/0.67 c 1955 102 1238 34757 28 3051 1356 1228 4643 0.42 0.59/0.67 c 2205 102 795 21241 26 1974 1492 785 4671 0.47 0.59/0.67 c 2680 101 1270 33432 26 2921 1642 1260 4820 0.56 0.59/0.67 o 24 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 3233 101 967 23601 24 2370 1230 957 4825 0.67 1.09/1.11 c 3333 93 1068 26437 24 2565 1354 1058 4837 0.69 1.09/1.11 c 3583 90 1318 33808 25 3063 1490 1308 4855 0.74 1.09/1.11 c 4058 90 1028 28800 28 2426 1640 1018 4871 0.83 1.09/1.11 c 4871 90 988 29008 29 2346 1805 978 4841 1.01 1.09/1.11 o 20 1.09/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.14 c 5413 90 1531 44782 29 3483 1208 1521 4846 1.12 1.09/1.14 c 5513 90 745 21199 28 1848 1329 735 4840 1.14 1.09/1.14 o 10 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 5531 90 764 21769 28 1935 1208 754 4843 1.14 3.89/3.93 c 5631 82 864 24465 28 2122 1329 854 4845 1.16 3.89/3.93 c 5882 81 1115 31933 28 2622 1462 1105 4877 1.21 3.89/3.93 c 6357 80 838 23996 28 2023 1609 828 4893 1.30 3.89/3.93 c 7170 80 1651 48279 29 3646 1770 1641 4917 1.46 3.89/3.93 c 8491 80 1149 33635 29 2639 1948 1139 4885 1.74 3.89/3.93 c 10573 80 1239 36901 29 2822 2143 1229 4892 2.16 3.89/3.93 c 13796 80 1170 34913 29 2682 2358 1160 4830 2.86 3.89/3.93 c 18732 80 1288 38840 30 2916 2594 1278 4770 3.93 3.89/3.93 o 9 3.99/4.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.01 c 18753 80 1310 39552 30 3001 1188 1300 4770 3.93 3.99/4.01 c 18854 80 747 22330 29 1825 1307 737 4768 3.95 3.99/4.01 c 19104 80 997 29805 29 2321 1438 987 4774 4.00 3.99/4.01 o 8 11.68/11.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.68/11.71 c 19168 80 1062 31784 29 2495 1188 1052 4775 4.01 11.68/11.71 c 19268 79 1162 34750 29 2692 1307 1152 4776 4.03 11.68/11.71 c 19518 77 743 21093 28 1808 1438 733 4781 4.08 11.68/11.71 c 19993 77 1218 34744 28 2762 1582 1208 4803 4.16 11.68/11.71 c 20806 76 1220 34921 28 2765 1741 1210 4834 4.30 11.68/11.71 c 22126 75 1656 47251 28 3633 1916 1646 4866 4.55 11.68/11.71 c 24207 74 1778 52397 29 3883 2108 1768 4871 4.97 11.68/11.71 c 27430 73 1768 52894 29 3856 2319 1758 4872 5.63 11.68/11.71 c 32367 72 1968 59378 30 4248 2551 1958 4872 6.64 11.68/11.71 c 39875 70 1668 48753 29 3651 2807 1658 4814 8.28 11.68/11.71 c 51236 70 1604 50009 31 3520 3088 1594 4812 10.65 11.68/11.71 o 6 13.09/13.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.16 c 55932 70 1605 47768 29 3530 1168 1595 4770 11.72 13.09/13.16 c 56032 70 745 21449 28 1799 1285 735 4769 11.75 13.09/13.16 c 56282 70 995 28636 28 2301 1414 985 4773 11.79 13.09/13.16 c 56758 70 1471 42887 29 3244 1556 1461 4779 11.88 13.09/13.16 c 57573 70 1483 42324 28 3274 1712 1473 4783 12.04 13.09/13.16 c 58894 70 1041 29336 28 2393 1884 1031 4786 12.30 13.09/13.16 c 60975 70 1195 34431 28 2690 2073 1185 4792 12.72 13.09/13.16 o 4 409.49/409.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 409.49/409.62 c 63057 70 1153 33710 29 2642 1168 1143 4793 13.16 409.49/409.62 c 63157 70 649 18562 28 1603 1285 639 4792 13.18 409.49/409.62 c 63407 69 899 25860 28 2107 1414 889 4795 13.22 409.49/409.62 c 63883 67 1375 39614 28 3052 1556 1365 4797 13.32 409.49/409.62 c 64696 67 1386 39878 28 3070 1712 1376 4800 13.48 409.49/409.62 c 66016 67 954 27374 28 2210 1884 944 4803 13.74 409.49/409.62 c 68100 66 1112 32467 29 2524 2073 1102 4813 14.15 409.49/409.62 c 71324 65 1158 32824 28 2615 2281 1148 4818 14.80 409.49/409.62 c 76260 65 1435 41229 28 3163 2510 1425 4811 15.85 409.49/409.62 c 83767 64 2534 72742 28 5362 2762 2524 4806 17.43 409.49/409.62 c 95129 61 2628 75609 28 5543 3039 2618 4797 19.83 409.49/409.62 c 112273 61 2794 79663 28 5877 3343 2784 4742 23.67 409.49/409.62 c 138092 61 3195 94243 29 6671 3678 3185 4590 30.08 409.49/409.62 c 176925 60 2887 85599 29 6066 4046 2877 4451 39.75 409.49/409.62 c 235278 60 3878 119461 30 8036 4451 3868 4295 54.78 409.49/409.62 c 322912 60 3787 112047 29 7860 4897 3777 4090 78.94 409.49/409.62 c 454464 60 4309 129509 30 8906 5387 4299 3907 116.30 409.49/409.62 c 651897 60 3330 97409 29 6950 5926 3320 3766 173.07 409.49/409.62 c 948149 60 3823 113602 29 7932 6519 3813 3546 267.33 409.49/409.62 o 3 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 1378268 60 3795 111946 29 7900 1148 3785 3365 409.52 1797.95/1798.44 c 1378368 60 745 20800 27 1762 1263 735 3365 409.57 1797.95/1798.44 c 1378618 60 995 28164 28 2265 1390 985 3365 409.62 1797.95/1798.44 c 1379093 60 766 21195 27 1803 1530 756 3366 409.71 1797.95/1798.44 c 1379906 60 1579 45979 29 3439 1684 1569 3366 409.86 1797.95/1798.44 c 1381226 60 1167 33583 28 2609 1853 1157 3367 410.12 1797.95/1798.44 c 1383308 60 1352 39222 29 2984 2039 1342 3369 410.55 1797.95/1798.44 c 1386531 60 1444 42835 29 3158 2243 1434 3371 411.19 1797.95/1798.44 c 1391467 60 1797 52982 29 3873 2468 1787 3375 412.21 1797.95/1798.44 c 1398974 60 1761 50975 28 3802 2715 1751 3380 413.81 1797.95/1798.44 c 1410335 60 2071 60281 29 4420 2987 2061 3387 416.33 1797.95/1798.44 c 1427480 60 2534 74606 29 5345 3286 2524 3396 420.30 1797.95/1798.44 c 1453301 60 3323 99023 29 6921 3615 3313 3408 426.40 1797.95/1798.44 c 1492133 60 3684 105605 28 7651 3977 3674 3419 436.31 1797.95/1798.44 c 1550486 60 3698 109030 29 7691 4375 3688 3437 451.06 1797.95/1798.44 c 1638120 60 2852 85473 29 5978 4813 2842 3447 475.12 1797.95/1798.44 c 1769672 60 3165 92883 29 6600 5295 3155 3438 514.60 1797.95/1798.44 c 1967104 60 2880 85173 29 6035 5825 2870 3445 570.87 1797.95/1798.44 c 2263356 60 5476 160556 29 11231 6408 5466 3405 664.70 1797.95/1798.44 c 2707838 60 4210 125250 29 8697 7049 4200 3333 812.38 1797.95/1798.44 c 3374667 60 4022 120234 29 8339 7754 4012 3150 1071.20 1797.95/1798.44 c 4375013 60 5706 169443 29 11693 8530 5696 3006 1455.19 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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 1797.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 114 5208961 15706 5228658 7531 224243 7521 2897 1798.00 1797.95/1798.44 c Objective: 3 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 c Total time: 1798 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877199-1245174463/watcher-1877199-1245174463 -o /tmp/evaluation-result-1877199-1245174463/solver-1877199-1245174463 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877199-1245174463.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 0.95 3/67 9698 /proc/meminfo: memFree=1301080/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=18516 CPUtime=0 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 173935606 18960384 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136502175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 4629 243 196 640 0 3985 0 [startup+0.0706841 s] /proc/loadavg: 1.00 1.00 0.95 3/67 9698 /proc/meminfo: memFree=1301080/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=10832 CPUtime=0.06 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 317 0 0 0 6 0 0 0 18 0 1 0 173935606 11091968 299 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2708 299 197 640 0 2064 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10832 [startup+0.101689 s] /proc/loadavg: 1.00 1.00 0.95 3/67 9698 /proc/meminfo: memFree=1301080/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=10956 CPUtime=0.09 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 340 0 0 0 9 0 0 0 18 0 1 0 173935606 11218944 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2739 322 197 640 0 2095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10956 [startup+0.301704 s] /proc/loadavg: 1.00 1.00 0.95 3/67 9698 /proc/meminfo: memFree=1301080/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=11456 CPUtime=0.29 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 458 0 0 0 29 0 0 0 19 0 1 0 173935606 11730944 440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2864 440 197 640 0 2220 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11456 [startup+0.70174 s] /proc/loadavg: 1.00 1.00 0.95 3/67 9698 /proc/meminfo: memFree=1301080/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=11456 CPUtime=0.69 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 478 0 0 0 69 0 0 0 22 0 1 0 173935606 11730944 460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2864 460 197 640 0 2220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11456 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1299984/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=11584 CPUtime=1.49 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 484 0 0 0 148 1 0 0 25 0 1 0 173935606 11862016 466 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2896 466 197 640 0 2252 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11584 [startup+3.10195 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1299728/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=11716 CPUtime=3.09 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 543 0 0 0 307 2 0 0 25 0 1 0 173935606 11997184 525 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2929 525 197 640 0 2285 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11716 [startup+6.30225 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1299344/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=11844 CPUtime=6.29 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 566 0 0 0 626 3 0 0 25 0 1 0 173935606 12128256 548 1992294400 134512640 137136520 4294956256 18446744073709551615 136498308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 2961 548 197 640 0 2317 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11844 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1298832/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=12232 CPUtime=12.69 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 672 0 0 0 1264 5 0 0 25 0 1 0 173935606 12525568 654 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3058 654 197 640 0 2414 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12232 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1298832/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=12356 CPUtime=25.49 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 684 0 0 0 2539 10 0 0 25 0 1 0 173935606 12652544 666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3089 666 197 640 0 2445 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12356 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1298320/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=12740 CPUtime=51.07 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 797 0 0 0 5088 19 0 0 25 0 1 0 173935606 13045760 779 1992294400 134512640 137136520 4294956256 18446744073709551615 134574217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3185 779 197 640 0 2541 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12740 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1298064/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13120 CPUtime=102.27 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 886 0 0 0 10192 35 0 0 25 0 1 0 173935606 13434880 868 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3280 868 197 640 0 2636 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13120 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1297744/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13380 CPUtime=162.25 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 957 0 0 0 16173 52 0 0 25 0 1 0 173935606 13701120 939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3345 939 197 640 0 2701 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13380 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1297488/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13636 CPUtime=222.23 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1017 0 0 0 22154 69 0 0 25 0 1 0 173935606 13963264 999 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3409 999 197 640 0 2765 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 13636 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1297168/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13896 CPUtime=282.22 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1091 0 0 0 28136 86 0 0 25 0 1 0 173935606 14229504 1073 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3474 1073 197 640 0 2830 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13896 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1296976/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14144 CPUtime=342.2 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1128 0 0 0 34118 102 0 0 25 0 1 0 173935606 14483456 1110 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3536 1110 197 640 0 2892 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 14144 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1296976/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14020 CPUtime=402.19 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1128 0 0 0 40101 118 0 0 25 0 1 0 173935606 14356480 1104 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3505 1104 197 640 0 2861 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 14020 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1297104/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13740 CPUtime=462.17 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1128 0 0 0 46079 138 0 0 25 0 1 0 173935606 14069760 1034 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3435 1034 197 640 0 2791 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 13740 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/68 9699 /proc/meminfo: memFree=1297104/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13740 CPUtime=522.16 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1128 0 0 0 52062 154 0 0 25 0 1 0 173935606 14069760 1034 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3435 1034 197 640 0 2791 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 13740 [startup+582.302 s] /proc/loadavg: 1.04 1.01 0.95 2/68 9699 /proc/meminfo: memFree=1297104/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13740 CPUtime=582.14 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1128 0 0 0 58042 172 0 0 25 0 1 0 173935606 14069760 1034 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3435 1034 197 640 0 2791 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 13740 [startup+642.301 s] /proc/loadavg: 1.11 1.04 0.96 2/68 9699 /proc/meminfo: memFree=1297104/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=13740 CPUtime=642.13 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1128 0 0 0 64024 189 0 0 25 0 1 0 173935606 14069760 1034 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3435 1034 197 640 0 2791 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 13740 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1296400/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14600 CPUtime=1122.01 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1327 0 0 0 111896 305 0 0 25 0 1 0 173935606 14950400 1233 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3650 1233 197 640 0 3006 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 14600 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1296400/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14600 CPUtime=1182 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1327 0 0 0 117881 319 0 0 25 0 1 0 173935606 14950400 1233 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3650 1233 197 640 0 3006 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 14600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1296336/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14600 CPUtime=1241.98 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1330 0 0 0 123865 333 0 0 25 0 1 0 173935606 14950400 1236 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3650 1236 197 640 0 3006 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 14600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1296336/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14600 CPUtime=1301.97 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1330 0 0 0 129849 348 0 0 25 0 1 0 173935606 14950400 1236 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3650 1236 197 640 0 3006 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 14600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1296400/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14600 CPUtime=1361.95 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1333 0 0 0 135834 361 0 0 25 0 1 0 173935606 14950400 1239 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3650 1239 197 640 0 3006 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 14600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1296336/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=14600 CPUtime=1421.95 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1333 0 0 0 141820 375 0 0 25 0 1 0 173935606 14950400 1239 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3650 1239 197 640 0 3006 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 14600 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295824/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15180 CPUtime=1481.92 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1466 0 0 0 147804 388 0 0 25 0 1 0 173935606 15544320 1372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3795 1372 197 640 0 3151 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 15180 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295760/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15180 CPUtime=1541.9 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 153789 401 0 0 25 0 1 0 173935606 15544320 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3795 1377 197 640 0 3151 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 15180 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295760/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15180 CPUtime=1601.9 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 159775 415 0 0 25 0 1 0 173935606 15544320 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3795 1377 197 640 0 3151 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 15180 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295760/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15180 CPUtime=1661.88 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 165757 431 0 0 25 0 1 0 173935606 15544320 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3795 1377 197 640 0 3151 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 15180 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295760/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15180 CPUtime=1721.86 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 171741 445 0 0 25 0 1 0 173935606 15544320 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3795 1377 197 640 0 3151 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 15180 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15176 CPUtime=1781.85 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 177728 457 0 0 25 0 1 0 173935606 15540224 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3794 1377 197 640 0 3150 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 15176 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1791.45 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 178685 460 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 15172 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1794.65 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 179004 461 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 15172 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1796.25 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 179163 462 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 15172 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1797.04 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 179242 462 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 15172 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1797.44 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 179282 462 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 15172 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1797.84 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 179322 462 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 15172 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.97 2/68 9705 /proc/meminfo: memFree=1295696/2055920 swapFree=4192956/4192956 [pid=9698] ppid=9696 vsize=15172 CPUtime=1797.95 /proc/9698/stat : 9698 (bsolo) R 9696 9698 9148 0 -1 4194304 1471 0 0 0 179333 462 0 0 25 0 1 0 173935606 15536128 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9698/statm: 3793 1377 197 640 0 3149 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 15172 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798 CPU user time (s): 1793.37 CPU system time (s): 4.6303 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 15184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.37 system time used= 4.6303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1473 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3324 runsolver used 1.49977 second user time and 5.05423 second system time The end
Begin job on node68 at 2009-06-16 19:47:43 IDJOB=1877199 IDBENCH=2899 IDSOLVER=699 FILE ID=node68/1877199-1245174463 PBS_JOBID= 9363870 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877199-1245174463/watcher-1877199-1245174463 -o /tmp/evaluation-result-1877199-1245174463/solver-1877199-1245174463 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877199-1245174463.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=161927083 node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.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: 1301560 kB Buffers: 69736 kB Cached: 588368 kB SwapCached: 0 kB Active: 336832 kB Inactive: 337664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1301560 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 26464 kB Slab: 65512 kB Committed_AS: 82952 kB PageTables: 1564 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877199-1245174463.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-16 20:17:41