Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
| MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -7 |
| Best CPU time to get the best result obtained on this benchmark | 480.73 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -7 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 2932 |
| Sum of products size (including duplicates) | 5864 |
| Number of different products | 1466 |
| Sum of products size | 2932 |
0.00/0.00 c 2016-06-07T03:23:45+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080113-1465262625.opb"] 0.00/0.01 c use --random-gen="3709828860 1396024112 75333837 283169527 3306551811 3607689708 798264511 2875440057 717670461 1788884849 2172808427 1142056846 2363718830 1015659400 2037133043 1966085430 1217713232 1817719075 3603584995 564825731 2415062920 1687641239 2156050949 3659816361 676226670 3293788562 2662352388 1827407463 945807411 1610752088 229785023 568486403 3107050112 2727067 3813810913 926458388 558083727 1226560124 2306035240 2720161508 4101574776 3947480617 2309284236 2703007511 687492807 3791162914 3834246701 1897100838 2278851704 2285934178 3617185479 2571553490 1940988449 1598850983 3160139125 2235267906 852520684 1072302779 670563104 1163379996 2961416184 2706460230 4166717633 2038500971 76048157 3229240731 1659668109 3190174527 1399430844 1081666460 2808275004 2254639882 395156092 510829798 4004058030 3657650142 548226316 3838732264 2109281951 1775226328 2303207958 3984686758 3385445832 3130409376 3547604104 921739198 3890148493 3090934592 2691988644 1721794683 346153953 2178750038 3476592528 2561431293 4070000752 1964573773 2918899426 3875115420 3307122146 1925228176 667229511 129891636 3765529156 3385877837 203378090 1417897870 4025835002 2310399262 200791959 189800006 2748166744 2210675476 2356207473 1523661998 1634080873 2247892064 3126765135 749598363 98205784 4260047412 968201500 3864933081 2039598008 182388674 1903366204 3571353774 1275482811 1754594937 4021956639 1137448773 377576842 1746316466 1636470290 870311690 881072841 3434204583 868062659 2645764989 658165384 1462862060 2033028268 3740750088 3105148705 3586821880 1112391720 2131111494 3317814538 3059170594 388763829 3186994017 1449995632 1719080688 1129243674 2201792348 295345238 2025331985 1706711925 1765315459 4115905063 1588887124 2058390442 3155817074 1007429213 496916026 315620259 2344733967 2235391872 1871275564 3368677174 3261755733 3836325724 295381562 1567495123 4041476107 3925910697 3545431409 2686198111 2963519164 2148075801 717306997 3316812574 2576048531 1275996635 2802469986 3633408258 814060229 3508937900 3815494782 3622231978 1973427399 2448802129 1367548101 2635595401 749363739 162695922 3170164955 74666679 3869169910 1496122289 2784496842 4292668049 3189918684 2713346244 3726638406 4266220889 3428030719 2138641134 1667740832 2926681381 1339069954 2510036108 4102293925 3977334334 2527805781 176031368 4272861992 2375050642 3351630749 561963140 3762489381 2056001993 573568000 3460100863 1915587552 4252862823 1701687368 212356685 829400132 1585836301 4233734456 1694553022 22954457 2007391110 2087737754 2620112740 3172214830 3662918729 2975665496 2322991955 2692550972 2651966145 1863271250 1569789823 2516117148 382102233 341513423 3695725496 1139096027 3748646842 2661438736 2404882143 1686369685 1643765694 629658076 299357462 3471099113 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 151 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1061 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 57 | 1 | 1061 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 57 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 o -3 0.00/0.06 c BCD2: updating upper bound: 50 -> 46 0.00/0.06 c BCD2: 0 <= obj <= 46 0.00/0.06 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1061 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 30 | 2 | 1061 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 30 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 2 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.06 c lower bound updated to -49 0.00/0.06 c BCD2: 1 <= obj <= 46 0.00/0.06 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1061 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 26 | 1 | 1061 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.003s 0.00/0.07 c #wall_clock_time = 0.003s 0.00/0.07 c #decision = 26 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.07 c lower bound updated to -48 0.00/0.07 c BCD2: 2 <= obj <= 46 0.00/0.07 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 1061 0 | 1 | 0 0.00/0.09 c 0.0s | 1 | 879 | 100 | 1168 0 | 1 | 1 0.09/0.13 c 0.1s | 2 | 1770 | 250 | 1285 0 | 1 | 1 0.09/0.19 c 0.1s | 3 | 3027 | 475 | 1414 0 | 1 | 1 0.19/0.26 c 0.2s | 4 | 4380 | 813 | 1556 0 | 1 | 1 0.38/0.40 c 0.3s | 5 | 6568 | 1320 | 1712 0 | 1 | 1 0.58/0.64 c 0.6s | 6 | 8239 | 2081 | 1884 1 | 1 | 1 0.89/0.99 c 0.9s | 7 | 11239 | 3223 | 2073 2 | 1 | 1 1.28/1.37 c 1.3s | 8 | 15188 | 4936 | 2281 3 | 1 | 1 1.88/1.94 c 1.9s | 9 | 21494 | 7506 | 2510 5 | 1 | 1 2.69/2.76 c 2.7s | 10 | 30473 | 11361 | 2761 8 | 1 | 1 4.18/4.22 c 4.2s | 11 | 46364 | 17144 | 3038 12 | 1 | 1 6.18/6.24 c 6.2s | 11 | 66693 | 25044 | 3038 17 | 1 | 1 6.38/6.49 c 6.4s | 12 | 67862 | 25819 | 3342 17 | 1 | 1 8.48/8.51 c 8.4s | 12 | 87170 | 32919 | 3342 22 | 1 | 1 9.89/9.98 c 9.9s | 13 | 98695 | 38832 | 3677 25 | 1 | 1 11.88/11.99 c 11.9s | 13 | 121701 | 47132 | 3677 29 | 1 | 1 13.98/14.00 c 13.9s | 13 | 140687 | 54932 | 3677 33 | 1 | 1 14.78/14.88 c 14.8s | 14 | 147684 | 58352 | 4045 35 | 1 | 1 16.88/16.90 c 16.8s | 14 | 165152 | 67652 | 4045 40 | 1 | 1 18.88/18.92 c 18.9s | 14 | 184677 | 76952 | 4045 44 | 1 | 1 20.89/20.94 c 20.9s | 14 | 205890 | 85852 | 4045 49 | 1 | 1 21.28/21.34 c 21.3s | 15 | 209535 | 87632 | 4450 49 | 1 | 1 23.28/23.36 c 23.3s | 15 | 231299 | 95432 | 4450 53 | 1 | 1 25.29/25.36 c 25.3s | 15 | 249512 | 103332 | 4450 56 | 1 | 1 27.28/27.38 c 27.3s | 15 | 268468 | 111132 | 4450 60 | 1 | 1 29.38/29.41 c 29.3s | 15 | 286938 | 119432 | 4450 63 | 1 | 1 31.38/31.42 c 31.4s | 15 | 306064 | 126932 | 4450 67 | 1 | 1 32.48/32.54 c 32.5s | 16 | 317040 | 131552 | 4895 68 | 1 | 1 34.48/34.56 c 34.5s | 16 | 333398 | 138652 | 4895 71 | 1 | 1 36.47/36.57 c 36.5s | 16 | 349830 | 146452 | 4895 74 | 1 | 1 38.48/38.57 c 38.5s | 16 | 369362 | 154652 | 4895 78 | 1 | 1 40.47/40.59 c 40.5s | 16 | 385742 | 162352 | 4895 81 | 1 | 1 42.57/42.60 c 42.5s | 16 | 401626 | 170652 | 4895 84 | 1 | 1 44.57/44.61 c 44.5s | 16 | 417074 | 179152 | 4895 88 | 1 | 1 46.57/46.62 c 46.6s | 16 | 438863 | 188152 | 4895 91 | 1 | 1 48.57/48.62 c 48.6s | 16 | 456131 | 196952 | 5385 95 | 1 | 1 48.67/48.71 c 48.6s | 17 | 456779 | 197432 | 5385 95 | 1 | 1 50.69/50.72 c 50.7s | 17 | 474388 | 205332 | 5385 98 | 1 | 1 52.68/52.73 c 52.7s | 17 | 489931 | 213632 | 5385 101 | 1 | 1 54.68/54.78 c 54.7s | 17 | 506549 | 221332 | 5385 104 | 1 | 1 56.67/56.79 c 56.7s | 17 | 522197 | 229132 | 5385 106 | 1 | 1 58.77/58.80 c 58.7s | 17 | 537995 | 236532 | 5385 109 | 1 | 1 60.77/60.82 c 60.7s | 17 | 556681 | 244332 | 5385 112 | 1 | 1 62.78/62.83 c 62.8s | 17 | 572772 | 252632 | 5385 115 | 1 | 1 64.77/64.84 c 64.8s | 17 | 591764 | 260132 | 5385 118 | 1 | 1 66.77/66.86 c 66.8s | 17 | 602068 | 269032 | 5385 121 | 1 | 1 68.76/68.89 c 68.8s | 17 | 609357 | 275532 | 5385 123 | 1 | 1 70.86/70.90 c 70.8s | 17 | 623149 | 282832 | 5385 126 | 1 | 1 72.86/72.91 c 72.8s | 17 | 638118 | 290932 | 5385 129 | 1 | 1 74.16/74.27 c 74.2s | 18 | 649314 | 296252 | 5924 131 | 1 | 1 76.16/76.28 c 76.2s | 18 | 667628 | 304152 | 5924 133 | 1 | 1 78.17/78.29 c 78.2s | 18 | 683725 | 312152 | 5924 136 | 1 | 1 80.16/80.30 c 80.2s | 18 | 700012 | 319852 | 5924 139 | 1 | 1 82.26/82.30 c 82.2s | 18 | 715957 | 327452 | 5924 141 | 1 | 1 84.26/84.32 c 84.3s | 18 | 730906 | 335052 | 5924 144 | 1 | 1 86.26/86.35 c 86.3s | 18 | 745143 | 342052 | 5924 146 | 1 | 1 88.25/88.36 c 88.3s | 18 | 759412 | 350452 | 5924 149 | 1 | 1 90.27/90.36 c 90.3s | 18 | 774204 | 357552 | 5924 151 | 1 | 1 92.26/92.38 c 92.3s | 18 | 793013 | 364852 | 5924 154 | 1 | 1 94.26/94.39 c 94.3s | 18 | 809335 | 371752 | 5924 156 | 1 | 1 96.36/96.42 c 96.3s | 18 | 825429 | 379352 | 5924 158 | 1 | 1 98.36/98.43 c 98.4s | 18 | 842109 | 386052 | 5924 161 | 1 | 1 100.36/100.44 c 100s | 18 | 860751 | 394152 | 5924 163 | 1 | 1 102.36/102.46 c 102s | 18 | 875856 | 401852 | 5924 166 | 1 | 1 104.36/104.48 c 104s | 18 | 892492 | 408952 | 5924 168 | 1 | 1 106.36/106.48 c 106s | 18 | 910529 | 416352 | 5924 171 | 1 | 1 108.35/108.48 c 108s | 18 | 929597 | 424752 | 5924 174 | 1 | 1 110.35/110.48 c 110s | 18 | 947428 | 431952 | 5924 176 | 1 | 1 112.35/112.49 c 112s | 18 | 967685 | 439352 | 5924 179 | 1 | 1 113.85/113.91 c 113s | 19 | 979046 | 444482 | 6517 180 | 1 | 1 115.96/116.01 c 115s | 19 | 992936 | 453182 | 6517 183 | 1 | 1 117.95/118.03 c 117s | 19 | 1008847 | 461682 | 6517 185 | 1 | 1 119.96/120.03 c 119s | 19 | 1025563 | 469482 | 6517 188 | 1 | 1 121.95/122.05 c 121s | 19 | 1042915 | 477782 | 6517 190 | 1 | 1 123.95/124.05 c 123s | 19 | 1057527 | 485482 | 6517 192 | 1 | 1 125.95/126.06 c 125s | 19 | 1071923 | 493382 | 6517 195 | 1 | 1 127.94/128.08 c 128s | 19 | 1088753 | 500982 | 6517 197 | 1 | 1 130.05/130.15 c 130s | 19 | 1102862 | 509082 | 6517 200 | 1 | 1 132.05/132.17 c 132s | 19 | 1117006 | 516882 | 6517 202 | 1 | 1 134.05/134.19 c 134s | 19 | 1130855 | 524582 | 6517 204 | 1 | 1 136.15/136.21 c 136s | 19 | 1146003 | 532382 | 6517 207 | 1 | 1 138.14/138.22 c 138s | 19 | 1154196 | 539882 | 6517 209 | 1 | 1 140.14/140.23 c 140s | 19 | 1164106 | 546682 | 6517 211 | 1 | 1 142.14/142.24 c 142s | 19 | 1177941 | 554082 | 6517 213 | 1 | 1 144.15/144.26 c 144s | 19 | 1196561 | 561582 | 6517 216 | 1 | 1 146.14/146.28 c 146s | 19 | 1213178 | 569282 | 6517 218 | 1 | 1 148.14/148.29 c 148s | 19 | 1230605 | 577282 | 6517 220 | 1 | 1 150.24/150.31 c 150s | 19 | 1247966 | 585382 | 6517 223 | 1 | 1 152.24/152.32 c 152s | 19 | 1264283 | 592882 | 6517 225 | 1 | 1 154.24/154.33 c 154s | 19 | 1280600 | 600382 | 6517 227 | 1 | 1 156.24/156.34 c 156s | 19 | 1300070 | 608382 | 6517 230 | 1 | 1 158.24/158.35 c 158s | 19 | 1316306 | 616582 | 6517 232 | 1 | 1 160.24/160.37 c 160s | 19 | 1334582 | 624582 | 6517 235 | 1 | 1 162.24/162.39 c 162s | 19 | 1348464 | 632582 | 6517 237 | 1 | 1 164.24/164.39 c 164s | 19 | 1361746 | 639682 | 6517 239 | 1 | 1 166.34/166.40 c 166s | 19 | 1380533 | 647382 | 6517 242 | 1 | 1 168.35/168.47 c 168s | 19 | 1397030 | 654782 | 6517 244 | 1 | 1 170.34/170.48 c 170s | 19 | 1413714 | 662082 | 6517 246 | 1 | 1 171.84/171.93 c 171s | 20 | 1423434 | 666827 | 7169 247 | 1 | 1 173.84/173.93 c 173s | 20 | 1435202 | 672527 | 7169 249 | 1 | 1 175.84/175.94 c 175s | 20 | 1448425 | 680627 | 7169 251 | 1 | 1 177.83/177.96 c 177s | 20 | 1462779 | 688427 | 7169 253 | 1 | 1 179.83/179.98 c 179s | 20 | 1479664 | 695627 | 7169 255 | 1 | 1 181.93/182.00 c 181s | 20 | 1496469 | 702927 | 7169 257 | 1 | 1 183.93/184.03 c 183s | 20 | 1511415 | 710027 | 7169 259 | 1 | 1 185.93/186.03 c 185s | 20 | 1527285 | 717027 | 7169 261 | 1 | 1 187.92/188.04 c 187s | 20 | 1542366 | 724827 | 7169 263 | 1 | 1 189.92/190.04 c 189s | 20 | 1554533 | 731027 | 7169 265 | 1 | 1 191.92/192.06 c 191s | 20 | 1569592 | 738827 | 7169 267 | 1 | 1 193.93/194.06 c 193s | 20 | 1583850 | 746827 | 7169 269 | 1 | 1 195.93/196.08 c 196s | 20 | 1596948 | 754027 | 7169 271 | 1 | 1 197.93/198.10 c 198s | 20 | 1611000 | 761327 | 7169 273 | 1 | 1 200.03/200.10 c 200s | 20 | 1625844 | 768727 | 7169 275 | 1 | 1 202.03/202.12 c 202s | 20 | 1640677 | 776327 | 7169 278 | 1 | 1 204.02/204.12 c 204s | 20 | 1655910 | 783627 | 7169 280 | 1 | 1 206.03/206.15 c 206s | 20 | 1670377 | 790627 | 7169 282 | 1 | 1 208.12/208.20 c 208s | 20 | 1685179 | 797827 | 7169 284 | 1 | 1 210.13/210.22 c 210s | 20 | 1701026 | 805527 | 7169 286 | 1 | 1 212.12/212.23 c 212s | 20 | 1715222 | 813127 | 7169 288 | 1 | 1 214.12/214.24 c 214s | 20 | 1727446 | 819727 | 7169 290 | 1 | 1 216.12/216.24 c 216s | 20 | 1742370 | 827227 | 7169 292 | 1 | 1 218.12/218.26 c 218s | 20 | 1757698 | 834627 | 7169 294 | 1 | 1 220.12/220.26 c 220s | 20 | 1771020 | 841427 | 7169 296 | 1 | 1 222.22/222.32 c 222s | 20 | 1786457 | 848427 | 7169 298 | 1 | 1 224.21/224.34 c 224s | 20 | 1801742 | 855427 | 7169 299 | 1 | 1 226.21/226.34 c 226s | 20 | 1815568 | 862027 | 7169 301 | 1 | 1 227.31/227.48 c 227s | 20 | 1821970 | 864977 | 7169 302 | 2 | 2 227.31/227.48 c #cpu_time = 227.371s 227.31/227.48 c #wall_clock_time = 227.411s 227.31/227.48 c #decision = 1821970 227.31/227.48 c #random_decision = 8911 227.31/227.48 c #conflict = 864977 227.31/227.48 c #restart = 20 227.31/227.48 c BCD2: updating lower bound of a core 227.31/227.48 c lower bound updated to -14 227.31/227.48 c BCD2: 36 <= obj <= 46 227.31/227.48 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 227.31/227.48 c BCD2: #sat=1 #unsat=4 bias=4/5 227.31/227.48 c Solving starts ... 227.31/227.48 c ============================[ Search Statistics ]============================ 227.31/227.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 227.31/227.48 c | | | | Limit GC | Var | Constra 227.31/227.48 c ============================================================================= 227.31/227.48 c 0.0s | 0 | 0 | 0 | 7169 0 | 2 | 3 227.41/227.53 c 0.1s | 1 | 247 | 100 | 7169 0 | 2 | 3 227.51/227.60 c 0.1s | 2 | 445 | 250 | 7169 0 | 2 | 3 227.62/227.71 c 0.2s | 3 | 967 | 475 | 7169 0 | 2 | 3 227.72/227.81 c 0.3s | 4 | 1364 | 813 | 7169 0 | 2 | 3 227.82/227.95 c 0.5s | 5 | 2072 | 1320 | 7169 0 | 2 | 3 228.02/228.19 c 0.7s | 6 | 3114 | 2081 | 7169 0 | 2 | 3 228.32/228.44 c 1.0s | 6 | 5399 | 3048 | 7169 0 | 2 | 3 228.32/228.44 c #cpu_time = 0.963s 228.32/228.44 c #wall_clock_time = 0.963s 228.32/228.44 c #decision = 5399 228.32/228.44 c #random_decision = 22 228.32/228.44 c #conflict = 3048 228.32/228.44 c #restart = 6 228.32/228.44 o -6 228.32/228.44 c BCD2: updating upper bound: 46 -> 43 228.32/228.44 c BCD2: 36 <= obj <= 43 228.32/228.44 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 228.32/228.44 c BCD2: #sat=2 #unsat=4 bias=4/6 228.32/228.44 c Solving starts ... 228.32/228.44 c ============================[ Search Statistics ]============================ 228.32/228.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 228.32/228.44 c | | | | Limit GC | Var | Constra 228.32/228.44 c ============================================================================= 228.32/228.44 c 0.0s | 0 | 0 | 0 | 7169 0 | 2 | 5 228.32/228.48 c 0.0s | 1 | 282 | 100 | 7169 0 | 2 | 5 228.42/228.54 c 0.1s | 2 | 985 | 250 | 7169 0 | 2 | 5 228.52/228.60 c 0.2s | 3 | 3099 | 475 | 7169 0 | 2 | 5 228.52/228.69 c 0.2s | 4 | 4901 | 813 | 7169 0 | 2 | 5 228.72/228.83 c 0.4s | 5 | 5783 | 1320 | 7169 0 | 2 | 5 228.91/229.07 c 0.6s | 6 | 10185 | 2081 | 7169 0 | 2 | 5 229.31/229.46 c 1.0s | 7 | 12335 | 3223 | 7169 1 | 2 | 5 229.82/229.93 c 1.5s | 8 | 15901 | 4936 | 7169 1 | 2 | 5 230.51/230.69 c 2.2s | 9 | 21090 | 7506 | 7169 2 | 2 | 5 231.91/232.01 c 3.6s | 10 | 27622 | 11361 | 7169 3 | 2 | 5 233.92/234.04 c 5.6s | 10 | 36757 | 16861 | 7169 4 | 2 | 5 234.02/234.15 c 5.7s | 11 | 37292 | 17144 | 7169 4 | 2 | 5 236.02/236.16 c 7.7s | 11 | 45119 | 22044 | 7169 6 | 2 | 5 237.11/237.21 c 8.8s | 12 | 50731 | 25819 | 7169 7 | 2 | 5 239.11/239.22 c 10.8s | 12 | 62557 | 31819 | 7169 9 | 2 | 5 241.11/241.24 c 12.8s | 12 | 74585 | 37719 | 7169 10 | 2 | 5 241.51/241.66 c 13.2s | 13 | 76658 | 38832 | 7169 10 | 2 | 5 243.50/243.67 c 15.2s | 13 | 93135 | 45032 | 7169 12 | 2 | 5 245.51/245.69 c 17.2s | 13 | 104945 | 51732 | 7169 14 | 2 | 5 247.70/247.80 c 19.4s | 13 | 115077 | 57232 | 7169 16 | 2 | 5 247.90/248.08 c 19.6s | 14 | 116379 | 58352 | 7169 16 | 2 | 5 249.90/250.08 c 21.6s | 14 | 130192 | 64252 | 7169 17 | 2 | 5 252.00/252.10 c 23.7s | 14 | 141637 | 69952 | 7169 19 | 2 | 5 254.01/254.14 c 25.7s | 14 | 150004 | 75052 | 7169 20 | 2 | 5 256.00/256.20 c 27.8s | 14 | 159619 | 79852 | 7169 22 | 2 | 5 258.09/258.21 c 29.8s | 14 | 170468 | 85152 | 7169 23 | 2 | 5 259.10/259.28 c 30.8s | 15 | 174939 | 87632 | 7169 24 | 2 | 5 261.20/261.30 c 32.9s | 15 | 183056 | 93532 | 7169 26 | 2 | 5 263.19/263.32 c 34.9s | 15 | 193276 | 99032 | 7169 27 | 2 | 5 265.20/265.33 c 36.9s | 15 | 207297 | 105132 | 7169 29 | 2 | 5 267.20/267.35 c 38.9s | 15 | 216903 | 110732 | 7169 30 | 2 | 5 269.19/269.36 c 40.9s | 15 | 225720 | 115532 | 7169 32 | 2 | 5 271.30/271.40 c 43.0s | 15 | 236258 | 122432 | 7169 34 | 2 | 5 273.30/273.42 c 45.0s | 15 | 247282 | 128932 | 7886 35 | 2 | 5 274.19/274.38 c 45.9s | 16 | 251582 | 131552 | 7886 36 | 2 | 5 276.29/276.40 c 48.0s | 16 | 264690 | 137852 | 7886 37 | 2 | 5 278.30/278.43 c 50.0s | 16 | 272385 | 143152 | 7886 39 | 2 | 5 280.29/280.45 c 52.0s | 16 | 282005 | 149352 | 7886 40 | 2 | 5 282.29/282.45 c 54.0s | 16 | 292610 | 154752 | 7886 41 | 2 | 5 284.59/284.71 c 56.3s | 16 | 302008 | 159752 | 7886 43 | 2 | 5 286.58/286.75 c 58.3s | 16 | 311558 | 165452 | 7886 44 | 2 | 5 288.59/288.78 c 60.3s | 16 | 320179 | 169952 | 7886 45 | 2 | 5 290.69/290.86 c 62.4s | 16 | 329475 | 174952 | 7886 47 | 2 | 5 292.69/292.88 c 64.4s | 16 | 339152 | 180052 | 7886 48 | 2 | 5 294.79/294.91 c 66.5s | 16 | 349260 | 185952 | 7886 49 | 2 | 5 296.77/296.95 c 68.5s | 16 | 356950 | 191852 | 7886 51 | 2 | 5 298.68/298.81 c 70.4s | 17 | 365307 | 197432 | 7886 52 | 2 | 5 300.68/300.83 c 72.4s | 17 | 375343 | 203332 | 7886 54 | 2 | 5 302.68/302.84 c 74.4s | 17 | 385026 | 208632 | 7886 55 | 2 | 5 304.68/304.86 c 76.4s | 17 | 393930 | 214132 | 7886 56 | 2 | 5 306.68/306.88 c 78.4s | 17 | 402538 | 219432 | 7886 58 | 2 | 5 308.78/308.91 c 80.5s | 17 | 412548 | 225232 | 7886 59 | 2 | 5 310.77/310.92 c 82.5s | 17 | 419967 | 230632 | 7886 60 | 2 | 5 312.77/312.94 c 84.5s | 17 | 430384 | 235632 | 7886 62 | 2 | 5 314.77/314.95 c 86.5s | 17 | 441245 | 242032 | 7886 63 | 2 | 5 316.77/316.98 c 88.5s | 17 | 450616 | 246932 | 7886 65 | 2 | 5 318.77/318.98 c 90.5s | 17 | 461731 | 252232 | 7886 66 | 2 | 5 320.77/320.98 c 92.5s | 17 | 473933 | 259132 | 7886 68 | 2 | 5 322.87/323.01 c 94.6s | 17 | 485676 | 265532 | 7886 69 | 2 | 5 324.87/325.03 c 96.6s | 17 | 503193 | 272432 | 7886 71 | 2 | 5 326.86/327.04 c 98.6s | 17 | 515180 | 279032 | 7886 73 | 2 | 5 328.87/329.07 c 100s | 17 | 524728 | 284732 | 7886 74 | 2 | 5 330.96/331.11 c 102s | 17 | 534168 | 290332 | 7886 75 | 2 | 5 332.96/333.11 c 104s | 17 | 541633 | 295132 | 7886 77 | 2 | 5 333.27/333.45 c 105s | 18 | 543986 | 296252 | 7886 77 | 2 | 5 335.26/335.47 c 107s | 18 | 552247 | 301252 | 7886 78 | 2 | 5 337.25/337.48 c 109s | 18 | 559114 | 306552 | 7886 79 | 2 | 5 339.36/339.50 c 111s | 18 | 568324 | 311752 | 7886 81 | 2 | 5 341.35/341.52 c 113s | 18 | 576096 | 316852 | 7886 82 | 2 | 5 343.35/343.58 c 115s | 18 | 588241 | 322752 | 7886 84 | 2 | 5 345.37/345.58 c 117s | 18 | 595896 | 327352 | 7886 85 | 2 | 5 347.35/347.60 c 119s | 18 | 605799 | 333252 | 7886 86 | 2 | 5 349.45/349.63 c 121s | 18 | 615304 | 338552 | 7886 87 | 2 | 5 351.45/351.64 c 123s | 18 | 621892 | 343152 | 7886 89 | 2 | 5 353.45/353.67 c 125s | 18 | 633214 | 349352 | 7886 90 | 2 | 5 355.46/355.68 c 127s | 18 | 640713 | 353852 | 7886 91 | 2 | 5 357.55/357.70 c 129s | 18 | 652566 | 360152 | 7886 93 | 2 | 5 359.56/359.71 c 131s | 18 | 661515 | 365552 | 7886 94 | 2 | 5 361.55/361.73 c 133s | 18 | 672308 | 371452 | 7886 96 | 2 | 5 363.55/363.74 c 135s | 18 | 682526 | 377352 | 7886 97 | 2 | 5 365.55/365.74 c 137s | 18 | 691675 | 383852 | 7886 99 | 2 | 5 367.55/367.76 c 139s | 18 | 702911 | 390252 | 7886 100 | 2 | 5 369.55/369.76 c 141s | 18 | 713013 | 395852 | 7886 102 | 2 | 5 371.55/371.77 c 143s | 18 | 723616 | 402052 | 7886 103 | 2 | 5 373.55/373.78 c 145s | 18 | 732906 | 407252 | 7886 105 | 2 | 5 375.64/375.81 c 147s | 18 | 741676 | 412752 | 7886 106 | 2 | 5 377.65/377.83 c 149s | 18 | 750298 | 418952 | 7886 108 | 2 | 5 379.65/379.86 c 151s | 18 | 761006 | 425052 | 7886 109 | 2 | 5 381.65/381.88 c 153s | 18 | 768278 | 429552 | 7886 110 | 2 | 5 383.64/383.89 c 155s | 18 | 780265 | 435352 | 7886 112 | 2 | 5 385.74/385.90 c 157s | 18 | 792083 | 442152 | 7886 113 | 2 | 5 386.64/386.83 c 158s | 19 | 796582 | 444482 | 7886 114 | 2 | 5 388.64/388.83 c 160s | 19 | 806844 | 449882 | 7886 115 | 2 | 5 390.63/390.85 c 162s | 19 | 817390 | 455382 | 7886 117 | 2 | 5 392.64/392.87 c 164s | 19 | 827716 | 461482 | 7886 118 | 2 | 5 394.64/394.88 c 166s | 19 | 839440 | 468182 | 7886 120 | 2 | 5 396.63/396.88 c 168s | 19 | 848209 | 474082 | 7886 121 | 2 | 5 398.63/398.89 c 170s | 19 | 856892 | 479782 | 7886 123 | 2 | 5 400.73/400.90 c 172s | 19 | 865344 | 485682 | 7886 124 | 2 | 5 402.73/402.91 c 174s | 19 | 873426 | 491082 | 7886 126 | 2 | 5 404.74/404.96 c 176s | 19 | 882854 | 497282 | 7886 127 | 2 | 5 406.73/406.99 c 178s | 19 | 895313 | 504082 | 7886 129 | 2 | 5 408.73/408.99 c 180s | 19 | 905255 | 509782 | 7886 130 | 2 | 5 410.83/411.00 c 182s | 19 | 915310 | 516082 | 7886 132 | 2 | 5 412.83/413.03 c 184s | 19 | 928944 | 521782 | 7886 133 | 2 | 5 414.83/415.03 c 186s | 19 | 939243 | 527882 | 7886 135 | 2 | 5 416.83/417.06 c 188s | 19 | 947697 | 534482 | 7886 137 | 2 | 5 418.82/419.09 c 190s | 19 | 959896 | 541382 | 7886 138 | 2 | 5 420.92/421.11 c 192s | 19 | 974791 | 548782 | 7886 140 | 2 | 5 422.92/423.12 c 194s | 19 | 988646 | 555782 | 7886 142 | 2 | 5 424.92/425.13 c 196s | 19 | 999752 | 562582 | 7886 144 | 2 | 5 426.92/427.15 c 198s | 19 | 1010491 | 569082 | 7886 145 | 2 | 5 428.92/429.17 c 200s | 19 | 1023576 | 575882 | 7886 147 | 2 | 5 430.91/431.17 c 202s | 19 | 1036243 | 583082 | 7886 149 | 2 | 5 432.92/433.19 c 204s | 19 | 1049588 | 589482 | 7886 150 | 2 | 5 435.02/435.20 c 206s | 19 | 1060515 | 596582 | 7886 152 | 2 | 5 437.01/437.28 c 208s | 19 | 1072407 | 603282 | 7886 154 | 2 | 5 439.11/439.30 c 210s | 19 | 1084135 | 610082 | 7886 155 | 2 | 5 441.11/441.31 c 212s | 19 | 1095353 | 617282 | 7886 157 | 2 | 5 443.12/443.32 c 214s | 19 | 1105715 | 623382 | 8675 159 | 2 | 5 445.11/445.32 c 216s | 19 | 1119628 | 630882 | 8675 160 | 2 | 5 447.11/447.34 c 218s | 19 | 1130112 | 637982 | 8675 162 | 2 | 5 449.10/449.37 c 220s | 19 | 1141072 | 643682 | 8675 163 | 2 | 5 451.11/451.39 c 222s | 19 | 1154848 | 650182 | 8675 165 | 2 | 5 453.20/453.42 c 224s | 19 | 1166179 | 656782 | 8675 166 | 2 | 5 455.22/455.44 c 226s | 19 | 1179689 | 663282 | 8675 168 | 2 | 5 456.21/456.45 c 228s | 20 | 1185409 | 666827 | 8675 169 | 2 | 5 458.20/458.46 c 230s | 20 | 1195783 | 672827 | 8675 170 | 2 | 5 460.20/460.47 c 232s | 20 | 1205461 | 679127 | 8675 171 | 2 | 5 462.21/462.47 c 234s | 20 | 1214286 | 685227 | 8675 173 | 2 | 5 464.21/464.48 c 236s | 20 | 1221953 | 690327 | 8675 174 | 2 | 5 466.21/466.49 c 238s | 20 | 1230640 | 695827 | 8675 175 | 2 | 5 468.20/468.49 c 240s | 20 | 1238258 | 700927 | 8675 176 | 2 | 5 470.30/470.50 c 242s | 20 | 1245855 | 706027 | 8675 177 | 2 | 5 472.30/472.52 c 244s | 20 | 1253799 | 710927 | 8675 179 | 2 | 5 474.30/474.52 c 246s | 20 | 1262287 | 716127 | 8675 180 | 2 | 5 476.30/476.55 c 248s | 20 | 1271034 | 720927 | 8675 181 | 2 | 5 478.30/478.59 c 250s | 20 | 1278956 | 726927 | 8675 182 | 2 | 5 480.40/480.60 c 252s | 20 | 1286352 | 732327 | 8675 183 | 2 | 5 482.40/482.63 c 254s | 20 | 1295261 | 738727 | 8675 185 | 2 | 5 484.39/484.67 c 256s | 20 | 1303200 | 744827 | 8675 186 | 2 | 5 486.49/486.71 c 258s | 20 | 1311014 | 750627 | 8675 188 | 2 | 5 488.49/488.72 c 260s | 20 | 1319355 | 756527 | 8675 189 | 2 | 5 490.49/490.72 c 262s | 20 | 1327195 | 762327 | 8675 190 | 2 | 5 492.49/492.77 c 264s | 20 | 1335639 | 768727 | 8675 192 | 2 | 5 494.49/494.80 c 266s | 20 | 1344822 | 775427 | 8675 193 | 2 | 5 496.59/496.81 c 268s | 20 | 1353644 | 781627 | 8675 195 | 2 | 5 498.59/498.84 c 270s | 20 | 1362045 | 787627 | 8675 196 | 2 | 5 500.59/500.88 c 272s | 20 | 1371272 | 794427 | 8675 198 | 2 | 5 502.59/502.89 c 274s | 20 | 1380766 | 801327 | 8675 199 | 2 | 5 504.69/504.90 c 276s | 20 | 1390085 | 808127 | 8675 201 | 2 | 5 506.68/506.91 c 278s | 20 | 1401913 | 815227 | 8675 202 | 2 | 5 508.68/508.93 c 280s | 20 | 1418124 | 820727 | 8675 203 | 2 | 5 510.68/510.94 c 282s | 20 | 1427870 | 826727 | 8675 205 | 2 | 5 512.68/512.96 c 284s | 20 | 1440910 | 832427 | 8675 206 | 2 | 5 514.69/514.96 c 286s | 20 | 1450991 | 837927 | 8675 207 | 2 | 5 516.68/516.98 c 288s | 20 | 1462360 | 843627 | 8675 209 | 2 | 5 518.78/519.02 c 290s | 20 | 1476192 | 849827 | 8675 210 | 2 | 5 520.78/521.04 c 292s | 20 | 1487172 | 855327 | 8675 211 | 2 | 5 522.78/523.05 c 294s | 20 | 1497883 | 861127 | 8675 213 | 2 | 5 524.78/525.06 c 296s | 20 | 1507323 | 867127 | 8675 214 | 2 | 5 526.78/527.09 c 298s | 20 | 1516205 | 872727 | 8675 215 | 2 | 5 528.88/529.11 c 300s | 20 | 1524830 | 878027 | 8675 217 | 2 | 5 530.88/531.14 c 302s | 20 | 1532763 | 883527 | 8675 218 | 2 | 5 532.87/533.15 c 304s | 20 | 1540493 | 888427 | 8675 219 | 2 | 5 534.87/535.17 c 306s | 20 | 1549059 | 893727 | 8675 220 | 2 | 5 536.97/537.20 c 308s | 20 | 1556356 | 899327 | 8675 221 | 2 | 5 538.97/539.23 c 310s | 20 | 1565213 | 905627 | 8675 223 | 2 | 5 540.98/541.25 c 312s | 20 | 1573780 | 912127 | 8675 224 | 2 | 5 542.97/543.27 c 314s | 20 | 1583332 | 919127 | 8675 226 | 2 | 5 545.07/545.30 c 316s | 20 | 1594890 | 925827 | 8675 227 | 2 | 5 547.07/547.31 c 318s | 20 | 1605459 | 931527 | 8675 229 | 2 | 5 549.07/549.34 c 320s | 20 | 1614232 | 936627 | 8675 230 | 2 | 5 551.06/551.36 c 322s | 20 | 1622121 | 942327 | 8675 231 | 2 | 5 553.07/553.37 c 324s | 20 | 1630742 | 948627 | 8675 233 | 2 | 5 555.06/555.40 c 326s | 20 | 1640118 | 955927 | 8675 234 | 2 | 5 557.16/557.43 c 328s | 20 | 1649415 | 962527 | 8675 236 | 2 | 5 559.16/559.46 c 331s | 20 | 1660980 | 969427 | 8675 237 | 2 | 5 561.16/561.47 c 333s | 20 | 1669256 | 975227 | 8675 239 | 2 | 5 563.26/563.50 c 335s | 20 | 1683266 | 981627 | 8675 240 | 2 | 5 565.26/565.51 c 337s | 20 | 1693812 | 987227 | 8675 241 | 2 | 5 567.25/567.53 c 339s | 20 | 1705487 | 993927 | 8675 243 | 2 | 5 569.26/569.54 c 341s | 20 | 1716534 | 999527 | 8675 244 | 2 | 5 569.46/569.79 c 341s | 21 | 1717466 | 1000345 | 8675 244 | 2 | 5 571.56/571.82 c 343s | 21 | 1730220 | 1005945 | 8675 246 | 2 | 5 573.55/573.85 c 345s | 21 | 1737423 | 1010545 | 8675 247 | 2 | 5 575.56/575.86 c 347s | 21 | 1746066 | 1016145 | 8675 248 | 2 | 5 577.55/577.87 c 349s | 21 | 1754330 | 1021645 | 8675 249 | 2 | 5 579.56/579.90 c 351s | 21 | 1767514 | 1027645 | 8675 251 | 2 | 5 581.66/581.94 c 353s | 21 | 1779889 | 1034145 | 8675 252 | 2 | 5 583.66/583.95 c 355s | 21 | 1788824 | 1039845 | 8675 253 | 2 | 5 585.66/585.96 c 357s | 21 | 1797295 | 1044945 | 8675 255 | 2 | 5 587.65/587.97 c 359s | 21 | 1806169 | 1050545 | 8675 256 | 2 | 5 589.75/590.00 c 361s | 21 | 1816801 | 1056745 | 8675 257 | 2 | 5 591.75/592.00 c 363s | 21 | 1825964 | 1063145 | 8675 259 | 2 | 5 593.76/594.01 c 365s | 21 | 1836473 | 1069445 | 8675 260 | 2 | 5 595.75/596.03 c 367s | 21 | 1847273 | 1075745 | 8675 262 | 2 | 5 597.74/598.04 c 369s | 21 | 1856136 | 1082245 | 8675 263 | 2 | 5 599.84/600.15 c 371s | 21 | 1866106 | 1088345 | 8675 265 | 2 | 5 601.85/602.17 c 373s | 21 | 1877332 | 1094345 | 8675 266 | 2 | 5 603.84/604.18 c 375s | 21 | 1888265 | 1099945 | 8675 267 | 2 | 5 605.95/606.22 c 377s | 21 | 1897930 | 1105845 | 8675 269 | 2 | 5 607.94/608.25 c 379s | 21 | 1906691 | 1111445 | 8675 270 | 2 | 5 609.94/610.25 c 381s | 21 | 1917803 | 1117945 | 8675 271 | 2 | 5 611.94/612.26 c 383s | 21 | 1928438 | 1124345 | 8675 273 | 2 | 5 613.94/614.26 c 385s | 21 | 1940775 | 1131045 | 8675 274 | 2 | 5 615.94/616.27 c 387s | 21 | 1950795 | 1136945 | 8675 276 | 2 | 5 617.94/618.29 c 389s | 21 | 1964413 | 1143845 | 8675 277 | 2 | 5 620.03/620.31 c 391s | 21 | 1974462 | 1149945 | 8675 279 | 2 | 5 622.03/622.32 c 393s | 21 | 1986937 | 1157145 | 8675 280 | 2 | 5 624.03/624.32 c 395s | 21 | 1997208 | 1163045 | 8675 282 | 2 | 5 626.04/626.34 c 397s | 21 | 2008612 | 1168945 | 8675 283 | 2 | 5 628.03/628.39 c 399s | 21 | 2021452 | 1175245 | 8675 284 | 2 | 5 630.03/630.40 c 401s | 21 | 2033825 | 1181845 | 8675 286 | 2 | 5 632.13/632.42 c 403s | 21 | 2044894 | 1187845 | 8675 287 | 2 | 5 634.13/634.42 c 405s | 21 | 2056735 | 1194045 | 8675 289 | 2 | 5 636.13/636.42 c 407s | 21 | 2066825 | 1200445 | 8675 290 | 2 | 5 638.12/638.44 c 409s | 21 | 2075014 | 1205145 | 8675 291 | 2 | 5 640.12/640.46 c 412s | 21 | 2087861 | 1211345 | 8675 293 | 2 | 5 642.12/642.47 c 414s | 21 | 2098190 | 1217545 | 8675 294 | 2 | 5 644.12/644.49 c 416s | 21 | 2108098 | 1223145 | 8675 295 | 2 | 5 646.22/646.50 c 418s | 21 | 2119298 | 1229645 | 8675 297 | 2 | 5 648.22/648.52 c 420s | 21 | 2128746 | 1235645 | 8675 298 | 2 | 5 650.22/650.52 c 422s | 21 | 2139575 | 1241845 | 8675 300 | 2 | 5 652.21/652.54 c 424s | 21 | 2149859 | 1247945 | 8675 301 | 2 | 5 654.23/654.57 c 426s | 21 | 2161619 | 1254145 | 8675 302 | 2 | 5 656.22/656.59 c 428s | 21 | 2171667 | 1260345 | 8675 304 | 2 | 5 658.31/658.60 c 430s | 21 | 2182788 | 1266845 | 8675 305 | 2 | 5 660.41/660.75 c 432s | 21 | 2193487 | 1273145 | 8675 307 | 2 | 5 662.41/662.77 c 434s | 21 | 2204984 | 1279445 | 8675 308 | 2 | 5 664.41/664.78 c 436s | 21 | 2215424 | 1285745 | 8675 310 | 2 | 5 666.42/666.78 c 438s | 21 | 2226680 | 1291745 | 8675 311 | 2 | 5 668.40/668.78 c 440s | 21 | 2237440 | 1298145 | 8675 312 | 2 | 5 670.41/670.79 c 442s | 21 | 2246630 | 1303345 | 8675 314 | 2 | 5 672.50/672.82 c 444s | 21 | 2256103 | 1309245 | 8675 315 | 2 | 5 674.50/674.84 c 446s | 21 | 2266193 | 1315745 | 8675 316 | 2 | 5 676.50/676.84 c 448s | 21 | 2274836 | 1321645 | 8675 318 | 2 | 5 678.51/678.87 c 450s | 21 | 2286113 | 1328445 | 8675 319 | 2 | 5 680.61/681.00 c 452s | 21 | 2296976 | 1335145 | 8675 321 | 2 | 5 682.70/683.02 c 454s | 21 | 2306666 | 1341245 | 8675 322 | 2 | 5 684.70/685.02 c 456s | 21 | 2314761 | 1347645 | 8675 324 | 2 | 5 686.80/687.12 c 458s | 21 | 2324119 | 1354645 | 8675 325 | 2 | 5 688.80/689.13 c 460s | 21 | 2337228 | 1361145 | 8675 327 | 2 | 5 690.80/691.15 c 462s | 21 | 2348364 | 1367745 | 9543 328 | 2 | 5 692.80/693.19 c 464s | 21 | 2356987 | 1373445 | 9543 329 | 2 | 5 694.80/695.20 c 466s | 21 | 2366112 | 1379845 | 9543 331 | 2 | 5 696.89/697.22 c 468s | 21 | 2375343 | 1385845 | 9543 332 | 2 | 5 698.90/699.23 c 470s | 21 | 2383079 | 1391745 | 9543 333 | 2 | 5 700.89/701.23 c 472s | 21 | 2391832 | 1397745 | 9543 334 | 2 | 5 702.89/703.24 c 474s | 21 | 2399839 | 1403745 | 9543 336 | 2 | 5 704.90/705.26 c 476s | 21 | 2408643 | 1410145 | 9543 337 | 2 | 5 706.89/707.26 c 478s | 21 | 2416622 | 1414845 | 9543 338 | 2 | 5 708.89/709.28 c 480s | 21 | 2425316 | 1420145 | 9543 339 | 2 | 5 710.89/711.29 c 482s | 21 | 2432916 | 1425345 | 9543 340 | 2 | 5 713.00/713.34 c 484s | 21 | 2443184 | 1431445 | 9543 341 | 2 | 5 714.99/715.36 c 486s | 21 | 2451631 | 1437145 | 9543 343 | 2 | 5 717.00/717.37 c 488s | 21 | 2460447 | 1443945 | 9543 344 | 2 | 5 718.99/719.39 c 490s | 21 | 2470752 | 1450645 | 9543 345 | 2 | 5 721.20/721.53 c 493s | 21 | 2482208 | 1457545 | 9543 347 | 2 | 5 723.19/723.54 c 495s | 21 | 2495210 | 1464045 | 9543 348 | 2 | 5 725.20/725.56 c 497s | 21 | 2505945 | 1470445 | 9543 350 | 2 | 5 727.19/727.59 c 499s | 21 | 2518303 | 1476845 | 9543 351 | 2 | 5 729.29/729.62 c 501s | 21 | 2530178 | 1483345 | 9543 352 | 2 | 5 731.30/731.65 c 503s | 21 | 2541774 | 1489645 | 9543 353 | 2 | 5 733.29/733.67 c 505s | 21 | 2553367 | 1495945 | 9543 355 | 2 | 5 734.89/735.29 c 506s | 22 | 2561639 | 1500622 | 9543 356 | 2 | 5 736.99/737.32 c 508s | 22 | 2571901 | 1506322 | 9543 357 | 2 | 5 739.00/739.35 c 510s | 22 | 2580640 | 1511722 | 9543 358 | 2 | 5 740.99/741.38 c 512s | 22 | 2588471 | 1516722 | 9543 359 | 2 | 5 743.08/743.41 c 514s | 22 | 2600246 | 1522422 | 9543 360 | 2 | 5 745.09/745.45 c 517s | 22 | 2611044 | 1528022 | 9543 361 | 2 | 5 747.29/747.63 c 519s | 22 | 2620759 | 1533722 | 9543 363 | 2 | 5 749.29/749.66 c 521s | 22 | 2631811 | 1539722 | 9543 364 | 2 | 5 751.29/751.68 c 523s | 22 | 2640795 | 1545322 | 9543 365 | 2 | 5 753.29/753.69 c 525s | 22 | 2652541 | 1551422 | 9543 366 | 2 | 5 755.40/755.71 c 527s | 22 | 2662155 | 1557922 | 9543 368 | 2 | 5 757.39/757.72 c 529s | 22 | 2671422 | 1563822 | 9543 369 | 2 | 5 759.38/759.73 c 531s | 22 | 2681556 | 1569722 | 9543 370 | 2 | 5 761.38/761.75 c 533s | 22 | 2691887 | 1575722 | 9543 371 | 2 | 5 763.49/763.80 c 535s | 22 | 2701788 | 1581122 | 9543 373 | 2 | 5 765.48/765.81 c 537s | 22 | 2714529 | 1587522 | 9543 374 | 2 | 5 767.49/767.83 c 539s | 22 | 2724815 | 1593222 | 9543 375 | 2 | 5 769.48/769.85 c 541s | 22 | 2735083 | 1599622 | 9543 376 | 2 | 5 771.48/771.87 c 543s | 22 | 2744181 | 1606322 | 9543 378 | 2 | 5 773.49/773.87 c 545s | 22 | 2757276 | 1612322 | 9543 379 | 2 | 5 775.58/775.90 c 547s | 22 | 2766932 | 1618022 | 9543 380 | 2 | 5 777.58/777.90 c 549s | 22 | 2777459 | 1624022 | 9543 381 | 2 | 5 779.59/779.92 c 551s | 22 | 2788004 | 1630022 | 9543 383 | 2 | 5 781.58/781.92 c 553s | 22 | 2799606 | 1637122 | 9543 384 | 2 | 5 783.58/783.94 c 555s | 22 | 2811355 | 1643422 | 9543 385 | 2 | 5 785.59/785.95 c 557s | 22 | 2823455 | 1650122 | 9543 387 | 2 | 5 787.58/787.95 c 559s | 22 | 2835677 | 1656522 | 9543 388 | 2 | 5 789.59/789.97 c 561s | 22 | 2845027 | 1662322 | 9543 389 | 2 | 5 791.58/791.97 c 563s | 22 | 2855841 | 1668322 | 9543 391 | 2 | 5 793.58/793.99 c 565s | 22 | 2866997 | 1674722 | 9543 392 | 2 | 5 795.68/796.01 c 567s | 22 | 2879617 | 1681222 | 9543 393 | 2 | 5 797.68/798.02 c 569s | 22 | 2891326 | 1687622 | 9543 395 | 2 | 5 799.68/800.03 c 571s | 22 | 2902784 | 1693822 | 9543 396 | 2 | 5 801.69/802.03 c 573s | 22 | 2914336 | 1700722 | 9543 397 | 2 | 5 803.68/804.08 c 575s | 22 | 2924370 | 1706322 | 9543 399 | 2 | 5 805.78/806.10 c 577s | 22 | 2936324 | 1712922 | 9543 400 | 2 | 5 807.78/808.12 c 579s | 22 | 2947425 | 1718622 | 9543 401 | 2 | 5 809.78/810.15 c 581s | 22 | 2958522 | 1725222 | 9543 402 | 2 | 5 811.78/812.17 c 583s | 22 | 2967243 | 1731122 | 9543 404 | 2 | 5 813.78/814.17 c 585s | 22 | 2980379 | 1737722 | 9543 405 | 2 | 5 815.78/816.19 c 587s | 22 | 2992424 | 1743922 | 9543 406 | 2 | 5 817.88/818.20 c 589s | 22 | 3001904 | 1749522 | 9543 408 | 2 | 5 819.88/820.22 c 591s | 22 | 3014809 | 1755822 | 9543 409 | 2 | 5 821.97/822.39 c 593s | 22 | 3026693 | 1762122 | 9543 410 | 2 | 5 823.98/824.39 c 595s | 22 | 3038396 | 1768622 | 9543 412 | 2 | 5 826.08/826.41 c 597s | 22 | 3047193 | 1774022 | 9543 413 | 2 | 5 828.08/828.43 c 599s | 22 | 3059288 | 1779822 | 9543 414 | 2 | 5 830.08/830.46 c 602s | 22 | 3071223 | 1786822 | 9543 415 | 2 | 5 832.08/832.47 c 604s | 22 | 3079729 | 1791922 | 9543 416 | 2 | 5 834.18/834.51 c 606s | 22 | 3087540 | 1797022 | 9543 417 | 2 | 5 836.18/836.51 c 608s | 22 | 3100561 | 1803422 | 9543 419 | 2 | 5 838.17/838.52 c 610s | 22 | 3112957 | 1809222 | 9543 420 | 2 | 5 840.18/840.52 c 612s | 22 | 3122533 | 1815822 | 9543 421 | 2 | 5 842.17/842.53 c 614s | 22 | 3133049 | 1822322 | 9543 423 | 2 | 5 844.17/844.54 c 616s | 22 | 3143429 | 1828522 | 9543 424 | 2 | 5 846.18/846.55 c 618s | 22 | 3153809 | 1834622 | 9543 425 | 2 | 5 848.17/848.56 c 620s | 22 | 3163375 | 1840222 | 9543 426 | 2 | 5 850.37/850.74 c 622s | 22 | 3172116 | 1845522 | 9543 428 | 2 | 5 852.37/852.76 c 624s | 22 | 3181437 | 1851522 | 9543 429 | 2 | 5 854.38/854.77 c 626s | 22 | 3189171 | 1857522 | 9543 430 | 2 | 5 856.37/856.78 c 628s | 22 | 3200480 | 1863122 | 9543 431 | 2 | 5 858.37/858.79 c 630s | 22 | 3209626 | 1867722 | 9543 432 | 2 | 5 860.48/860.81 c 632s | 22 | 3220364 | 1874122 | 9543 433 | 2 | 5 862.47/862.84 c 634s | 22 | 3235557 | 1880122 | 9543 435 | 2 | 5 864.47/864.85 c 636s | 22 | 3246537 | 1886022 | 9543 436 | 2 | 5 866.47/866.88 c 638s | 22 | 3256661 | 1891922 | 9543 437 | 2 | 5 868.57/868.90 c 640s | 22 | 3264056 | 1896522 | 9543 438 | 2 | 5 870.57/870.93 c 642s | 22 | 3272254 | 1901822 | 9543 439 | 2 | 5 872.57/872.98 c 644s | 22 | 3284603 | 1908322 | 9543 441 | 2 | 5 874.67/875.01 c 646s | 22 | 3296587 | 1915122 | 9543 442 | 2 | 5 876.67/877.02 c 648s | 22 | 3307502 | 1921322 | 9543 443 | 2 | 5 878.67/879.03 c 650s | 22 | 3318077 | 1927622 | 9543 445 | 2 | 5 880.78/881.14 c 652s | 22 | 3328894 | 1934122 | 9543 446 | 2 | 5 882.77/883.15 c 654s | 22 | 3340254 | 1940222 | 9543 447 | 2 | 5 884.77/885.17 c 656s | 22 | 3350768 | 1946422 | 9543 448 | 2 | 5 886.77/887.17 c 658s | 22 | 3362309 | 1952922 | 9543 450 | 2 | 5 888.77/889.17 c 660s | 22 | 3373795 | 1958822 | 9543 451 | 2 | 5 890.87/891.20 c 662s | 22 | 3386019 | 1965122 | 9543 452 | 2 | 5 892.87/893.20 c 664s | 22 | 3395632 | 1970722 | 9543 454 | 2 | 5 895.07/895.44 c 666s | 22 | 3405736 | 1976522 | 9543 455 | 2 | 5 897.06/897.45 c 669s | 22 | 3419641 | 1982822 | 9543 456 | 2 | 5 899.07/899.48 c 671s | 22 | 3431643 | 1988822 | 9543 457 | 2 | 5 901.26/901.67 c 673s | 22 | 3442048 | 1994622 | 9543 459 | 2 | 5 903.27/903.69 c 675s | 22 | 3453085 | 2000722 | 9543 460 | 2 | 5 905.36/905.70 c 677s | 22 | 3463961 | 2006622 | 9543 461 | 2 | 5 907.36/907.72 c 679s | 22 | 3474941 | 2011722 | 9543 462 | 2 | 5 909.37/909.77 c 681s | 22 | 3483520 | 2017322 | 9543 463 | 2 | 5 911.46/911.81 c 683s | 22 | 3492238 | 2022422 | 9543 464 | 2 | 5 913.67/914.03 c 685s | 22 | 3503218 | 2027422 | 9543 465 | 2 | 5 915.66/916.05 c 687s | 22 | 3513538 | 2033022 | 9543 466 | 2 | 5 917.66/918.05 c 689s | 22 | 3522052 | 2037622 | 9543 467 | 2 | 5 919.66/920.07 c 691s | 22 | 3534712 | 2043922 | 9543 469 | 2 | 5 921.66/922.09 c 693s | 22 | 3545351 | 2050322 | 9543 470 | 2 | 5 923.77/924.12 c 695s | 22 | 3556532 | 2056422 | 9543 471 | 2 | 5 925.76/926.14 c 697s | 22 | 3569803 | 2062022 | 9543 473 | 2 | 5 927.76/928.16 c 699s | 22 | 3581555 | 2069722 | 9543 474 | 2 | 5 929.76/930.16 c 701s | 22 | 3591867 | 2075522 | 9543 475 | 2 | 5 931.76/932.18 c 703s | 22 | 3602395 | 2081222 | 9543 477 | 2 | 5 933.86/934.20 c 705s | 22 | 3614090 | 2087422 | 9543 478 | 2 | 5 935.86/936.21 c 707s | 22 | 3626930 | 2093722 | 9543 479 | 2 | 5 937.86/938.21 c 709s | 22 | 3637533 | 2099822 | 9543 480 | 2 | 5 939.86/940.23 c 711s | 22 | 3649924 | 2106222 | 9543 482 | 2 | 5 941.86/942.25 c 713s | 22 | 3660163 | 2111922 | 9543 483 | 2 | 5 943.86/944.26 c 715s | 22 | 3672945 | 2118422 | 9543 484 | 2 | 5 945.86/946.28 c 717s | 22 | 3681840 | 2123922 | 9543 485 | 2 | 5 947.87/948.28 c 719s | 22 | 3692525 | 2129922 | 9543 487 | 2 | 5 949.96/950.39 c 721s | 22 | 3702227 | 2135722 | 9543 488 | 2 | 5 952.05/952.41 c 723s | 22 | 3714034 | 2142522 | 9543 489 | 2 | 5 954.06/954.42 c 725s | 22 | 3722657 | 2148222 | 9543 490 | 2 | 5 956.06/956.44 c 727s | 22 | 3735368 | 2154822 | 9543 492 | 2 | 5 958.05/958.45 c 730s | 22 | 3747074 | 2160722 | 9543 493 | 2 | 5 960.06/960.46 c 732s | 22 | 3758702 | 2167122 | 9543 494 | 2 | 5 962.06/962.47 c 734s | 22 | 3769960 | 2173622 | 9543 496 | 2 | 5 964.05/964.47 c 736s | 22 | 3781501 | 2179922 | 9543 497 | 2 | 5 966.06/966.49 c 738s | 22 | 3792140 | 2185222 | 9543 498 | 2 | 5 968.16/968.52 c 740s | 22 | 3802130 | 2191022 | 9543 499 | 2 | 5 970.15/970.53 c 742s | 22 | 3812552 | 2197122 | 9543 501 | 2 | 5 972.16/972.53 c 744s | 22 | 3824094 | 2202822 | 9543 502 | 2 | 5 974.15/974.56 c 746s | 22 | 3831901 | 2208122 | 9543 503 | 2 | 5 976.16/976.56 c 748s | 22 | 3842472 | 2214222 | 9543 504 | 2 | 5 978.15/978.59 c 750s | 22 | 3852377 | 2220322 | 9543 505 | 2 | 5 980.25/980.65 c 752s | 22 | 3862345 | 2225622 | 9543 507 | 2 | 5 982.26/982.66 c 754s | 22 | 3873467 | 2232322 | 9543 508 | 2 | 5 984.26/984.69 c 756s | 22 | 3884798 | 2238622 | 9543 509 | 2 | 5 986.35/986.73 c 758s | 22 | 3896092 | 2244722 | 9543 510 | 2 | 5 988.36/988.74 c 760s | 22 | 3905866 | 2249822 | 9543 512 | 2 | 5 988.76/989.10 c 760s | 23 | 3908473 | 2251038 | 9543 512 | 2 | 5 990.75/991.12 c 762s | 23 | 3916100 | 2255338 | 9543 513 | 2 | 5 992.75/993.14 c 764s | 23 | 3924690 | 2260838 | 9543 514 | 2 | 5 994.85/995.21 c 766s | 23 | 3930154 | 2264538 | 9543 515 | 2 | 5 996.85/997.23 c 768s | 23 | 3938775 | 2271438 | 9543 516 | 2 | 5 998.85/999.24 c 770s | 23 | 3947883 | 2278138 | 9543 517 | 2 | 5 1000.85/1001.25 c 772s | 23 | 3956538 | 2284838 | 9543 519 | 2 | 5 1002.86/1003.26 c 774s | 23 | 3965741 | 2291738 | 9543 520 | 2 | 5 1004.85/1005.27 c 776s | 23 | 3974011 | 2298138 | 9543 522 | 2 | 5 1006.95/1007.30 c 778s | 23 | 3987753 | 2305338 | 9543 523 | 2 | 5 1008.95/1009.33 c 780s | 23 | 3998548 | 2311638 | 9543 524 | 2 | 5 1010.95/1011.37 c 782s | 23 | 4008582 | 2317438 | 9543 526 | 2 | 5 1012.95/1013.39 c 784s | 23 | 4019478 | 2323838 | 9543 527 | 2 | 5 1015.05/1015.42 c 786s | 23 | 4030929 | 2330138 | 9543 528 | 2 | 5 1017.05/1017.45 c 789s | 23 | 4040260 | 2335538 | 9543 529 | 2 | 5 1019.05/1019.47 c 791s | 23 | 4052946 | 2341838 | 9543 531 | 2 | 5 1021.05/1021.48 c 793s | 23 | 4063347 | 2347938 | 9543 532 | 2 | 5 1023.14/1023.57 c 795s | 23 | 4074608 | 2353838 | 9543 533 | 2 | 5 1025.14/1025.59 c 797s | 23 | 4084398 | 2359538 | 9543 534 | 2 | 5 1027.25/1027.61 c 799s | 23 | 4094732 | 2365138 | 9543 535 | 2 | 5 1029.25/1029.62 c 801s | 23 | 4103519 | 2370338 | 9543 536 | 2 | 5 1031.24/1031.64 c 803s | 23 | 4113270 | 2376538 | 9543 538 | 2 | 5 1033.25/1033.65 c 805s | 23 | 4122022 | 2381838 | 9543 539 | 2 | 5 1035.24/1035.67 c 807s | 23 | 4134458 | 2388138 | 9543 540 | 2 | 5 1037.25/1037.67 c 809s | 23 | 4144863 | 2394238 | 9543 541 | 2 | 5 1039.35/1039.70 c 811s | 23 | 4153360 | 2399638 | 9543 543 | 2 | 5 1041.35/1041.71 c 813s | 23 | 4160628 | 2405138 | 9543 544 | 2 | 5 1043.35/1043.72 c 815s | 23 | 4170097 | 2410438 | 9543 545 | 2 | 5 1045.35/1045.77 c 817s | 23 | 4178524 | 2415138 | 9543 546 | 2 | 5 1047.34/1047.77 c 819s | 23 | 4187957 | 2419938 | 9543 547 | 2 | 5 1049.45/1049.82 c 821s | 23 | 4198478 | 2425838 | 9543 548 | 2 | 5 1051.44/1051.82 c 823s | 23 | 4209534 | 2431838 | 9543 549 | 2 | 5 1053.45/1053.87 c 825s | 23 | 4220883 | 2437938 | 9543 551 | 2 | 5 1055.44/1055.89 c 827s | 23 | 4230944 | 2443238 | 9543 552 | 2 | 5 1057.54/1057.90 c 829s | 23 | 4241492 | 2449438 | 9543 553 | 2 | 5 1059.54/1059.93 c 831s | 23 | 4248601 | 2454738 | 9543 554 | 2 | 5 1061.54/1061.96 c 833s | 23 | 4258484 | 2460638 | 9543 555 | 2 | 5 1063.54/1063.97 c 835s | 23 | 4268276 | 2466238 | 9543 556 | 2 | 5 1065.54/1065.99 c 837s | 23 | 4278274 | 2472838 | 9543 558 | 2 | 5 1067.64/1068.01 c 839s | 23 | 4286676 | 2478838 | 9543 559 | 2 | 5 1069.64/1070.04 c 841s | 23 | 4296732 | 2485038 | 10498 560 | 2 | 5 1071.64/1072.05 c 843s | 23 | 4305695 | 2489838 | 10498 561 | 2 | 5 1073.64/1074.07 c 845s | 23 | 4317324 | 2495938 | 10498 562 | 2 | 5 1075.64/1076.08 c 847s | 23 | 4326711 | 2501738 | 10498 563 | 2 | 5 1077.64/1078.08 c 849s | 23 | 4335982 | 2508038 | 10498 564 | 2 | 5 1079.74/1080.17 c 851s | 23 | 4343848 | 2513338 | 10498 565 | 2 | 5 1081.74/1082.19 c 853s | 23 | 4354065 | 2519338 | 10498 567 | 2 | 5 1083.74/1084.19 c 855s | 23 | 4364429 | 2524938 | 10498 568 | 2 | 5 1085.84/1086.21 c 857s | 23 | 4375378 | 2531238 | 10498 569 | 2 | 5 1087.83/1088.25 c 859s | 23 | 4386002 | 2537938 | 10498 570 | 2 | 5 1089.93/1090.32 c 861s | 23 | 4396497 | 2543938 | 10498 571 | 2 | 5 1091.95/1092.35 c 863s | 23 | 4407017 | 2549538 | 10498 572 | 2 | 5 1093.94/1094.37 c 865s | 23 | 4417029 | 2554538 | 10498 573 | 2 | 5 1096.04/1096.40 c 867s | 23 | 4427460 | 2560338 | 10498 574 | 2 | 5 1098.04/1098.41 c 869s | 23 | 4440380 | 2566538 | 10498 576 | 2 | 5 1100.03/1100.43 c 871s | 23 | 4451352 | 2572338 | 10498 577 | 2 | 5 1102.03/1102.43 c 873s | 23 | 4462494 | 2578438 | 10498 578 | 2 | 5 1104.04/1104.43 c 875s | 23 | 4473071 | 2584238 | 10498 579 | 2 | 5 1106.03/1106.46 c 878s | 23 | 4483082 | 2590138 | 10498 580 | 2 | 5 1108.03/1108.46 c 880s | 23 | 4492207 | 2596038 | 10498 581 | 2 | 5 1110.03/1110.47 c 882s | 23 | 4498187 | 2600238 | 10498 582 | 2 | 5 1112.14/1112.50 c 884s | 23 | 4505790 | 2606538 | 10498 583 | 2 | 5 1114.13/1114.51 c 886s | 23 | 4512786 | 2611338 | 10498 584 | 2 | 5 1116.14/1116.54 c 888s | 23 | 4522027 | 2616338 | 10498 585 | 2 | 5 1118.14/1118.56 c 890s | 23 | 4532201 | 2622538 | 10498 586 | 2 | 5 1120.13/1120.59 c 892s | 23 | 4543953 | 2628538 | 10498 587 | 2 | 5 1122.13/1122.59 c 894s | 23 | 4554139 | 2634438 | 10498 588 | 2 | 5 1124.13/1124.59 c 896s | 23 | 4563998 | 2640138 | 10498 590 | 2 | 5 1126.23/1126.60 c 898s | 23 | 4572566 | 2645638 | 10498 591 | 2 | 5 1128.24/1128.61 c 900s | 23 | 4583909 | 2652638 | 10498 592 | 2 | 5 1130.23/1130.62 c 902s | 23 | 4594110 | 2658438 | 10498 593 | 2 | 5 1132.23/1132.63 c 904s | 23 | 4604304 | 2664338 | 10498 594 | 2 | 5 1134.23/1134.64 c 906s | 23 | 4611961 | 2669138 | 10498 595 | 2 | 5 1136.23/1136.65 c 908s | 23 | 4620360 | 2675138 | 10498 596 | 2 | 5 1138.23/1138.65 c 910s | 23 | 4628520 | 2680038 | 10498 597 | 2 | 5 1140.23/1140.68 c 912s | 23 | 4637330 | 2686138 | 10498 598 | 2 | 5 1142.33/1142.71 c 914s | 23 | 4647471 | 2691538 | 10498 599 | 2 | 5 1144.33/1144.75 c 916s | 23 | 4656256 | 2696938 | 10498 600 | 2 | 5 1146.33/1146.77 c 918s | 23 | 4666532 | 2702738 | 10498 601 | 2 | 5 1148.43/1148.80 c 920s | 23 | 4674497 | 2707638 | 10498 602 | 2 | 5 1150.43/1150.82 c 922s | 23 | 4684256 | 2713738 | 10498 603 | 2 | 5 1152.43/1152.83 c 924s | 23 | 4693983 | 2720038 | 10498 605 | 2 | 5 1154.43/1154.83 c 926s | 23 | 4700404 | 2724638 | 10498 605 | 2 | 5 1156.53/1156.94 c 928s | 23 | 4708964 | 2730038 | 10498 607 | 2 | 5 1158.53/1158.96 c 930s | 23 | 4718484 | 2735538 | 10498 608 | 2 | 5 1160.52/1160.97 c 932s | 23 | 4726976 | 2741238 | 10498 609 | 2 | 5 1162.52/1162.97 c 934s | 23 | 4738239 | 2747338 | 10498 610 | 2 | 5 1164.53/1164.99 c 936s | 23 | 4747342 | 2753138 | 10498 611 | 2 | 5 1166.52/1166.99 c 938s | 23 | 4758651 | 2759338 | 10498 612 | 2 | 5 1168.62/1169.01 c 940s | 23 | 4768722 | 2766038 | 10498 613 | 2 | 5 1170.62/1171.03 c 942s | 23 | 4777772 | 2772138 | 10498 614 | 2 | 5 1172.62/1173.05 c 944s | 23 | 4786989 | 2777938 | 10498 616 | 2 | 5 1174.63/1175.07 c 946s | 23 | 4796676 | 2783038 | 10498 617 | 2 | 5 1176.63/1177.09 c 948s | 23 | 4808153 | 2789438 | 10498 618 | 2 | 5 1178.72/1179.11 c 950s | 23 | 4817161 | 2794938 | 10498 619 | 2 | 5 1180.72/1181.12 c 952s | 23 | 4826169 | 2801038 | 10498 620 | 2 | 5 1182.73/1183.12 c 954s | 23 | 4837507 | 2807038 | 10498 621 | 2 | 5 1184.72/1185.12 c 956s | 23 | 4846246 | 2812038 | 10498 622 | 2 | 5 1186.72/1187.14 c 958s | 23 | 4856824 | 2817738 | 10498 623 | 2 | 5 1188.72/1189.16 c 960s | 23 | 4867851 | 2823538 | 10498 624 | 2 | 5 1190.72/1191.18 c 962s | 23 | 4879361 | 2829938 | 10498 625 | 2 | 5 1192.72/1193.19 c 964s | 23 | 4890714 | 2836038 | 10498 627 | 2 | 5 1194.72/1195.20 c 966s | 23 | 4901569 | 2842338 | 10498 628 | 2 | 5 1196.82/1197.21 c 968s | 23 | 4913408 | 2847338 | 10498 629 | 2 | 5 1198.82/1199.22 c 970s | 23 | 4924187 | 2853138 | 10498 630 | 2 | 5 1200.83/1201.24 c 972s | 23 | 4934259 | 2858738 | 10498 631 | 2 | 5 1202.82/1203.25 c 974s | 23 | 4944399 | 2864238 | 10498 632 | 2 | 5 1204.82/1205.25 c 976s | 23 | 4954560 | 2870538 | 10498 633 | 2 | 5 1206.82/1207.27 c 978s | 23 | 4964104 | 2876838 | 10498 634 | 2 | 5 1208.91/1209.31 c 980s | 23 | 4973788 | 2882638 | 10498 635 | 2 | 5 1210.92/1211.34 c 982s | 23 | 4981682 | 2886938 | 10498 636 | 2 | 5 1212.92/1213.37 c 984s | 23 | 4992469 | 2892338 | 10498 637 | 2 | 5 1214.92/1215.39 c 986s | 23 | 5001363 | 2898038 | 10498 638 | 2 | 5 1217.02/1217.43 c 988s | 23 | 5011884 | 2904238 | 10498 640 | 2 | 5 1219.02/1219.44 c 990s | 23 | 5021321 | 2909638 | 10498 641 | 2 | 5 1221.01/1221.47 c 993s | 23 | 5032861 | 2915638 | 10498 642 | 2 | 5 1223.01/1223.48 c 995s | 23 | 5042930 | 2921938 | 10498 643 | 2 | 5 1225.12/1225.51 c 997s | 23 | 5054664 | 2928638 | 10498 644 | 2 | 5 1227.11/1227.51 c 999s | 23 | 5064385 | 2934138 | 10498 645 | 2 | 5 1229.11/1229.55 c 1001s | 23 | 5074062 | 2939838 | 10498 646 | 2 | 5 1231.11/1231.56 c 1003s | 23 | 5084385 | 2945438 | 10498 647 | 2 | 5 1233.11/1233.59 c 1005s | 23 | 5095612 | 2951238 | 10498 648 | 2 | 5 1235.22/1235.60 c 1007s | 23 | 5106171 | 2956838 | 10498 649 | 2 | 5 1237.22/1237.62 c 1009s | 23 | 5116101 | 2961738 | 10498 650 | 2 | 5 1239.21/1239.64 c 1011s | 23 | 5126967 | 2967238 | 10498 651 | 2 | 5 1241.22/1241.64 c 1013s | 23 | 5138661 | 2973638 | 10498 653 | 2 | 5 1243.32/1243.78 c 1015s | 23 | 5151692 | 2979238 | 10498 654 | 2 | 5 1245.41/1245.81 c 1017s | 23 | 5159692 | 2983538 | 10498 655 | 2 | 5 1247.42/1247.82 c 1019s | 23 | 5171365 | 2989438 | 10498 656 | 2 | 5 1249.41/1249.85 c 1021s | 23 | 5180399 | 2995038 | 10498 657 | 2 | 5 1251.52/1251.99 c 1023s | 23 | 5187242 | 2999438 | 10498 658 | 2 | 5 1253.62/1254.08 c 1025s | 23 | 5195279 | 3004638 | 10498 659 | 2 | 5 1255.61/1256.09 c 1027s | 23 | 5204784 | 3009638 | 10498 659 | 2 | 5 1257.71/1258.14 c 1029s | 23 | 5214106 | 3015138 | 10498 660 | 2 | 5 1259.71/1260.15 c 1031s | 23 | 5225154 | 3020938 | 10498 662 | 2 | 5 1261.71/1262.18 c 1033s | 23 | 5234490 | 3026438 | 10498 663 | 2 | 5 1264.01/1264.40 c 1035s | 23 | 5242686 | 3031638 | 10498 664 | 2 | 5 1266.01/1266.41 c 1037s | 23 | 5252198 | 3038238 | 10498 665 | 2 | 5 1268.02/1268.42 c 1039s | 23 | 5263299 | 3044338 | 10498 666 | 2 | 5 1270.01/1270.42 c 1041s | 23 | 5273239 | 3049838 | 10498 667 | 2 | 5 1272.00/1272.45 c 1044s | 23 | 5283632 | 3055738 | 10498 668 | 2 | 5 1274.01/1274.46 c 1046s | 23 | 5294587 | 3062038 | 10498 669 | 2 | 5 1276.01/1276.49 c 1048s | 23 | 5303236 | 3067738 | 10498 670 | 2 | 5 1278.11/1278.50 c 1050s | 23 | 5312497 | 3073238 | 10498 671 | 2 | 5 1280.21/1280.61 c 1052s | 23 | 5320332 | 3077638 | 10498 672 | 2 | 5 1282.22/1282.67 c 1054s | 23 | 5329970 | 3084038 | 10498 674 | 2 | 5 1284.21/1284.69 c 1056s | 23 | 5342090 | 3090438 | 10498 675 | 2 | 5 1286.31/1286.71 c 1058s | 23 | 5350960 | 3095438 | 10498 676 | 2 | 5 1288.31/1288.71 c 1060s | 23 | 5362122 | 3101638 | 10498 677 | 2 | 5 1290.31/1290.72 c 1062s | 23 | 5373375 | 3107838 | 10498 678 | 2 | 5 1292.30/1292.74 c 1064s | 23 | 5382797 | 3113138 | 10498 679 | 2 | 5 1294.31/1294.74 c 1066s | 23 | 5390383 | 3118438 | 10498 680 | 2 | 5 1296.31/1296.76 c 1068s | 23 | 5399920 | 3123938 | 10498 681 | 2 | 5 1298.31/1298.78 c 1070s | 23 | 5410804 | 3129738 | 10498 682 | 2 | 5 1298.91/1299.33 c 1070s | 23 | 5412225 | 3130792 | 10498 682 | 3 | 7 1298.91/1299.33 c #cpu_time = 1070.744s 1298.91/1299.33 c #wall_clock_time = 1070.882s 1298.91/1299.33 c #decision = 5412225 1298.91/1299.33 c #random_decision = 26430 1298.91/1299.33 c #conflict = 3130792 1298.91/1299.33 c #restart = 23 1298.91/1299.33 c BCD2: updating lower bound of a core 1298.91/1299.33 c lower bound updated to -8 1298.91/1299.33 c BCD2: 42 <= obj <= 43 1298.91/1299.33 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 1298.91/1299.33 c BCD2: #sat=2 #unsat=5 bias=5/7 1298.91/1299.33 c Solving starts ... 1298.91/1299.33 c ============================[ Search Statistics ]============================ 1298.91/1299.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1298.91/1299.33 c | | | | Limit GC | Var | Constra 1298.91/1299.33 c ============================================================================= 1298.91/1299.33 c 0.0s | 0 | 0 | 0 | 10498 0 | 3 | 8 1299.61/1300.06 c 0.7s | 1 | 293 | 100 | 10498 0 | 3 | 8 1299.61/1300.09 c 0.8s | 2 | 529 | 250 | 10498 0 | 3 | 8 1300.01/1300.48 c 1.2s | 3 | 1174 | 475 | 10498 0 | 3 | 8 1300.11/1300.55 c 1.2s | 4 | 1886 | 813 | 10498 0 | 3 | 8 1300.21/1300.69 c 1.4s | 5 | 4550 | 1320 | 10498 0 | 3 | 8 1300.51/1300.90 c 1.6s | 6 | 5868 | 2081 | 10498 0 | 3 | 8 1300.81/1301.26 c 1.9s | 7 | 7657 | 3223 | 10498 0 | 3 | 8 1301.40/1301.81 c 2.5s | 8 | 10058 | 4936 | 10498 0 | 3 | 8 1302.11/1302.55 c 3.2s | 9 | 14280 | 7506 | 10498 0 | 3 | 8 1303.50/1303.92 c 4.6s | 10 | 20786 | 11361 | 10498 1 | 3 | 8 1305.31/1305.74 c 6.4s | 11 | 30897 | 17144 | 10498 2 | 3 | 8 1307.31/1307.76 c 8.4s | 11 | 41803 | 22644 | 10498 3 | 3 | 8 1308.31/1308.72 c 9.4s | 12 | 47493 | 25819 | 10498 4 | 3 | 8 1310.30/1310.73 c 11.4s | 12 | 57116 | 30919 | 10498 5 | 3 | 8 1312.30/1312.74 c 13.4s | 12 | 64288 | 35619 | 10498 6 | 3 | 8 1313.30/1313.76 c 14.4s | 13 | 68333 | 38832 | 10498 6 | 3 | 8 1315.31/1315.79 c 16.5s | 13 | 79964 | 45032 | 10498 8 | 3 | 8 1317.41/1317.89 c 18.6s | 13 | 91706 | 51432 | 10498 9 | 3 | 8 1319.50/1319.91 c 20.6s | 13 | 101313 | 58032 | 10498 10 | 3 | 8 1319.50/1320.00 c 20.7s | 14 | 101745 | 58352 | 10498 10 | 3 | 8 1321.60/1322.04 c 22.7s | 14 | 111186 | 63752 | 10498 11 | 3 | 8 1323.60/1324.04 c 24.7s | 14 | 119532 | 68652 | 10498 12 | 3 | 8 1325.60/1326.06 c 26.7s | 14 | 129933 | 74652 | 10498 13 | 3 | 8 1327.60/1328.06 c 28.7s | 14 | 137691 | 79452 | 10498 14 | 3 | 8 1329.61/1330.08 c 30.8s | 14 | 145688 | 84452 | 10498 15 | 3 | 8 1331.00/1331.49 c 32.2s | 15 | 150344 | 87632 | 10498 16 | 3 | 8 1333.10/1333.50 c 34.2s | 15 | 160339 | 93832 | 10498 17 | 3 | 8 1335.11/1335.52 c 36.2s | 15 | 169684 | 98932 | 10498 18 | 3 | 8 1337.10/1337.54 c 38.2s | 15 | 182088 | 104632 | 10498 19 | 3 | 8 1339.20/1339.66 c 40.3s | 15 | 189614 | 108932 | 10498 20 | 3 | 8 1341.20/1341.68 c 42.3s | 15 | 197332 | 113732 | 10498 21 | 3 | 8 1343.30/1343.70 c 44.4s | 15 | 204123 | 118832 | 10498 21 | 3 | 8 1345.30/1345.73 c 46.4s | 15 | 211166 | 124132 | 10498 22 | 3 | 8 1347.40/1347.80 c 48.5s | 15 | 219484 | 129732 | 10498 24 | 3 | 8 1347.90/1348.35 c 49.0s | 16 | 222871 | 131552 | 10498 24 | 3 | 8 1348.80/1349.22 c 49.9s | 16 | 230008 | 134496 | 10498 24 | 3 | 8 1348.80/1349.22 c #cpu_time = 49.897s 1348.80/1349.22 c #wall_clock_time = 49.895s 1348.80/1349.22 c #decision = 230008 1348.80/1349.22 c #random_decision = 1142 1348.80/1349.22 c #conflict = 134496 1348.80/1349.22 c #restart = 16 1348.80/1349.22 o -7 1348.80/1349.22 c BCD2: updating upper bound: 43 -> 42 1348.80/1349.22 c BCD2: 42 <= obj <= 42 1348.80/1349.22 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 1348.80/1349.22 c BCD2: #sat=3 #unsat=5 bias=5/8 1348.80/1349.22 c Solving starts ... 1348.80/1349.22 c ============================[ Search Statistics ]============================ 1348.80/1349.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1348.80/1349.22 c | | | | Limit GC | Var | Constra 1348.80/1349.22 c ============================================================================= 1348.80/1349.22 c 0.0s | 0 | 0 | 0 | 10498 0 | 3 | 10 1348.80/1349.28 c 0.1s | 1 | 151 | 100 | 10498 0 | 3 | 10 1348.90/1349.36 c 0.1s | 2 | 590 | 250 | 10498 0 | 3 | 10 1349.10/1349.50 c 0.3s | 3 | 1068 | 475 | 10498 1 | 3 | 10 1349.20/1349.62 c 0.4s | 4 | 1596 | 813 | 10498 1 | 3 | 10 1349.30/1349.77 c 0.5s | 5 | 2319 | 1320 | 10498 1 | 3 | 10 1349.60/1350.02 c 0.8s | 6 | 5028 | 2081 | 10498 1 | 3 | 10 1349.89/1350.35 c 1.1s | 7 | 6711 | 3223 | 10498 1 | 3 | 10 1350.59/1351.04 c 1.8s | 8 | 9965 | 4936 | 10498 1 | 3 | 10 1351.79/1352.23 c 3.0s | 9 | 15099 | 7506 | 10498 2 | 3 | 10 1352.99/1353.47 c 4.2s | 10 | 22515 | 11361 | 10498 3 | 3 | 10 1355.00/1355.49 c 6.3s | 10 | 31394 | 16561 | 10498 4 | 3 | 10 1355.20/1355.65 c 6.4s | 11 | 32235 | 17144 | 10498 4 | 3 | 10 1357.20/1357.66 c 8.4s | 11 | 43094 | 23444 | 10498 5 | 3 | 10 1357.90/1358.37 c 9.1s | 12 | 48249 | 25819 | 10498 5 | 3 | 10 1359.99/1360.42 c 11.2s | 12 | 61891 | 32319 | 10498 7 | 3 | 10 1361.99/1362.43 c 13.2s | 12 | 71651 | 38119 | 10498 8 | 3 | 10 1362.19/1362.64 c 13.4s | 13 | 72850 | 38832 | 10498 8 | 3 | 10 1364.20/1364.66 c 15.4s | 13 | 82551 | 44532 | 10498 9 | 3 | 10 1366.20/1366.69 c 17.5s | 13 | 89481 | 49332 | 10498 10 | 3 | 10 1368.29/1368.74 c 19.5s | 13 | 95900 | 53632 | 10498 11 | 3 | 10 1369.99/1370.41 c 21.2s | 14 | 106093 | 58352 | 10498 11 | 3 | 10 1371.99/1372.46 c 23.2s | 14 | 115572 | 63952 | 10498 13 | 3 | 10 1374.00/1374.49 c 25.3s | 14 | 123959 | 68652 | 10498 13 | 3 | 10 1376.10/1376.52 c 27.3s | 14 | 134182 | 74352 | 10498 14 | 3 | 10 1378.09/1378.54 c 29.3s | 14 | 144327 | 79652 | 10498 15 | 3 | 10 1380.10/1380.56 c 31.3s | 14 | 153470 | 85552 | 10498 17 | 3 | 10 1380.69/1381.10 c 31.9s | 15 | 156917 | 87632 | 10498 17 | 3 | 10 1382.69/1383.16 c 33.9s | 15 | 165893 | 93632 | 10498 18 | 3 | 10 1384.69/1385.17 c 35.9s | 15 | 175762 | 99632 | 10498 19 | 3 | 10 1386.79/1387.21 c 38.0s | 15 | 185903 | 105832 | 10498 20 | 3 | 10 1388.79/1389.24 c 40.0s | 15 | 194056 | 111132 | 10498 21 | 3 | 10 1390.79/1391.25 c 42.0s | 15 | 203149 | 116532 | 10498 22 | 3 | 10 1392.79/1393.25 c 44.0s | 15 | 212165 | 121232 | 10498 23 | 3 | 10 1394.79/1395.29 c 46.1s | 15 | 220767 | 126132 | 10498 24 | 3 | 10 1396.89/1397.30 c 48.1s | 15 | 227923 | 130332 | 10498 25 | 3 | 10 1397.39/1397.81 c 48.6s | 16 | 230636 | 131552 | 10498 25 | 3 | 10 1399.39/1399.82 c 50.6s | 16 | 241657 | 137652 | 10498 26 | 3 | 10 1401.38/1401.83 c 52.6s | 16 | 251607 | 143252 | 10498 27 | 3 | 10 1403.39/1403.83 c 54.6s | 16 | 260438 | 149452 | 10498 29 | 3 | 10 1405.39/1405.85 c 56.6s | 16 | 270321 | 155852 | 10498 30 | 3 | 10 1407.39/1407.86 c 58.6s | 16 | 280392 | 162052 | 10498 31 | 3 | 10 1409.38/1409.87 c 60.6s | 16 | 290229 | 168052 | 10498 32 | 3 | 10 1411.39/1411.89 c 62.7s | 16 | 300361 | 174252 | 10498 33 | 3 | 10 1413.49/1413.90 c 64.7s | 16 | 309605 | 180152 | 10498 34 | 3 | 10 1415.49/1415.91 c 66.7s | 16 | 319221 | 186152 | 10498 36 | 3 | 10 1417.49/1417.93 c 68.7s | 16 | 329021 | 192252 | 10498 37 | 3 | 10 1419.08/1419.58 c 70.4s | 17 | 336419 | 197432 | 10498 38 | 3 | 10 1421.09/1421.59 c 72.4s | 17 | 345297 | 202832 | 10498 39 | 3 | 10 1423.19/1423.61 c 74.4s | 17 | 354717 | 208132 | 10498 40 | 3 | 10 1425.19/1425.63 c 76.4s | 17 | 363269 | 213132 | 10498 41 | 3 | 10 1427.18/1427.64 c 78.4s | 17 | 372677 | 218632 | 10498 42 | 3 | 10 1429.19/1429.65 c 80.4s | 17 | 382503 | 223732 | 10498 43 | 3 | 10 1431.19/1431.68 c 82.5s | 17 | 392753 | 229332 | 10498 44 | 3 | 10 1433.28/1433.72 c 84.5s | 17 | 401487 | 234832 | 10498 45 | 3 | 10 1435.28/1435.74 c 86.5s | 17 | 411357 | 240932 | 10498 46 | 3 | 10 1437.29/1437.74 c 88.5s | 17 | 420394 | 247132 | 10498 47 | 3 | 10 1439.28/1439.76 c 90.5s | 17 | 430736 | 253032 | 10498 48 | 3 | 10 1441.38/1441.82 c 92.6s | 17 | 439438 | 258632 | 10498 49 | 3 | 10 1443.38/1443.83 c 94.6s | 17 | 448551 | 264232 | 10498 50 | 3 | 10 1445.38/1445.87 c 96.6s | 17 | 458913 | 270132 | 10498 51 | 3 | 10 1447.48/1447.95 c 98.7s | 17 | 469602 | 275732 | 10498 53 | 3 | 10 1449.48/1449.96 c 100s | 17 | 478209 | 281432 | 10498 54 | 3 | 10 1451.48/1451.96 c 102s | 17 | 490061 | 287132 | 10498 55 | 3 | 10 1453.48/1453.98 c 104s | 17 | 500817 | 292632 | 10498 56 | 3 | 10 1454.89/1455.39 c 106s | 18 | 507096 | 296252 | 10498 56 | 3 | 10 1456.88/1457.40 c 108s | 18 | 516776 | 302352 | 10498 58 | 3 | 10 1458.98/1459.43 c 110s | 18 | 526539 | 307752 | 10498 59 | 3 | 10 1460.98/1461.45 c 112s | 18 | 537426 | 312952 | 10498 60 | 3 | 10 1463.08/1463.51 c 114s | 18 | 546066 | 318052 | 10498 61 | 3 | 10 1465.07/1465.53 c 116s | 18 | 556159 | 323952 | 10498 62 | 3 | 10 1467.09/1467.55 c 118s | 18 | 565283 | 329952 | 10498 63 | 3 | 10 1469.08/1469.55 c 120s | 18 | 575342 | 335452 | 10498 64 | 3 | 10 1471.07/1471.58 c 122s | 18 | 584092 | 340752 | 10498 65 | 3 | 10 1473.08/1473.59 c 124s | 18 | 595374 | 346352 | 10498 66 | 3 | 10 1475.08/1475.59 c 126s | 18 | 605018 | 352352 | 10498 67 | 3 | 10 1477.18/1477.61 c 128s | 18 | 614257 | 358152 | 10498 68 | 3 | 10 1479.18/1479.63 c 130s | 18 | 624093 | 364252 | 10498 69 | 3 | 10 1481.18/1481.64 c 132s | 18 | 631780 | 369652 | 10498 70 | 3 | 10 1483.18/1483.65 c 134s | 18 | 641937 | 375052 | 10498 71 | 3 | 10 1485.18/1485.65 c 136s | 18 | 652814 | 381352 | 10498 72 | 3 | 10 1487.17/1487.66 c 138s | 18 | 661676 | 386352 | 10498 73 | 3 | 10 1489.18/1489.69 c 140s | 18 | 672588 | 391652 | 10498 74 | 3 | 10 1491.18/1491.70 c 142s | 18 | 681172 | 396952 | 10498 75 | 3 | 10 1493.27/1493.72 c 144s | 18 | 691054 | 402752 | 10498 77 | 3 | 10 1495.28/1495.73 c 146s | 18 | 700460 | 407852 | 10498 77 | 3 | 10 1497.27/1497.76 c 148s | 18 | 713749 | 414452 | 10498 79 | 3 | 10 1499.28/1499.76 c 150s | 18 | 722285 | 419752 | 10498 80 | 3 | 10 1501.27/1501.78 c 152s | 18 | 733506 | 425452 | 10498 81 | 3 | 10 1503.38/1503.80 c 154s | 18 | 745392 | 431652 | 10498 82 | 3 | 10 1505.38/1505.81 c 156s | 18 | 753440 | 437452 | 10498 83 | 3 | 10 1507.37/1507.82 c 158s | 18 | 764372 | 443552 | 10498 84 | 3 | 10 1507.68/1508.11 c 158s | 19 | 766224 | 444482 | 10498 84 | 3 | 10 1509.67/1510.11 c 160s | 19 | 774420 | 449882 | 10498 85 | 3 | 10 1511.67/1512.11 c 162s | 19 | 784029 | 454782 | 10498 86 | 3 | 10 1513.67/1514.13 c 164s | 19 | 794205 | 459782 | 10498 87 | 3 | 10 1515.67/1516.14 c 166s | 19 | 805073 | 464682 | 10498 88 | 3 | 10 1517.68/1518.14 c 168s | 19 | 815532 | 469182 | 10498 89 | 3 | 10 1519.67/1520.16 c 170s | 19 | 825032 | 474682 | 10498 90 | 3 | 10 1521.67/1522.16 c 172s | 19 | 834532 | 480182 | 10498 91 | 3 | 10 1523.67/1524.19 c 174s | 19 | 845156 | 485682 | 10498 92 | 3 | 10 1525.77/1526.21 c 176s | 19 | 855296 | 491182 | 10498 93 | 3 | 10 1527.77/1528.24 c 179s | 19 | 864927 | 496382 | 10498 94 | 3 | 10 1529.77/1530.28 c 181s | 19 | 873957 | 502482 | 10498 95 | 3 | 10 1531.87/1532.31 c 183s | 19 | 883543 | 507782 | 10498 96 | 3 | 10 1533.86/1534.37 c 185s | 19 | 892550 | 512782 | 10498 97 | 3 | 10 1535.87/1536.40 c 187s | 19 | 901354 | 517682 | 10498 98 | 3 | 10 1537.97/1538.43 c 189s | 19 | 910135 | 523182 | 10498 99 | 3 | 10 1539.97/1540.46 c 191s | 19 | 918866 | 528182 | 10498 100 | 3 | 10 1541.97/1542.48 c 193s | 19 | 926713 | 533082 | 10498 101 | 3 | 10 1544.08/1544.51 c 195s | 19 | 938061 | 537782 | 10498 102 | 3 | 10 1546.07/1546.55 c 197s | 19 | 946101 | 542482 | 10498 103 | 3 | 10 1548.07/1548.56 c 199s | 19 | 953971 | 546782 | 10498 104 | 3 | 10 1550.16/1550.60 c 201s | 19 | 964031 | 551682 | 10498 105 | 3 | 10 1552.17/1552.63 c 203s | 19 | 973724 | 556982 | 10498 106 | 3 | 10 1554.17/1554.64 c 205s | 19 | 981875 | 561982 | 10498 107 | 3 | 10 1556.17/1556.66 c 207s | 19 | 996140 | 567582 | 10498 108 | 3 | 10 1558.17/1558.68 c 209s | 19 | 1004738 | 573082 | 10498 109 | 3 | 10 1560.17/1560.69 c 211s | 19 | 1014049 | 578582 | 10498 110 | 3 | 10 1562.26/1562.72 c 213s | 19 | 1024113 | 583982 | 10498 111 | 3 | 10 1564.26/1564.75 c 215s | 19 | 1031004 | 588782 | 10498 112 | 3 | 10 1566.27/1566.79 c 217s | 19 | 1038162 | 593482 | 10498 112 | 3 | 10 1568.36/1568.83 c 219s | 19 | 1044509 | 598182 | 10498 113 | 3 | 10 1570.37/1570.86 c 221s | 19 | 1051671 | 603982 | 10498 114 | 3 | 10 1572.46/1572.97 c 223s | 19 | 1059036 | 609582 | 10498 116 | 3 | 10 1574.46/1574.97 c 225s | 19 | 1069526 | 614982 | 10498 117 | 3 | 10 1576.46/1576.99 c 227s | 19 | 1079867 | 620482 | 10498 118 | 3 | 10 1578.56/1579.00 c 229s | 19 | 1091110 | 626282 | 10498 119 | 3 | 10 1580.56/1581.01 c 231s | 19 | 1100243 | 631782 | 10498 120 | 3 | 10 1582.57/1583.03 c 233s | 19 | 1109034 | 637882 | 10498 121 | 3 | 10 1584.56/1585.04 c 235s | 19 | 1117682 | 642782 | 10498 122 | 3 | 10 1586.57/1587.07 c 237s | 19 | 1124836 | 648082 | 10498 123 | 3 | 10 1588.56/1589.08 c 239s | 19 | 1133481 | 653882 | 10498 124 | 3 | 10 1590.56/1591.09 c 241s | 19 | 1143741 | 659082 | 10498 125 | 3 | 10 1592.56/1593.09 c 243s | 19 | 1152736 | 664182 | 10498 126 | 3 | 10 1593.76/1594.29 c 245s | 20 | 1157360 | 666827 | 10498 126 | 3 | 10 1595.86/1596.32 c 247s | 20 | 1164897 | 672727 | 10498 127 | 3 | 10 1597.97/1598.42 c 249s | 20 | 1173248 | 678327 | 10498 129 | 3 | 10 1599.96/1600.44 c 251s | 20 | 1183953 | 684827 | 10498 130 | 3 | 10 1601.95/1602.45 c 253s | 20 | 1194956 | 691127 | 10498 131 | 3 | 10 1603.96/1604.46 c 255s | 20 | 1204143 | 696927 | 10498 132 | 3 | 10 1605.96/1606.47 c 257s | 20 | 1213267 | 702527 | 10498 133 | 3 | 10 1607.96/1608.48 c 259s | 20 | 1223789 | 708227 | 10498 134 | 3 | 10 1609.96/1610.49 c 261s | 20 | 1232746 | 713727 | 10498 135 | 3 | 10 1611.96/1612.49 c 263s | 20 | 1244912 | 720127 | 10498 136 | 3 | 10 1614.05/1614.51 c 265s | 20 | 1254773 | 725627 | 10498 137 | 3 | 10 1616.06/1616.52 c 267s | 20 | 1265219 | 732527 | 10498 139 | 3 | 10 1618.06/1618.53 c 269s | 20 | 1274565 | 737927 | 10498 140 | 3 | 10 1620.06/1620.55 c 271s | 20 | 1284709 | 743727 | 10498 141 | 3 | 10 1622.06/1622.58 c 273s | 20 | 1296042 | 749127 | 10498 142 | 3 | 10 1624.16/1624.61 c 275s | 20 | 1306259 | 755027 | 10498 143 | 3 | 10 1626.16/1626.61 c 277s | 20 | 1316416 | 760827 | 10498 144 | 3 | 10 1628.16/1628.64 c 279s | 20 | 1327464 | 766827 | 10498 145 | 3 | 10 1630.16/1630.65 c 281s | 20 | 1336946 | 772727 | 10498 146 | 3 | 10 1632.16/1632.69 c 283s | 20 | 1348315 | 778427 | 10498 147 | 3 | 10 1634.26/1634.72 c 285s | 20 | 1360452 | 784727 | 10498 149 | 3 | 10 1636.25/1636.74 c 287s | 20 | 1370863 | 790627 | 10498 150 | 3 | 10 1638.25/1638.77 c 289s | 20 | 1377999 | 795327 | 10498 151 | 3 | 10 1640.25/1640.79 c 291s | 20 | 1387486 | 801127 | 10498 152 | 3 | 10 1642.35/1642.82 c 293s | 20 | 1396033 | 806327 | 10498 153 | 3 | 10 1644.35/1644.82 c 295s | 20 | 1404475 | 811527 | 10498 154 | 3 | 10 1646.36/1646.83 c 297s | 20 | 1415601 | 817027 | 10498 155 | 3 | 10 1648.35/1648.84 c 299s | 20 | 1425093 | 822927 | 10498 156 | 3 | 10 1650.35/1650.84 c 301s | 20 | 1434083 | 829427 | 10498 157 | 3 | 10 1652.45/1652.91 c 303s | 20 | 1442215 | 835527 | 10498 158 | 3 | 10 1654.45/1654.93 c 305s | 20 | 1454388 | 842027 | 10498 160 | 3 | 10 1656.45/1656.94 c 307s | 20 | 1463718 | 848227 | 10498 161 | 3 | 10 1658.46/1658.94 c 309s | 20 | 1471683 | 853527 | 10498 162 | 3 | 10 1660.45/1660.96 c 311s | 20 | 1484272 | 859527 | 10498 163 | 3 | 10 1662.45/1662.99 c 313s | 20 | 1493749 | 865827 | 10498 164 | 3 | 10 1664.54/1665.00 c 315s | 20 | 1503709 | 871927 | 10498 165 | 3 | 10 1666.55/1667.03 c 317s | 20 | 1512576 | 877427 | 10498 166 | 3 | 10 1668.54/1669.03 c 319s | 20 | 1520833 | 883127 | 10498 167 | 3 | 10 1670.55/1671.06 c 321s | 20 | 1530318 | 889027 | 10498 168 | 3 | 10 1672.55/1673.06 c 323s | 20 | 1540683 | 894727 | 10498 169 | 3 | 10 1674.55/1675.09 c 325s | 20 | 1550700 | 900627 | 11548 170 | 3 | 10 1676.65/1677.14 c 327s | 20 | 1560317 | 906327 | 11548 171 | 3 | 10 1678.64/1679.15 c 329s | 20 | 1569432 | 912227 | 11548 172 | 3 | 10 1680.65/1681.16 c 331s | 20 | 1578846 | 917727 | 11548 173 | 3 | 10 1682.66/1683.16 c 333s | 20 | 1588631 | 923927 | 11548 174 | 3 | 10 1684.65/1685.20 c 335s | 20 | 1597673 | 929227 | 11548 175 | 3 | 10 1686.75/1687.23 c 338s | 20 | 1606984 | 935027 | 11548 176 | 3 | 10 1688.74/1689.25 c 340s | 20 | 1616991 | 940827 | 11548 177 | 3 | 10 1690.75/1691.27 c 342s | 20 | 1626394 | 946227 | 11548 178 | 3 | 10 1692.75/1693.28 c 344s | 20 | 1634106 | 951127 | 11548 179 | 3 | 10 1694.75/1695.28 c 346s | 20 | 1641884 | 956227 | 11548 180 | 3 | 10 1696.85/1697.31 c 348s | 20 | 1651391 | 961327 | 11548 181 | 3 | 10 1698.85/1699.33 c 350s | 20 | 1658490 | 966527 | 11548 182 | 3 | 10 1700.84/1701.33 c 352s | 20 | 1671709 | 972827 | 11548 183 | 3 | 10 1702.84/1703.37 c 354s | 20 | 1680606 | 978927 | 11548 184 | 3 | 10 1704.94/1705.45 c 356s | 20 | 1688647 | 983027 | 11548 185 | 3 | 10 1706.94/1707.49 c 358s | 20 | 1700185 | 988827 | 11548 186 | 3 | 10 1709.05/1709.51 c 360s | 20 | 1710239 | 994427 | 11548 187 | 3 | 10 1711.04/1711.53 c 362s | 20 | 1718318 | 999527 | 11548 187 | 3 | 10 1711.44/1711.95 c 362s | 21 | 1719537 | 1000345 | 11548 188 | 3 | 10 1713.44/1713.95 c 364s | 21 | 1728626 | 1006645 | 11548 189 | 3 | 10 1715.44/1715.97 c 366s | 21 | 1736988 | 1012245 | 11548 190 | 3 | 10 1717.44/1717.99 c 368s | 21 | 1745105 | 1017445 | 11548 191 | 3 | 10 1719.54/1720.08 c 370s | 21 | 1754665 | 1023345 | 11548 192 | 3 | 10 1721.54/1722.08 c 372s | 21 | 1765429 | 1029245 | 11548 193 | 3 | 10 1723.54/1724.08 c 374s | 21 | 1775596 | 1035545 | 11548 194 | 3 | 10 1725.64/1726.15 c 376s | 21 | 1786274 | 1041645 | 11548 195 | 3 | 10 1727.64/1728.18 c 378s | 21 | 1797042 | 1047845 | 11548 196 | 3 | 10 1729.64/1730.18 c 380s | 21 | 1806589 | 1053045 | 11548 197 | 3 | 10 1731.73/1732.20 c 382s | 21 | 1814949 | 1058345 | 11548 198 | 3 | 10 1733.74/1734.23 c 385s | 21 | 1824061 | 1063945 | 11548 199 | 3 | 10 1735.74/1736.25 c 387s | 21 | 1834510 | 1069845 | 11548 200 | 3 | 10 1737.74/1738.29 c 389s | 21 | 1844766 | 1075345 | 11548 200 | 3 | 10 1739.84/1740.32 c 391s | 21 | 1853712 | 1080945 | 11548 201 | 3 | 10 1741.84/1742.34 c 393s | 21 | 1863889 | 1086445 | 11548 202 | 3 | 10 1743.84/1744.35 c 395s | 21 | 1873675 | 1091745 | 11548 203 | 3 | 10 1745.83/1746.36 c 397s | 21 | 1885588 | 1096645 | 11548 204 | 3 | 10 1747.94/1748.40 c 399s | 21 | 1894673 | 1101945 | 11548 205 | 3 | 10 1749.93/1750.44 c 401s | 21 | 1901770 | 1106245 | 11548 206 | 3 | 10 1751.95/1752.45 c 403s | 21 | 1909935 | 1110845 | 11548 207 | 3 | 10 1753.93/1754.47 c 405s | 21 | 1919876 | 1116645 | 11548 208 | 3 | 10 1755.93/1756.47 c 407s | 21 | 1929834 | 1122245 | 11548 209 | 3 | 10 1757.93/1758.48 c 409s | 21 | 1938425 | 1127745 | 11548 209 | 3 | 10 1759.94/1760.49 c 411s | 21 | 1947783 | 1132945 | 11548 210 | 3 | 10 1762.03/1762.52 c 413s | 21 | 1956224 | 1138545 | 11548 211 | 3 | 10 1764.04/1764.56 c 415s | 21 | 1964426 | 1143345 | 11548 212 | 3 | 10 1766.04/1766.56 c 417s | 21 | 1971243 | 1147845 | 11548 213 | 3 | 10 1768.04/1768.56 c 419s | 21 | 1979078 | 1152045 | 11548 214 | 3 | 10 1770.04/1770.59 c 421s | 21 | 1987980 | 1157945 | 11548 215 | 3 | 10 1772.03/1772.60 c 423s | 21 | 1994565 | 1163045 | 11548 216 | 3 | 10 1774.13/1774.62 c 425s | 21 | 2002629 | 1168245 | 11548 216 | 3 | 10 1776.13/1776.63 c 427s | 21 | 2012337 | 1173845 | 11548 217 | 3 | 10 1778.13/1778.67 c 429s | 21 | 2021087 | 1179045 | 11548 218 | 3 | 10 1780.13/1780.67 c 431s | 21 | 2030493 | 1184645 | 11548 219 | 3 | 10 1782.13/1782.68 c 433s | 21 | 2040656 | 1190245 | 11548 220 | 3 | 10 1784.23/1784.70 c 435s | 21 | 2052661 | 1196045 | 11548 221 | 3 | 10 1786.23/1786.74 c 437s | 21 | 2063876 | 1202145 | 11548 222 | 3 | 10 1788.23/1788.77 c 439s | 21 | 2073280 | 1208245 | 11548 223 | 3 | 10 1790.23/1790.78 c 441s | 21 | 2085666 | 1213445 | 11548 224 | 3 | 10 1792.23/1792.80 c 443s | 21 | 2096099 | 1218945 | 11548 225 | 3 | 10 1794.33/1794.81 c 445s | 21 | 2105745 | 1224945 | 11548 226 | 3 | 10 1796.33/1796.82 c 447s | 21 | 2116463 | 1230145 | 11548 227 | 3 | 10 1798.33/1798.83 c 449s | 21 | 2125998 | 1235545 | 11548 228 | 3 | 10
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080113-1465262625/watcher-4080113-1465262625 -o /tmp/evaluation-result-4080113-1465262625/solver-4080113-1465262625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080113-1465262625.opb pid=13711 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.10 2.03 3/180 13714 /proc/meminfo: memFree=30479756/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 726 0 0 0 0 0 0 0 20 0 4 0 108195985 246870016 576 33554432000 4194304 16246674 140735115155760 140735115155184 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 60271 580 426 2943 0 57165 0 [pid=13714/tid=13715] ppid=13711 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 246870016 603 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 246870016 610 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108195986 246870016 618 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.15 2.10 2.03 3/180 13714 /proc/meminfo: memFree=30479756/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 24425 0 0 0 5 4 0 0 20 0 4 0 108195985 1247350784 24263 33554432000 4194304 16246674 140735115155760 140735115155184 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 304529 24272 790 2943 0 301423 0 [pid=13714/tid=13715] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 24279 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 24283 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 24289 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200527 s] /proc/loadavg: 2.15 2.10 2.03 3/180 13714 /proc/meminfo: memFree=30479756/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 47510 0 0 0 11 8 0 0 20 0 4 0 108195985 1247350784 47347 33554432000 4194304 16246674 140735115155760 140735115155184 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 304529 47356 790 2943 0 301423 0 [pid=13714/tid=13715] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 47359 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 47364 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 47369 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300484 s] /proc/loadavg: 2.15 2.10 2.03 3/180 13714 /proc/meminfo: memFree=30479756/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 69521 0 0 0 18 10 0 0 20 0 4 0 108195985 1247350784 69358 33554432000 4194304 16246674 140735115155760 140735115155184 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 304529 69370 790 2943 0 301423 0 [pid=13714/tid=13715] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 69376 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 69381 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 69385 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700406 s] /proc/loadavg: 2.15 2.10 2.03 3/180 13714 /proc/meminfo: memFree=30479756/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 159811 0 0 0 46 23 0 0 20 0 4 0 108195985 1247350784 159648 33554432000 4194304 16246674 140735115155760 140735115155184 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 304529 159664 790 2943 0 301423 0 [pid=13714/tid=13715] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 159674 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 159684 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108195986 1247350784 159691 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.15 2.10 2.03 3/184 13718 /proc/meminfo: memFree=29496380/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1221188 CPUtime=1.48 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 246315 0 0 0 115 33 0 0 20 0 4 0 108195985 1250496512 246130 33554432000 4194304 16246674 140735115155760 140735115155072 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 305297 246130 850 2943 0 302191 0 [pid=13714/tid=13715] ppid=13711 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1250496512 246130 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1250496512 246130 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1250496512 246130 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1221188 [startup+3.10042 s] /proc/loadavg: 2.14 2.10 2.03 3/184 13718 /proc/meminfo: memFree=29414788/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 267540 0 0 0 272 36 0 0 20 0 4 0 108195985 1337528320 267355 33554432000 4194304 16246674 140735115155760 140735115137664 5822556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 326545 267355 850 2943 0 323439 0 [pid=13714/tid=13715] ppid=13711 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1337528320 267355 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1337528320 267355 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1337528320 267355 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.14 2.10 2.03 3/184 13718 /proc/meminfo: memFree=29407508/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1309252 CPUtime=6.28 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 268321 0 0 0 592 36 0 0 20 0 4 0 108195985 1340674048 268136 33554432000 4194304 16246674 140735115155760 140735115137664 12477791 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 327313 268136 850 2943 0 324207 0 [pid=13714/tid=13715] ppid=13711 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1340674048 268136 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1340674048 268136 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1340674048 268136 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.04 2.08 2.02 3/184 13767 /proc/meminfo: memFree=30451768/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1309252 CPUtime=12.68 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 268409 0 0 0 1232 36 0 0 20 0 4 0 108195985 1340674048 268224 33554432000 4194304 16246674 140735115155760 140735115137664 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 327313 268224 852 2943 0 324207 0 [pid=13714/tid=13715] ppid=13711 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1340674048 268224 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1340674048 268224 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1340674048 268224 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.10 2.09 2.02 3/184 13767 /proc/meminfo: memFree=29443228/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1314372 CPUtime=25.48 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 269689 0 0 0 2510 38 0 0 20 0 4 0 108195985 1345916928 269504 33554432000 4194304 16246674 140735115155760 140735115137664 5677422 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 328593 269504 852 2943 0 325487 0 [pid=13714/tid=13715] ppid=13711 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1345916928 269504 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1345916928 269504 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1345916928 269504 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.07 2.08 2.02 3/184 13767 /proc/meminfo: memFree=29430368/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1323588 CPUtime=51.08 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 271923 0 0 0 5068 40 0 0 20 0 4 0 108195985 1355354112 271731 33554432000 4194304 16246674 140735115155760 140735115137664 5822908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 330897 271731 852 2943 0 327791 0 [pid=13714/tid=13715] ppid=13711 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1355354112 271731 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1355354112 271731 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1355354112 271731 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1323588 [startup+102.3 s] /proc/loadavg: 2.02 2.07 2.02 3/184 13768 /proc/meminfo: memFree=29421484/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1323588 CPUtime=102.26 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 272023 0 0 0 10183 43 0 0 20 0 4 0 108195985 1355354112 271809 33554432000 4194304 16246674 140735115155760 140735115137664 4221641 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 330897 271809 853 2943 0 327791 0 [pid=13714/tid=13715] ppid=13711 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1355354112 271809 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1355354112 271809 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1355354112 271809 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276675 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.09 2.08 2.08 3/184 14004 /proc/meminfo: memFree=29288592/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1343044 CPUtime=1361.89 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 277250 0 0 0 135920 269 0 0 20 0 4 0 108195985 1375277056 276676 33554432000 4194304 16246674 140735115155760 140735115137664 5823447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 335761 276676 854 2943 0 332655 0 [pid=13714/tid=13715] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.06 2.08 2.08 3/184 14018 /proc/meminfo: memFree=29289528/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1343044 CPUtime=1421.9 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 277250 0 0 0 141912 278 0 0 20 0 4 0 108195985 1375277056 276676 33554432000 4194304 16246674 140735115155760 140735115137664 5722040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 335761 276676 854 2943 0 332655 0 [pid=13714/tid=13715] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.06 2.08 2.08 3/183 14019 /proc/meminfo: memFree=29289800/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1343044 CPUtime=1481.88 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 277250 0 0 0 147904 284 0 0 20 0 4 0 108195985 1375277056 276676 33554432000 4194304 16246674 140735115155760 140735115137664 5822761 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 335761 276676 854 2943 0 332655 0 [pid=13714/tid=13715] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.14 2.09 2.08 3/183 14020 /proc/meminfo: memFree=29275292/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1343044 CPUtime=1541.87 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 277250 0 0 0 153896 291 0 0 20 0 4 0 108195985 1375277056 276676 33554432000 4194304 16246674 140735115155760 140735115137664 5822788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 335761 276676 854 2943 0 332655 0 [pid=13714/tid=13715] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.06 2.07 2.07 3/184 14024 /proc/meminfo: memFree=29274940/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1343044 CPUtime=1601.85 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 277250 0 0 0 159885 300 0 0 20 0 4 0 108195985 1375277056 276676 33554432000 4194304 16246674 140735115155760 140735115137664 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 335761 276676 854 2943 0 332655 0 [pid=13714/tid=13715] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276676 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.06 2.07 2.07 3/183 14025 /proc/meminfo: memFree=29273768/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1343044 CPUtime=1661.85 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 277251 0 0 0 165880 305 0 0 20 0 4 0 108195985 1375277056 276932 33554432000 4194304 16246674 140735115155760 140735115137664 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 335761 276932 854 2943 0 332655 0 [pid=13714/tid=13715] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276932 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276932 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1375277056 276932 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.12 2.09 2.08 3/183 14027 /proc/meminfo: memFree=29270664/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1346116 CPUtime=1721.84 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 278019 0 0 0 171873 311 0 0 20 0 4 0 108195985 1378422784 277700 33554432000 4194304 16246674 140735115155760 140735115138760 5723974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 336529 277700 854 2943 0 333423 0 [pid=13714/tid=13715] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1346116 [startup+1782.3 s] /proc/loadavg: 2.20 2.11 2.09 3/183 14028 /proc/meminfo: memFree=29270292/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1346116 CPUtime=1781.83 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 278019 0 0 0 177862 321 0 0 20 0 4 0 108195985 1378422784 277700 33554432000 4194304 16246674 140735115155760 140735115137664 5707632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 336529 277700 854 2943 0 333423 0 [pid=13714/tid=13715] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1346116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.12 2.09 3/183 14028 /proc/meminfo: memFree=29270664/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1346116 CPUtime=1800.03 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 278019 0 0 0 179679 324 0 0 20 0 4 0 108195985 1378422784 277700 33554432000 4194304 16246674 140735115155760 140735115137664 13907053 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 336529 277700 854 2943 0 333423 0 [pid=13714/tid=13715] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1346116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13714 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.12 2.09 3/183 14028 /proc/meminfo: memFree=29270664/32872528 swapFree=11196/354588 [pid=13714] ppid=13711 vsize=1346116 CPUtime=1800.03 cores=0,2,4,6 /proc/13714/stat : 13714 (toysat) R 13711 13714 12837 0 -1 4202496 278019 0 0 0 179679 324 0 0 20 0 4 0 108195985 1378422784 277700 33554432000 4194304 16246674 140735115155760 140735115137664 13907053 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13714/statm: 336529 277700 854 2943 0 333423 0 [pid=13714/tid=13715] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13715/stat : 13715 (toysat) S 13711 13714 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052884598000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13714/tid=13716] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13716/stat : 13716 (toysat) S 13711 13714 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052874108144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13714/tid=13717] ppid=13711 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/13714/task/13717/stat : 13717 (toysat) S 13711 13714 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108195986 1378422784 277700 33554432000 4194304 16246674 140735115155760 140052863634608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1346116 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1796.8 CPU system time (s): 3.24551 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1346116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.8 system time used= 3.24551 maximum resident set size= 1110800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278019 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= 405 involuntary context switches= 1937 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70428 second user time and 6.84896 second system time The end
Begin job on node126 at 2016-06-07 03:23:45 IDJOB=4080113 IDBENCH=48259 IDSOLVER=2542 FILE ID=node126/4080113-1465262625 RUNJOBID= node126-1465253620-12853 PBS_JOBID= 19843265 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080113-1465262625/watcher-4080113-1465262625 -o /tmp/evaluation-result-4080113-1465262625/solver-4080113-1465262625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080113-1465262625.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=1394819436 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30480020 kB Buffers: 72640 kB Cached: 142744 kB SwapCached: 2244 kB Active: 1206784 kB Inactive: 130240 kB Active(anon): 1121624 kB Inactive(anon): 2392 kB Active(file): 85160 kB Inactive(file): 127848 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098560 kB Dirty: 16360 kB Writeback: 0 kB AnonPages: 1475028 kB Mapped: 10664 kB Shmem: 0 kB Slab: 569128 kB SReclaimable: 13224 kB SUnreclaim: 555904 kB KernelStack: 1456 kB PageTables: 7236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1617328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1458176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-07 03:53:46