| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb |
| MD5SUM | e0d3a2bf2cd2b7e4b27d7033a7686e76 |
| 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 | -6 |
| Best CPU time to get the best result obtained on this benchmark | 491.539 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -6 |
| 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) | 2996 |
| Sum of products size (including duplicates) | 5992 |
| Number of different products | 1498 |
| Sum of products size | 2996 |
0.00/0.00 c 2016-06-07T03:13:01+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-4080110-1465261981.opb"] 0.00/0.01 c use --random-gen="95513587 123259822 27365693 254211216 1850918456 3848799383 2323069126 513494949 3238388443 3779853740 1644853936 1880094877 3854978104 3142373891 1191885183 645506628 3943743274 3884188972 2330582416 1259591527 3040348447 1443430610 3826405089 3277669486 2093147150 2408651525 2838184197 2171671355 1052468517 409302073 1204003599 2450525773 3733454044 1288836124 1308537262 3435394112 2149185768 3933210203 1464296669 1392975467 2955801504 73715901 13978380 3107779402 1054358433 1065114893 3473096857 475397326 2309288535 3578835529 845427693 2414695841 2002920915 1935835456 2733510284 2849891717 1692450982 1003659497 357297611 932131189 1561718790 1486322204 2763409737 2529447808 1364354810 3747014596 381899578 3195120533 2305352526 3613514893 1777010656 2558468791 2878005565 2949054898 617886420 2409595615 2691060039 2008577623 594907410 2717446514 2224815992 3959414094 506712246 734646103 4216514474 1769987130 2467718343 3828611403 2308975001 3546674394 3159102265 47832761 2644310755 3930032039 2495286322 224038161 2261278084 1227481060 1445721331 821848516 1027563384 3814757656 3256482538 3469297403 3369266877 1140792295 396522002 2522371018 1890338306 1971855269 944421428 1062527448 930886247 1999411430 1417190633 1989569497 2706380031 2895870461 1755466837 3617332730 917270076 2035477683 3163924429 2108410531 4162432533 70945543 3983836968 972364048 1298600495 1879335646 2354629012 4063923456 2566733425 2726547293 4229403305 1524313624 513243576 3835558108 2771830516 706200619 416324980 613315714 3292281967 2461489205 2959453483 1700121848 2699340422 1009532228 2893583630 2056556493 833471178 294238921 3005889500 3307544994 272327771 1904686494 4211437989 210766372 70627680 1170744376 1139189340 497356607 3989416442 1543176951 1253321210 3158698250 1947534351 3487606213 3715971271 2584080620 4159103680 3534845202 2670390460 3954627882 2372083382 2540753117 763328885 1911733520 2344258941 2471293899 945819144 4113949286 4069361078 80079906 3961041382 3812724008 3480583793 2870421803 2315173075 1333928581 1410297278 3565790407 414440637 4256602350 3510891168 2891136094 1243159159 2213078161 3719022080 737093309 2474771505 2895506845 832311033 3086727142 4124829432 761031425 556600240 2627707154 948253504 1303815880 1169640950 2443894884 2812765868 776919526 3635029734 1581303282 1577116507 3111374859 4123248427 4278006344 369789223 2170109238 560549589 1755908683 3594751933 2505324839 33022494 315466763 1955051486 3887450562 218631994 1197637797 3355555269 922715160 3617800782 3569885852 1442449228 2516765064 1872326499 2981780328 3041435812 4173803551 723258434 418631727 2842160356 3832342043 3879714541 3967571245 2545079856 755861800 3796457398 601106845 4093998033 4038554485 2124323255 4014688127 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 151 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1082 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 52 | 0 | 1082 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 = 52 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 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 | 1082 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 29 | 2 | 1082 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 = 29 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 | 1082 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 26 | 1 | 1082 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 = 26 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 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.06 c lower bound updated to -48 0.00/0.06 c BCD2: 2 <= obj <= 46 0.00/0.06 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 1082 0 | 1 | 0 0.00/0.09 c 0.0s | 1 | 819 | 100 | 1191 0 | 1 | 1 0.09/0.12 c 0.1s | 2 | 1683 | 250 | 1311 0 | 1 | 1 0.09/0.17 c 0.1s | 3 | 2759 | 475 | 1443 0 | 1 | 1 0.19/0.26 c 0.2s | 4 | 4463 | 813 | 1588 0 | 1 | 1 0.29/0.38 c 0.3s | 5 | 6659 | 1320 | 1747 0 | 1 | 1 0.58/0.60 c 0.5s | 6 | 8312 | 2081 | 1922 1 | 1 | 1 0.89/0.95 c 0.9s | 7 | 12239 | 3223 | 2115 2 | 1 | 1 1.29/1.33 c 1.3s | 8 | 17335 | 4936 | 2327 3 | 1 | 1 1.89/1.92 c 1.9s | 9 | 23782 | 7506 | 2560 5 | 1 | 1 2.69/2.70 c 2.6s | 10 | 31090 | 11361 | 2816 8 | 1 | 1 3.89/3.91 c 3.8s | 11 | 48596 | 17144 | 3098 12 | 1 | 1 5.89/5.93 c 5.9s | 12 | 71549 | 25819 | 3408 17 | 1 | 1 7.89/7.94 c 7.9s | 12 | 91513 | 34919 | 3408 22 | 1 | 1 8.59/8.65 c 8.6s | 13 | 97791 | 38832 | 3749 24 | 1 | 1 10.59/10.67 c 10.6s | 13 | 113583 | 48532 | 3749 30 | 1 | 1 12.69/12.70 c 12.6s | 13 | 126632 | 57932 | 3749 34 | 1 | 1 12.79/12.82 c 12.8s | 14 | 127131 | 58352 | 4124 34 | 1 | 1 14.79/14.84 c 14.8s | 14 | 144679 | 67852 | 4124 39 | 1 | 1 16.79/16.84 c 16.8s | 14 | 163796 | 77052 | 4124 43 | 1 | 1 18.80/18.85 c 18.8s | 14 | 181275 | 86452 | 4124 48 | 1 | 1 19.09/19.15 c 19.1s | 15 | 184104 | 87632 | 4537 48 | 1 | 1 21.09/21.15 c 21.1s | 15 | 201321 | 96432 | 4537 52 | 1 | 1 23.10/23.16 c 23.1s | 15 | 219247 | 105432 | 4537 56 | 1 | 1 25.09/25.17 c 25.1s | 15 | 235847 | 114432 | 4537 60 | 1 | 1 27.09/27.18 c 27.1s | 15 | 252450 | 122932 | 4537 64 | 1 | 1 29.09/29.10 c 29.0s | 16 | 270394 | 131552 | 4991 67 | 1 | 1 31.09/31.13 c 31.1s | 16 | 290006 | 139652 | 4991 71 | 1 | 1 33.10/33.14 c 33.1s | 16 | 307933 | 147252 | 4991 73 | 1 | 1 35.09/35.17 c 35.1s | 16 | 325195 | 154752 | 4991 76 | 1 | 1 37.09/37.17 c 37.1s | 16 | 343551 | 161852 | 4991 79 | 1 | 1 39.09/39.18 c 39.1s | 16 | 362468 | 169952 | 4991 82 | 1 | 1 41.09/41.20 c 41.1s | 16 | 379471 | 176952 | 4991 85 | 1 | 1 43.19/43.20 c 43.1s | 16 | 399727 | 185152 | 4991 88 | 1 | 1 45.19/45.21 c 45.1s | 16 | 418200 | 193352 | 4991 92 | 1 | 1 46.19/46.30 c 46.2s | 17 | 428608 | 197432 | 5491 93 | 1 | 1 48.29/48.31 c 48.3s | 17 | 446713 | 204732 | 5491 96 | 1 | 1 50.28/50.32 c 50.3s | 17 | 458731 | 213232 | 5491 99 | 1 | 1 52.28/52.33 c 52.3s | 17 | 479353 | 220732 | 5491 102 | 1 | 1 54.28/54.34 c 54.3s | 17 | 496561 | 227832 | 5491 104 | 1 | 1 56.28/56.34 c 56.3s | 17 | 514428 | 236632 | 5491 107 | 1 | 1 58.29/58.36 c 58.3s | 17 | 530379 | 244332 | 5491 110 | 1 | 1 60.28/60.36 c 60.3s | 17 | 541750 | 251232 | 5491 113 | 1 | 1 62.28/62.39 c 62.3s | 17 | 551440 | 258832 | 5491 115 | 1 | 1 64.28/64.39 c 64.3s | 17 | 559922 | 266032 | 5491 118 | 1 | 1 66.38/66.45 c 66.4s | 17 | 570966 | 273932 | 5491 121 | 1 | 1 68.38/68.48 c 68.4s | 17 | 589854 | 282332 | 5491 124 | 1 | 1 70.38/70.50 c 70.4s | 17 | 610249 | 290632 | 5491 127 | 1 | 1 71.88/71.98 c 71.9s | 18 | 626180 | 296252 | 6041 129 | 1 | 1 73.97/74.01 c 73.9s | 18 | 640909 | 302752 | 6041 131 | 1 | 1 75.98/76.01 c 75.9s | 18 | 650788 | 311152 | 6041 133 | 1 | 1 77.97/78.02 c 78.0s | 18 | 670667 | 318552 | 6041 136 | 1 | 1 79.97/80.03 c 80.0s | 18 | 690281 | 326552 | 6041 138 | 1 | 1 81.97/82.04 c 82.0s | 18 | 706723 | 334352 | 6041 141 | 1 | 1 83.97/84.05 c 84.0s | 18 | 725669 | 342252 | 6041 144 | 1 | 1 85.97/86.05 c 86.0s | 18 | 744090 | 349852 | 6041 146 | 1 | 1 87.98/88.07 c 88.0s | 18 | 760721 | 357352 | 6041 149 | 1 | 1 89.97/90.09 c 90.0s | 18 | 777367 | 364552 | 6041 151 | 1 | 1 92.07/92.11 c 92.0s | 18 | 791953 | 371252 | 6041 153 | 1 | 1 94.07/94.11 c 94.1s | 18 | 809989 | 377952 | 6041 155 | 1 | 1 96.08/96.13 c 96.1s | 18 | 827215 | 384752 | 6041 158 | 1 | 1 98.08/98.17 c 98.1s | 18 | 840392 | 391352 | 6041 160 | 1 | 1 100.08/100.18 c 100s | 18 | 855485 | 397952 | 6041 162 | 1 | 1 102.07/102.18 c 102s | 18 | 867697 | 405452 | 6041 164 | 1 | 1 104.07/104.19 c 104s | 18 | 885956 | 413052 | 6041 167 | 1 | 1 106.07/106.19 c 106s | 18 | 904089 | 420852 | 6041 169 | 1 | 1 108.17/108.20 c 108s | 18 | 920912 | 428152 | 6041 172 | 1 | 1 110.17/110.23 c 110s | 18 | 932548 | 435352 | 6041 174 | 1 | 1 112.18/112.26 c 112s | 18 | 946269 | 442152 | 6646 176 | 1 | 1 112.97/113.02 c 112s | 19 | 951878 | 444482 | 6646 177 | 1 | 1 114.97/115.03 c 114s | 19 | 969139 | 451882 | 6646 179 | 1 | 1 116.97/117.03 c 116s | 19 | 982628 | 459782 | 6646 181 | 1 | 1 118.97/119.04 c 118s | 19 | 996735 | 466782 | 6646 183 | 1 | 1 120.98/121.07 c 121s | 19 | 1012393 | 473682 | 6646 186 | 1 | 1 122.97/123.08 c 123s | 19 | 1028424 | 480682 | 6646 188 | 1 | 1 124.97/125.09 c 125s | 19 | 1042575 | 488282 | 6646 190 | 1 | 1 127.07/127.11 c 127s | 19 | 1057118 | 495582 | 6646 192 | 1 | 1 129.07/129.12 c 129s | 19 | 1072756 | 502982 | 6646 194 | 1 | 1 131.07/131.14 c 131s | 19 | 1091815 | 510182 | 6646 196 | 1 | 1 133.07/133.16 c 133s | 19 | 1109830 | 517082 | 6646 198 | 1 | 1 135.06/135.16 c 135s | 19 | 1125566 | 523982 | 6646 200 | 1 | 1 137.07/137.18 c 137s | 19 | 1141858 | 531082 | 6646 203 | 1 | 1 139.17/139.22 c 139s | 19 | 1159222 | 537482 | 6646 205 | 1 | 1 141.17/141.23 c 141s | 19 | 1176285 | 544282 | 6646 207 | 1 | 1 143.17/143.27 c 143s | 19 | 1189982 | 550982 | 6646 209 | 1 | 1 145.18/145.29 c 145s | 19 | 1204810 | 557582 | 6646 211 | 1 | 1 147.27/147.31 c 147s | 19 | 1220015 | 564082 | 6646 212 | 1 | 1 149.27/149.33 c 149s | 19 | 1239563 | 571082 | 6646 215 | 1 | 1 151.27/151.33 c 151s | 19 | 1259150 | 578282 | 6646 217 | 1 | 1 153.27/153.34 c 153s | 19 | 1276735 | 584982 | 6646 219 | 1 | 1 155.27/155.34 c 155s | 19 | 1289205 | 593482 | 6646 221 | 1 | 1 157.28/157.36 c 157s | 19 | 1308657 | 600482 | 6646 223 | 1 | 1 159.27/159.37 c 159s | 19 | 1322716 | 607382 | 6646 225 | 1 | 1 161.27/161.39 c 161s | 19 | 1339473 | 614582 | 6646 227 | 1 | 1 163.27/163.39 c 163s | 19 | 1353366 | 621482 | 6646 230 | 1 | 1 165.37/165.41 c 165s | 19 | 1366691 | 627982 | 6646 231 | 1 | 1 167.37/167.41 c 167s | 19 | 1385784 | 635082 | 6646 234 | 1 | 1 169.37/169.46 c 169s | 19 | 1404291 | 641582 | 6646 236 | 1 | 1 171.37/171.47 c 171s | 19 | 1419801 | 648282 | 6646 238 | 1 | 1 173.36/173.48 c 173s | 19 | 1436702 | 655882 | 6646 240 | 1 | 1 175.36/175.48 c 175s | 19 | 1450490 | 663082 | 7311 242 | 1 | 1 176.56/176.66 c 176s | 20 | 1459603 | 666827 | 7311 243 | 1 | 1 178.56/178.66 c 178s | 20 | 1474255 | 673727 | 7311 245 | 1 | 1 180.56/180.67 c 180s | 20 | 1489606 | 681627 | 7311 247 | 1 | 1 182.57/182.68 c 182s | 20 | 1502220 | 688927 | 7311 249 | 1 | 1 184.56/184.69 c 184s | 20 | 1518463 | 695527 | 7311 251 | 1 | 1 186.66/186.70 c 186s | 20 | 1533775 | 702527 | 7311 252 | 1 | 1 188.67/188.73 c 188s | 20 | 1546073 | 709127 | 7311 254 | 1 | 1 190.67/190.73 c 190s | 20 | 1555418 | 716727 | 7311 256 | 1 | 1 192.66/192.74 c 192s | 20 | 1564102 | 723927 | 7311 258 | 1 | 1 194.67/194.76 c 194s | 20 | 1572069 | 730427 | 7311 260 | 1 | 1 196.66/196.77 c 196s | 20 | 1581117 | 736627 | 7311 262 | 1 | 1 198.66/198.78 c 198s | 20 | 1589997 | 743327 | 7311 263 | 1 | 1 200.76/200.84 c 200s | 20 | 1599954 | 749927 | 7311 265 | 1 | 1 202.76/202.84 c 202s | 20 | 1612739 | 757327 | 7311 267 | 1 | 1 204.76/204.85 c 204s | 20 | 1627762 | 764427 | 7311 269 | 1 | 1 206.76/206.86 c 206s | 20 | 1645199 | 772327 | 7311 271 | 1 | 1 208.76/208.88 c 208s | 20 | 1659715 | 779827 | 7311 273 | 1 | 1 210.86/210.91 c 210s | 20 | 1673498 | 787427 | 7311 275 | 1 | 1 212.86/212.92 c 212s | 20 | 1684031 | 794427 | 7311 277 | 1 | 1 214.85/214.93 c 214s | 20 | 1697465 | 801227 | 7311 279 | 1 | 1 216.85/216.93 c 216s | 20 | 1714242 | 808427 | 7311 281 | 1 | 1 218.86/218.93 c 218s | 20 | 1728308 | 815327 | 7311 283 | 1 | 1 220.85/220.96 c 220s | 20 | 1740891 | 821827 | 7311 285 | 1 | 1 222.85/222.97 c 222s | 20 | 1756285 | 828727 | 7311 286 | 1 | 1 224.85/224.98 c 224s | 20 | 1773698 | 835627 | 7311 288 | 1 | 1 226.85/226.99 c 226s | 20 | 1789325 | 843427 | 7311 290 | 1 | 1 228.95/229.02 c 228s | 20 | 1801474 | 850027 | 7311 292 | 1 | 1 230.96/231.03 c 230s | 20 | 1817409 | 856627 | 7311 294 | 1 | 1 232.95/233.03 c 232s | 20 | 1833903 | 863327 | 7311 296 | 1 | 1 234.95/235.04 c 234s | 20 | 1848465 | 870627 | 7311 298 | 1 | 1 236.95/237.06 c 236s | 20 | 1861962 | 877527 | 7311 300 | 1 | 1 238.95/239.08 c 239s | 20 | 1878533 | 884427 | 7311 301 | 1 | 1 240.96/241.10 c 241s | 20 | 1892998 | 890627 | 7311 303 | 1 | 1 243.06/243.11 c 243s | 20 | 1901358 | 896727 | 7311 305 | 1 | 1 245.06/245.12 c 245s | 20 | 1908269 | 902527 | 7311 306 | 1 | 1 247.05/247.14 c 247s | 20 | 1922945 | 908927 | 7311 308 | 1 | 1 249.05/249.15 c 249s | 20 | 1937622 | 915727 | 7311 310 | 1 | 1 251.05/251.15 c 251s | 20 | 1952063 | 922327 | 7311 312 | 1 | 1 253.06/253.16 c 253s | 20 | 1967911 | 929527 | 7311 314 | 1 | 1 255.05/255.17 c 255s | 20 | 1981688 | 935927 | 7311 315 | 1 | 1 257.05/257.19 c 257s | 20 | 1996700 | 943727 | 7311 317 | 1 | 1 259.15/259.20 c 259s | 20 | 2012800 | 950327 | 7311 319 | 1 | 1 261.15/261.21 c 261s | 20 | 2028978 | 956527 | 7311 321 | 1 | 1 263.15/263.22 c 263s | 20 | 2046846 | 963627 | 7311 323 | 1 | 1 265.16/265.27 c 265s | 20 | 2064202 | 970227 | 7311 325 | 1 | 1 267.26/267.31 c 267s | 20 | 2080752 | 977627 | 7311 327 | 1 | 1 269.25/269.32 c 269s | 20 | 2096193 | 984727 | 7311 328 | 1 | 1 271.25/271.33 c 271s | 20 | 2110995 | 990827 | 7311 330 | 1 | 1 273.25/273.33 c 273s | 20 | 2125967 | 998627 | 8043 332 | 1 | 1 273.75/273.83 c 273s | 21 | 2128247 | 1000345 | 8043 332 | 1 | 1 275.75/275.85 c 275s | 21 | 2138827 | 1007345 | 8043 334 | 1 | 1 277.84/277.93 c 277s | 21 | 2151389 | 1013945 | 8043 336 | 1 | 1 279.84/279.94 c 279s | 21 | 2160986 | 1020945 | 8043 337 | 1 | 1 281.84/281.94 c 281s | 21 | 2174459 | 1028145 | 8043 339 | 1 | 1 283.85/283.97 c 283s | 21 | 2188642 | 1035045 | 8043 341 | 1 | 1 285.85/285.99 c 285s | 21 | 2203995 | 1041445 | 8043 343 | 1 | 1 287.95/288.00 c 287s | 21 | 2217840 | 1049145 | 8043 344 | 1 | 1 289.95/290.01 c 289s | 21 | 2231496 | 1055645 | 8043 346 | 1 | 1 291.95/292.04 c 291s | 21 | 2248146 | 1061845 | 8043 348 | 1 | 1 293.95/294.05 c 293s | 21 | 2258681 | 1069245 | 8043 349 | 1 | 1 295.96/296.05 c 295s | 21 | 2268272 | 1074945 | 8043 351 | 1 | 1 297.95/298.07 c 298s | 21 | 2283422 | 1081645 | 8043 352 | 1 | 1 299.95/300.08 c 300s | 21 | 2296486 | 1088845 | 8043 354 | 1 | 1 302.05/302.11 c 302s | 21 | 2312046 | 1096045 | 8043 356 | 1 | 1 304.05/304.12 c 304s | 21 | 2323817 | 1102545 | 8043 358 | 1 | 1 306.05/306.16 c 306s | 21 | 2335227 | 1109345 | 8043 359 | 1 | 1 308.05/308.17 c 308s | 21 | 2349078 | 1116445 | 8043 361 | 1 | 1 310.05/310.19 c 310s | 21 | 2363816 | 1122745 | 8043 363 | 1 | 1 312.05/312.19 c 312s | 21 | 2376915 | 1130745 | 8043 365 | 1 | 1 314.14/314.23 c 314s | 21 | 2385689 | 1137545 | 8043 366 | 1 | 1 316.14/316.24 c 316s | 21 | 2395322 | 1143545 | 8043 368 | 1 | 1 318.14/318.27 c 318s | 21 | 2408812 | 1149745 | 8043 369 | 1 | 1 320.15/320.28 c 320s | 21 | 2423311 | 1156245 | 8043 371 | 1 | 1 322.14/322.30 c 322s | 21 | 2438867 | 1163045 | 8043 373 | 1 | 1 324.24/324.34 c 324s | 21 | 2455744 | 1170545 | 8043 374 | 1 | 1 326.24/326.34 c 326s | 21 | 2474389 | 1177445 | 8043 376 | 1 | 1 328.24/328.38 c 328s | 21 | 2493392 | 1184345 | 8043 378 | 1 | 1 330.34/330.41 c 330s | 21 | 2509569 | 1191145 | 8043 379 | 1 | 1 332.34/332.42 c 332s | 21 | 2525175 | 1197745 | 8043 381 | 1 | 1 334.34/334.45 c 334s | 21 | 2541197 | 1204545 | 8043 383 | 1 | 1 336.34/336.45 c 336s | 21 | 2554030 | 1210445 | 8043 384 | 1 | 1 338.34/338.46 c 338s | 21 | 2569438 | 1217345 | 8043 386 | 1 | 1 340.34/340.48 c 340s | 21 | 2583384 | 1224445 | 8043 388 | 1 | 1 342.44/342.51 c 342s | 21 | 2598142 | 1230545 | 8043 389 | 1 | 1 344.44/344.55 c 344s | 21 | 2612389 | 1237245 | 8043 391 | 1 | 1 346.44/346.55 c 346s | 21 | 2628546 | 1244145 | 8043 393 | 1 | 1 348.43/348.55 c 348s | 21 | 2642553 | 1250245 | 8043 394 | 1 | 1 350.43/350.57 c 350s | 21 | 2656756 | 1256845 | 8043 396 | 1 | 1 352.43/352.59 c 352s | 21 | 2671609 | 1263345 | 8043 397 | 1 | 1 354.43/354.59 c 354s | 21 | 2691511 | 1270645 | 8043 399 | 1 | 1 356.53/356.61 c 356s | 21 | 2705291 | 1277045 | 8043 401 | 1 | 1 358.03/358.16 c 358s | 21 | 2716541 | 1282050 | 8043 402 | 2 | 2 358.03/358.16 c #cpu_time = 357.181s 358.03/358.16 c #wall_clock_time = 358.097s 358.03/358.16 c #decision = 2716541 358.03/358.16 c #random_decision = 13356 358.03/358.16 c #conflict = 1282050 358.03/358.16 c #restart = 21 358.03/358.16 c BCD2: updating lower bound of a core 358.03/358.16 c lower bound updated to -14 358.03/358.16 c BCD2: 36 <= obj <= 46 358.03/358.18 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 358.03/358.18 c BCD2: #sat=1 #unsat=4 bias=4/5 358.03/358.18 c Solving starts ... 358.03/358.18 c ============================[ Search Statistics ]============================ 358.03/358.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 358.03/358.18 c | | | | Limit GC | Var | Constra 358.03/358.18 c ============================================================================= 358.03/358.18 c 0.0s | 0 | 0 | 0 | 8043 0 | 2 | 3 358.14/358.29 c 0.1s | 1 | 132 | 100 | 8043 0 | 2 | 3 358.34/358.46 c 0.3s | 2 | 1653 | 250 | 8043 0 | 2 | 3 358.44/358.50 c 0.3s | 3 | 2745 | 475 | 8043 0 | 2 | 3 358.44/358.58 c 0.4s | 4 | 4340 | 813 | 8043 0 | 2 | 3 358.55/358.67 c 0.5s | 4 | 5996 | 1129 | 8043 0 | 2 | 3 358.55/358.67 c #cpu_time = 0.503s 358.55/358.67 c #wall_clock_time = 0.504s 358.55/358.67 c #decision = 5996 358.55/358.67 c #random_decision = 34 358.55/358.67 c #conflict = 1129 358.55/358.67 c #restart = 4 358.55/358.67 o -6 358.55/358.67 c BCD2: updating upper bound: 46 -> 43 358.55/358.67 c BCD2: 36 <= obj <= 43 358.55/358.67 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 358.55/358.67 c BCD2: #sat=2 #unsat=4 bias=4/6 358.55/358.67 c Solving starts ... 358.55/358.67 c ============================[ Search Statistics ]============================ 358.55/358.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 358.55/358.67 c | | | | Limit GC | Var | Constra 358.55/358.67 c ============================================================================= 358.55/358.67 c 0.0s | 0 | 0 | 0 | 8043 0 | 2 | 5 358.55/358.70 c 0.0s | 1 | 214 | 100 | 8043 0 | 2 | 5 358.65/358.74 c 0.1s | 2 | 526 | 250 | 8043 0 | 2 | 5 358.65/358.80 c 0.1s | 3 | 1554 | 475 | 8043 0 | 2 | 5 358.74/358.88 c 0.2s | 4 | 2066 | 813 | 8043 0 | 2 | 5 358.94/359.02 c 0.3s | 5 | 3401 | 1320 | 8043 0 | 2 | 5 359.14/359.23 c 0.6s | 6 | 7543 | 2081 | 8043 0 | 2 | 5 359.44/359.52 c 0.9s | 7 | 9319 | 3223 | 8043 0 | 2 | 5 359.94/360.08 c 1.4s | 8 | 15286 | 4936 | 8043 0 | 2 | 5 360.64/360.71 c 2.0s | 9 | 18700 | 7506 | 8043 1 | 2 | 5 361.74/361.89 c 3.2s | 10 | 26860 | 11361 | 8043 2 | 2 | 5 363.74/363.89 c 5.2s | 10 | 39164 | 16661 | 8043 3 | 2 | 5 363.94/364.08 c 5.4s | 11 | 39877 | 17144 | 8043 3 | 2 | 5 366.03/366.10 c 7.4s | 11 | 51719 | 23044 | 8043 5 | 2 | 5 366.93/367.05 c 8.4s | 12 | 56699 | 25819 | 8043 6 | 2 | 5 368.93/369.09 c 10.4s | 12 | 73640 | 31519 | 8043 7 | 2 | 5 371.03/371.11 c 12.4s | 12 | 84285 | 37019 | 8043 8 | 2 | 5 371.53/371.68 c 13.0s | 13 | 86847 | 38832 | 8043 9 | 2 | 5 373.53/373.69 c 15.0s | 13 | 97384 | 44632 | 8043 10 | 2 | 5 375.53/375.70 c 17.0s | 13 | 110648 | 50332 | 8043 12 | 2 | 5 377.63/377.72 c 19.0s | 13 | 121394 | 55932 | 8043 13 | 2 | 5 378.53/378.69 c 20.0s | 14 | 125232 | 58352 | 8043 14 | 2 | 5 380.64/380.73 c 22.1s | 14 | 133684 | 63652 | 8043 15 | 2 | 5 382.63/382.74 c 24.1s | 14 | 144623 | 69852 | 8043 16 | 2 | 5 384.63/384.77 c 26.1s | 14 | 153373 | 75152 | 8043 18 | 2 | 5 386.63/386.79 c 28.1s | 14 | 160183 | 79352 | 8043 19 | 2 | 5 388.73/388.82 c 30.1s | 14 | 170455 | 85352 | 8043 20 | 2 | 5 389.44/389.53 c 30.9s | 15 | 175327 | 87632 | 8043 21 | 2 | 5 391.43/391.53 c 32.9s | 15 | 185118 | 93432 | 8043 22 | 2 | 5 393.43/393.53 c 34.9s | 15 | 196057 | 98832 | 8043 23 | 2 | 5 395.43/395.53 c 36.9s | 15 | 205420 | 104232 | 8043 25 | 2 | 5 397.43/397.55 c 38.9s | 15 | 217970 | 110032 | 8043 26 | 2 | 5 399.43/399.56 c 40.9s | 15 | 228501 | 115532 | 8043 28 | 2 | 5 401.44/401.57 c 42.9s | 15 | 240796 | 121832 | 8043 29 | 2 | 5 403.43/403.59 c 44.9s | 15 | 251774 | 127032 | 8043 30 | 2 | 5 405.13/405.21 c 46.5s | 16 | 258417 | 131552 | 8043 32 | 2 | 5 407.13/407.22 c 48.5s | 16 | 268233 | 136652 | 8043 33 | 2 | 5 409.14/409.23 c 50.6s | 16 | 277263 | 141752 | 8043 34 | 2 | 5 411.13/411.24 c 52.6s | 16 | 285892 | 147352 | 8043 35 | 2 | 5 413.13/413.26 c 54.6s | 16 | 294028 | 152552 | 8043 37 | 2 | 5 415.13/415.28 c 56.6s | 16 | 303700 | 158052 | 8043 38 | 2 | 5 417.13/417.29 c 58.6s | 16 | 311122 | 162652 | 8043 39 | 2 | 5 419.23/419.31 c 60.6s | 16 | 324398 | 168552 | 8043 41 | 2 | 5 421.24/421.38 c 62.7s | 16 | 334006 | 174152 | 8043 42 | 2 | 5 423.33/423.40 c 64.7s | 16 | 342244 | 180452 | 8043 44 | 2 | 5 425.33/425.42 c 66.7s | 16 | 355164 | 186752 | 8043 45 | 2 | 5 427.33/427.43 c 68.8s | 16 | 366405 | 192352 | 8043 46 | 2 | 5 429.13/429.27 c 70.6s | 17 | 374073 | 197432 | 8043 48 | 2 | 5 431.23/431.32 c 72.6s | 17 | 387460 | 204732 | 8043 50 | 2 | 5 433.23/433.34 c 74.7s | 17 | 399225 | 210832 | 8848 51 | 2 | 5 435.23/435.35 c 76.7s | 17 | 410367 | 216532 | 8848 52 | 2 | 5 437.22/437.38 c 78.7s | 17 | 422763 | 222632 | 8848 53 | 2 | 5 439.32/439.40 c 80.7s | 17 | 434290 | 228632 | 8848 55 | 2 | 5 441.32/441.41 c 82.7s | 17 | 447545 | 235432 | 8848 56 | 2 | 5 443.33/443.41 c 84.7s | 17 | 459524 | 241632 | 8848 58 | 2 | 5 445.32/445.42 c 86.8s | 17 | 471538 | 248032 | 8848 59 | 2 | 5 447.32/447.44 c 88.8s | 17 | 482043 | 253532 | 8848 60 | 2 | 5 449.32/449.44 c 90.8s | 17 | 494933 | 259532 | 8848 62 | 2 | 5 451.42/451.59 c 92.9s | 17 | 507794 | 265832 | 8848 63 | 2 | 5 453.52/453.60 c 94.9s | 17 | 519890 | 272432 | 8848 65 | 2 | 5 455.52/455.61 c 96.9s | 17 | 530060 | 277732 | 8848 66 | 2 | 5 457.53/457.62 c 98.9s | 17 | 541397 | 283832 | 8848 67 | 2 | 5 459.52/459.65 c 100s | 17 | 551348 | 289432 | 8848 68 | 2 | 5 461.52/461.66 c 102s | 17 | 560321 | 295632 | 8848 70 | 2 | 5 461.72/461.88 c 103s | 18 | 561563 | 296252 | 8848 70 | 2 | 5 463.72/463.90 c 105s | 18 | 570629 | 301752 | 8848 71 | 2 | 5 465.82/465.93 c 107s | 18 | 582350 | 307652 | 8848 73 | 2 | 5 467.82/467.95 c 109s | 18 | 593946 | 313752 | 8848 74 | 2 | 5 469.82/469.98 c 111s | 18 | 606480 | 320152 | 8848 75 | 2 | 5 471.82/471.99 c 113s | 18 | 617760 | 325952 | 8848 77 | 2 | 5 473.92/474.00 c 115s | 18 | 630123 | 332252 | 8848 78 | 2 | 5 475.92/476.02 c 117s | 18 | 641910 | 338352 | 8848 79 | 2 | 5 477.92/478.05 c 119s | 18 | 653901 | 344252 | 8848 81 | 2 | 5 479.92/480.05 c 121s | 18 | 663425 | 349852 | 8848 82 | 2 | 5 481.91/482.06 c 123s | 18 | 676199 | 355752 | 8848 83 | 2 | 5 483.92/484.10 c 125s | 18 | 686821 | 362252 | 8848 85 | 2 | 5 486.01/486.19 c 127s | 18 | 696822 | 367352 | 8848 86 | 2 | 5 488.11/488.20 c 129s | 18 | 709307 | 373452 | 8848 87 | 2 | 5 490.11/490.22 c 131s | 18 | 719656 | 378952 | 8848 88 | 2 | 5 492.11/492.22 c 133s | 18 | 730420 | 384152 | 8848 90 | 2 | 5 494.11/494.25 c 135s | 18 | 738802 | 389252 | 8848 91 | 2 | 5 496.12/496.26 c 137s | 18 | 753581 | 395152 | 8848 92 | 2 | 5 498.32/498.41 c 139s | 18 | 764079 | 400352 | 8848 93 | 2 | 5 500.31/500.43 c 141s | 18 | 774256 | 405252 | 8848 94 | 2 | 5 502.41/502.50 c 143s | 18 | 783141 | 410552 | 8848 96 | 2 | 5 504.41/504.51 c 145s | 18 | 795614 | 417052 | 8848 97 | 2 | 5 506.41/506.54 c 147s | 18 | 806086 | 422052 | 8848 98 | 2 | 5 508.41/508.58 c 149s | 18 | 818120 | 427952 | 8848 99 | 2 | 5 510.51/510.60 c 151s | 18 | 825997 | 433152 | 8848 101 | 2 | 5 512.51/512.62 c 153s | 18 | 833562 | 437952 | 8848 102 | 2 | 5 514.51/514.66 c 155s | 18 | 842205 | 443952 | 8848 103 | 2 | 5 514.71/514.85 c 156s | 19 | 842864 | 444482 | 8848 103 | 2 | 5 516.71/516.85 c 158s | 19 | 853867 | 449582 | 8848 104 | 2 | 5 518.71/518.88 c 160s | 19 | 862555 | 454982 | 8848 105 | 2 | 5 520.81/520.90 c 162s | 19 | 873791 | 460682 | 8848 107 | 2 | 5 522.81/522.93 c 164s | 19 | 886808 | 466882 | 8848 108 | 2 | 5 524.81/524.97 c 166s | 19 | 897537 | 472982 | 8848 109 | 2 | 5 526.92/527.08 c 168s | 19 | 907129 | 477482 | 8848 111 | 2 | 5 528.91/529.09 c 170s | 19 | 915464 | 482882 | 8848 112 | 2 | 5 531.01/531.10 c 172s | 19 | 927044 | 488882 | 8848 113 | 2 | 5 533.01/533.11 c 174s | 19 | 938135 | 494582 | 8848 114 | 2 | 5 535.01/535.11 c 176s | 19 | 947896 | 499982 | 8848 116 | 2 | 5 537.01/537.11 c 178s | 19 | 958627 | 504882 | 8848 117 | 2 | 5 539.02/539.12 c 180s | 19 | 969271 | 510482 | 8848 118 | 2 | 5 541.01/541.14 c 182s | 19 | 978415 | 515782 | 8848 119 | 2 | 5 543.01/543.16 c 184s | 19 | 986493 | 520282 | 8848 120 | 2 | 5 545.11/545.20 c 186s | 19 | 997861 | 526082 | 8848 121 | 2 | 5 547.10/547.20 c 188s | 19 | 1010189 | 531382 | 8848 123 | 2 | 5 549.10/549.23 c 190s | 19 | 1022755 | 537082 | 8848 124 | 2 | 5 551.11/551.25 c 192s | 19 | 1031035 | 541982 | 8848 125 | 2 | 5 553.10/553.28 c 194s | 19 | 1041411 | 546882 | 8848 126 | 2 | 5 555.21/555.30 c 196s | 19 | 1053487 | 552682 | 8848 127 | 2 | 5 557.21/557.31 c 198s | 19 | 1064323 | 558082 | 8848 129 | 2 | 5 559.21/559.33 c 200s | 19 | 1077138 | 564282 | 8848 130 | 2 | 5 561.21/561.37 c 202s | 19 | 1087734 | 570082 | 8848 131 | 2 | 5 563.31/563.40 c 204s | 19 | 1096479 | 575082 | 8848 132 | 2 | 5 565.31/565.43 c 206s | 19 | 1107683 | 581882 | 8848 134 | 2 | 5 567.31/567.43 c 208s | 19 | 1118084 | 587782 | 8848 135 | 2 | 5 569.31/569.44 c 210s | 19 | 1129509 | 593282 | 8848 136 | 2 | 5 571.31/571.46 c 212s | 19 | 1139454 | 598382 | 8848 138 | 2 | 5 573.30/573.46 c 214s | 19 | 1152701 | 604682 | 8848 139 | 2 | 5 575.31/575.47 c 216s | 19 | 1163761 | 610582 | 8848 140 | 2 | 5 577.30/577.49 c 218s | 19 | 1171034 | 615482 | 8848 141 | 2 | 5 579.40/579.51 c 220s | 19 | 1181367 | 621482 | 8848 143 | 2 | 5 581.40/581.51 c 222s | 19 | 1192148 | 626982 | 8848 144 | 2 | 5 583.40/583.53 c 224s | 19 | 1203137 | 633582 | 8848 146 | 2 | 5 585.40/585.53 c 226s | 19 | 1212645 | 640082 | 8848 147 | 2 | 5 587.40/587.55 c 228s | 19 | 1220875 | 645382 | 8848 148 | 2 | 5 589.40/589.58 c 230s | 19 | 1230748 | 649882 | 8848 149 | 2 | 5 591.40/591.60 c 232s | 19 | 1243168 | 656282 | 8848 151 | 2 | 5 593.49/593.61 c 234s | 19 | 1255044 | 662682 | 8848 152 | 2 | 5 594.89/595.01 c 236s | 20 | 1262543 | 666827 | 8848 153 | 2 | 5 596.89/597.01 c 238s | 20 | 1273735 | 672827 | 8848 154 | 2 | 5 598.89/599.02 c 240s | 20 | 1284705 | 678027 | 8848 156 | 2 | 5 600.90/601.05 c 242s | 20 | 1293104 | 682727 | 8848 157 | 2 | 5 602.90/603.06 c 244s | 20 | 1299984 | 687327 | 8848 158 | 2 | 5 604.91/605.09 c 246s | 20 | 1311201 | 693627 | 8848 159 | 2 | 5 607.00/607.10 c 248s | 20 | 1319751 | 699227 | 8848 160 | 2 | 5 609.00/609.14 c 250s | 20 | 1328599 | 704927 | 8848 162 | 2 | 5 611.00/611.17 c 252s | 20 | 1342093 | 710727 | 8848 163 | 2 | 5 613.00/613.18 c 254s | 20 | 1353134 | 716127 | 8848 164 | 2 | 5 615.10/615.20 c 256s | 20 | 1363310 | 722127 | 8848 165 | 2 | 5 617.11/617.23 c 258s | 20 | 1375808 | 728627 | 8848 167 | 2 | 5 619.10/619.24 c 260s | 20 | 1385830 | 733927 | 8848 168 | 2 | 5 621.10/621.27 c 262s | 20 | 1395392 | 739527 | 8848 169 | 2 | 5 623.10/623.28 c 264s | 20 | 1404181 | 745427 | 8848 171 | 2 | 5 625.10/625.29 c 266s | 20 | 1417845 | 751227 | 8848 172 | 2 | 5 627.20/627.31 c 268s | 20 | 1429914 | 756527 | 8848 173 | 2 | 5 629.20/629.31 c 270s | 20 | 1442981 | 762327 | 8848 174 | 2 | 5 631.20/631.37 c 272s | 20 | 1452984 | 768027 | 8848 176 | 2 | 5 633.20/633.38 c 274s | 20 | 1462524 | 774627 | 8848 177 | 2 | 5 635.20/635.39 c 276s | 20 | 1472234 | 781227 | 8848 179 | 2 | 5 637.30/637.40 c 278s | 20 | 1481387 | 787727 | 8848 180 | 2 | 5 639.29/639.45 c 280s | 20 | 1490486 | 793827 | 8848 181 | 2 | 5 641.30/641.46 c 282s | 20 | 1503925 | 799327 | 8848 183 | 2 | 5 643.40/643.52 c 284s | 20 | 1511999 | 804527 | 8848 184 | 2 | 5 645.39/645.53 c 286s | 20 | 1518732 | 808627 | 8848 185 | 2 | 5 647.39/647.55 c 288s | 20 | 1527728 | 814427 | 8848 186 | 2 | 5 649.39/649.57 c 290s | 20 | 1539472 | 820127 | 8848 187 | 2 | 5 651.49/651.69 c 293s | 20 | 1548576 | 825327 | 8848 188 | 2 | 5 653.59/653.71 c 295s | 20 | 1556350 | 831227 | 8848 190 | 2 | 5 655.59/655.73 c 297s | 20 | 1564948 | 837427 | 8848 191 | 2 | 5 657.59/657.75 c 299s | 20 | 1573025 | 843727 | 8848 193 | 2 | 5 659.59/659.76 c 301s | 20 | 1582811 | 850827 | 8848 194 | 2 | 5 661.59/661.77 c 303s | 20 | 1596368 | 857027 | 8848 196 | 2 | 5 663.69/663.80 c 305s | 20 | 1607542 | 863227 | 8848 197 | 2 | 5 665.69/665.81 c 307s | 20 | 1619612 | 869627 | 8848 198 | 2 | 5 667.70/667.83 c 309s | 20 | 1630811 | 875827 | 8848 200 | 2 | 5 669.69/669.84 c 311s | 20 | 1642381 | 881827 | 8848 201 | 2 | 5 671.69/671.87 c 313s | 20 | 1653678 | 888327 | 8848 203 | 2 | 5 673.79/673.90 c 315s | 20 | 1664995 | 895127 | 8848 204 | 2 | 5 675.79/675.94 c 317s | 20 | 1675367 | 901627 | 8848 206 | 2 | 5 677.79/677.95 c 319s | 20 | 1685377 | 907127 | 8848 207 | 2 | 5 679.80/679.97 c 321s | 20 | 1695812 | 914027 | 8848 208 | 2 | 5 681.79/682.00 c 323s | 20 | 1707708 | 919527 | 8848 210 | 2 | 5 683.89/684.00 c 325s | 20 | 1718072 | 925327 | 8848 211 | 2 | 5 685.88/686.05 c 327s | 20 | 1729611 | 931727 | 8848 212 | 2 | 5 687.88/688.05 c 329s | 20 | 1738343 | 937327 | 8848 214 | 2 | 5 689.88/690.06 c 331s | 20 | 1749149 | 943727 | 8848 215 | 2 | 5 691.89/692.09 c 333s | 20 | 1760829 | 949727 | 8848 216 | 2 | 5 693.99/694.13 c 335s | 20 | 1772040 | 955427 | 9733 217 | 2 | 5 695.98/696.16 c 337s | 20 | 1784214 | 961027 | 9733 219 | 2 | 5 697.98/698.18 c 339s | 20 | 1796176 | 967627 | 9733 220 | 2 | 5 700.08/700.21 c 341s | 20 | 1805495 | 973927 | 9733 221 | 2 | 5 702.09/702.21 c 343s | 20 | 1814853 | 978927 | 9733 222 | 2 | 5 704.09/704.23 c 345s | 20 | 1825133 | 983927 | 9733 223 | 2 | 5 706.09/706.23 c 347s | 20 | 1836352 | 989627 | 9733 224 | 2 | 5 708.09/708.25 c 349s | 20 | 1846401 | 995627 | 9733 226 | 2 | 5 709.69/709.87 c 351s | 21 | 1853153 | 1000345 | 9733 227 | 2 | 5 711.69/711.88 c 353s | 21 | 1868415 | 1005845 | 9733 228 | 2 | 5 713.69/713.89 c 355s | 21 | 1877772 | 1011445 | 9733 229 | 2 | 5 715.69/715.89 c 357s | 21 | 1890250 | 1017445 | 9733 230 | 2 | 5 717.78/717.92 c 359s | 21 | 1899601 | 1023045 | 9733 231 | 2 | 5 719.78/719.94 c 361s | 21 | 1907945 | 1028145 | 9733 232 | 2 | 5 721.78/721.95 c 363s | 21 | 1918782 | 1033145 | 9733 233 | 2 | 5 723.79/723.95 c 365s | 21 | 1928775 | 1037745 | 9733 234 | 2 | 5 725.78/725.98 c 367s | 21 | 1942096 | 1043445 | 9733 235 | 2 | 5 727.88/728.02 c 369s | 21 | 1952109 | 1049545 | 9733 237 | 2 | 5 729.88/730.03 c 371s | 21 | 1963796 | 1055845 | 9733 238 | 2 | 5 731.87/732.05 c 373s | 21 | 1975125 | 1061345 | 9733 239 | 2 | 5 733.87/734.06 c 375s | 21 | 1983502 | 1066545 | 9733 240 | 2 | 5 735.88/736.06 c 377s | 21 | 1994672 | 1071845 | 9733 241 | 2 | 5 737.87/738.10 c 379s | 21 | 2006931 | 1077145 | 9733 242 | 2 | 5 739.97/740.12 c 381s | 21 | 2014606 | 1082145 | 9733 243 | 2 | 5 741.96/742.13 c 383s | 21 | 2025297 | 1087245 | 9733 244 | 2 | 5 743.96/744.14 c 385s | 21 | 2033980 | 1091845 | 9733 245 | 2 | 5 745.96/746.16 c 387s | 21 | 2043877 | 1097045 | 9733 246 | 2 | 5 747.97/748.19 c 389s | 21 | 2053462 | 1102245 | 9733 247 | 2 | 5 750.07/750.21 c 391s | 21 | 2064497 | 1107845 | 9733 248 | 2 | 5 752.05/752.24 c 393s | 21 | 2074360 | 1112945 | 9733 250 | 2 | 5 754.05/754.24 c 395s | 21 | 2086148 | 1118345 | 9733 251 | 2 | 5 756.05/756.30 c 397s | 21 | 2098206 | 1124045 | 9733 252 | 2 | 5 758.15/758.32 c 399s | 21 | 2106192 | 1129545 | 9733 253 | 2 | 5 760.15/760.32 c 401s | 21 | 2116503 | 1135345 | 9733 254 | 2 | 5 762.15/762.35 c 403s | 21 | 2124550 | 1140745 | 9733 255 | 2 | 5 764.24/764.44 c 405s | 21 | 2134699 | 1145745 | 9733 256 | 2 | 5 766.24/766.48 c 407s | 21 | 2147543 | 1151245 | 9733 257 | 2 | 5 768.24/768.48 c 409s | 21 | 2159884 | 1156845 | 9733 258 | 2 | 5 770.34/770.50 c 411s | 21 | 2169767 | 1161645 | 9733 259 | 2 | 5 772.34/772.50 c 413s | 21 | 2178241 | 1167245 | 9733 261 | 2 | 5 774.36/774.52 c 415s | 21 | 2187032 | 1173145 | 9733 262 | 2 | 5 776.35/776.53 c 417s | 21 | 2198741 | 1178445 | 9733 263 | 2 | 5 778.35/778.54 c 419s | 21 | 2212062 | 1184045 | 9733 264 | 2 | 5 780.35/780.57 c 421s | 21 | 2222821 | 1189445 | 9733 265 | 2 | 5 782.34/782.58 c 423s | 21 | 2230468 | 1195245 | 9733 266 | 2 | 5 784.44/784.62 c 425s | 21 | 2237135 | 1200345 | 9733 267 | 2 | 5 786.45/786.64 c 427s | 21 | 2246460 | 1205745 | 9733 268 | 2 | 5 788.44/788.64 c 429s | 21 | 2255588 | 1210245 | 9733 269 | 2 | 5 790.44/790.67 c 432s | 21 | 2266610 | 1215245 | 9733 270 | 2 | 5 792.44/792.67 c 434s | 21 | 2277480 | 1221145 | 9733 272 | 2 | 5 794.44/794.68 c 436s | 21 | 2285896 | 1227345 | 9733 273 | 2 | 5 796.53/796.71 c 438s | 21 | 2295189 | 1233045 | 9733 274 | 2 | 5 798.54/798.74 c 440s | 21 | 2304525 | 1238045 | 9733 275 | 2 | 5 800.53/800.77 c 442s | 21 | 2312363 | 1242545 | 9733 276 | 2 | 5 802.53/802.78 c 444s | 21 | 2319950 | 1247145 | 9733 277 | 2 | 5 804.53/804.78 c 446s | 21 | 2328869 | 1252145 | 9733 278 | 2 | 5 806.53/806.79 c 448s | 21 | 2335572 | 1256545 | 9733 279 | 2 | 5 808.63/808.81 c 450s | 21 | 2344497 | 1261845 | 9733 280 | 2 | 5 810.64/810.84 c 452s | 21 | 2354623 | 1267745 | 9733 281 | 2 | 5 812.92/813.18 c 454s | 21 | 2363698 | 1272445 | 9733 282 | 2 | 5 814.93/815.18 c 456s | 21 | 2374268 | 1277845 | 9733 283 | 2 | 5 817.02/817.21 c 458s | 21 | 2385771 | 1283845 | 9733 284 | 2 | 5 819.02/819.23 c 460s | 21 | 2396404 | 1289045 | 9733 285 | 2 | 5 821.02/821.26 c 462s | 21 | 2406091 | 1294545 | 9733 286 | 2 | 5 823.02/823.27 c 464s | 21 | 2414445 | 1299245 | 9733 287 | 2 | 5 825.12/825.30 c 466s | 21 | 2428358 | 1304445 | 9733 289 | 2 | 5 827.13/827.32 c 468s | 21 | 2440168 | 1309845 | 9733 290 | 2 | 5 829.12/829.33 c 470s | 21 | 2450120 | 1315745 | 9733 291 | 2 | 5 831.12/831.36 c 472s | 21 | 2461479 | 1321645 | 9733 292 | 2 | 5 833.11/833.39 c 474s | 21 | 2469947 | 1327045 | 9733 293 | 2 | 5 835.21/835.41 c 476s | 21 | 2478125 | 1332245 | 9733 294 | 2 | 5 837.21/837.46 c 478s | 21 | 2485860 | 1337145 | 9733 295 | 2 | 5 839.22/839.48 c 480s | 21 | 2493985 | 1341745 | 9733 296 | 2 | 5 841.32/841.51 c 482s | 21 | 2501151 | 1346845 | 9733 297 | 2 | 5 843.31/843.53 c 484s | 21 | 2511458 | 1352645 | 9733 298 | 2 | 5 845.31/845.57 c 486s | 21 | 2519472 | 1357445 | 9733 299 | 2 | 5 847.41/847.60 c 488s | 21 | 2528196 | 1362545 | 9733 300 | 2 | 5 849.41/849.65 c 490s | 21 | 2534895 | 1366445 | 9733 301 | 2 | 5 851.41/851.65 c 492s | 21 | 2547834 | 1371845 | 9733 302 | 2 | 5 853.41/853.69 c 495s | 21 | 2558118 | 1377545 | 9733 303 | 2 | 5 855.50/855.70 c 497s | 21 | 2566101 | 1382845 | 9733 304 | 2 | 5 857.50/857.71 c 499s | 21 | 2575336 | 1388845 | 9733 306 | 2 | 5 859.50/859.73 c 501s | 21 | 2584803 | 1395345 | 9733 307 | 2 | 5 861.50/861.74 c 503s | 21 | 2593262 | 1401845 | 9733 308 | 2 | 5 863.49/863.74 c 505s | 21 | 2601476 | 1407545 | 9733 309 | 2 | 5 865.50/865.75 c 507s | 21 | 2611831 | 1413445 | 9733 311 | 2 | 5 867.49/867.77 c 509s | 21 | 2623734 | 1418945 | 9733 312 | 2 | 5 869.49/869.78 c 511s | 21 | 2632204 | 1423845 | 9733 313 | 2 | 5 871.59/871.80 c 513s | 21 | 2644341 | 1429245 | 9733 314 | 2 | 5 873.58/873.82 c 515s | 21 | 2657080 | 1434445 | 9733 315 | 2 | 5 875.58/875.83 c 517s | 21 | 2667790 | 1440545 | 9733 316 | 2 | 5 877.59/877.85 c 519s | 21 | 2679969 | 1446145 | 9733 317 | 2 | 5 879.58/879.86 c 521s | 21 | 2689000 | 1451345 | 9733 318 | 2 | 5 881.68/881.90 c 523s | 21 | 2698499 | 1456545 | 9733 319 | 2 | 5 883.68/883.92 c 525s | 21 | 2706978 | 1462145 | 9733 321 | 2 | 5 885.68/885.94 c 527s | 21 | 2717291 | 1468145 | 9733 322 | 2 | 5 887.68/887.94 c 529s | 21 | 2726624 | 1473345 | 9733 323 | 2 | 5 889.69/889.96 c 531s | 21 | 2734274 | 1477845 | 9733 324 | 2 | 5 891.69/891.97 c 533s | 21 | 2743893 | 1483445 | 9733 325 | 2 | 5 893.68/893.98 c 535s | 21 | 2753036 | 1488545 | 9733 326 | 2 | 5 895.68/895.98 c 537s | 21 | 2764197 | 1494445 | 9733 327 | 2 | 5 897.78/898.01 c 539s | 21 | 2775244 | 1499645 | 9733 328 | 2 | 5 898.18/898.42 c 539s | 22 | 2777170 | 1500622 | 9733 329 | 2 | 5 900.18/900.43 c 541s | 22 | 2786619 | 1505722 | 9733 330 | 2 | 5 902.17/902.44 c 543s | 22 | 2798287 | 1511222 | 9733 331 | 2 | 5 904.17/904.48 c 545s | 22 | 2807349 | 1516422 | 9733 332 | 2 | 5 906.28/906.51 c 547s | 22 | 2818429 | 1522322 | 9733 333 | 2 | 5 908.27/908.52 c 549s | 22 | 2829070 | 1528822 | 9733 334 | 2 | 5 910.27/910.54 c 551s | 22 | 2838747 | 1534422 | 9733 335 | 2 | 5 912.27/912.54 c 553s | 22 | 2847516 | 1539522 | 9733 336 | 2 | 5 914.27/914.54 c 555s | 22 | 2855886 | 1545222 | 9733 338 | 2 | 5 916.27/916.56 c 557s | 22 | 2866283 | 1551422 | 9733 339 | 2 | 5 918.27/918.57 c 559s | 22 | 2876760 | 1557122 | 9733 340 | 2 | 5 920.27/920.57 c 561s | 22 | 2886396 | 1562522 | 9733 341 | 2 | 5 922.26/922.57 c 563s | 22 | 2896156 | 1567922 | 9733 342 | 2 | 5 924.36/924.63 c 565s | 22 | 2906908 | 1573822 | 9733 343 | 2 | 5 926.36/926.65 c 567s | 22 | 2920489 | 1579722 | 9733 345 | 2 | 5 928.36/928.65 c 569s | 22 | 2930445 | 1585422 | 9733 346 | 2 | 5 930.36/930.68 c 572s | 22 | 2939728 | 1591022 | 9733 347 | 2 | 5 932.45/932.70 c 574s | 22 | 2949100 | 1596922 | 9733 348 | 2 | 5 934.46/934.70 c 576s | 22 | 2962421 | 1603322 | 9733 349 | 2 | 5 936.46/936.71 c 578s | 22 | 2974424 | 1609322 | 9733 351 | 2 | 5 938.46/938.72 c 580s | 22 | 2984342 | 1615322 | 9733 352 | 2 | 5 940.46/940.75 c 582s | 22 | 2995910 | 1621322 | 9733 353 | 2 | 5 942.46/942.78 c 584s | 22 | 3006522 | 1626522 | 9733 354 | 2 | 5 944.45/944.79 c 586s | 22 | 3016027 | 1631322 | 9733 355 | 2 | 5 946.55/946.80 c 588s | 22 | 3024253 | 1636122 | 9733 356 | 2 | 5 948.55/948.81 c 590s | 22 | 3033315 | 1640622 | 9733 357 | 2 | 5 950.55/950.82 c 592s | 22 | 3044768 | 1646222 | 9733 358 | 2 | 5 952.54/952.82 c 594s | 22 | 3056470 | 1651922 | 9733 359 | 2 | 5 954.55/954.85 c 596s | 22 | 3071792 | 1657122 | 9733 360 | 2 | 5 956.54/956.86 c 598s | 22 | 3081851 | 1662722 | 9733 362 | 2 | 5 958.54/958.87 c 600s | 22 | 3092677 | 1668622 | 9733 363 | 2 | 5 960.64/960.90 c 602s | 22 | 3103033 | 1673522 | 9733 364 | 2 | 5 962.64/962.91 c 604s | 22 | 3115807 | 1679822 | 9733 365 | 2 | 5 964.64/964.95 c 606s | 22 | 3124294 | 1684822 | 9733 366 | 2 | 5 966.64/966.98 c 608s | 22 | 3133850 | 1690722 | 9733 367 | 2 | 5 968.64/968.99 c 610s | 22 | 3142660 | 1696722 | 9733 368 | 2 | 5 970.64/970.99 c 612s | 22 | 3150239 | 1702122 | 9733 370 | 2 | 5 972.73/973.01 c 614s | 22 | 3158309 | 1708322 | 9733 371 | 2 | 5 974.73/975.03 c 616s | 22 | 3166359 | 1714422 | 9733 372 | 2 | 5 976.73/977.03 c 618s | 22 | 3175232 | 1720522 | 9733 373 | 2 | 5 978.74/979.05 c 620s | 22 | 3184504 | 1725122 | 9733 374 | 2 | 5 980.73/981.06 c 622s | 22 | 3194900 | 1730222 | 9733 375 | 2 | 5 982.72/983.09 c 624s | 22 | 3206231 | 1735822 | 9733 376 | 2 | 5 984.82/985.11 c 626s | 22 | 3215764 | 1741522 | 9733 378 | 2 | 5 986.82/987.13 c 628s | 22 | 3225311 | 1746822 | 9733 379 | 2 | 5 988.82/989.17 c 630s | 22 | 3232341 | 1751722 | 9733 380 | 2 | 5 990.84/991.19 c 632s | 22 | 3238541 | 1756122 | 9733 381 | 2 | 5 992.83/993.19 c 634s | 22 | 3247348 | 1761222 | 9733 382 | 2 | 5 994.92/995.21 c 636s | 22 | 3256549 | 1767322 | 9733 383 | 2 | 5 996.92/997.22 c 638s | 22 | 3268665 | 1773322 | 9733 384 | 2 | 5 998.92/999.22 c 640s | 22 | 3281079 | 1778922 | 9733 385 | 2 | 5 1000.92/1001.26 c 642s | 22 | 3291462 | 1785322 | 9733 386 | 2 | 5 1002.93/1003.28 c 644s | 22 | 3302994 | 1790922 | 9733 388 | 2 | 5 1004.92/1005.28 c 646s | 22 | 3313948 | 1796422 | 9733 389 | 2 | 5 1007.12/1007.43 c 648s | 22 | 3325143 | 1802322 | 9733 390 | 2 | 5 1009.12/1009.45 c 650s | 22 | 3336026 | 1807522 | 9733 391 | 2 | 5 1011.12/1011.46 c 652s | 22 | 3347125 | 1813222 | 9733 392 | 2 | 5 1013.12/1013.46 c 654s | 22 | 3357585 | 1819022 | 9733 393 | 2 | 5 1015.21/1015.51 c 656s | 22 | 3364518 | 1824722 | 9733 395 | 2 | 5 1017.22/1017.51 c 658s | 22 | 3374714 | 1830822 | 9733 396 | 2 | 5 1019.21/1019.53 c 660s | 22 | 3385948 | 1836522 | 9733 397 | 2 | 5 1021.21/1021.55 c 662s | 22 | 3399506 | 1842922 | 9733 398 | 2 | 5 1023.21/1023.58 c 664s | 22 | 3410294 | 1849222 | 9733 400 | 2 | 5 1025.21/1025.59 c 666s | 22 | 3422361 | 1854922 | 9733 401 | 2 | 5 1027.31/1027.61 c 668s | 22 | 3433075 | 1860722 | 9733 402 | 2 | 5 1029.32/1029.62 c 670s | 22 | 3445561 | 1867522 | 9733 403 | 2 | 5 1031.31/1031.64 c 672s | 22 | 3455747 | 1873022 | 9733 404 | 2 | 5 1033.30/1033.65 c 674s | 22 | 3466921 | 1879322 | 9733 406 | 2 | 5 1035.30/1035.67 c 676s | 22 | 3477084 | 1884722 | 9733 407 | 2 | 5 1037.30/1037.68 c 679s | 22 | 3488014 | 1891222 | 9733 408 | 2 | 5 1039.40/1039.76 c 681s | 22 | 3499589 | 1897022 | 9733 409 | 2 | 5 1041.41/1041.78 c 683s | 22 | 3509998 | 1901922 | 9733 410 | 2 | 5 1043.49/1043.80 c 685s | 22 | 3520835 | 1908222 | 9733 412 | 2 | 5 1045.49/1045.81 c 687s | 22 | 3530030 | 1913522 | 9733 413 | 2 | 5 1047.49/1047.84 c 689s | 22 | 3541103 | 1919822 | 9733 414 | 2 | 5 1049.49/1049.84 c 691s | 22 | 3551338 | 1926022 | 9733 415 | 2 | 5 1051.49/1051.86 c 693s | 22 | 3560515 | 1931222 | 9733 416 | 2 | 5 1053.49/1053.86 c 695s | 22 | 3570288 | 1937022 | 9733 417 | 2 | 5 1055.69/1056.03 c 697s | 22 | 3580241 | 1942422 | 9733 419 | 2 | 5 1057.68/1058.06 c 699s | 22 | 3590809 | 1948322 | 9733 420 | 2 | 5 1059.68/1060.08 c 701s | 22 | 3599802 | 1953322 | 9733 421 | 2 | 5 1061.68/1062.09 c 703s | 22 | 3612331 | 1959422 | 9733 422 | 2 | 5 1063.78/1064.10 c 705s | 22 | 3623797 | 1966122 | 9733 423 | 2 | 5 1065.78/1066.11 c 707s | 22 | 3633604 | 1971722 | 9733 424 | 2 | 5 1067.89/1068.23 c 709s | 22 | 3644133 | 1977522 | 9733 426 | 2 | 5 1069.88/1070.25 c 711s | 22 | 3656091 | 1983322 | 9733 427 | 2 | 5 1071.87/1072.27 c 713s | 22 | 3665514 | 1989522 | 9733 428 | 2 | 5 1073.97/1074.31 c 715s | 22 | 3675514 | 1994822 | 9733 429 | 2 | 5 1075.97/1076.31 c 717s | 22 | 3684675 | 2000322 | 9733 430 | 2 | 5 1077.97/1078.33 c 719s | 22 | 3692912 | 2005622 | 9733 431 | 2 | 5 1079.98/1080.34 c 721s | 22 | 3702955 | 2011422 | 9733 433 | 2 | 5 1081.97/1082.36 c 723s | 22 | 3715457 | 2017922 | 9733 434 | 2 | 5 1084.07/1084.40 c 725s | 22 | 3725719 | 2024122 | 9733 435 | 2 | 5 1086.06/1086.41 c 727s | 22 | 3735974 | 2029622 | 9733 436 | 2 | 5 1088.06/1088.42 c 729s | 22 | 3745858 | 2035722 | 9733 438 | 2 | 5 1090.06/1090.44 c 731s | 22 | 3755114 | 2041322 | 9733 439 | 2 | 5 1092.06/1092.47 c 733s | 22 | 3766122 | 2048122 | 9733 440 | 2 | 5 1094.16/1094.53 c 735s | 22 | 3776394 | 2054222 | 9733 441 | 2 | 5 1096.65/1097.08 c 738s | 22 | 3785991 | 2059822 | 9733 442 | 2 | 5 1098.66/1099.09 c 740s | 22 | 3797347 | 2065822 | 9733 444 | 2 | 5 1100.65/1101.10 c 742s | 22 | 3807597 | 2071522 | 10707 445 | 2 | 5 1102.75/1103.12 c 744s | 22 | 3817134 | 2077322 | 10707 446 | 2 | 5 1104.75/1105.19 c 746s | 22 | 3825729 | 2082322 | 10707 447 | 2 | 5 1106.75/1107.20 c 748s | 22 | 3836141 | 2087522 | 10707 448 | 2 | 5 1108.86/1109.26 c 750s | 22 | 3844854 | 2092222 | 10707 449 | 2 | 5 1110.85/1111.28 c 752s | 22 | 3855507 | 2097322 | 10707 449 | 2 | 5 1112.95/1113.32 c 754s | 22 | 3865871 | 2103122 | 10707 451 | 2 | 5 1114.95/1115.33 c 756s | 22 | 3874945 | 2108522 | 10707 452 | 2 | 5 1116.95/1117.40 c 758s | 22 | 3885364 | 2113922 | 10707 453 | 2 | 5 1119.05/1119.42 c 760s | 22 | 3893965 | 2118722 | 10707 453 | 2 | 5 1121.05/1121.45 c 762s | 22 | 3903574 | 2124322 | 10707 454 | 2 | 5 1123.14/1123.54 c 764s | 22 | 3914264 | 2130022 | 10707 456 | 2 | 5 1125.14/1125.55 c 766s | 22 | 3925327 | 2135622 | 10707 457 | 2 | 5 1127.14/1127.55 c 768s | 22 | 3934211 | 2141022 | 10707 458 | 2 | 5 1129.14/1129.59 c 770s | 22 | 3944935 | 2146222 | 10707 459 | 2 | 5 1131.24/1131.61 c 772s | 22 | 3955723 | 2151522 | 10707 460 | 2 | 5 1133.23/1133.63 c 774s | 22 | 3965646 | 2157122 | 10707 461 | 2 | 5 1135.23/1135.64 c 776s | 22 | 3977063 | 2162922 | 10707 462 | 2 | 5 1137.23/1137.65 c 778s | 22 | 3987156 | 2167922 | 10707 463 | 2 | 5 1139.23/1139.66 c 780s | 22 | 3997186 | 2172822 | 10707 463 | 2 | 5 1141.22/1141.69 c 783s | 22 | 4006695 | 2178822 | 10707 465 | 2 | 5 1143.32/1143.71 c 785s | 22 | 4015478 | 2184422 | 10707 466 | 2 | 5 1145.32/1145.71 c 787s | 22 | 4023962 | 2189422 | 10707 467 | 2 | 5 1147.32/1147.74 c 789s | 22 | 4031535 | 2193422 | 10707 467 | 2 | 5 1149.32/1149.76 c 791s | 22 | 4041495 | 2198722 | 10707 468 | 2 | 5 1151.32/1151.79 c 793s | 22 | 4048177 | 2203922 | 10707 469 | 2 | 5 1153.32/1153.79 c 795s | 22 | 4055518 | 2209522 | 10707 470 | 2 | 5 1155.42/1155.80 c 797s | 22 | 4062819 | 2214722 | 10707 471 | 2 | 5 1157.42/1157.82 c 799s | 22 | 4073151 | 2221422 | 10707 472 | 2 | 5 1159.42/1159.85 c 801s | 22 | 4084292 | 2226922 | 10707 473 | 2 | 5 1161.42/1161.88 c 803s | 22 | 4095020 | 2232222 | 10707 474 | 2 | 5 1163.42/1163.89 c 805s | 22 | 4105471 | 2237522 | 10707 475 | 2 | 5 1165.51/1165.91 c 807s | 22 | 4114393 | 2242822 | 10707 476 | 2 | 5 1167.51/1167.94 c 809s | 22 | 4124805 | 2248122 | 10707 477 | 2 | 5 1168.71/1169.17 c 810s | 23 | 4130690 | 2251038 | 10707 478 | 2 | 5 1170.71/1171.18 c 812s | 23 | 4141302 | 2256438 | 10707 479 | 2 | 5 1172.70/1173.18 c 814s | 23 | 4150314 | 2261538 | 10707 480 | 2 | 5 1174.60/1175.08 c 816s | 23 | 4158128 | 2266209 | 10707 481 | 3 | 7 1174.60/1175.08 c #cpu_time = 814.096s 1174.60/1175.08 c #wall_clock_time = 816.417s 1174.60/1175.08 c #decision = 4158128 1174.60/1175.09 c #random_decision = 20206 1174.60/1175.09 c #conflict = 2266209 1174.60/1175.09 c #restart = 23 1174.60/1175.09 c BCD2: updating lower bound of a core 1174.60/1175.09 c lower bound updated to -8 1174.60/1175.09 c BCD2: 42 <= obj <= 43 1174.60/1175.09 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 1174.60/1175.09 c BCD2: #sat=2 #unsat=5 bias=5/7 1174.60/1175.09 c Solving starts ... 1174.60/1175.09 c ============================[ Search Statistics ]============================ 1174.60/1175.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1174.60/1175.09 c | | | | Limit GC | Var | Constra 1174.60/1175.09 c ============================================================================= 1174.60/1175.09 c 0.0s | 0 | 0 | 0 | 10707 0 | 3 | 8 1175.10/1175.51 c 0.4s | 1 | 213 | 100 | 10707 0 | 3 | 8 1175.51/1175.93 c 0.8s | 2 | 676 | 250 | 10707 0 | 3 | 8 1175.51/1175.98 c 0.9s | 3 | 1433 | 475 | 10707 0 | 3 | 8 1175.61/1176.09 c 1.0s | 4 | 2337 | 813 | 10707 0 | 3 | 8 1175.80/1176.22 c 1.1s | 5 | 4000 | 1320 | 10707 0 | 3 | 8 1176.00/1176.44 c 1.4s | 6 | 5764 | 2081 | 10707 0 | 3 | 8 1176.40/1176.84 c 1.8s | 7 | 8718 | 3223 | 10707 0 | 3 | 8 1177.00/1177.47 c 2.4s | 8 | 11567 | 4936 | 10707 0 | 3 | 8 1177.90/1178.37 c 3.3s | 9 | 15668 | 7506 | 10707 0 | 3 | 8 1179.50/1179.94 c 4.9s | 10 | 26702 | 11361 | 10707 1 | 3 | 8 1181.50/1181.97 c 6.9s | 10 | 34100 | 15561 | 10707 2 | 3 | 8 1182.29/1182.70 c 7.6s | 11 | 36307 | 17144 | 10707 2 | 3 | 8 1184.30/1184.73 c 9.6s | 11 | 44984 | 22244 | 10707 3 | 3 | 8 1186.09/1186.55 c 11.5s | 12 | 50519 | 25819 | 10707 4 | 3 | 8 1188.19/1188.60 c 13.5s | 12 | 57312 | 29719 | 10707 4 | 3 | 8 1190.19/1190.62 c 15.5s | 12 | 63481 | 33219 | 10707 5 | 3 | 8 1192.18/1192.64 c 17.6s | 12 | 71293 | 37719 | 10707 6 | 3 | 8 1192.58/1193.04 c 18.0s | 13 | 72878 | 38832 | 10707 6 | 3 | 8 1194.58/1195.06 c 20.0s | 13 | 83024 | 44432 | 10707 7 | 3 | 8 1196.58/1197.09 c 22.0s | 13 | 92782 | 50532 | 10707 8 | 3 | 8 1198.59/1199.09 c 24.0s | 13 | 101578 | 56332 | 10707 9 | 3 | 8 1199.48/1199.90 c 24.8s | 14 | 105001 | 58352 | 10707 10 | 3 | 8 1201.48/1201.91 c 26.8s | 14 | 114941 | 63552 | 10707 11 | 3 | 8 1203.49/1203.93 c 28.8s | 14 | 123528 | 68952 | 10707 12 | 3 | 8 1205.49/1205.99 c 30.9s | 14 | 133225 | 73952 | 10707 13 | 3 | 8 1207.69/1208.10 c 33.0s | 14 | 142263 | 79352 | 10707 14 | 3 | 8 1209.79/1210.23 c 35.1s | 14 | 151747 | 84652 | 10707 15 | 3 | 8 1210.69/1211.16 c 36.1s | 15 | 158303 | 87632 | 10707 15 | 3 | 8 1212.68/1213.18 c 38.1s | 15 | 170248 | 92832 | 10707 16 | 3 | 8 1214.78/1215.21 c 40.1s | 15 | 179162 | 97432 | 10707 17 | 3 | 8 1216.78/1217.23 c 42.1s | 15 | 185884 | 102132 | 10707 18 | 3 | 8 1218.78/1219.24 c 44.2s | 15 | 192702 | 105932 | 10707 18 | 3 | 8 1220.98/1221.44 c 46.4s | 15 | 200167 | 110232 | 10707 19 | 3 | 8 1222.97/1223.45 c 48.4s | 15 | 210397 | 115132 | 10707 20 | 3 | 8 1224.98/1225.47 c 50.4s | 15 | 218032 | 119932 | 10707 21 | 3 | 8 1226.97/1227.49 c 52.4s | 15 | 227131 | 124832 | 10707 22 | 3 | 8 1229.07/1229.52 c 54.4s | 15 | 235291 | 129832 | 10707 23 | 3 | 8 1229.87/1230.31 c 55.2s | 16 | 237830 | 131552 | 10707 23 | 3 | 8 1231.86/1232.34 c 57.3s | 16 | 245520 | 135552 | 10707 24 | 3 | 8 1233.87/1234.35 c 59.3s | 16 | 251917 | 139652 | 10707 25 | 3 | 8 1235.86/1236.37 c 61.3s | 16 | 258535 | 144252 | 10707 26 | 3 | 8 1237.86/1238.38 c 63.3s | 16 | 267874 | 149952 | 10707 27 | 3 | 8 1239.86/1240.38 c 65.3s | 16 | 277174 | 155352 | 10707 28 | 3 | 8 1241.96/1242.41 c 67.3s | 16 | 287471 | 160152 | 10707 29 | 3 | 8 1243.96/1244.44 c 69.4s | 16 | 294818 | 165252 | 10707 29 | 3 | 8 1245.96/1246.45 c 71.4s | 16 | 301549 | 170452 | 10707 30 | 3 | 8 1248.06/1248.53 c 73.4s | 16 | 309106 | 175852 | 10707 31 | 3 | 8 1250.06/1250.53 c 75.4s | 16 | 318923 | 181552 | 10707 32 | 3 | 8 1252.05/1252.54 c 77.5s | 16 | 328069 | 186552 | 10707 33 | 3 | 8 1254.05/1254.59 c 79.5s | 16 | 335321 | 191752 | 10707 34 | 3 | 8 1256.15/1256.60 c 81.5s | 16 | 343718 | 196352 | 10707 35 | 3 | 8 1256.55/1257.01 c 81.9s | 17 | 345163 | 197432 | 10707 35 | 3 | 8 1258.55/1259.06 c 84.0s | 17 | 353438 | 202732 | 10707 36 | 3 | 8 1260.55/1261.07 c 86.0s | 17 | 361521 | 207332 | 10707 37 | 3 | 8 1262.54/1263.07 c 88.0s | 17 | 369794 | 212132 | 10707 38 | 3 | 8 1264.55/1265.10 c 90.0s | 17 | 378894 | 217732 | 10707 39 | 3 | 8 1266.64/1267.10 c 92.0s | 17 | 388078 | 223032 | 10707 40 | 3 | 8 1268.64/1269.10 c 94.0s | 17 | 397242 | 228032 | 10707 41 | 3 | 8 1270.64/1271.13 c 96.0s | 17 | 406501 | 233332 | 10707 42 | 3 | 8 1272.63/1273.15 c 98.1s | 17 | 415786 | 238832 | 10707 43 | 3 | 8 1274.63/1275.16 c 100s | 17 | 424997 | 244532 | 10707 44 | 3 | 8 1276.64/1277.19 c 102s | 17 | 433865 | 249732 | 10707 45 | 3 | 8 1278.73/1279.23 c 104s | 17 | 443890 | 255132 | 10707 46 | 3 | 8 1280.73/1281.24 c 106s | 17 | 454343 | 260232 | 10707 47 | 3 | 8 1282.72/1283.24 c 108s | 17 | 464541 | 265932 | 10707 48 | 3 | 8 1284.72/1285.27 c 110s | 17 | 471125 | 270432 | 10707 49 | 3 | 8 1286.72/1287.28 c 112s | 17 | 480582 | 275632 | 10707 50 | 3 | 8 1288.73/1289.29 c 114s | 17 | 489872 | 280732 | 10707 51 | 3 | 8 1290.82/1291.36 c 116s | 17 | 497127 | 285532 | 10707 52 | 3 | 8 1292.82/1293.37 c 118s | 17 | 506961 | 290532 | 10707 53 | 3 | 8 1294.82/1295.37 c 120s | 17 | 513392 | 295132 | 10707 54 | 3 | 8 1295.42/1295.95 c 120s | 18 | 515123 | 296252 | 10707 54 | 3 | 8 1297.41/1297.96 c 122s | 18 | 528432 | 302052 | 10707 55 | 3 | 8 1299.41/1299.97 c 124s | 18 | 537636 | 306952 | 10707 56 | 3 | 8 1301.41/1301.99 c 126s | 18 | 544960 | 311552 | 10707 57 | 3 | 8 1303.51/1304.08 c 128s | 18 | 553675 | 316752 | 10707 58 | 3 | 8 1305.51/1306.08 c 130s | 18 | 561284 | 321252 | 10707 58 | 3 | 8 1307.61/1308.10 c 133s | 18 | 571285 | 326652 | 10707 59 | 3 | 8 1309.62/1310.11 c 135s | 18 | 578961 | 331752 | 10707 60 | 3 | 8 1311.62/1312.12 c 137s | 18 | 585773 | 336852 | 10707 61 | 3 | 8 1313.61/1314.14 c 139s | 18 | 592277 | 341052 | 10707 62 | 3 | 8 1315.61/1316.18 c 141s | 18 | 600484 | 345352 | 10707 63 | 3 | 8 1317.61/1318.19 c 143s | 18 | 608306 | 350152 | 10707 64 | 3 | 8 1319.71/1320.28 c 145s | 18 | 615696 | 354552 | 10707 65 | 3 | 8 1321.81/1322.33 c 147s | 18 | 621298 | 358452 | 10707 65 | 3 | 8 1323.80/1324.33 c 149s | 18 | 627933 | 362952 | 10707 66 | 3 | 8 1325.80/1326.35 c 151s | 18 | 635872 | 367852 | 10707 67 | 3 | 8 1328.00/1328.52 c 153s | 18 | 644510 | 372652 | 10707 68 | 3 | 8 1330.00/1330.54 c 155s | 18 | 652817 | 377652 | 10707 69 | 3 | 8 1332.00/1332.55 c 157s | 18 | 663826 | 382952 | 10707 70 | 3 | 8 1334.00/1334.57 c 159s | 18 | 673212 | 387752 | 10707 71 | 3 | 8 1336.00/1336.57 c 161s | 18 | 682808 | 392852 | 10707 72 | 3 | 8 1338.10/1338.68 c 163s | 18 | 692017 | 398152 | 10707 73 | 3 | 8 1340.19/1340.70 c 165s | 18 | 703371 | 403452 | 10707 74 | 3 | 8 1342.29/1342.84 c 167s | 18 | 711189 | 408452 | 10707 75 | 3 | 8 1344.29/1344.84 c 169s | 18 | 718458 | 413152 | 10707 75 | 3 | 8 1346.29/1346.87 c 171s | 18 | 728467 | 418552 | 10707 76 | 3 | 8 1348.39/1348.90 c 173s | 18 | 737923 | 423752 | 10707 77 | 3 | 8 1350.39/1350.91 c 175s | 18 | 748211 | 428852 | 10707 78 | 3 | 8 1352.38/1352.91 c 177s | 18 | 757268 | 433852 | 10707 79 | 3 | 8 1354.38/1354.94 c 179s | 18 | 767727 | 439352 | 10707 80 | 3 | 8 1356.38/1356.94 c 181s | 18 | 776931 | 444252 | 10707 81 | 3 | 8 1356.48/1357.04 c 181s | 19 | 777695 | 444482 | 10707 81 | 3 | 8 1358.48/1359.05 c 183s | 19 | 785928 | 449182 | 10707 82 | 3 | 8 1360.48/1361.08 c 185s | 19 | 793827 | 454682 | 10707 83 | 3 | 8 1362.58/1363.10 c 188s | 19 | 800750 | 459582 | 10707 84 | 3 | 8 1364.59/1365.12 c 190s | 19 | 809220 | 464382 | 10707 85 | 3 | 8 1366.58/1367.16 c 192s | 19 | 821565 | 468982 | 10707 86 | 3 | 8 1368.68/1369.27 c 194s | 19 | 828095 | 473282 | 10707 87 | 3 | 8 1370.78/1371.33 c 196s | 19 | 835677 | 478582 | 10707 88 | 3 | 8 1372.77/1373.34 c 198s | 19 | 843786 | 483082 | 10707 88 | 3 | 8 1374.77/1375.36 c 200s | 19 | 853419 | 487182 | 10707 89 | 3 | 8 1376.78/1377.38 c 202s | 19 | 863263 | 491382 | 10707 90 | 3 | 8 1378.88/1379.41 c 204s | 19 | 871169 | 495182 | 10707 91 | 3 | 8 1380.87/1381.43 c 206s | 19 | 878645 | 499282 | 10707 91 | 3 | 8 1382.87/1383.44 c 208s | 19 | 886999 | 503082 | 10707 92 | 3 | 8 1384.87/1385.46 c 210s | 19 | 893917 | 506882 | 10707 93 | 3 | 8 1386.97/1387.50 c 212s | 19 | 902266 | 510682 | 10707 93 | 3 | 8 1388.97/1389.53 c 214s | 19 | 908072 | 513882 | 10707 94 | 3 | 8 1390.98/1391.55 c 216s | 19 | 914096 | 517582 | 10707 95 | 3 | 8 1392.97/1393.59 c 218s | 19 | 920362 | 521382 | 10707 95 | 3 | 8 1395.07/1395.61 c 220s | 19 | 927306 | 524582 | 10707 96 | 3 | 8 1397.07/1397.63 c 222s | 19 | 932962 | 527982 | 10707 97 | 3 | 8 1399.07/1399.63 c 224s | 19 | 942076 | 531682 | 10707 97 | 3 | 8 1401.08/1401.63 c 226s | 19 | 949899 | 536082 | 10707 98 | 3 | 8 1403.08/1403.65 c 228s | 19 | 959057 | 541482 | 10707 99 | 3 | 8 1405.08/1405.65 c 230s | 19 | 967210 | 546382 | 10707 100 | 3 | 8 1407.07/1407.68 c 232s | 19 | 975972 | 551882 | 10707 101 | 3 | 8 1409.17/1409.72 c 234s | 19 | 985114 | 556982 | 10707 102 | 3 | 8 1411.17/1411.73 c 236s | 19 | 992191 | 561482 | 10707 103 | 3 | 8 1413.17/1413.74 c 238s | 19 | 999951 | 566782 | 10707 104 | 3 | 8 1415.18/1415.75 c 240s | 19 | 1007638 | 571482 | 10707 105 | 3 | 8 1417.17/1417.78 c 242s | 19 | 1014460 | 576382 | 10707 106 | 3 | 8 1419.27/1419.81 c 244s | 19 | 1020764 | 581282 | 10707 106 | 3 | 8 1421.27/1421.84 c 246s | 19 | 1027795 | 586582 | 10707 107 | 3 | 8 1423.27/1423.87 c 248s | 19 | 1035276 | 591582 | 10707 108 | 3 | 8 1425.27/1425.88 c 250s | 19 | 1042569 | 596382 | 10707 109 | 3 | 8 1427.28/1427.89 c 252s | 19 | 1049129 | 601482 | 10707 110 | 3 | 8 1429.27/1429.90 c 254s | 19 | 1055845 | 606382 | 10707 111 | 3 | 8 1431.37/1431.90 c 256s | 19 | 1062091 | 610782 | 10707 112 | 3 | 8 1433.37/1433.91 c 258s | 19 | 1069185 | 615682 | 10707 113 | 3 | 8 1435.37/1435.93 c 260s | 19 | 1076751 | 620882 | 10707 114 | 3 | 8 1437.37/1437.97 c 262s | 19 | 1084330 | 626282 | 10707 115 | 3 | 8 1439.37/1439.97 c 264s | 19 | 1092903 | 631082 | 10707 116 | 3 | 8 1441.36/1441.98 c 266s | 19 | 1101533 | 635882 | 10707 117 | 3 | 8 1443.46/1444.02 c 268s | 19 | 1109055 | 640582 | 10707 118 | 3 | 8 1445.46/1446.03 c 270s | 19 | 1117981 | 645682 | 10707 118 | 3 | 8 1447.46/1448.06 c 272s | 19 | 1125172 | 650282 | 10707 119 | 3 | 8 1449.56/1450.11 c 275s | 19 | 1132688 | 654682 | 10707 120 | 3 | 8 1451.57/1452.12 c 277s | 19 | 1139726 | 658982 | 10707 121 | 3 | 8 1453.56/1454.15 c 279s | 19 | 1145591 | 662682 | 10707 122 | 3 | 8 1455.26/1455.84 c 280s | 20 | 1155194 | 666827 | 10707 122 | 3 | 8 1457.26/1457.86 c 282s | 20 | 1162967 | 670927 | 10707 123 | 3 | 8 1459.27/1459.86 c 284s | 20 | 1170997 | 675427 | 10707 124 | 3 | 8 1461.26/1461.87 c 286s | 20 | 1181540 | 679827 | 10707 125 | 3 | 8 1463.26/1463.89 c 288s | 20 | 1188481 | 684127 | 10707 126 | 3 | 8 1465.27/1465.89 c 290s | 20 | 1198932 | 688927 | 10707 126 | 3 | 8 1467.37/1467.94 c 292s | 20 | 1206026 | 693627 | 10707 127 | 3 | 8 1469.37/1469.95 c 294s | 20 | 1216090 | 698227 | 10707 128 | 3 | 8 1471.37/1471.96 c 296s | 20 | 1225378 | 703827 | 10707 129 | 3 | 8 1473.36/1473.99 c 298s | 20 | 1233708 | 708927 | 10707 130 | 3 | 8 1475.46/1476.01 c 300s | 20 | 1241958 | 713827 | 10707 131 | 3 | 8 1477.46/1478.03 c 302s | 20 | 1251177 | 719227 | 10707 132 | 3 | 8 1479.46/1480.04 c 304s | 20 | 1259963 | 724127 | 10707 133 | 3 | 8 1481.46/1482.04 c 306s | 20 | 1268264 | 728927 | 10707 134 | 3 | 8 1483.47/1484.06 c 308s | 20 | 1276772 | 733627 | 10707 135 | 3 | 8 1485.46/1486.08 c 310s | 20 | 1285871 | 738927 | 10707 136 | 3 | 8 1487.56/1488.11 c 313s | 20 | 1294057 | 744127 | 10707 137 | 3 | 8 1489.56/1490.13 c 315s | 20 | 1303673 | 749427 | 10707 138 | 3 | 8 1491.56/1492.15 c 317s | 20 | 1311609 | 754427 | 10707 139 | 3 | 8 1493.56/1494.18 c 319s | 20 | 1320033 | 759027 | 10707 139 | 3 | 8 1495.66/1496.21 c 321s | 20 | 1327977 | 763727 | 10707 140 | 3 | 8 1497.66/1498.22 c 323s | 20 | 1334776 | 768127 | 10707 141 | 3 | 8 1499.65/1500.23 c 325s | 20 | 1342332 | 772027 | 10707 142 | 3 | 8 1501.65/1502.24 c 327s | 20 | 1349540 | 776427 | 10707 143 | 3 | 8 1503.65/1504.26 c 329s | 20 | 1359328 | 781327 | 10707 144 | 3 | 8 1505.76/1506.30 c 331s | 20 | 1368149 | 785527 | 10707 144 | 3 | 8 1507.76/1508.31 c 333s | 20 | 1379786 | 790127 | 10707 145 | 3 | 8 1509.77/1510.33 c 335s | 20 | 1386628 | 794027 | 10707 146 | 3 | 8 1511.76/1512.36 c 337s | 20 | 1392300 | 797927 | 10707 147 | 3 | 8 1513.76/1514.37 c 339s | 20 | 1399762 | 802527 | 10707 148 | 3 | 8 1515.86/1516.40 c 341s | 20 | 1407937 | 806927 | 10707 148 | 3 | 8 1517.86/1518.42 c 343s | 20 | 1416513 | 811427 | 10707 149 | 3 | 8 1519.86/1520.43 c 345s | 20 | 1424918 | 816927 | 10707 150 | 3 | 8 1521.86/1522.46 c 347s | 20 | 1432875 | 821727 | 10707 151 | 3 | 8 1523.86/1524.48 c 349s | 20 | 1441583 | 826227 | 10707 152 | 3 | 8 1525.96/1526.54 c 351s | 20 | 1449009 | 830127 | 10707 153 | 3 | 8 1527.96/1528.58 c 353s | 20 | 1458276 | 834727 | 10707 153 | 3 | 8 1530.06/1530.62 c 355s | 20 | 1466609 | 839427 | 10707 154 | 3 | 8 1532.06/1532.64 c 357s | 20 | 1475014 | 843827 | 10707 155 | 3 | 8 1534.06/1534.66 c 359s | 20 | 1483254 | 848427 | 10707 156 | 3 | 8 1536.05/1536.70 c 361s | 20 | 1492629 | 853027 | 10707 157 | 3 | 8 1538.15/1538.73 c 363s | 20 | 1501070 | 857427 | 10707 158 | 3 | 8 1540.15/1540.75 c 365s | 20 | 1510082 | 861827 | 10707 158 | 3 | 8 1542.25/1542.80 c 367s | 20 | 1519675 | 866227 | 10707 159 | 3 | 8 1544.25/1544.82 c 369s | 20 | 1527274 | 870027 | 10707 160 | 3 | 8 1546.25/1546.85 c 371s | 20 | 1534329 | 874027 | 10707 161 | 3 | 8 1548.26/1548.90 c 373s | 20 | 1541136 | 877927 | 10707 161 | 3 | 8 1550.35/1550.94 c 375s | 20 | 1546472 | 882027 | 10707 162 | 3 | 8 1552.35/1552.95 c 377s | 20 | 1552252 | 885827 | 10707 163 | 3 | 8 1554.35/1554.97 c 379s | 20 | 1558938 | 890227 | 10707 164 | 3 | 8 1556.35/1556.99 c 381s | 20 | 1566767 | 895627 | 10707 165 | 3 | 8 1558.45/1559.07 c 383s | 20 | 1572313 | 899827 | 10707 166 | 3 | 8 1560.45/1561.08 c 385s | 20 | 1578709 | 904127 | 10707 166 | 3 | 8 1562.45/1563.10 c 388s | 20 | 1588568 | 908527 | 10707 167 | 3 | 8 1564.55/1565.12 c 390s | 20 | 1594781 | 913227 | 10707 168 | 3 | 8 1566.55/1567.15 c 392s | 20 | 1605989 | 917327 | 10707 169 | 3 | 8 1568.55/1569.17 c 394s | 20 | 1612582 | 921727 | 10707 170 | 3 | 8 1570.55/1571.18 c 396s | 20 | 1622562 | 926427 | 10707 170 | 3 | 8 1572.55/1573.19 c 398s | 20 | 1632444 | 930527 | 10707 171 | 3 | 8 1574.54/1575.20 c 400s | 20 | 1641866 | 935127 | 10707 172 | 3 | 8 1576.64/1577.22 c 402s | 20 | 1648813 | 939627 | 10707 173 | 3 | 8 1578.64/1579.23 c 404s | 20 | 1656264 | 944827 | 10707 174 | 3 | 8 1580.64/1581.26 c 406s | 20 | 1664160 | 950427 | 10707 175 | 3 | 8 1582.64/1583.27 c 408s | 20 | 1671839 | 955427 | 10707 176 | 3 | 8 1584.66/1585.28 c 410s | 20 | 1678827 | 960127 | 10707 177 | 3 | 8 1586.75/1587.33 c 412s | 20 | 1685201 | 964827 | 10707 178 | 3 | 8 1588.75/1589.36 c 414s | 20 | 1692318 | 969427 | 10707 178 | 3 | 8 1590.75/1591.39 c 416s | 20 | 1699370 | 974427 | 10707 179 | 3 | 8 1592.75/1593.39 c 418s | 20 | 1706642 | 979527 | 10707 180 | 3 | 8 1594.85/1595.40 c 420s | 20 | 1715496 | 984527 | 10707 181 | 3 | 8 1596.85/1597.43 c 422s | 20 | 1725244 | 989327 | 10707 182 | 3 | 8 1598.85/1599.46 c 424s | 20 | 1733537 | 994227 | 10707 183 | 3 | 8 1600.95/1601.50 c 426s | 20 | 1741151 | 998527 | 10707 184 | 3 | 8 1601.65/1602.26 c 427s | 21 | 1743601 | 1000345 | 10707 184 | 3 | 8 1603.64/1604.27 c 429s | 21 | 1754838 | 1005645 | 10707 185 | 3 | 8 1605.74/1606.30 c 431s | 21 | 1763684 | 1010445 | 10707 186 | 3 | 8 1607.75/1608.30 c 433s | 21 | 1770955 | 1014845 | 10707 187 | 3 | 8 1609.74/1610.31 c 435s | 21 | 1777964 | 1018845 | 10707 188 | 3 | 8 1611.74/1612.35 c 437s | 21 | 1784490 | 1022145 | 10707 188 | 3 | 8 1613.74/1614.35 c 439s | 21 | 1791902 | 1026345 | 10707 189 | 3 | 8 1615.84/1616.40 c 441s | 21 | 1799608 | 1031445 | 10707 190 | 3 | 8 1617.84/1618.44 c 443s | 21 | 1809277 | 1036345 | 10707 191 | 3 | 8 1619.85/1620.49 c 445s | 21 | 1816486 | 1040245 | 10707 191 | 3 | 8 1621.95/1622.52 c 447s | 21 | 1825355 | 1045345 | 10707 192 | 3 | 8 1623.94/1624.57 c 449s | 21 | 1831195 | 1049745 | 10707 193 | 3 | 8 1626.04/1626.60 c 451s | 21 | 1840440 | 1054145 | 10707 194 | 3 | 8 1628.04/1628.61 c 453s | 21 | 1846591 | 1058645 | 10707 195 | 3 | 8 1630.03/1630.65 c 455s | 21 | 1855493 | 1063845 | 10707 196 | 3 | 8 1632.03/1632.66 c 457s | 21 | 1861509 | 1067945 | 10707 197 | 3 | 8 1634.04/1634.67 c 459s | 21 | 1869526 | 1072545 | 10707 197 | 3 | 8 1636.03/1636.68 c 461s | 21 | 1876695 | 1076645 | 10707 198 | 3 | 8 1638.14/1638.72 c 463s | 21 | 1884251 | 1081145 | 10707 199 | 3 | 8 1640.14/1640.74 c 465s | 21 | 1891704 | 1086145 | 10707 200 | 3 | 8 1642.14/1642.76 c 467s | 21 | 1898237 | 1090945 | 10707 201 | 3 | 8 1644.14/1644.79 c 469s | 21 | 1903815 | 1095045 | 10707 202 | 3 | 8 1646.25/1646.83 c 471s | 21 | 1910721 | 1099445 | 10707 202 | 3 | 8 1648.24/1648.84 c 473s | 21 | 1916635 | 1103545 | 10707 203 | 3 | 8 1650.24/1650.87 c 475s | 21 | 1924262 | 1107545 | 10707 204 | 3 | 8 1652.34/1652.91 c 477s | 21 | 1929910 | 1111445 | 10707 205 | 3 | 8 1654.34/1654.94 c 479s | 21 | 1936381 | 1115445 | 10707 205 | 3 | 8 1656.34/1656.96 c 481s | 21 | 1942047 | 1119345 | 10707 206 | 3 | 8 1658.34/1658.99 c 483s | 21 | 1947808 | 1122745 | 10707 207 | 3 | 8 1660.54/1661.16 c 486s | 21 | 1955081 | 1127045 | 10707 208 | 3 | 8 1662.53/1663.19 c 488s | 21 | 1961907 | 1131245 | 10707 208 | 3 | 8 1664.63/1665.21 c 490s | 21 | 1967042 | 1135145 | 10707 209 | 3 | 8 1666.63/1667.22 c 492s | 21 | 1973427 | 1139645 | 10707 210 | 3 | 8 1668.63/1669.23 c 494s | 21 | 1979973 | 1144645 | 10707 211 | 3 | 8 1670.63/1671.26 c 496s | 21 | 1986280 | 1149645 | 10707 212 | 3 | 8 1672.64/1673.27 c 498s | 21 | 1993813 | 1154445 | 10707 213 | 3 | 8 1674.74/1675.32 c 500s | 21 | 2002923 | 1159345 | 10707 214 | 3 | 8 1676.73/1677.35 c 502s | 21 | 2010388 | 1164245 | 10707 214 | 3 | 8 1678.73/1679.36 c 504s | 21 | 2019244 | 1169145 | 10707 215 | 3 | 8 1680.73/1681.36 c 506s | 21 | 2028124 | 1173545 | 10707 216 | 3 | 8 1682.73/1683.39 c 508s | 21 | 2038374 | 1177645 | 10707 217 | 3 | 8 1684.83/1685.42 c 510s | 21 | 2047658 | 1181645 | 10707 218 | 3 | 8 1686.83/1687.42 c 512s | 21 | 2054595 | 1185645 | 10707 218 | 3 | 8 1688.82/1689.45 c 514s | 21 | 2059710 | 1189045 | 10707 219 | 3 | 8 1690.92/1691.51 c 516s | 21 | 2065224 | 1192345 | 10707 220 | 3 | 8 1692.92/1693.54 c 518s | 21 | 2071052 | 1196045 | 10707 220 | 3 | 8 1694.93/1695.55 c 520s | 21 | 2075695 | 1199445 | 10707 221 | 3 | 8 1696.93/1697.56 c 522s | 21 | 2081521 | 1203045 | 10707 222 | 3 | 8 1698.94/1699.58 c 524s | 21 | 2087021 | 1206945 | 10707 222 | 3 | 8 1700.93/1701.58 c 526s | 21 | 2093791 | 1211145 | 10707 223 | 3 | 8 1703.03/1703.60 c 528s | 21 | 2099535 | 1215145 | 10707 224 | 3 | 8 1705.03/1705.60 c 530s | 21 | 2104742 | 1218845 | 10707 224 | 3 | 8 1707.03/1707.63 c 532s | 21 | 2113559 | 1223745 | 10707 225 | 3 | 8 1709.03/1709.63 c 534s | 21 | 2121607 | 1228245 | 10707 226 | 3 | 8 1711.04/1711.67 c 536s | 21 | 2129995 | 1232845 | 10707 227 | 3 | 8 1713.13/1713.70 c 538s | 21 | 2137365 | 1237445 | 10707 228 | 3 | 8 1715.13/1715.74 c 540s | 21 | 2142825 | 1241745 | 10707 229 | 3 | 8 1717.23/1717.80 c 542s | 21 | 2150524 | 1246445 | 10707 230 | 3 | 8 1719.22/1719.82 c 544s | 21 | 2160188 | 1251345 | 10707 230 | 3 | 8 1721.22/1721.83 c 546s | 21 | 2169169 | 1256245 | 10707 231 | 3 | 8 1723.23/1723.83 c 548s | 21 | 2177880 | 1260745 | 10707 232 | 3 | 8 1725.22/1725.85 c 550s | 21 | 2186256 | 1265445 | 10707 233 | 3 | 8 1727.22/1727.86 c 552s | 21 | 2191888 | 1269445 | 10707 234 | 3 | 8 1729.22/1729.86 c 554s | 21 | 2200164 | 1274445 | 10707 235 | 3 | 8 1731.22/1731.87 c 556s | 21 | 2207025 | 1279045 | 10707 236 | 3 | 8 1733.22/1733.88 c 558s | 21 | 2213458 | 1283545 | 10707 236 | 3 | 8 1735.23/1735.88 c 560s | 21 | 2222837 | 1288545 | 10707 237 | 3 | 8 1737.32/1737.90 c 562s | 21 | 2230627 | 1293245 | 10707 238 | 3 | 8 1739.32/1739.92 c 564s | 21 | 2238234 | 1297845 | 10707 239 | 3 | 8 1741.32/1741.95 c 566s | 21 | 2245533 | 1302245 | 10707 240 | 3 | 8 1743.32/1743.98 c 568s | 21 | 2255126 | 1306845 | 10707 241 | 3 | 8 1745.42/1746.03 c 570s | 21 | 2262428 | 1311445 | 10707 241 | 3 | 8 1747.42/1748.03 c 572s | 21 | 2268106 | 1315345 | 10707 242 | 3 | 8 1749.42/1750.05 c 574s | 21 | 2279544 | 1320445 | 10707 243 | 3 | 8 1751.42/1752.09 c 577s | 21 | 2289052 | 1326045 | 10707 244 | 3 | 8 1753.52/1754.12 c 579s | 21 | 2296801 | 1330345 | 10707 245 | 3 | 8 1755.52/1756.16 c 581s | 21 | 2305135 | 1335145 | 10707 246 | 3 | 8 1757.62/1758.21 c 583s | 21 | 2311503 | 1339545 | 10707 247 | 3 | 8 1759.62/1760.24 c 585s | 21 | 2318160 | 1343645 | 10707 247 | 3 | 8 1761.63/1762.26 c 587s | 21 | 2326264 | 1348545 | 10707 248 | 3 | 8 1763.62/1764.28 c 589s | 21 | 2334579 | 1353345 | 10707 249 | 3 | 8 1765.72/1766.31 c 591s | 21 | 2343219 | 1358445 | 10707 250 | 3 | 8 1767.72/1768.33 c 593s | 21 | 2351724 | 1362945 | 10707 251 | 3 | 8 1769.72/1770.35 c 595s | 21 | 2359046 | 1367845 | 10707 252 | 3 | 8 1771.72/1772.38 c 597s | 21 | 2366125 | 1372645 | 10707 253 | 3 | 8 1773.72/1774.40 c 599s | 21 | 2372795 | 1376845 | 10707 254 | 3 | 8 1775.82/1776.41 c 601s | 21 | 2380109 | 1381645 | 10707 254 | 3 | 8 1777.82/1778.41 c 603s | 21 | 2387387 | 1386245 | 10707 255 | 3 | 8 1779.82/1780.42 c 605s | 21 | 2395103 | 1390345 | 10707 256 | 3 | 8 1781.82/1782.45 c 607s | 21 | 2402010 | 1394845 | 10707 257 | 3 | 8 1783.81/1784.49 c 609s | 21 | 2408453 | 1399045 | 10707 258 | 3 | 8 1785.82/1786.49 c 611s | 21 | 2414256 | 1402945 | 10707 258 | 3 | 8 1787.91/1788.53 c 613s | 21 | 2420354 | 1406845 | 10707 259 | 3 | 8 1789.91/1790.54 c 615s | 21 | 2427134 | 1410945 | 10707 260 | 3 | 8 1791.91/1792.55 c 617s | 21 | 2433763 | 1414645 | 10707 261 | 3 | 8 1793.91/1794.57 c 619s | 21 | 2441475 | 1419045 | 10707 261 | 3 | 8 1795.91/1796.58 c 621s | 21 | 2447450 | 1423245 | 10707 262 | 3 | 8 1798.02/1798.61 c 623s | 21 | 2453149 | 1427945 | 10707 263 | 3 | 8
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-4080110-1465261981/watcher-4080110-1465261981 -o /tmp/evaluation-result-4080110-1465261981/solver-4080110-1465261981 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080110-1465261981.opb pid=12206 running on 4 cores: 1,3,5,7 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.14 2.16 2.10 2/180 12209 /proc/meminfo: memFree=29644960/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=805308 CPUtime=0 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 3016 0 0 0 0 0 0 0 20 0 4 0 108132634 824635392 3378 33554432000 4194304 16246674 140736316488864 140736316488288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 202095 3389 441 2943 0 198989 0 [pid=12209/tid=12210] ppid=12206 vsize=823740 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 843509760 3451 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=827836 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 847704064 3468 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=832956 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108132634 852946944 3485 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.14 2.16 2.10 2/180 12209 /proc/meminfo: memFree=29644960/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 25748 0 0 0 6 3 0 0 20 0 4 0 108132634 1247350784 26097 33554432000 4194304 16246674 140736316488864 140736316488288 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 304529 26112 790 2943 0 301423 0 [pid=12209/tid=12210] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 26122 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 26127 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 26132 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200541 s] /proc/loadavg: 2.14 2.16 2.10 2/180 12209 /proc/meminfo: memFree=29644960/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 48564 0 0 0 13 6 0 0 20 0 4 0 108132634 1247350784 48913 33554432000 4194304 16246674 140736316488864 140736316488288 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 304529 48921 790 2943 0 301423 0 [pid=12209/tid=12210] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 48925 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 48928 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 48931 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300506 s] /proc/loadavg: 2.14 2.16 2.10 2/180 12209 /proc/meminfo: memFree=29644960/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 70940 0 0 0 20 9 0 0 20 0 4 0 108132634 1247350784 71289 33554432000 4194304 16246674 140736316488864 140736316488288 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 304529 71306 790 2943 0 301423 0 [pid=12209/tid=12210] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 71317 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 71327 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 71334 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700416 s] /proc/loadavg: 2.14 2.16 2.10 2/180 12209 /proc/meminfo: memFree=29644960/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 162402 0 0 0 46 23 0 0 20 0 4 0 108132634 1247350784 162750 33554432000 4194304 16246674 140736316488864 140736316470784 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 304529 162757 790 2943 0 301423 0 [pid=12209/tid=12210] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 162761 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 162768 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108132634 1247350784 162779 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50044 s] /proc/loadavg: 2.14 2.16 2.10 3/184 12213 /proc/meminfo: memFree=28660196/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1222212 CPUtime=1.49 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 246388 0 0 0 116 33 0 0 20 0 4 0 108132634 1251545088 246714 33554432000 4194304 16246674 140736316488864 140736316470784 13820875 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 305553 246714 850 2943 0 302447 0 [pid=12209/tid=12210] ppid=12206 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1251545088 246714 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1251545088 246714 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1251545088 246714 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1222212 [startup+3.10043 s] /proc/loadavg: 2.14 2.16 2.10 3/184 12213 /proc/meminfo: memFree=28577240/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 267633 0 0 0 273 36 0 0 20 0 4 0 108132634 1337528320 267959 33554432000 4194304 16246674 140736316488864 140736316470784 5522909 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 326545 267959 850 2943 0 323439 0 [pid=12209/tid=12210] ppid=12206 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1337528320 267959 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1337528320 267959 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1337528320 267959 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30039 s] /proc/loadavg: 2.13 2.15 2.10 3/184 12213 /proc/meminfo: memFree=28575320/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 267892 0 0 0 593 36 0 0 20 0 4 0 108132634 1338576896 268218 33554432000 4194304 16246674 140736316488864 140736316470784 13198556 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 326801 268218 850 2943 0 323695 0 [pid=12209/tid=12210] ppid=12206 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1338576896 268218 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1338576896 268218 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1338576896 268218 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.20 2.17 2.10 3/184 12213 /proc/meminfo: memFree=28570156/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1312324 CPUtime=12.69 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 269174 0 0 0 1233 36 0 0 20 0 4 0 108132634 1343819776 269500 33554432000 4194304 16246674 140736316488864 140736316470784 5822492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 328081 269500 852 2943 0 324975 0 [pid=12209/tid=12210] ppid=12206 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1343819776 269500 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1343819776 269500 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1343819776 269500 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.15 2.16 2.10 3/184 12213 /proc/meminfo: memFree=28560220/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1321540 CPUtime=25.49 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 271478 0 0 0 2512 37 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140736316471864 13760237 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 330385 271804 852 2943 0 327279 0 [pid=12209/tid=12210] ppid=12206 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1321540 [startup+51.1005 s] /proc/loadavg: 2.10 2.14 2.09 4/184 12213 /proc/meminfo: memFree=28558584/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1321540 CPUtime=51.08 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 271478 0 0 0 5071 37 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140736316470784 5823037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 330385 271804 852 2943 0 327279 0 [pid=12209/tid=12210] ppid=12206 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1353256960 271804 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.16 2.15 2.09 3/184 12214 /proc/meminfo: memFree=28543112/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1334852 CPUtime=102.28 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 274806 0 0 0 10190 38 0 0 20 0 4 0 108132634 1366888448 275132 33554432000 4194304 16246674 140736316488864 140736316470784 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 333713 275132 852 2943 0 330607 0 [pid=12209/tid=12210] ppid=12206 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1366888448 275132 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1366888448 275132 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1366888448 275132 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1334852 ################ # More data... # ################ /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277187 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1343044 [startup+1302.3 s] /proc/loadavg: 2.15 2.24 2.16 3/183 12447 /proc/meminfo: memFree=28410100/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1301.81 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277289 0 0 0 130124 57 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.17 2.22 2.16 3/183 12448 /proc/meminfo: memFree=28410012/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1361.78 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277319 0 0 0 136120 58 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.17 2.21 2.15 3/183 12450 /proc/meminfo: memFree=28409908/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1421.78 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 142119 59 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 5823182 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.28 2.23 2.16 3/183 12451 /proc/meminfo: memFree=28409924/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1481.76 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 148116 60 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 5667332 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.14 2.20 2.16 3/178 12795 /proc/meminfo: memFree=29523944/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1541.76 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 154115 61 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316488040 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.10 2.18 2.15 3/183 12893 /proc/meminfo: memFree=28431360/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1601.75 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 160113 62 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.13 2.17 2.15 3/184 12897 /proc/meminfo: memFree=28422504/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1661.73 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 166110 63 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 13923760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.24 2.19 2.15 4/183 12899 /proc/meminfo: memFree=28413608/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1721.72 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 172108 64 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 5827656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1343044 [startup+1782.3 s] /proc/loadavg: 2.19 2.18 2.15 3/183 12900 /proc/meminfo: memFree=28413360/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1781.72 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 178107 65 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316487960 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1343044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.23 2.19 2.16 4/183 12901 /proc/meminfo: memFree=28413232/32872528 swapFree=12208/1156848 [pid=12209] ppid=12206 vsize=1343044 CPUtime=1800.01 cores=1,3,5,7 /proc/12209/stat : 12209 (toysat) R 12206 12209 9895 0 -1 4202496 277327 0 0 0 179936 65 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140736316470784 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12209/statm: 335761 277188 854 2943 0 332655 0 [pid=12209/tid=12210] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12210/stat : 12210 (toysat) S 12206 12209 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404269755632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12209/tid=12211] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12211/stat : 12211 (toysat) S 12206 12209 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404259265776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12209/tid=12212] ppid=12206 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/12209/task/12212/stat : 12212 (toysat) S 12206 12209 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108132634 1375277056 277188 33554432000 4194304 16246674 140736316488864 140404248792240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1343044 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 12209 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.03 CPU user time (s): 1799.37 CPU system time (s): 0.6569 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 1343044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 0.6569 maximum resident set size= 1108752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277327 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= 481 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.96409 second user time and 8.25474 second system time The end
Begin job on node114 at 2016-06-07 03:13:01 IDJOB=4080110 IDBENCH=48250 IDSOLVER=2542 FILE ID=node114/4080110-1465261981 RUNJOBID= node114-1465241547-9912 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080110-1465261981/watcher-4080110-1465261981 -o /tmp/evaluation-result-4080110-1465261981/solver-4080110-1465261981 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080110-1465261981.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76 RANDOM SEED=1384382036 node114.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.852 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.70 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.852 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.852 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.852 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.852 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.852 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.55 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.852 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.54 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.852 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: 29646132 kB Buffers: 70028 kB Cached: 216780 kB SwapCached: 1720 kB Active: 1195640 kB Inactive: 167176 kB Active(anon): 1077032 kB Inactive(anon): 1200 kB Active(file): 118608 kB Inactive(file): 165976 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096604 kB Dirty: 16356 kB Writeback: 0 kB AnonPages: 2232260 kB Mapped: 10840 kB Shmem: 0 kB Slab: 570568 kB SReclaimable: 14668 kB SUnreclaim: 555900 kB KernelStack: 1464 kB PageTables: 8344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2378872 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1146880 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= 71704 MiB End job on node114 at 2016-06-07 03:43:01