Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.72 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
| MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -7 |
| Best CPU time to get the best result obtained on this benchmark | 335.262 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -7 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 2952 |
| Sum of products size (including duplicates) | 5904 |
| Number of different products | 1476 |
| Sum of products size | 2952 |
0.00/0.00 c 2016-06-07T02:53:56+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-4080112-1465260836.opb"] 0.00/0.01 c use --random-gen="3847432949 61664667 2232196293 294767331 1363059741 1998005864 2717101305 761561090 2551358563 3209931034 2774438740 1435794339 4201339589 548402658 2180112330 2684403158 2949095195 2804515960 2055886324 1682470236 2058011149 3048707757 353427058 1252656020 3819915235 4216696532 934256319 47722812 2008313176 2869291839 3958013132 3013491102 3997718391 1385506117 4054410924 1944547367 2942428988 1992617803 2761885929 2726930227 3220212625 394429463 4094804673 1083232596 1567976294 453049437 1318252047 2149968636 306725395 3073440604 2799101882 896885123 4026873697 28652288 4067412107 1914850384 2092687434 560794238 364162781 2366101459 121673141 4036412703 169299528 1890467832 2144364024 2481404960 1819660986 2020100469 1723474163 2059450647 4117740321 1994365907 2195432218 858621198 2451647948 2595708065 1204311737 535918139 1392362820 3915184249 3460266291 3740732821 466442418 984573803 3107718781 3418125256 2319377547 3395072971 882717704 2911411150 2161565894 1462479402 3054201523 64014890 1288157818 347997820 3487094474 1872363734 1614200283 1181622559 3817758116 304276376 305300876 138014804 324846037 2740649949 871929446 949308663 3110897802 2827568702 1411450179 3390176344 2214734358 501101076 2076441090 552862169 852862943 1718055895 4262825138 43934860 3930544580 1730826504 3105668702 2029984477 3012240944 2979871177 3236113771 2275707312 1629444380 1816149980 1369193455 466191679 2212833469 4285943082 3668714533 124023550 3406576252 182171520 3767449701 195743503 1280583574 2127041023 1486032930 1956784267 3752322962 2519173135 2775767028 502383041 2412073537 4020198932 16134742 3383021627 615620290 1833256266 3500658975 2555695489 280433749 833160820 2822943758 2002315379 2087498480 2095184223 2305252875 4113938837 2083477671 2018144377 1481128298 2900835767 368943871 963998270 2695209677 3727364221 1045428506 922598622 3628644808 3203332261 1170162834 3680052000 1534425194 3959180128 1302746890 1985478007 4078732952 2531334950 1739237842 1727212429 15968294 411612450 1536983946 1310555988 1300671116 4150641839 2046433520 3983523477 2125817000 205155584 2698055252 2437127337 1130049447 798352725 3592743038 2163023841 3209465331 1389464150 2169631143 3461154112 1278806009 3986108522 165971801 3099800215 2847747979 2269400590 729581087 407294890 1818886638 1532686615 3254850139 471325243 3610040099 3954232329 3955096717 47987168 2558049044 2511033218 2532700808 522959519 442604475 882115862 2457471737 2543326565 1685097232 1746546887 2205528516 1786912563 963511263 1756145316 1674965233 735573363 1488866300 3329497491 1166618084 4039110049 1768790783 3427875897 2435140868 1494509088 1131144386 2097803675 1854989885 337153728 2970149418 590592078 3710761098 763119186 3501517637 3013918561 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 | 1068 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 61 | 1 | 1068 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 61 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 o -4 0.00/0.06 c BCD2: updating upper bound: 50 -> 45 0.00/0.06 c BCD2: 0 <= obj <= 45 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 | 1068 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 25 | 1 | 1068 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 = 25 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: 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 <= 45 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 | 1068 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 26 | 1 | 1068 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 <= 45 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 | 1068 0 | 1 | 0 0.00/0.09 c 0.0s | 1 | 730 | 100 | 1175 0 | 1 | 1 0.09/0.13 c 0.1s | 2 | 2094 | 250 | 1293 0 | 1 | 1 0.09/0.18 c 0.1s | 3 | 3571 | 475 | 1423 0 | 1 | 1 0.19/0.27 c 0.2s | 4 | 5260 | 813 | 1566 0 | 1 | 1 0.39/0.41 c 0.3s | 5 | 6186 | 1320 | 1723 0 | 1 | 1 0.59/0.63 c 0.6s | 6 | 8827 | 2081 | 1896 1 | 1 | 1 0.99/1.04 c 1.0s | 7 | 11282 | 3223 | 2086 2 | 1 | 1 1.39/1.40 c 1.3s | 8 | 14517 | 4936 | 2295 3 | 1 | 1 1.89/1.94 c 1.9s | 9 | 21338 | 7506 | 2525 5 | 1 | 1 2.69/2.72 c 2.7s | 10 | 34343 | 11361 | 2778 8 | 1 | 1 3.89/3.96 c 3.9s | 11 | 47289 | 17144 | 3056 12 | 1 | 1 5.79/5.85 c 5.8s | 12 | 68489 | 25819 | 3362 17 | 1 | 1 7.79/7.85 c 7.8s | 12 | 94062 | 34819 | 3362 23 | 1 | 1 8.79/8.81 c 8.7s | 13 | 102875 | 38832 | 3699 25 | 1 | 1 10.79/10.83 c 10.8s | 13 | 124306 | 47732 | 3699 30 | 1 | 1 12.79/12.85 c 12.8s | 13 | 140115 | 57432 | 3699 35 | 1 | 1 12.99/13.04 c 13.0s | 14 | 141732 | 58352 | 4069 35 | 1 | 1 14.98/15.06 c 15.0s | 14 | 165565 | 67052 | 4069 39 | 1 | 1 16.99/17.06 c 17.0s | 14 | 185899 | 75752 | 4069 44 | 1 | 1 18.99/19.07 c 19.0s | 14 | 205730 | 84552 | 4069 48 | 1 | 1 19.69/19.78 c 19.7s | 15 | 213605 | 87632 | 4476 49 | 1 | 1 21.68/21.78 c 21.7s | 15 | 233079 | 96232 | 4476 53 | 1 | 1 23.69/23.79 c 23.7s | 15 | 253670 | 105232 | 4476 57 | 1 | 1 25.79/25.80 c 25.7s | 15 | 270861 | 113432 | 4476 61 | 1 | 1 27.79/27.82 c 27.8s | 15 | 288179 | 121932 | 4476 64 | 1 | 1 29.79/29.82 c 29.8s | 15 | 303721 | 130832 | 4924 68 | 1 | 1 29.89/29.97 c 29.9s | 16 | 304570 | 131552 | 4924 68 | 1 | 1 31.89/31.98 c 31.9s | 16 | 325625 | 139252 | 4924 71 | 1 | 1 33.88/33.98 c 33.9s | 16 | 340083 | 147652 | 4924 75 | 1 | 1 35.89/35.98 c 35.9s | 16 | 360759 | 156352 | 4924 78 | 1 | 1 37.89/37.99 c 37.9s | 16 | 378819 | 164452 | 4924 82 | 1 | 1 39.99/40.01 c 39.9s | 16 | 396079 | 172752 | 4924 85 | 1 | 1 41.98/42.01 c 42.0s | 16 | 413873 | 181552 | 4924 89 | 1 | 1 43.99/44.04 c 44.0s | 16 | 428504 | 190152 | 4924 92 | 1 | 1 45.89/45.94 c 45.9s | 17 | 436647 | 197432 | 5417 95 | 1 | 1 47.88/47.98 c 47.9s | 17 | 453158 | 205132 | 5417 98 | 1 | 1 49.88/49.99 c 49.9s | 17 | 473726 | 213332 | 5417 100 | 1 | 1 51.98/52.00 c 51.9s | 17 | 491977 | 220932 | 5417 103 | 1 | 1 53.99/54.04 c 54.0s | 17 | 512256 | 228932 | 5417 106 | 1 | 1 55.98/56.04 c 56.0s | 17 | 530912 | 236832 | 5417 109 | 1 | 1 57.98/58.04 c 58.0s | 17 | 549639 | 245132 | 5417 112 | 1 | 1 59.98/60.05 c 60.0s | 17 | 564769 | 252232 | 5417 115 | 1 | 1 61.98/62.06 c 62.0s | 17 | 586643 | 259732 | 5417 117 | 1 | 1 63.98/64.06 c 64.0s | 17 | 603900 | 267232 | 5417 120 | 1 | 1 65.98/66.08 c 66.0s | 17 | 624820 | 275432 | 5417 123 | 1 | 1 67.98/68.09 c 68.0s | 17 | 643845 | 283032 | 5417 126 | 1 | 1 69.98/70.09 c 70.0s | 17 | 659726 | 290632 | 5417 129 | 1 | 1 71.48/71.52 c 71.5s | 18 | 671981 | 296252 | 5959 131 | 1 | 1 73.48/73.54 c 73.5s | 18 | 685168 | 302052 | 5959 132 | 1 | 1 75.48/75.55 c 75.5s | 18 | 699573 | 308452 | 5959 135 | 1 | 1 77.48/77.56 c 77.5s | 18 | 712637 | 316852 | 5959 137 | 1 | 1 79.48/79.58 c 79.5s | 18 | 729674 | 324552 | 5959 140 | 1 | 1 81.58/81.61 c 81.5s | 18 | 749151 | 331852 | 5959 142 | 1 | 1 83.59/83.62 c 83.6s | 18 | 767624 | 339152 | 5959 145 | 1 | 1 85.58/85.63 c 85.6s | 18 | 777451 | 346152 | 5959 147 | 1 | 1 87.68/87.72 c 87.7s | 18 | 785327 | 353252 | 5959 149 | 1 | 1 89.68/89.74 c 89.7s | 18 | 794268 | 360752 | 5959 152 | 1 | 1 91.68/91.76 c 91.7s | 18 | 802380 | 367552 | 5959 154 | 1 | 1 93.68/93.78 c 93.7s | 18 | 810231 | 374352 | 5959 156 | 1 | 1 95.68/95.79 c 95.7s | 18 | 819165 | 382152 | 5959 159 | 1 | 1 97.78/97.80 c 97.7s | 18 | 826877 | 388952 | 5959 161 | 1 | 1 99.77/99.80 c 99.7s | 18 | 836362 | 396752 | 5959 164 | 1 | 1 101.77/101.82 c 101s | 18 | 844011 | 403752 | 5959 166 | 1 | 1 103.77/103.82 c 103s | 18 | 852382 | 410952 | 5959 169 | 1 | 1 105.77/105.84 c 105s | 18 | 862217 | 417652 | 5959 171 | 1 | 1 107.78/107.84 c 107s | 18 | 877727 | 425352 | 5959 173 | 1 | 1 109.78/109.85 c 109s | 18 | 894245 | 433252 | 5959 176 | 1 | 1 111.78/111.86 c 111s | 18 | 910211 | 440852 | 5959 179 | 1 | 1 112.88/112.92 c 112s | 19 | 916393 | 444482 | 6555 180 | 1 | 1 114.87/114.94 c 114s | 19 | 930677 | 450882 | 6555 181 | 1 | 1 116.87/116.98 c 116s | 19 | 946904 | 457682 | 6555 184 | 1 | 1 118.97/119.01 c 118s | 19 | 960174 | 464082 | 6555 185 | 1 | 1 120.98/121.03 c 120s | 19 | 973745 | 470682 | 6555 187 | 1 | 1 122.97/123.03 c 122s | 19 | 988366 | 476982 | 6555 189 | 1 | 1 124.97/125.03 c 124s | 19 | 1006422 | 483682 | 6555 191 | 1 | 1 126.97/127.05 c 126s | 19 | 1021559 | 490482 | 6555 193 | 1 | 1 128.97/129.09 c 129s | 19 | 1037926 | 497082 | 6555 195 | 1 | 1 131.07/131.11 c 131s | 19 | 1055018 | 503682 | 6555 197 | 1 | 1 133.08/133.11 c 133s | 19 | 1069663 | 510482 | 6555 199 | 1 | 1 135.07/135.13 c 135s | 19 | 1083305 | 517082 | 6555 201 | 1 | 1 137.07/137.16 c 137s | 19 | 1099504 | 523782 | 6555 203 | 1 | 1 139.16/139.22 c 139s | 19 | 1109354 | 530382 | 6555 205 | 1 | 1 141.16/141.25 c 141s | 19 | 1124806 | 536982 | 6555 207 | 1 | 1 143.17/143.25 c 143s | 19 | 1141021 | 543582 | 6555 209 | 1 | 1 145.18/145.28 c 145s | 19 | 1157171 | 549882 | 6555 211 | 1 | 1 147.27/147.30 c 147s | 19 | 1173860 | 556582 | 6555 213 | 1 | 1 149.27/149.33 c 149s | 19 | 1189121 | 562882 | 6555 215 | 1 | 1 151.27/151.35 c 151s | 19 | 1207394 | 569582 | 6555 217 | 1 | 1 153.27/153.37 c 153s | 19 | 1223620 | 576082 | 6555 219 | 1 | 1 155.27/155.39 c 155s | 19 | 1240318 | 582682 | 6555 221 | 1 | 1 157.37/157.42 c 157s | 19 | 1255224 | 589182 | 6555 223 | 1 | 1 159.36/159.42 c 159s | 19 | 1270430 | 595482 | 6555 225 | 1 | 1 161.36/161.45 c 161s | 19 | 1285408 | 602182 | 6555 227 | 1 | 1 163.36/163.46 c 163s | 19 | 1297542 | 608582 | 6555 229 | 1 | 1 165.36/165.47 c 165s | 19 | 1313092 | 615282 | 6555 231 | 1 | 1 167.46/167.50 c 167s | 19 | 1329584 | 621982 | 6555 233 | 1 | 1 169.47/169.51 c 169s | 19 | 1343152 | 629482 | 6555 235 | 1 | 1 171.46/171.51 c 171s | 19 | 1359422 | 636582 | 6555 237 | 1 | 1 173.46/173.52 c 173s | 19 | 1375587 | 644282 | 6555 240 | 1 | 1 175.46/175.53 c 175s | 19 | 1390434 | 651682 | 6555 242 | 1 | 1 177.46/177.53 c 177s | 19 | 1407038 | 658782 | 6555 244 | 1 | 1 179.46/179.53 c 179s | 19 | 1423535 | 665982 | 7211 246 | 1 | 1 179.66/179.75 c 179s | 20 | 1425117 | 666827 | 7211 246 | 1 | 1 181.66/181.76 c 181s | 20 | 1439008 | 672927 | 7211 248 | 1 | 1 183.67/183.76 c 183s | 20 | 1454021 | 679727 | 7211 250 | 1 | 1 185.66/185.77 c 185s | 20 | 1469656 | 686627 | 7211 252 | 1 | 1 187.66/187.77 c 187s | 20 | 1484208 | 693827 | 7211 254 | 1 | 1 189.66/189.78 c 189s | 20 | 1499391 | 700227 | 7211 256 | 1 | 1 191.66/191.80 c 191s | 20 | 1514994 | 707227 | 7211 257 | 1 | 1 193.76/193.81 c 193s | 20 | 1531396 | 714327 | 7211 259 | 1 | 1 195.26/195.35 c 195s | 20 | 1544371 | 719670 | 7211 261 | 2 | 2 195.26/195.35 c #cpu_time = 195.285s 195.26/195.35 c #wall_clock_time = 195.291s 195.26/195.35 c #decision = 1544371 195.26/195.35 c #random_decision = 7697 195.26/195.35 c #conflict = 719670 195.26/195.35 c #restart = 20 195.26/195.35 c BCD2: updating lower bound of a core 195.26/195.35 c lower bound updated to -14 195.26/195.36 c BCD2: 36 <= obj <= 45 195.26/195.36 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 195.26/195.36 c BCD2: #sat=1 #unsat=4 bias=4/5 195.26/195.36 c Solving starts ... 195.26/195.36 c ============================[ Search Statistics ]============================ 195.26/195.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 195.26/195.36 c | | | | Limit GC | Var | Constra 195.26/195.36 c ============================================================================= 195.26/195.36 c 0.0s | 0 | 0 | 0 | 7211 0 | 2 | 3 195.36/195.44 c 0.1s | 0 | 1110 | 76 | 7211 0 | 2 | 3 195.36/195.44 c #cpu_time = 0.083s 195.36/195.44 c #wall_clock_time = 0.083s 195.36/195.44 c #decision = 1110 195.36/195.44 c #random_decision = 2 195.36/195.44 c #conflict = 76 195.36/195.44 c #restart = 0 195.36/195.44 o -6 195.36/195.44 c BCD2: updating upper bound: 45 -> 43 195.36/195.44 c BCD2: 36 <= obj <= 43 195.36/195.44 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 195.36/195.44 c BCD2: #sat=2 #unsat=4 bias=4/6 195.36/195.44 c Solving starts ... 195.36/195.44 c ============================[ Search Statistics ]============================ 195.36/195.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 195.36/195.44 c | | | | Limit GC | Var | Constra 195.36/195.44 c ============================================================================= 195.36/195.44 c 0.0s | 0 | 0 | 0 | 7211 0 | 2 | 5 195.46/195.51 c 0.1s | 1 | 1949 | 100 | 7211 0 | 2 | 5 195.46/195.53 c 0.1s | 2 | 3351 | 250 | 7211 0 | 2 | 5 195.46/195.58 c 0.1s | 3 | 4154 | 475 | 7211 0 | 2 | 5 195.56/195.66 c 0.2s | 4 | 4848 | 813 | 7211 0 | 2 | 5 195.66/195.76 c 0.3s | 5 | 5662 | 1320 | 7211 0 | 2 | 5 195.87/195.94 c 0.5s | 6 | 8853 | 2081 | 7211 0 | 2 | 5 196.16/196.27 c 0.8s | 7 | 10727 | 3223 | 7211 0 | 2 | 5 196.66/196.77 c 1.3s | 8 | 12866 | 4936 | 7211 0 | 2 | 5 197.36/197.47 c 2.0s | 9 | 23107 | 7506 | 7211 1 | 2 | 5 198.66/198.79 c 3.3s | 10 | 29684 | 11361 | 7211 2 | 2 | 5 200.76/200.83 c 5.4s | 10 | 37292 | 16761 | 7211 4 | 2 | 5 200.86/200.98 c 5.5s | 11 | 37825 | 17144 | 7211 4 | 2 | 5 202.86/202.98 c 7.5s | 11 | 48343 | 23844 | 7211 5 | 2 | 5 203.47/203.56 c 8.1s | 12 | 51720 | 25819 | 7211 6 | 2 | 5 205.46/205.58 c 10.1s | 12 | 63151 | 32919 | 7211 8 | 2 | 5 207.16/207.27 c 11.8s | 13 | 74019 | 38832 | 7211 10 | 2 | 5 209.16/209.30 c 13.9s | 13 | 85372 | 44932 | 7211 11 | 2 | 5 211.16/211.30 c 15.9s | 13 | 93526 | 50432 | 7211 13 | 2 | 5 213.26/213.31 c 17.9s | 13 | 102780 | 55732 | 7211 14 | 2 | 5 214.26/214.30 c 18.9s | 14 | 108806 | 58352 | 7211 15 | 2 | 5 216.26/216.32 c 20.9s | 14 | 117056 | 63352 | 7211 16 | 2 | 5 218.26/218.34 c 22.9s | 14 | 128980 | 68752 | 7211 18 | 2 | 5 220.25/220.36 c 24.9s | 14 | 137908 | 74852 | 7211 19 | 2 | 5 222.27/222.38 c 26.9s | 14 | 152161 | 81952 | 7211 21 | 2 | 5 224.26/224.38 c 28.9s | 15 | 163173 | 87632 | 7211 23 | 2 | 5 226.35/226.40 c 31.0s | 15 | 174308 | 93132 | 7211 24 | 2 | 5 228.36/228.41 c 33.0s | 15 | 184025 | 98832 | 7211 26 | 2 | 5 230.36/230.46 c 35.0s | 15 | 196033 | 105232 | 7211 28 | 2 | 5 232.35/232.47 c 37.0s | 15 | 209750 | 111232 | 7211 29 | 2 | 5 234.36/234.49 c 39.0s | 15 | 223129 | 117532 | 7211 31 | 2 | 5 236.46/236.50 c 41.1s | 15 | 234685 | 123232 | 7211 33 | 2 | 5 238.45/238.51 c 43.1s | 15 | 249656 | 129632 | 7211 34 | 2 | 5 238.95/239.05 c 43.6s | 16 | 252135 | 131552 | 7211 35 | 2 | 5 240.96/241.07 c 45.6s | 16 | 262417 | 136652 | 7211 36 | 2 | 5 242.95/243.07 c 47.6s | 16 | 274178 | 142852 | 7211 38 | 2 | 5 245.05/245.13 c 49.7s | 16 | 284691 | 149652 | 7211 40 | 2 | 5 247.05/247.19 c 51.7s | 16 | 295548 | 156252 | 7211 42 | 2 | 5 249.15/249.21 c 53.8s | 16 | 305200 | 162952 | 7211 44 | 2 | 5 251.15/251.23 c 55.8s | 16 | 314596 | 169952 | 7211 45 | 2 | 5 253.15/253.26 c 57.8s | 16 | 323196 | 176452 | 7211 47 | 2 | 5 255.16/255.27 c 59.8s | 16 | 332145 | 183052 | 7211 49 | 2 | 5 257.15/257.29 c 61.9s | 16 | 340108 | 189152 | 7211 51 | 2 | 5 259.25/259.30 c 63.9s | 16 | 348773 | 195552 | 7211 52 | 2 | 5 259.85/259.92 c 64.5s | 17 | 351381 | 197432 | 7211 53 | 2 | 5 261.85/261.92 c 66.5s | 17 | 362983 | 202832 | 7211 54 | 2 | 5 263.85/263.95 c 68.5s | 17 | 371957 | 207932 | 7211 56 | 2 | 5 265.85/265.95 c 70.5s | 17 | 383094 | 213232 | 7211 57 | 2 | 5 267.85/267.98 c 72.5s | 17 | 391936 | 218632 | 7211 59 | 2 | 5 269.85/269.98 c 74.5s | 17 | 401615 | 225332 | 7211 61 | 2 | 5 271.95/272.00 c 76.6s | 17 | 410376 | 231932 | 7211 62 | 2 | 5 273.96/274.02 c 78.6s | 17 | 419307 | 238632 | 7211 64 | 2 | 5 275.95/276.03 c 80.6s | 17 | 428296 | 245332 | 7211 66 | 2 | 5 277.95/278.05 c 82.6s | 17 | 436964 | 251932 | 7211 68 | 2 | 5 279.95/280.08 c 84.6s | 17 | 445601 | 258532 | 7211 70 | 2 | 5 282.05/282.10 c 86.7s | 17 | 454057 | 265332 | 7211 71 | 2 | 5 284.05/284.12 c 88.7s | 17 | 461190 | 271032 | 7211 73 | 2 | 5 286.05/286.19 c 90.7s | 17 | 469681 | 277332 | 7933 75 | 2 | 5 288.04/288.19 c 92.8s | 17 | 479006 | 284032 | 7933 76 | 2 | 5 290.14/290.22 c 94.8s | 17 | 490984 | 290432 | 7933 78 | 2 | 5 291.84/291.94 c 96.5s | 18 | 501103 | 296252 | 7933 79 | 2 | 5 293.84/293.95 c 98.5s | 18 | 509358 | 299952 | 7933 80 | 2 | 5 296.04/296.10 c 100s | 18 | 519469 | 305752 | 7933 82 | 2 | 5 298.06/298.12 c 102s | 18 | 530134 | 311952 | 7933 83 | 2 | 5 300.05/300.14 c 104s | 18 | 539229 | 317452 | 7933 85 | 2 | 5 302.04/302.15 c 106s | 18 | 549457 | 323252 | 7933 86 | 2 | 5 304.05/304.16 c 108s | 18 | 560192 | 328952 | 7933 87 | 2 | 5 306.15/306.21 c 110s | 18 | 571949 | 334852 | 7933 89 | 2 | 5 308.14/308.23 c 112s | 18 | 583768 | 341552 | 7933 91 | 2 | 5 310.15/310.25 c 114s | 18 | 596679 | 348052 | 7933 92 | 2 | 5 312.15/312.27 c 116s | 18 | 607081 | 353452 | 7933 94 | 2 | 5 314.14/314.30 c 118s | 18 | 619132 | 359552 | 7933 95 | 2 | 5 316.24/316.32 c 120s | 18 | 629704 | 365452 | 7933 97 | 2 | 5 318.24/318.34 c 122s | 18 | 640468 | 371452 | 7933 98 | 2 | 5 320.24/320.39 c 124s | 18 | 653787 | 377452 | 7933 100 | 2 | 5 322.25/322.40 c 126s | 18 | 665155 | 383752 | 7933 101 | 2 | 5 324.34/324.42 c 128s | 18 | 676994 | 389552 | 7933 103 | 2 | 5 326.34/326.46 c 131s | 18 | 687495 | 395852 | 7933 104 | 2 | 5 328.44/328.51 c 133s | 18 | 696302 | 401452 | 7933 106 | 2 | 5 330.44/330.55 c 135s | 18 | 705301 | 407352 | 7933 107 | 2 | 5 332.44/332.55 c 137s | 18 | 713177 | 412752 | 7933 108 | 2 | 5 334.45/334.55 c 139s | 18 | 723106 | 419352 | 7933 110 | 2 | 5 336.44/336.57 c 141s | 18 | 734312 | 425152 | 7933 111 | 2 | 5 338.44/338.59 c 143s | 18 | 743792 | 430852 | 7933 113 | 2 | 5 340.54/340.61 c 145s | 18 | 754573 | 437252 | 7933 114 | 2 | 5 342.54/342.64 c 147s | 18 | 765743 | 443452 | 7933 116 | 2 | 5 342.84/342.95 c 147s | 19 | 767448 | 444482 | 7933 116 | 2 | 5 344.84/344.95 c 149s | 19 | 776252 | 449482 | 7933 118 | 2 | 5 346.94/347.03 c 151s | 19 | 785423 | 454982 | 7933 119 | 2 | 5 348.94/349.03 c 153s | 19 | 793466 | 460082 | 7933 120 | 2 | 5 350.94/351.05 c 155s | 19 | 803125 | 465482 | 7933 122 | 2 | 5 352.94/353.08 c 157s | 19 | 811648 | 472382 | 7933 123 | 2 | 5 354.94/355.09 c 159s | 19 | 820602 | 479282 | 7933 125 | 2 | 5 357.03/357.12 c 161s | 19 | 829853 | 486082 | 7933 127 | 2 | 5 359.04/359.15 c 163s | 19 | 841321 | 492482 | 7933 128 | 2 | 5 361.04/361.16 c 165s | 19 | 849851 | 497682 | 7933 130 | 2 | 5 363.05/363.17 c 167s | 19 | 859342 | 502582 | 7933 131 | 2 | 5 365.04/365.17 c 169s | 19 | 870008 | 508282 | 7933 132 | 2 | 5 367.04/367.18 c 171s | 19 | 878378 | 513582 | 7933 134 | 2 | 5 369.04/369.19 c 173s | 19 | 887942 | 519782 | 7933 135 | 2 | 5 371.13/371.21 c 175s | 19 | 897125 | 524882 | 7933 136 | 2 | 5 373.13/373.22 c 177s | 19 | 904821 | 529982 | 7933 138 | 2 | 5 375.14/375.24 c 179s | 19 | 915293 | 536082 | 7933 139 | 2 | 5 377.13/377.24 c 181s | 19 | 923971 | 542082 | 7933 141 | 2 | 5 379.13/379.29 c 183s | 19 | 935084 | 547882 | 7933 142 | 2 | 5 381.13/381.30 c 185s | 19 | 947687 | 553482 | 7933 143 | 2 | 5 383.24/383.31 c 187s | 19 | 961215 | 559082 | 7933 145 | 2 | 5 385.23/385.34 c 189s | 19 | 972787 | 564682 | 7933 146 | 2 | 5 387.24/387.36 c 191s | 19 | 984559 | 570782 | 7933 148 | 2 | 5 389.23/389.39 c 193s | 19 | 997035 | 576282 | 7933 149 | 2 | 5 391.33/391.43 c 195s | 19 | 1007361 | 581882 | 7933 151 | 2 | 5 393.33/393.44 c 197s | 19 | 1020680 | 588282 | 7933 152 | 2 | 5 395.33/395.48 c 200s | 19 | 1030403 | 593782 | 7933 154 | 2 | 5 397.33/397.48 c 202s | 19 | 1040643 | 599382 | 7933 155 | 2 | 5 399.43/399.52 c 204s | 19 | 1052379 | 604882 | 7933 156 | 2 | 5 401.44/401.52 c 206s | 19 | 1061993 | 610282 | 7933 158 | 2 | 5 403.43/403.55 c 208s | 19 | 1071923 | 616382 | 7933 159 | 2 | 5 405.42/405.58 c 210s | 19 | 1080643 | 621782 | 7933 160 | 2 | 5 407.53/407.60 c 212s | 19 | 1092089 | 627682 | 7933 162 | 2 | 5 409.53/409.62 c 214s | 19 | 1103157 | 633882 | 7933 164 | 2 | 5 411.53/411.63 c 216s | 19 | 1113799 | 640882 | 7933 165 | 2 | 5 413.54/413.64 c 218s | 19 | 1123915 | 646882 | 7933 167 | 2 | 5 415.53/415.65 c 220s | 19 | 1133988 | 652882 | 7933 168 | 2 | 5 417.53/417.65 c 222s | 19 | 1145466 | 659382 | 7933 170 | 2 | 5 419.52/419.67 c 224s | 19 | 1153499 | 664582 | 7933 171 | 2 | 5 420.32/420.45 c 225s | 20 | 1156908 | 666827 | 7933 172 | 2 | 5 422.34/422.46 c 227s | 20 | 1169818 | 673027 | 7933 173 | 2 | 5 424.33/424.48 c 229s | 20 | 1181395 | 679127 | 7933 175 | 2 | 5 426.43/426.51 c 231s | 20 | 1191835 | 684627 | 7933 176 | 2 | 5 428.43/428.53 c 233s | 20 | 1203034 | 690227 | 7933 178 | 2 | 5 430.43/430.56 c 235s | 20 | 1212554 | 695627 | 7933 179 | 2 | 5 432.43/432.59 c 237s | 20 | 1222945 | 700327 | 7933 180 | 2 | 5 434.53/434.61 c 239s | 20 | 1231413 | 706127 | 7933 182 | 2 | 5 436.52/436.64 c 241s | 20 | 1240598 | 712927 | 7933 183 | 2 | 5 438.52/438.66 c 243s | 20 | 1249119 | 718927 | 7933 185 | 2 | 5 440.52/440.66 c 245s | 20 | 1258375 | 725427 | 7933 186 | 2 | 5 442.53/442.67 c 247s | 20 | 1267119 | 731627 | 7933 188 | 2 | 5 444.52/444.68 c 249s | 20 | 1275970 | 737727 | 7933 189 | 2 | 5 446.53/446.68 c 251s | 20 | 1284832 | 744027 | 7933 191 | 2 | 5 448.62/448.71 c 253s | 20 | 1294262 | 750827 | 7933 193 | 2 | 5 450.62/450.76 c 255s | 20 | 1304710 | 758427 | 7933 195 | 2 | 5 452.62/452.77 c 257s | 20 | 1314766 | 764427 | 7933 196 | 2 | 5 454.62/454.79 c 259s | 20 | 1324679 | 770227 | 8727 197 | 2 | 5 456.72/456.82 c 261s | 20 | 1336386 | 775627 | 8727 198 | 2 | 5 458.72/458.85 c 263s | 20 | 1345104 | 780827 | 8727 200 | 2 | 5 460.72/460.86 c 265s | 20 | 1352579 | 786827 | 8727 201 | 2 | 5 462.82/462.92 c 267s | 20 | 1362686 | 793427 | 8727 203 | 2 | 5 464.82/464.93 c 269s | 20 | 1372213 | 800427 | 8727 204 | 2 | 5 466.92/467.01 c 271s | 20 | 1381610 | 806627 | 8727 206 | 2 | 5 468.92/469.02 c 273s | 20 | 1391280 | 813027 | 8727 207 | 2 | 5 470.92/471.02 c 275s | 20 | 1399813 | 819427 | 8727 208 | 2 | 5 472.93/473.03 c 277s | 20 | 1410775 | 825027 | 8727 210 | 2 | 5 475.02/475.11 c 279s | 20 | 1418287 | 830427 | 8727 211 | 2 | 5 477.02/477.13 c 281s | 20 | 1432093 | 836527 | 8727 212 | 2 | 5 479.02/479.15 c 283s | 20 | 1444155 | 842027 | 8727 214 | 2 | 5 481.02/481.18 c 285s | 20 | 1456648 | 847927 | 8727 215 | 2 | 5 483.01/483.18 c 287s | 20 | 1467178 | 853627 | 8727 216 | 2 | 5 485.02/485.18 c 289s | 20 | 1476765 | 859227 | 8727 217 | 2 | 5 487.11/487.20 c 291s | 20 | 1488208 | 865227 | 8727 219 | 2 | 5 489.11/489.21 c 293s | 20 | 1498508 | 871027 | 8727 220 | 2 | 5 491.11/491.21 c 295s | 20 | 1506644 | 876227 | 8727 221 | 2 | 5 493.11/493.22 c 297s | 20 | 1514831 | 881727 | 8727 223 | 2 | 5 495.22/495.31 c 299s | 20 | 1523573 | 887027 | 8727 224 | 2 | 5 497.23/497.31 c 301s | 20 | 1533992 | 892327 | 8727 225 | 2 | 5 499.22/499.33 c 303s | 20 | 1546749 | 898127 | 8727 226 | 2 | 5 501.22/501.35 c 305s | 20 | 1555813 | 903627 | 8727 227 | 2 | 5 503.22/503.37 c 307s | 20 | 1563043 | 909227 | 8727 229 | 2 | 5 505.32/505.40 c 309s | 20 | 1571461 | 915827 | 8727 230 | 2 | 5 507.31/507.42 c 311s | 20 | 1579817 | 922227 | 8727 232 | 2 | 5 509.32/509.43 c 313s | 20 | 1588484 | 928627 | 8727 233 | 2 | 5 511.31/511.46 c 316s | 20 | 1599286 | 934127 | 8727 234 | 2 | 5 513.31/513.47 c 318s | 20 | 1608045 | 938627 | 8727 235 | 2 | 5 515.41/515.50 c 320s | 20 | 1618199 | 943627 | 8727 237 | 2 | 5 517.41/517.53 c 322s | 20 | 1629766 | 949427 | 8727 238 | 2 | 5 519.41/519.54 c 324s | 20 | 1639030 | 955427 | 8727 239 | 2 | 5 521.51/521.60 c 326s | 20 | 1650362 | 961127 | 8727 241 | 2 | 5 523.52/523.63 c 328s | 20 | 1661573 | 967127 | 8727 242 | 2 | 5 525.51/525.63 c 330s | 20 | 1672792 | 972727 | 8727 243 | 2 | 5 527.51/527.65 c 332s | 20 | 1684137 | 978527 | 8727 244 | 2 | 5 529.51/529.67 c 334s | 20 | 1694937 | 984327 | 8727 246 | 2 | 5 531.51/531.68 c 336s | 20 | 1706203 | 990727 | 8727 247 | 2 | 5 533.61/533.72 c 338s | 20 | 1715526 | 996327 | 8727 249 | 2 | 5 534.71/534.84 c 339s | 21 | 1724134 | 1000345 | 8727 249 | 2 | 5 536.71/536.86 c 341s | 21 | 1732715 | 1004945 | 8727 250 | 2 | 5 538.71/538.89 c 343s | 21 | 1738449 | 1009445 | 8727 251 | 2 | 5 540.80/540.90 c 345s | 21 | 1747909 | 1014745 | 8727 253 | 2 | 5 542.80/542.91 c 347s | 21 | 1758307 | 1019545 | 8727 254 | 2 | 5 544.81/544.92 c 349s | 21 | 1770529 | 1025345 | 8727 255 | 2 | 5 546.81/546.95 c 351s | 21 | 1779189 | 1031645 | 8727 257 | 2 | 5 548.82/548.97 c 353s | 21 | 1790616 | 1038745 | 8727 258 | 2 | 5 550.81/550.99 c 355s | 21 | 1799362 | 1044845 | 8727 259 | 2 | 5 552.91/553.00 c 357s | 21 | 1808395 | 1051345 | 8727 261 | 2 | 5 554.91/555.02 c 359s | 21 | 1816443 | 1057345 | 8727 262 | 2 | 5 556.90/557.04 c 361s | 21 | 1825468 | 1064045 | 8727 264 | 2 | 5 558.90/559.04 c 363s | 21 | 1834814 | 1070445 | 8727 265 | 2 | 5 560.91/561.05 c 365s | 21 | 1844907 | 1076045 | 8727 267 | 2 | 5 562.90/563.09 c 367s | 21 | 1856400 | 1081245 | 8727 268 | 2 | 5 564.90/565.09 c 369s | 21 | 1867381 | 1086345 | 8727 269 | 2 | 5 567.00/567.11 c 371s | 21 | 1877055 | 1091445 | 8727 270 | 2 | 5 569.00/569.12 c 373s | 21 | 1885644 | 1096545 | 8727 271 | 2 | 5 571.01/571.16 c 375s | 21 | 1893802 | 1101845 | 8727 272 | 2 | 5 573.01/573.16 c 377s | 21 | 1902077 | 1106145 | 8727 273 | 2 | 5 575.01/575.19 c 379s | 21 | 1910139 | 1110545 | 8727 274 | 2 | 5 577.11/577.21 c 381s | 21 | 1918243 | 1115545 | 8727 275 | 2 | 5 579.10/579.24 c 383s | 21 | 1926540 | 1120345 | 8727 277 | 2 | 5 581.10/581.26 c 385s | 21 | 1934683 | 1125645 | 8727 278 | 2 | 5 583.21/583.34 c 387s | 21 | 1943770 | 1131845 | 8727 279 | 2 | 5 585.30/585.44 c 389s | 21 | 1952661 | 1138145 | 8727 281 | 2 | 5 587.31/587.45 c 392s | 21 | 1961227 | 1144445 | 8727 282 | 2 | 5 589.30/589.47 c 394s | 21 | 1969098 | 1149945 | 8727 283 | 2 | 5 591.40/591.53 c 396s | 21 | 1977468 | 1155745 | 8727 285 | 2 | 5 593.40/593.53 c 398s | 21 | 1985498 | 1161445 | 8727 286 | 2 | 5 595.40/595.56 c 400s | 21 | 1993284 | 1167345 | 8727 287 | 2 | 5 597.40/597.56 c 402s | 21 | 2001747 | 1173645 | 8727 289 | 2 | 5 599.41/599.56 c 404s | 21 | 2012220 | 1180345 | 8727 290 | 2 | 5 601.40/601.58 c 406s | 21 | 2021059 | 1186545 | 8727 291 | 2 | 5 603.40/603.58 c 408s | 21 | 2029780 | 1192745 | 8727 293 | 2 | 5 605.50/605.60 c 410s | 21 | 2037680 | 1198445 | 8727 294 | 2 | 5 607.49/607.62 c 412s | 21 | 2046701 | 1204845 | 8727 296 | 2 | 5 609.49/609.62 c 414s | 21 | 2056045 | 1210945 | 8727 297 | 2 | 5 611.50/611.63 c 416s | 21 | 2064737 | 1216345 | 8727 298 | 2 | 5 613.49/613.66 c 418s | 21 | 2071895 | 1221845 | 8727 299 | 2 | 5 615.49/615.69 c 420s | 21 | 2083970 | 1228845 | 8727 301 | 2 | 5 617.59/617.72 c 422s | 21 | 2095018 | 1234545 | 8727 302 | 2 | 5 619.59/619.75 c 424s | 21 | 2106614 | 1239945 | 8727 304 | 2 | 5 621.59/621.76 c 426s | 21 | 2116197 | 1245345 | 8727 305 | 2 | 5 623.60/623.79 c 428s | 21 | 2125556 | 1250545 | 8727 306 | 2 | 5 625.59/625.79 c 430s | 21 | 2136761 | 1256345 | 8727 307 | 2 | 5 627.59/627.79 c 432s | 21 | 2148777 | 1262145 | 8727 309 | 2 | 5 629.69/629.82 c 434s | 21 | 2158587 | 1268545 | 8727 310 | 2 | 5 631.69/631.82 c 436s | 21 | 2167934 | 1274445 | 8727 311 | 2 | 5 633.70/633.85 c 438s | 21 | 2177709 | 1280345 | 8727 313 | 2 | 5 635.70/635.86 c 440s | 21 | 2188933 | 1286545 | 8727 314 | 2 | 5 637.70/637.88 c 442s | 21 | 2198932 | 1292445 | 8727 315 | 2 | 5 639.69/639.89 c 444s | 21 | 2208465 | 1298545 | 8727 317 | 2 | 5 641.79/641.91 c 446s | 21 | 2218994 | 1304445 | 8727 318 | 2 | 5 643.79/643.91 c 448s | 21 | 2229207 | 1310145 | 8727 319 | 2 | 5 645.79/645.93 c 450s | 21 | 2240285 | 1315645 | 8727 321 | 2 | 5 647.80/647.94 c 452s | 21 | 2252827 | 1321945 | 8727 322 | 2 | 5 649.79/649.95 c 454s | 21 | 2261428 | 1327745 | 8727 323 | 2 | 5 651.79/651.95 c 456s | 21 | 2271419 | 1333345 | 8727 325 | 2 | 5 653.79/653.99 c 458s | 21 | 2282209 | 1338545 | 8727 326 | 2 | 5 655.79/655.99 c 460s | 21 | 2291973 | 1344345 | 8727 327 | 2 | 5 657.89/658.05 c 462s | 21 | 2300521 | 1349945 | 8727 329 | 2 | 5 659.89/660.07 c 464s | 21 | 2310455 | 1354845 | 8727 330 | 2 | 5 661.89/662.07 c 466s | 21 | 2323845 | 1361845 | 8727 331 | 2 | 5 663.89/664.08 c 468s | 21 | 2334118 | 1367045 | 8727 332 | 2 | 5 665.99/666.10 c 470s | 21 | 2345201 | 1372545 | 8727 334 | 2 | 5 667.99/668.10 c 472s | 21 | 2354177 | 1378145 | 8727 335 | 2 | 5 669.99/670.11 c 474s | 21 | 2362682 | 1383145 | 8727 336 | 2 | 5 672.00/672.11 c 476s | 21 | 2369661 | 1388145 | 8727 337 | 2 | 5 673.99/674.16 c 478s | 21 | 2378208 | 1393345 | 8727 338 | 2 | 5 675.99/676.19 c 480s | 21 | 2387727 | 1398645 | 8727 340 | 2 | 5 678.09/678.21 c 482s | 21 | 2398973 | 1404845 | 8727 341 | 2 | 5 680.09/680.23 c 484s | 21 | 2409087 | 1411145 | 8727 342 | 2 | 5 682.09/682.23 c 486s | 21 | 2417824 | 1417245 | 8727 344 | 2 | 5 684.10/684.24 c 488s | 21 | 2425700 | 1423145 | 8727 345 | 2 | 5 686.19/686.30 c 490s | 21 | 2434086 | 1429345 | 8727 347 | 2 | 5 688.19/688.31 c 492s | 21 | 2442045 | 1435345 | 8727 348 | 2 | 5 690.19/690.32 c 494s | 21 | 2450071 | 1441245 | 8727 349 | 2 | 5 692.19/692.34 c 496s | 21 | 2458600 | 1447445 | 8727 351 | 2 | 5 694.19/694.37 c 498s | 21 | 2467125 | 1453645 | 8727 352 | 2 | 5 696.30/696.42 c 500s | 21 | 2472900 | 1457745 | 8727 353 | 2 | 5 698.29/698.42 c 502s | 21 | 2487976 | 1463645 | 8727 354 | 2 | 5 700.29/700.43 c 504s | 21 | 2499696 | 1469445 | 8727 356 | 2 | 5 702.29/702.46 c 507s | 21 | 2510457 | 1475945 | 8727 357 | 2 | 5 704.29/704.47 c 509s | 21 | 2522819 | 1482245 | 8727 358 | 2 | 5 706.29/706.48 c 511s | 21 | 2532758 | 1487945 | 8727 360 | 2 | 5 708.29/708.48 c 513s | 21 | 2541419 | 1493745 | 8727 361 | 2 | 5 710.39/710.51 c 515s | 21 | 2551945 | 1499645 | 8727 362 | 2 | 5 710.69/710.87 c 515s | 22 | 2554068 | 1500622 | 8727 363 | 2 | 5 712.69/712.88 c 517s | 22 | 2563545 | 1505922 | 8727 364 | 2 | 5 714.69/714.88 c 519s | 22 | 2575020 | 1512022 | 8727 365 | 2 | 5 716.69/716.90 c 521s | 22 | 2586202 | 1518122 | 9600 366 | 2 | 5 718.78/718.97 c 523s | 22 | 2596200 | 1523822 | 9600 368 | 2 | 5 720.78/720.98 c 525s | 22 | 2608220 | 1530322 | 9600 369 | 2 | 5 722.78/722.98 c 527s | 22 | 2619508 | 1536422 | 9600 370 | 2 | 5 724.89/725.00 c 529s | 22 | 2629375 | 1542522 | 9600 371 | 2 | 5 726.88/727.01 c 531s | 22 | 2638740 | 1549322 | 9600 373 | 2 | 5 728.88/729.04 c 533s | 22 | 2648036 | 1555322 | 9600 374 | 2 | 5 730.88/731.05 c 535s | 22 | 2656655 | 1560622 | 9600 375 | 2 | 5 732.87/733.05 c 537s | 22 | 2666045 | 1565022 | 9600 376 | 2 | 5 734.87/735.06 c 539s | 22 | 2678887 | 1571522 | 9600 377 | 2 | 5 736.87/737.06 c 541s | 22 | 2689767 | 1577422 | 9600 379 | 2 | 5 738.87/739.08 c 543s | 22 | 2700138 | 1583122 | 9600 380 | 2 | 5 740.97/741.11 c 545s | 22 | 2711603 | 1588822 | 9600 381 | 2 | 5 742.97/743.14 c 547s | 22 | 2721758 | 1594322 | 9600 382 | 2 | 5 744.97/745.16 c 549s | 22 | 2732469 | 1600422 | 9600 383 | 2 | 5 746.96/747.18 c 551s | 22 | 2744279 | 1606022 | 9600 385 | 2 | 5 749.07/749.28 c 553s | 22 | 2754219 | 1611322 | 9600 386 | 2 | 5 751.06/751.28 c 555s | 22 | 2767851 | 1617222 | 9600 387 | 2 | 5 753.06/753.29 c 557s | 22 | 2779299 | 1623722 | 9600 388 | 2 | 5 755.06/755.29 c 559s | 22 | 2788306 | 1629422 | 9600 389 | 2 | 5 757.16/757.30 c 561s | 22 | 2799700 | 1635722 | 9600 391 | 2 | 5 759.16/759.32 c 563s | 22 | 2808587 | 1640922 | 9600 392 | 2 | 5 761.16/761.33 c 565s | 22 | 2819224 | 1647422 | 9600 393 | 2 | 5 763.15/763.35 c 567s | 22 | 2829491 | 1653322 | 9600 394 | 2 | 5 765.15/765.38 c 569s | 22 | 2839262 | 1659022 | 9600 396 | 2 | 5 767.15/767.38 c 571s | 22 | 2849698 | 1665122 | 9600 397 | 2 | 5 769.25/769.40 c 573s | 22 | 2858944 | 1670922 | 9600 398 | 2 | 5 771.25/771.40 c 575s | 22 | 2869037 | 1676622 | 9600 399 | 2 | 5 773.26/773.42 c 577s | 22 | 2879470 | 1682822 | 9600 400 | 2 | 5 775.25/775.45 c 580s | 22 | 2889614 | 1688722 | 9600 402 | 2 | 5 777.25/777.45 c 582s | 22 | 2900557 | 1694622 | 9600 403 | 2 | 5 779.25/779.48 c 584s | 22 | 2911087 | 1700922 | 9600 404 | 2 | 5 781.34/781.51 c 586s | 22 | 2921985 | 1707522 | 9600 406 | 2 | 5 783.45/783.69 c 588s | 22 | 2931630 | 1713522 | 9600 407 | 2 | 5 785.54/785.71 c 590s | 22 | 2944092 | 1720022 | 9600 408 | 2 | 5 787.54/787.73 c 592s | 22 | 2953349 | 1726022 | 9600 409 | 2 | 5 789.54/789.73 c 594s | 22 | 2963776 | 1731922 | 9600 411 | 2 | 5 791.53/791.73 c 596s | 22 | 2972952 | 1736922 | 9600 412 | 2 | 5 793.54/793.73 c 598s | 22 | 2982672 | 1742622 | 9600 413 | 2 | 5 795.52/795.77 c 600s | 22 | 2990449 | 1747622 | 9600 414 | 2 | 5 797.53/797.79 c 602s | 22 | 3002400 | 1753122 | 9600 415 | 2 | 5 799.63/799.81 c 604s | 22 | 3011411 | 1758822 | 9600 416 | 2 | 5 801.62/801.82 c 606s | 22 | 3020720 | 1764322 | 9600 417 | 2 | 5 803.63/803.87 c 608s | 22 | 3030973 | 1770122 | 9600 419 | 2 | 5 805.62/805.88 c 610s | 22 | 3040213 | 1776022 | 9600 420 | 2 | 5 807.72/807.90 c 612s | 22 | 3047999 | 1781422 | 9600 421 | 2 | 5 809.72/809.91 c 614s | 22 | 3055855 | 1786222 | 9600 422 | 2 | 5 811.73/811.91 c 616s | 22 | 3067158 | 1791622 | 9600 423 | 2 | 5 813.71/813.93 c 618s | 22 | 3077402 | 1797722 | 9600 424 | 2 | 5 815.71/815.95 c 620s | 22 | 3085025 | 1802922 | 9600 425 | 2 | 5 817.71/817.96 c 622s | 22 | 3093356 | 1808622 | 9600 426 | 2 | 5 819.71/819.97 c 624s | 22 | 3102996 | 1814122 | 9600 428 | 2 | 5 821.71/821.99 c 626s | 22 | 3114077 | 1820422 | 9600 429 | 2 | 5 823.82/824.01 c 628s | 22 | 3123681 | 1825922 | 9600 430 | 2 | 5 825.80/826.04 c 630s | 22 | 3131697 | 1831822 | 9600 431 | 2 | 5 827.80/828.06 c 632s | 22 | 3141931 | 1837822 | 9600 432 | 2 | 5 829.81/830.07 c 634s | 22 | 3150768 | 1843122 | 9600 434 | 2 | 5 831.80/832.07 c 636s | 22 | 3161241 | 1849422 | 9600 435 | 2 | 5 833.90/834.10 c 638s | 22 | 3171195 | 1854922 | 9600 436 | 2 | 5 835.91/836.12 c 640s | 22 | 3180487 | 1860122 | 9600 437 | 2 | 5 837.90/838.15 c 642s | 22 | 3190218 | 1865922 | 9600 438 | 2 | 5 840.00/840.23 c 644s | 22 | 3200168 | 1871822 | 9600 440 | 2 | 5 842.00/842.23 c 646s | 22 | 3210436 | 1878422 | 9600 441 | 2 | 5 844.00/844.25 c 648s | 22 | 3219190 | 1884122 | 9600 442 | 2 | 5 846.00/846.25 c 650s | 22 | 3227720 | 1889622 | 9600 443 | 2 | 5 848.01/848.28 c 652s | 22 | 3236399 | 1894822 | 9600 444 | 2 | 5 850.00/850.30 c 654s | 22 | 3246353 | 1900322 | 9600 445 | 2 | 5 852.10/852.31 c 656s | 22 | 3257790 | 1906522 | 9600 447 | 2 | 5 854.10/854.33 c 658s | 22 | 3267214 | 1912522 | 9600 448 | 2 | 5 856.09/856.34 c 660s | 22 | 3276301 | 1918622 | 9600 449 | 2 | 5 858.09/858.37 c 662s | 22 | 3285755 | 1924422 | 9600 450 | 2 | 5 860.10/860.39 c 664s | 22 | 3294933 | 1929922 | 9600 452 | 2 | 5 862.09/862.40 c 666s | 22 | 3305478 | 1935922 | 9600 453 | 2 | 5 864.19/864.42 c 668s | 22 | 3314023 | 1942022 | 9600 454 | 2 | 5 866.19/866.45 c 671s | 22 | 3324102 | 1948322 | 9600 455 | 2 | 5 868.19/868.48 c 673s | 22 | 3333147 | 1953922 | 9600 457 | 2 | 5 870.28/870.50 c 675s | 22 | 3341894 | 1959522 | 9600 458 | 2 | 5 872.28/872.51 c 677s | 22 | 3351012 | 1965122 | 9600 459 | 2 | 5 874.29/874.51 c 679s | 22 | 3360370 | 1970722 | 9600 460 | 2 | 5 876.28/876.54 c 681s | 22 | 3371269 | 1976822 | 9600 461 | 2 | 5 878.28/878.54 c 683s | 22 | 3380406 | 1982322 | 9600 462 | 2 | 5 880.37/880.61 c 685s | 22 | 3390699 | 1987822 | 9600 464 | 2 | 5 882.38/882.62 c 687s | 22 | 3402357 | 1994822 | 9600 465 | 2 | 5 884.37/884.63 c 689s | 22 | 3411784 | 2000422 | 9600 466 | 2 | 5 886.38/886.65 c 691s | 22 | 3420331 | 2005322 | 9600 467 | 2 | 5 888.48/888.70 c 693s | 22 | 3430947 | 2012022 | 9600 469 | 2 | 5 890.47/890.70 c 695s | 22 | 3440707 | 2018122 | 9600 470 | 2 | 5 892.48/892.71 c 697s | 22 | 3448380 | 2022822 | 9600 471 | 2 | 5 894.47/894.72 c 699s | 22 | 3458710 | 2029522 | 9600 472 | 2 | 5 896.47/896.73 c 701s | 22 | 3466513 | 2035322 | 9600 473 | 2 | 5 898.48/898.75 c 703s | 22 | 3475335 | 2041422 | 9600 475 | 2 | 5 900.46/900.75 c 705s | 22 | 3483770 | 2046922 | 9600 476 | 2 | 5 902.46/902.76 c 707s | 22 | 3493691 | 2053122 | 9600 477 | 2 | 5 904.46/904.78 c 709s | 22 | 3502617 | 2059422 | 9600 478 | 2 | 5 906.57/906.86 c 711s | 22 | 3511522 | 2065122 | 9600 480 | 2 | 5 908.57/908.88 c 713s | 22 | 3521219 | 2071622 | 9600 481 | 2 | 5 910.67/910.90 c 715s | 22 | 3530585 | 2078022 | 9600 482 | 2 | 5 912.67/912.91 c 717s | 22 | 3540262 | 2084322 | 9600 483 | 2 | 5 914.67/914.92 c 719s | 22 | 3548484 | 2090222 | 9600 485 | 2 | 5 916.66/916.93 c 721s | 22 | 3557841 | 2096922 | 9600 486 | 2 | 5 918.66/918.93 c 723s | 22 | 3567459 | 2103322 | 9600 487 | 2 | 5 920.66/920.95 c 725s | 22 | 3577329 | 2109622 | 9600 489 | 2 | 5 922.66/923.00 c 727s | 22 | 3587563 | 2116322 | 9600 490 | 2 | 5 924.76/925.00 c 729s | 22 | 3597357 | 2122022 | 9600 491 | 2 | 5 926.75/927.01 c 731s | 22 | 3607711 | 2128022 | 9600 493 | 2 | 5 928.75/929.04 c 733s | 22 | 3616322 | 2133722 | 9600 494 | 2 | 5 930.75/931.05 c 735s | 22 | 3625383 | 2139722 | 9600 495 | 2 | 5 932.75/933.07 c 737s | 22 | 3632976 | 2144922 | 9600 496 | 2 | 5 934.75/935.09 c 739s | 22 | 3642371 | 2151122 | 9600 497 | 2 | 5 936.85/937.12 c 741s | 22 | 3651826 | 2156822 | 9600 499 | 2 | 5 938.84/939.13 c 743s | 22 | 3661897 | 2162422 | 9600 500 | 2 | 5 941.14/941.46 c 746s | 22 | 3670494 | 2168422 | 9600 501 | 2 | 5 943.14/943.49 c 748s | 22 | 3680896 | 2174522 | 9600 502 | 2 | 5 945.25/945.52 c 750s | 22 | 3689510 | 2180322 | 9600 503 | 2 | 5 947.25/947.53 c 752s | 22 | 3698311 | 2185822 | 9600 504 | 2 | 5 949.25/949.54 c 754s | 22 | 3707484 | 2191522 | 9600 506 | 2 | 5 951.25/951.54 c 756s | 22 | 3716850 | 2197122 | 9600 507 | 2 | 5 953.24/953.56 c 758s | 22 | 3726155 | 2202822 | 9600 508 | 2 | 5 955.24/955.57 c 760s | 22 | 3735269 | 2208822 | 9600 509 | 2 | 5 957.34/957.60 c 762s | 22 | 3744311 | 2214622 | 9600 510 | 2 | 5 959.34/959.61 c 764s | 22 | 3753953 | 2220322 | 9600 512 | 2 | 5 961.34/961.63 c 766s | 22 | 3763739 | 2226422 | 9600 513 | 2 | 5 963.34/963.64 c 768s | 22 | 3774182 | 2232022 | 9600 514 | 2 | 5 965.33/965.67 c 770s | 22 | 3781764 | 2236722 | 9600 515 | 2 | 5 967.43/967.71 c 772s | 22 | 3791000 | 2243122 | 9600 516 | 2 | 5 967.93/968.28 c 772s | 22 | 3792191 | 2244136 | 9600 517 | 3 | 7 967.93/968.28 c #cpu_time = 772.681s 967.93/968.28 c #wall_clock_time = 772.836s 967.93/968.28 c #decision = 3792191 967.93/968.28 c #random_decision = 18187 967.93/968.28 c #conflict = 2244136 967.93/968.28 c #restart = 22 967.93/968.28 c BCD2: updating lower bound of a core 967.93/968.28 c lower bound updated to -8 967.93/968.28 c BCD2: 42 <= obj <= 43 967.93/968.28 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 967.93/968.28 c BCD2: #sat=2 #unsat=5 bias=5/7 967.93/968.28 c Solving starts ... 967.93/968.28 c ============================[ Search Statistics ]============================ 967.93/968.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 967.93/968.28 c | | | | Limit GC | Var | Constra 967.93/968.28 c ============================================================================= 967.93/968.28 c 0.0s | 0 | 0 | 0 | 9600 0 | 3 | 8 968.43/968.71 c 0.4s | 1 | 169 | 100 | 9600 0 | 3 | 8 968.53/968.87 c 0.6s | 2 | 474 | 250 | 9600 0 | 3 | 8 968.63/968.93 c 0.6s | 3 | 886 | 475 | 9600 0 | 3 | 8 968.63/968.99 c 0.7s | 4 | 1382 | 813 | 9600 0 | 3 | 8 968.84/969.12 c 0.8s | 5 | 2141 | 1320 | 9600 0 | 3 | 8 969.03/969.39 c 1.1s | 6 | 3012 | 2081 | 9600 0 | 3 | 8 969.23/969.59 c 1.3s | 7 | 5962 | 3223 | 9600 0 | 3 | 8 969.73/970.03 c 1.8s | 8 | 10518 | 4936 | 9600 0 | 3 | 8 970.63/970.95 c 2.7s | 9 | 14805 | 7506 | 9600 0 | 3 | 8 972.43/972.70 c 4.4s | 10 | 20350 | 11361 | 9600 1 | 3 | 8 974.44/974.72 c 6.4s | 10 | 28031 | 16661 | 9600 2 | 3 | 8 974.63/974.91 c 6.6s | 11 | 28818 | 17144 | 9600 2 | 3 | 8 976.63/976.92 c 8.6s | 11 | 37026 | 21444 | 9600 3 | 3 | 8 978.62/978.95 c 10.7s | 11 | 43537 | 25744 | 9600 4 | 3 | 8 978.62/978.99 c 10.7s | 12 | 43618 | 25819 | 9600 4 | 3 | 8 980.72/981.01 c 12.7s | 12 | 50453 | 29419 | 9600 5 | 3 | 8 982.72/983.05 c 14.8s | 12 | 56230 | 33419 | 9600 6 | 3 | 8 984.72/985.05 c 16.8s | 12 | 65317 | 37519 | 9600 7 | 3 | 8 985.32/985.63 c 17.3s | 13 | 67286 | 38832 | 9600 7 | 3 | 8 987.31/987.64 c 19.4s | 13 | 76685 | 44232 | 9600 8 | 3 | 8 989.31/989.67 c 21.4s | 13 | 88609 | 49932 | 9600 9 | 3 | 8 991.31/991.68 c 23.4s | 13 | 97832 | 54932 | 9600 10 | 3 | 8 992.61/992.92 c 24.6s | 14 | 102769 | 58352 | 9600 11 | 3 | 8 994.61/994.94 c 26.7s | 14 | 111874 | 63952 | 9600 12 | 3 | 8 996.61/996.97 c 28.7s | 14 | 120505 | 69452 | 9600 13 | 3 | 8 998.71/999.05 c 30.8s | 14 | 129879 | 75952 | 9600 15 | 3 | 8 1000.72/1001.09 c 32.8s | 14 | 140235 | 82352 | 9600 16 | 3 | 8 1002.51/1002.81 c 34.5s | 15 | 148512 | 87632 | 9600 17 | 3 | 8 1004.51/1004.84 c 36.6s | 15 | 166145 | 93132 | 9600 18 | 3 | 8 1006.51/1006.86 c 38.6s | 15 | 175762 | 98032 | 9600 19 | 3 | 8 1008.51/1008.88 c 40.6s | 15 | 185005 | 103432 | 9600 20 | 3 | 8 1010.50/1010.89 c 42.6s | 15 | 194218 | 109432 | 9600 21 | 3 | 8 1012.60/1012.95 c 44.7s | 15 | 202858 | 114632 | 9600 23 | 3 | 8 1014.60/1014.96 c 46.7s | 15 | 210545 | 119432 | 9600 23 | 3 | 8 1016.60/1016.98 c 48.7s | 15 | 215900 | 123432 | 9600 24 | 3 | 8 1016.90/1017.25 c 49.0s | 15 | 217794 | 124004 | 9600 24 | 3 | 8 1016.90/1017.25 c #cpu_time = 48.941s 1016.90/1017.25 c #wall_clock_time = 48.970s 1016.90/1017.25 c #decision = 217794 1016.90/1017.25 c #random_decision = 1112 1016.90/1017.25 c #conflict = 124004 1016.90/1017.25 c #restart = 15 1016.90/1017.25 o -7 1016.90/1017.25 c BCD2: updating upper bound: 43 -> 42 1016.90/1017.25 c BCD2: 42 <= obj <= 42 1016.90/1017.25 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 1016.90/1017.25 c BCD2: #sat=3 #unsat=5 bias=5/8 1016.90/1017.25 c Solving starts ... 1016.90/1017.25 c ============================[ Search Statistics ]============================ 1016.90/1017.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1016.90/1017.25 c | | | | Limit GC | Var | Constra 1016.90/1017.25 c ============================================================================= 1016.90/1017.25 c 0.0s | 0 | 0 | 0 | 9600 0 | 3 | 10 1017.00/1017.34 c 0.1s | 1 | 354 | 100 | 9600 0 | 3 | 10 1017.10/1017.48 c 0.2s | 2 | 1832 | 250 | 9600 0 | 3 | 10 1017.40/1017.79 c 0.5s | 3 | 3096 | 475 | 9600 1 | 3 | 10 1017.50/1017.89 c 0.6s | 4 | 3651 | 813 | 9600 1 | 3 | 10 1017.70/1018.07 c 0.8s | 5 | 5216 | 1320 | 9600 1 | 3 | 10 1018.00/1018.31 c 1.1s | 6 | 6524 | 2081 | 9600 1 | 3 | 10 1018.40/1018.76 c 1.5s | 7 | 8879 | 3223 | 9600 1 | 3 | 10 1019.20/1019.58 c 2.3s | 8 | 12056 | 4936 | 9600 1 | 3 | 10 1020.30/1020.68 c 3.4s | 9 | 19936 | 7506 | 9600 2 | 3 | 10 1021.49/1021.82 c 4.6s | 10 | 26936 | 11361 | 9600 3 | 3 | 10 1023.39/1023.75 c 6.5s | 11 | 36482 | 17144 | 9600 4 | 3 | 10 1025.38/1025.77 c 8.5s | 11 | 45298 | 22744 | 9600 5 | 3 | 10 1026.59/1026.93 c 9.7s | 12 | 49842 | 25819 | 9600 6 | 3 | 10 1028.59/1028.94 c 11.7s | 12 | 59553 | 30819 | 9600 7 | 3 | 10 1030.59/1030.97 c 13.7s | 12 | 70187 | 36619 | 9600 8 | 3 | 10 1031.59/1031.92 c 14.7s | 13 | 73888 | 38832 | 9600 8 | 3 | 10 1033.59/1033.95 c 16.7s | 13 | 81191 | 43332 | 9600 9 | 3 | 10 1035.58/1035.97 c 18.7s | 13 | 88457 | 48232 | 9600 10 | 3 | 10 1037.58/1037.99 c 20.7s | 13 | 98810 | 53932 | 9600 12 | 3 | 10 1039.38/1039.79 c 22.5s | 14 | 106844 | 58352 | 9600 12 | 3 | 10 1041.49/1041.81 c 24.6s | 14 | 114565 | 62552 | 9600 13 | 3 | 10 1043.47/1043.84 c 26.6s | 14 | 124794 | 68352 | 9600 15 | 3 | 10 1045.48/1045.84 c 28.6s | 14 | 136386 | 73052 | 9600 16 | 3 | 10 1047.47/1047.86 c 30.6s | 14 | 146613 | 78752 | 9600 17 | 3 | 10 1049.47/1049.87 c 32.6s | 14 | 154080 | 83852 | 9600 18 | 3 | 10 1051.28/1051.66 c 34.4s | 15 | 158700 | 87632 | 9600 19 | 3 | 10 1053.27/1053.69 c 36.4s | 15 | 168129 | 93232 | 9600 20 | 3 | 10 1055.36/1055.70 c 38.5s | 15 | 176503 | 98432 | 9600 21 | 3 | 10 1057.37/1057.71 c 40.5s | 15 | 185026 | 103932 | 9600 22 | 3 | 10 1059.37/1059.72 c 42.5s | 15 | 194985 | 109432 | 9600 23 | 3 | 10 1061.37/1061.72 c 44.5s | 15 | 205893 | 115032 | 9600 24 | 3 | 10 1063.38/1063.75 c 46.5s | 15 | 212958 | 120232 | 9600 25 | 3 | 10 1065.36/1065.77 c 48.5s | 15 | 225242 | 125832 | 9600 26 | 3 | 10 1067.36/1067.79 c 50.5s | 15 | 233967 | 131332 | 9600 28 | 3 | 10 1067.46/1067.87 c 50.6s | 16 | 234318 | 131552 | 9600 28 | 3 | 10 1069.46/1069.88 c 52.6s | 16 | 243631 | 136952 | 9600 29 | 3 | 10 1071.56/1071.92 c 54.7s | 16 | 251857 | 142152 | 9600 30 | 3 | 10 1073.56/1073.96 c 56.7s | 16 | 262996 | 147952 | 9600 31 | 3 | 10 1075.55/1075.99 c 58.7s | 16 | 268832 | 152352 | 9600 32 | 3 | 10 1077.66/1078.02 c 60.8s | 16 | 277435 | 156652 | 9600 33 | 3 | 10 1079.65/1080.05 c 62.8s | 16 | 285492 | 160952 | 9600 34 | 3 | 10 1081.65/1082.07 c 64.8s | 16 | 292604 | 165252 | 9600 35 | 3 | 10 1083.75/1084.10 c 66.9s | 16 | 299945 | 170252 | 9600 36 | 3 | 10 1085.74/1086.13 c 68.9s | 16 | 306643 | 174952 | 9600 37 | 3 | 10 1087.74/1088.14 c 70.9s | 16 | 317787 | 180252 | 9600 38 | 3 | 10 1089.75/1090.17 c 72.9s | 16 | 326439 | 185952 | 9600 39 | 3 | 10 1091.74/1092.19 c 74.9s | 16 | 334570 | 191052 | 9600 40 | 3 | 10 1093.84/1094.22 c 77.0s | 16 | 344202 | 196852 | 9600 41 | 3 | 10 1094.04/1094.42 c 77.2s | 17 | 345429 | 197432 | 9600 41 | 3 | 10 1096.03/1096.45 c 79.2s | 17 | 357025 | 203332 | 9600 42 | 3 | 10 1098.03/1098.48 c 81.2s | 17 | 368046 | 208632 | 9600 43 | 3 | 10 1100.04/1100.49 c 83.2s | 17 | 376613 | 213532 | 9600 44 | 3 | 10 1102.14/1102.52 c 85.3s | 17 | 385035 | 218732 | 9600 46 | 3 | 10 1104.15/1104.55 c 87.3s | 17 | 393348 | 224232 | 9600 47 | 3 | 10 1106.14/1106.59 c 89.3s | 17 | 402157 | 228932 | 9600 48 | 3 | 10 1108.24/1108.66 c 91.4s | 17 | 409093 | 233532 | 9600 49 | 3 | 10 1110.24/1110.68 c 93.4s | 17 | 417431 | 238732 | 9600 50 | 3 | 10 1112.24/1112.68 c 95.4s | 17 | 427646 | 244132 | 9600 51 | 3 | 10 1114.34/1114.71 c 97.5s | 17 | 435669 | 249832 | 9600 52 | 3 | 10 1116.33/1116.73 c 99.5s | 17 | 445165 | 256232 | 9600 53 | 3 | 10 1118.44/1118.82 c 101s | 17 | 454792 | 262132 | 9600 55 | 3 | 10 1120.43/1120.83 c 103s | 17 | 464261 | 268132 | 10560 56 | 3 | 10 1122.43/1122.86 c 105s | 17 | 474103 | 273332 | 10560 57 | 3 | 10 1124.43/1124.88 c 107s | 17 | 483621 | 279132 | 10560 58 | 3 | 10 1126.42/1126.89 c 109s | 17 | 492920 | 284732 | 10560 59 | 3 | 10 1128.52/1128.92 c 111s | 17 | 502245 | 290032 | 10560 60 | 3 | 10 1130.53/1130.92 c 113s | 17 | 511264 | 295132 | 10560 61 | 3 | 10 1130.82/1131.24 c 113s | 18 | 514312 | 296252 | 10560 61 | 3 | 10 1132.82/1133.27 c 116s | 18 | 521091 | 300052 | 10560 62 | 3 | 10 1134.93/1135.33 c 118s | 18 | 528495 | 304452 | 10560 62 | 3 | 10 1136.92/1137.36 c 120s | 18 | 534149 | 307952 | 10560 63 | 3 | 10 1139.02/1139.40 c 122s | 18 | 539156 | 311952 | 10560 64 | 3 | 10 1141.02/1141.41 c 124s | 18 | 545171 | 315952 | 10560 65 | 3 | 10 1143.02/1143.45 c 126s | 18 | 550743 | 320352 | 10560 65 | 3 | 10 1145.01/1145.48 c 128s | 18 | 556301 | 324152 | 10560 66 | 3 | 10 1147.11/1147.52 c 130s | 18 | 562630 | 328352 | 10560 67 | 3 | 10 1149.11/1149.57 c 132s | 18 | 569584 | 332852 | 10560 68 | 3 | 10 1151.11/1151.59 c 134s | 18 | 579239 | 338452 | 10560 69 | 3 | 10 1153.20/1153.61 c 136s | 18 | 586248 | 343152 | 10560 70 | 3 | 10 1155.20/1155.68 c 138s | 18 | 594367 | 347952 | 10560 71 | 3 | 10 1157.30/1157.72 c 140s | 18 | 603460 | 353052 | 10560 71 | 3 | 10 1159.30/1159.76 c 142s | 18 | 612386 | 358052 | 10560 72 | 3 | 10 1161.40/1161.80 c 144s | 18 | 620421 | 362952 | 10560 73 | 3 | 10 1163.41/1163.82 c 146s | 18 | 629117 | 367452 | 10560 74 | 3 | 10 1165.39/1165.83 c 148s | 18 | 638079 | 372252 | 10560 75 | 3 | 10 1167.39/1167.84 c 150s | 18 | 648090 | 376952 | 10560 76 | 3 | 10 1169.39/1169.86 c 152s | 18 | 657245 | 382152 | 10560 77 | 3 | 10 1171.39/1171.88 c 154s | 18 | 665014 | 388052 | 10560 78 | 3 | 10 1173.49/1173.91 c 156s | 18 | 671590 | 393152 | 10560 79 | 3 | 10 1175.49/1175.92 c 158s | 18 | 678625 | 397952 | 10560 80 | 3 | 10 1177.49/1177.94 c 160s | 18 | 687835 | 403552 | 10560 81 | 3 | 10 1179.48/1179.96 c 162s | 18 | 696480 | 409052 | 10560 82 | 3 | 10 1181.48/1181.97 c 164s | 18 | 705268 | 414152 | 10560 83 | 3 | 10 1183.59/1184.00 c 166s | 18 | 710716 | 418152 | 10560 84 | 3 | 10 1185.58/1186.00 c 168s | 18 | 716281 | 421752 | 10560 84 | 3 | 10 1187.58/1188.01 c 170s | 18 | 722881 | 426452 | 10560 85 | 3 | 10 1189.57/1190.02 c 172s | 18 | 732767 | 432252 | 10560 86 | 3 | 10 1191.58/1192.03 c 174s | 18 | 739507 | 437452 | 10560 87 | 3 | 10 1193.57/1194.04 c 176s | 18 | 748423 | 443052 | 10560 88 | 3 | 10 1194.07/1194.57 c 177s | 19 | 750754 | 444482 | 10560 89 | 3 | 10 1196.06/1196.57 c 179s | 19 | 762476 | 449782 | 10560 90 | 3 | 10 1198.07/1198.58 c 181s | 19 | 773905 | 455782 | 10560 91 | 3 | 10 1200.17/1200.63 c 183s | 19 | 782026 | 461282 | 10560 92 | 3 | 10 1202.17/1202.64 c 185s | 19 | 789415 | 465782 | 10560 93 | 3 | 10 1204.17/1204.65 c 187s | 19 | 797644 | 470582 | 10560 94 | 3 | 10 1206.27/1206.71 c 189s | 19 | 803942 | 475282 | 10560 94 | 3 | 10 1208.26/1208.72 c 191s | 19 | 812153 | 480182 | 10560 95 | 3 | 10 1210.26/1210.76 c 193s | 19 | 820902 | 485282 | 10560 96 | 3 | 10 1212.26/1212.79 c 195s | 19 | 830324 | 490282 | 10560 97 | 3 | 10 1214.36/1214.81 c 197s | 19 | 837720 | 495082 | 10560 98 | 3 | 10 1216.36/1216.84 c 199s | 19 | 845434 | 499982 | 10560 99 | 3 | 10 1218.36/1218.87 c 201s | 19 | 852798 | 504382 | 10560 100 | 3 | 10 1220.36/1220.88 c 203s | 19 | 858320 | 508182 | 10560 101 | 3 | 10 1222.45/1222.94 c 205s | 19 | 867019 | 513082 | 10560 102 | 3 | 10 1224.45/1224.98 c 207s | 19 | 873868 | 517982 | 10560 102 | 3 | 10 1226.45/1226.99 c 209s | 19 | 881065 | 522782 | 10560 103 | 3 | 10 1228.55/1229.02 c 211s | 19 | 887825 | 527582 | 10560 104 | 3 | 10 1230.55/1231.05 c 213s | 19 | 894651 | 532182 | 10560 105 | 3 | 10 1232.65/1233.11 c 215s | 19 | 901245 | 536782 | 10560 106 | 3 | 10 1234.65/1235.11 c 217s | 19 | 908753 | 541182 | 10560 107 | 3 | 10 1236.64/1237.14 c 219s | 19 | 916953 | 546082 | 10560 108 | 3 | 10 1238.64/1239.15 c 221s | 19 | 923626 | 550782 | 10560 109 | 3 | 10 1240.74/1241.24 c 223s | 19 | 930854 | 555582 | 10560 110 | 3 | 10 1242.84/1243.33 c 226s | 19 | 937405 | 560382 | 10560 110 | 3 | 10 1244.84/1245.34 c 228s | 19 | 946552 | 565382 | 10560 111 | 3 | 10 1246.83/1247.36 c 230s | 19 | 953570 | 570382 | 10560 112 | 3 | 10 1248.83/1249.40 c 232s | 19 | 960456 | 575482 | 10560 113 | 3 | 10 1250.93/1251.42 c 234s | 19 | 967456 | 580982 | 10560 114 | 3 | 10 1252.93/1253.45 c 236s | 19 | 975733 | 587182 | 10560 115 | 3 | 10 1254.93/1255.48 c 238s | 19 | 983551 | 592982 | 10560 116 | 3 | 10 1257.03/1257.50 c 240s | 19 | 992654 | 598582 | 10560 118 | 3 | 10 1259.03/1259.60 c 242s | 19 | 999511 | 603782 | 10560 119 | 3 | 10 1261.12/1261.60 c 244s | 19 | 1006379 | 608982 | 10560 119 | 3 | 10 1263.12/1263.62 c 246s | 19 | 1013266 | 614282 | 10560 120 | 3 | 10 1265.12/1265.63 c 248s | 19 | 1022752 | 620282 | 10560 122 | 3 | 10 1267.11/1267.66 c 250s | 19 | 1031110 | 626482 | 10560 123 | 3 | 10 1269.11/1269.68 c 252s | 19 | 1036414 | 630682 | 10560 124 | 3 | 10 1271.31/1271.81 c 254s | 19 | 1043232 | 635782 | 10560 125 | 3 | 10 1273.32/1273.82 c 256s | 19 | 1050882 | 641582 | 10560 126 | 3 | 10 1275.31/1275.84 c 258s | 19 | 1058804 | 647382 | 10560 127 | 3 | 10 1277.31/1277.85 c 260s | 19 | 1065925 | 652982 | 10560 128 | 3 | 10 1279.31/1279.87 c 262s | 19 | 1072949 | 658482 | 10560 129 | 3 | 10 1281.30/1281.87 c 264s | 19 | 1080076 | 663782 | 10560 130 | 3 | 10 1282.40/1282.97 c 265s | 20 | 1083810 | 666827 | 10560 130 | 3 | 10 1284.41/1285.00 c 267s | 20 | 1094238 | 672727 | 10560 131 | 3 | 10 1286.40/1287.00 c 269s | 20 | 1102801 | 677527 | 10560 132 | 3 | 10 1288.50/1289.01 c 271s | 20 | 1111488 | 682827 | 10560 133 | 3 | 10 1290.51/1291.02 c 273s | 20 | 1121096 | 688027 | 10560 134 | 3 | 10 1292.50/1293.05 c 275s | 20 | 1131030 | 693527 | 10560 135 | 3 | 10 1294.51/1295.06 c 277s | 20 | 1141144 | 699227 | 10560 136 | 3 | 10 1296.50/1297.08 c 279s | 20 | 1151281 | 704627 | 10560 137 | 3 | 10 1298.49/1299.10 c 281s | 20 | 1160457 | 709827 | 10560 138 | 3 | 10 1300.60/1301.12 c 283s | 20 | 1171545 | 715327 | 10560 139 | 3 | 10 1302.59/1303.14 c 285s | 20 | 1183278 | 720927 | 10560 141 | 3 | 10 1304.60/1305.16 c 287s | 20 | 1194417 | 726827 | 10560 142 | 3 | 10 1306.59/1307.18 c 289s | 20 | 1204358 | 732127 | 10560 143 | 3 | 10 1308.68/1309.20 c 291s | 20 | 1214827 | 737627 | 10560 144 | 3 | 10 1310.70/1311.20 c 293s | 20 | 1224219 | 743527 | 10560 145 | 3 | 10 1312.68/1313.22 c 295s | 20 | 1232836 | 747927 | 10560 146 | 3 | 10 1314.68/1315.23 c 297s | 20 | 1243471 | 754227 | 10560 147 | 3 | 10 1316.68/1317.23 c 299s | 20 | 1252053 | 759527 | 10560 148 | 3 | 10 1318.68/1319.25 c 302s | 20 | 1259074 | 764127 | 10560 149 | 3 | 10 1320.68/1321.26 c 304s | 20 | 1272361 | 770327 | 10560 150 | 3 | 10 1322.68/1323.28 c 306s | 20 | 1281239 | 776127 | 10560 151 | 3 | 10 1324.67/1325.29 c 308s | 20 | 1287589 | 780227 | 10560 152 | 3 | 10 1326.88/1327.40 c 310s | 20 | 1295064 | 784827 | 10560 153 | 3 | 10 1328.87/1329.42 c 312s | 20 | 1302885 | 789227 | 10560 153 | 3 | 10 1330.87/1331.45 c 314s | 20 | 1309908 | 793727 | 10560 154 | 3 | 10 1332.87/1333.48 c 316s | 20 | 1318805 | 798827 | 10560 155 | 3 | 10 1334.88/1335.48 c 318s | 20 | 1329014 | 804427 | 10560 156 | 3 | 10 1336.97/1337.51 c 320s | 20 | 1338732 | 809727 | 10560 157 | 3 | 10 1338.97/1339.52 c 322s | 20 | 1348606 | 814127 | 10560 158 | 3 | 10 1340.96/1341.57 c 324s | 20 | 1360085 | 819627 | 10560 159 | 3 | 10 1343.07/1343.60 c 326s | 20 | 1368375 | 824827 | 10560 160 | 3 | 10 1345.07/1345.61 c 328s | 20 | 1375953 | 829427 | 10560 161 | 3 | 10 1347.07/1347.63 c 330s | 20 | 1384322 | 834627 | 10560 162 | 3 | 10 1349.16/1349.74 c 332s | 20 | 1389502 | 838427 | 10560 163 | 3 | 10 1351.16/1351.74 c 334s | 20 | 1399191 | 844027 | 10560 164 | 3 | 10 1353.15/1353.76 c 336s | 20 | 1408820 | 849027 | 10560 165 | 3 | 10 1355.16/1355.78 c 338s | 20 | 1416073 | 853927 | 10560 166 | 3 | 10 1357.35/1357.92 c 340s | 20 | 1424179 | 859227 | 10560 167 | 3 | 10 1359.36/1359.94 c 342s | 20 | 1435311 | 865127 | 10560 168 | 3 | 10 1361.36/1361.97 c 344s | 20 | 1444713 | 871127 | 10560 169 | 3 | 10 1363.35/1363.98 c 346s | 20 | 1453890 | 876327 | 10560 170 | 3 | 10 1365.35/1365.99 c 348s | 20 | 1464142 | 881327 | 10560 171 | 3 | 10 1367.45/1368.01 c 350s | 20 | 1472819 | 885927 | 10560 172 | 3 | 10 1369.45/1370.03 c 352s | 20 | 1484500 | 891727 | 10560 173 | 3 | 10 1371.45/1372.07 c 354s | 20 | 1494304 | 896827 | 10560 174 | 3 | 10 1373.46/1374.08 c 356s | 20 | 1503735 | 901827 | 10560 175 | 3 | 10 1375.44/1376.08 c 358s | 20 | 1515214 | 907827 | 10560 176 | 3 | 10 1377.55/1378.10 c 360s | 20 | 1523591 | 912727 | 10560 177 | 3 | 10 1379.55/1380.18 c 362s | 20 | 1531651 | 917627 | 10560 178 | 3 | 10 1381.55/1382.18 c 364s | 20 | 1540027 | 922727 | 10560 178 | 3 | 10 1383.65/1384.22 c 366s | 20 | 1547151 | 927727 | 10560 179 | 3 | 10 1385.74/1386.32 c 369s | 20 | 1554733 | 932527 | 10560 180 | 3 | 10 1387.75/1388.36 c 371s | 20 | 1567709 | 938127 | 10560 181 | 3 | 10 1389.74/1390.39 c 373s | 20 | 1575264 | 942827 | 10560 182 | 3 | 10 1391.84/1392.43 c 375s | 20 | 1582610 | 947427 | 10560 183 | 3 | 10 1393.84/1394.46 c 377s | 20 | 1589726 | 951727 | 10560 184 | 3 | 10 1395.84/1396.48 c 379s | 20 | 1600176 | 956727 | 10560 185 | 3 | 10 1397.94/1398.51 c 381s | 20 | 1610386 | 961327 | 10560 186 | 3 | 10 1399.94/1400.54 c 383s | 20 | 1618991 | 967227 | 10560 187 | 3 | 10 1401.94/1402.54 c 385s | 20 | 1627983 | 972527 | 10560 188 | 3 | 10 1403.94/1404.57 c 387s | 20 | 1639168 | 977727 | 10560 189 | 3 | 10 1405.94/1406.57 c 389s | 20 | 1648880 | 983427 | 10560 190 | 3 | 10 1408.03/1408.60 c 391s | 20 | 1656784 | 988127 | 10560 191 | 3 | 10 1410.03/1410.62 c 393s | 20 | 1665485 | 993527 | 10560 192 | 3 | 10 1412.03/1412.63 c 395s | 20 | 1674296 | 999727 | 10560 193 | 3 | 10 1412.23/1412.89 c 395s | 21 | 1675315 | 1000345 | 10560 193 | 3 | 10 1414.33/1414.90 c 397s | 21 | 1683004 | 1005145 | 10560 194 | 3 | 10 1416.34/1416.91 c 399s | 21 | 1691278 | 1009945 | 10560 195 | 3 | 10 1418.33/1418.92 c 401s | 21 | 1700428 | 1014645 | 10560 196 | 3 | 10 1420.33/1420.93 c 403s | 21 | 1708896 | 1020345 | 10560 197 | 3 | 10 1422.33/1422.94 c 405s | 21 | 1717170 | 1025145 | 10560 198 | 3 | 10 1424.33/1424.97 c 407s | 21 | 1726517 | 1030045 | 10560 199 | 3 | 10 1426.34/1426.98 c 409s | 21 | 1737503 | 1035745 | 10560 200 | 3 | 10 1428.44/1429.03 c 411s | 21 | 1747634 | 1041545 | 10560 201 | 3 | 10 1430.44/1431.04 c 413s | 21 | 1755095 | 1046445 | 10560 202 | 3 | 10 1432.43/1433.04 c 415s | 21 | 1763356 | 1051545 | 10560 203 | 3 | 10 1434.44/1435.06 c 417s | 21 | 1771062 | 1056345 | 10560 204 | 3 | 10 1436.44/1437.06 c 419s | 21 | 1779217 | 1060845 | 10560 204 | 3 | 10 1438.43/1439.08 c 421s | 21 | 1786346 | 1065845 | 10560 205 | 3 | 10 1440.44/1441.09 c 423s | 21 | 1796208 | 1071345 | 10560 206 | 3 | 10 1442.53/1443.11 c 425s | 21 | 1805363 | 1076445 | 10560 207 | 3 | 10 1444.53/1445.11 c 427s | 21 | 1816062 | 1081745 | 10560 208 | 3 | 10 1446.53/1447.14 c 429s | 21 | 1822485 | 1086445 | 10560 209 | 3 | 10 1448.53/1449.16 c 431s | 21 | 1829412 | 1091145 | 10560 210 | 3 | 10 1450.54/1451.17 c 433s | 21 | 1837577 | 1095945 | 10560 211 | 3 | 10 1452.64/1453.21 c 435s | 21 | 1846126 | 1101445 | 10560 212 | 3 | 10 1454.63/1455.25 c 437s | 21 | 1853752 | 1106645 | 10560 213 | 3 | 10 1456.63/1457.25 c 440s | 21 | 1860950 | 1111845 | 10560 214 | 3 | 10 1458.63/1459.27 c 442s | 21 | 1869596 | 1117645 | 10560 215 | 3 | 10 1460.63/1461.30 c 444s | 21 | 1879823 | 1123745 | 10560 216 | 3 | 10 1462.73/1463.34 c 446s | 21 | 1889198 | 1128945 | 10560 217 | 3 | 10 1464.74/1465.36 c 448s | 21 | 1898093 | 1133945 | 10560 218 | 3 | 10 1466.73/1467.38 c 450s | 21 | 1908390 | 1139045 | 10560 219 | 3 | 10 1468.73/1469.39 c 452s | 21 | 1915169 | 1143845 | 10560 220 | 3 | 10 1470.83/1471.40 c 454s | 21 | 1924301 | 1148445 | 10560 221 | 3 | 10 1472.83/1473.41 c 456s | 21 | 1933436 | 1154045 | 10560 222 | 3 | 10 1474.83/1475.44 c 458s | 21 | 1942140 | 1159645 | 10560 223 | 3 | 10 1476.83/1477.44 c 460s | 21 | 1950974 | 1164145 | 10560 224 | 3 | 10 1478.82/1479.46 c 462s | 21 | 1960692 | 1170045 | 10560 225 | 3 | 10 1480.82/1481.49 c 464s | 21 | 1970955 | 1175645 | 10560 226 | 3 | 10 1482.92/1483.52 c 466s | 21 | 1979949 | 1181545 | 10560 227 | 3 | 10 1484.92/1485.54 c 468s | 21 | 1988142 | 1186545 | 10560 228 | 3 | 10 1486.93/1487.55 c 470s | 21 | 1996923 | 1191545 | 10560 229 | 3 | 10 1488.93/1489.57 c 472s | 21 | 2005978 | 1197645 | 10560 230 | 3 | 10 1490.93/1491.60 c 474s | 21 | 2015265 | 1202845 | 10560 231 | 3 | 10 1493.03/1493.62 c 476s | 21 | 2025070 | 1208445 | 10560 232 | 3 | 10 1495.03/1495.62 c 478s | 21 | 2034531 | 1214045 | 10560 233 | 3 | 10 1497.02/1497.62 c 480s | 21 | 2044000 | 1219745 | 10560 234 | 3 | 10 1499.02/1499.63 c 482s | 21 | 2052914 | 1225545 | 10560 235 | 3 | 10 1501.03/1501.66 c 484s | 21 | 2061010 | 1231045 | 10560 237 | 3 | 10 1503.13/1503.70 c 486s | 21 | 2069312 | 1236745 | 10560 238 | 3 | 10 1505.12/1505.73 c 488s | 21 | 2077260 | 1242645 | 10560 239 | 3 | 10 1507.33/1507.95 c 490s | 21 | 2084841 | 1247845 | 10560 240 | 3 | 10 1509.32/1509.97 c 492s | 21 | 2093673 | 1253445 | 10560 241 | 3 | 10 1511.52/1512.11 c 494s | 21 | 2100881 | 1258045 | 10560 242 | 3 | 10 1513.52/1514.12 c 496s | 21 | 2111541 | 1264345 | 10560 243 | 3 | 10 1515.52/1516.14 c 498s | 21 | 2121191 | 1268945 | 10560 244 | 3 | 10 1517.53/1518.18 c 500s | 21 | 2128773 | 1273445 | 10560 245 | 3 | 10 1519.62/1520.26 c 503s | 21 | 2140616 | 1278845 | 10560 246 | 3 | 10 1521.62/1522.29 c 505s | 21 | 2151512 | 1284745 | 10560 247 | 3 | 10 1523.72/1524.38 c 507s | 21 | 2160243 | 1289945 | 10560 248 | 3 | 10 1525.82/1526.40 c 509s | 21 | 2169628 | 1295245 | 10560 249 | 3 | 10 1527.82/1528.41 c 511s | 21 | 2179684 | 1300945 | 10560 250 | 3 | 10 1529.82/1530.45 c 513s | 21 | 2188738 | 1306245 | 10560 251 | 3 | 10 1531.82/1532.47 c 515s | 21 | 2198680 | 1311545 | 10560 252 | 3 | 10 1533.82/1534.48 c 517s | 21 | 2208891 | 1317045 | 10560 253 | 3 | 10 1535.82/1536.49 c 519s | 21 | 2218562 | 1322345 | 10560 254 | 3 | 10 1537.92/1538.52 c 521s | 21 | 2227335 | 1327245 | 10560 255 | 3 | 10 1539.92/1540.52 c 523s | 21 | 2234635 | 1331445 | 10560 255 | 3 | 10 1541.92/1542.59 c 525s | 21 | 2242713 | 1336245 | 10560 256 | 3 | 10 1543.93/1544.59 c 527s | 21 | 2251725 | 1341245 | 10560 257 | 3 | 10 1546.03/1546.63 c 529s | 21 | 2262683 | 1346745 | 10560 258 | 3 | 10 1548.02/1548.64 c 531s | 21 | 2273476 | 1352145 | 10560 259 | 3 | 10 1550.02/1550.65 c 533s | 21 | 2284789 | 1357845 | 10560 260 | 3 | 10 1552.02/1552.68 c 535s | 21 | 2294132 | 1362545 | 10560 261 | 3 | 10 1554.12/1554.72 c 537s | 21 | 2302000 | 1367245 | 10560 262 | 3 | 10 1556.12/1556.74 c 539s | 21 | 2310255 | 1372045 | 10560 263 | 3 | 10 1558.12/1558.78 c 541s | 21 | 2319682 | 1377245 | 10560 264 | 3 | 10 1560.12/1560.79 c 543s | 21 | 2329351 | 1382045 | 10560 265 | 3 | 10 1562.21/1562.86 c 545s | 21 | 2336813 | 1387345 | 10560 266 | 3 | 10 1564.21/1564.87 c 547s | 21 | 2343961 | 1391545 | 10560 267 | 3 | 10 1566.32/1566.90 c 549s | 21 | 2350401 | 1395745 | 10560 268 | 3 | 10 1568.32/1568.93 c 551s | 21 | 2359847 | 1401145 | 10560 269 | 3 | 10 1570.42/1571.00 c 553s | 21 | 2370657 | 1406445 | 10560 270 | 3 | 10 1572.42/1573.03 c 555s | 21 | 2378865 | 1411345 | 10560 270 | 3 | 10 1574.41/1575.06 c 557s | 21 | 2389602 | 1416645 | 10560 271 | 3 | 10 1576.41/1577.07 c 559s | 21 | 2395555 | 1420945 | 10560 272 | 3 | 10 1578.41/1579.09 c 561s | 21 | 2402794 | 1426145 | 10560 273 | 3 | 10 1580.52/1581.13 c 563s | 21 | 2411251 | 1431645 | 10560 274 | 3 | 10 1582.51/1583.15 c 565s | 21 | 2421719 | 1437145 | 10560 275 | 3 | 10 1584.61/1585.23 c 567s | 21 | 2429045 | 1442245 | 10560 276 | 3 | 10 1586.61/1587.24 c 569s | 21 | 2437750 | 1447645 | 10560 277 | 3 | 10 1588.61/1589.27 c 572s | 21 | 2445455 | 1451845 | 10560 278 | 3 | 10 1590.61/1591.27 c 574s | 21 | 2453604 | 1455845 | 10560 279 | 3 | 10 1592.61/1593.27 c 576s | 21 | 2463427 | 1461145 | 10560 280 | 3 | 10 1594.71/1595.30 c 578s | 21 | 2472107 | 1466445 | 10560 281 | 3 | 10 1596.71/1597.33 c 580s | 21 | 2482937 | 1472445 | 10560 282 | 3 | 10 1598.71/1599.35 c 582s | 21 | 2495177 | 1478245 | 10560 283 | 3 | 10 1600.71/1601.38 c 584s | 21 | 2503449 | 1483345 | 10560 284 | 3 | 10 1602.80/1603.40 c 586s | 21 | 2512142 | 1488845 | 10560 285 | 3 | 10 1604.81/1605.41 c 588s | 21 | 2521428 | 1493645 | 10560 286 | 3 | 10 1606.81/1607.42 c 590s | 21 | 2529090 | 1499245 | 10560 287 | 3 | 10 1607.31/1607.90 c 590s | 22 | 2531315 | 1500622 | 10560 287 | 3 | 10 1609.31/1609.99 c 592s | 22 | 2538266 | 1505422 | 10560 288 | 3 | 10 1611.31/1611.99 c 594s | 22 | 2549512 | 1511622 | 10560 289 | 3 | 10 1613.40/1614.02 c 596s | 22 | 2558263 | 1516722 | 10560 290 | 3 | 10 1615.41/1616.03 c 598s | 22 | 2566035 | 1522322 | 10560 291 | 3 | 10 1617.40/1618.03 c 600s | 22 | 2573806 | 1528022 | 10560 292 | 3 | 10 1619.40/1620.04 c 602s | 22 | 2582209 | 1533322 | 10560 293 | 3 | 10 1621.40/1622.06 c 604s | 22 | 2590848 | 1538522 | 10560 294 | 3 | 10 1623.40/1624.08 c 606s | 22 | 2599679 | 1543722 | 10560 295 | 3 | 10 1625.50/1626.10 c 608s | 22 | 2608398 | 1549122 | 10560 296 | 3 | 10 1627.51/1628.11 c 610s | 22 | 2617149 | 1554322 | 10560 297 | 3 | 10 1629.50/1630.14 c 612s | 22 | 2625008 | 1559822 | 10560 298 | 3 | 10 1631.50/1632.15 c 614s | 22 | 2633283 | 1565022 | 10560 299 | 3 | 10 1633.50/1634.17 c 616s | 22 | 2641206 | 1569422 | 10560 300 | 3 | 10 1635.61/1636.20 c 618s | 22 | 2648034 | 1573822 | 10560 301 | 3 | 10 1637.61/1638.21 c 620s | 22 | 2657891 | 1579122 | 10560 302 | 3 | 10 1639.61/1640.23 c 622s | 22 | 2668560 | 1584422 | 10560 303 | 3 | 10 1641.61/1642.23 c 624s | 22 | 2675992 | 1588722 | 10560 304 | 3 | 10 1643.61/1644.27 c 627s | 22 | 2685352 | 1593622 | 10560 305 | 3 | 10 1645.60/1646.28 c 629s | 22 | 2693980 | 1598722 | 10560 306 | 3 | 10 1647.60/1648.29 c 631s | 22 | 2701854 | 1603922 | 10560 307 | 3 | 10 1649.70/1650.30 c 633s | 22 | 2709335 | 1608622 | 10560 308 | 3 | 10 1651.71/1652.32 c 635s | 22 | 2717308 | 1613422 | 10560 308 | 3 | 10 1653.70/1654.32 c 637s | 22 | 2725865 | 1618122 | 10560 309 | 3 | 10 1655.70/1656.34 c 639s | 22 | 2735008 | 1624222 | 10560 310 | 3 | 10 1657.70/1658.38 c 641s | 22 | 2743059 | 1629522 | 10560 311 | 3 | 10 1659.80/1660.40 c 643s | 22 | 2751087 | 1634622 | 10560 312 | 3 | 10 1661.80/1662.42 c 645s | 22 | 2760161 | 1639122 | 10560 313 | 3 | 10 1663.80/1664.46 c 647s | 22 | 2769122 | 1645022 | 10560 314 | 3 | 10 1665.80/1666.46 c 649s | 22 | 2776739 | 1650022 | 10560 315 | 3 | 10 1667.90/1668.50 c 651s | 22 | 2785130 | 1654922 | 10560 316 | 3 | 10 1669.90/1670.53 c 653s | 22 | 2795792 | 1660122 | 10560 317 | 3 | 10 1671.90/1672.56 c 655s | 22 | 2804941 | 1665822 | 10560 318 | 3 | 10 1673.89/1674.59 c 657s | 22 | 2814918 | 1671422 | 10560 319 | 3 | 10 1676.00/1676.61 c 659s | 22 | 2822613 | 1676622 | 10560 320 | 3 | 10 1678.00/1678.64 c 661s | 22 | 2829657 | 1681822 | 10560 321 | 3 | 10 1679.99/1680.66 c 663s | 22 | 2838003 | 1687922 | 10560 322 | 3 | 10 1681.99/1682.69 c 665s | 22 | 2847050 | 1694022 | 10560 324 | 3 | 10 1684.09/1684.71 c 667s | 22 | 2853784 | 1699022 | 10560 325 | 3 | 10 1686.19/1686.81 c 669s | 22 | 2862798 | 1704322 | 10560 326 | 3 | 10 1688.19/1688.84 c 671s | 22 | 2871528 | 1709822 | 10560 327 | 3 | 10 1690.20/1690.84 c 673s | 22 | 2880236 | 1715622 | 10560 328 | 3 | 10 1692.19/1692.88 c 675s | 22 | 2889835 | 1721222 | 10560 329 | 3 | 10 1694.30/1694.91 c 677s | 22 | 2897905 | 1726222 | 10560 330 | 3 | 10 1696.29/1696.93 c 679s | 22 | 2907407 | 1731622 | 10560 331 | 3 | 10 1698.29/1698.93 c 681s | 22 | 2917637 | 1737322 | 10560 332 | 3 | 10 1700.30/1700.96 c 683s | 22 | 2926709 | 1742622 | 10560 333 | 3 | 10 1702.30/1702.99 c 685s | 22 | 2935694 | 1748422 | 10560 334 | 3 | 10 1704.40/1705.02 c 687s | 22 | 2945100 | 1753622 | 10560 335 | 3 | 10 1706.39/1707.03 c 689s | 22 | 2954225 | 1759322 | 10560 336 | 3 | 10 1708.39/1709.05 c 691s | 22 | 2960901 | 1764022 | 10560 337 | 3 | 10 1710.39/1711.07 c 693s | 22 | 2969111 | 1768522 | 10560 338 | 3 | 10 1712.39/1713.09 c 695s | 22 | 2977280 | 1773122 | 10560 338 | 3 | 10 1714.49/1715.11 c 697s | 22 | 2986463 | 1777922 | 10560 339 | 3 | 10 1716.49/1717.13 c 699s | 22 | 2996118 | 1783722 | 10560 340 | 3 | 10 1718.49/1719.14 c 701s | 22 | 3009315 | 1789422 | 10560 342 | 3 | 10 1720.49/1721.17 c 703s | 22 | 3017322 | 1794622 | 10560 343 | 3 | 10 1722.59/1723.22 c 705s | 22 | 3026806 | 1799822 | 10560 344 | 3 | 10 1724.59/1725.22 c 707s | 22 | 3034244 | 1805422 | 10560 345 | 3 | 10 1726.59/1727.27 c 710s | 22 | 3041199 | 1810422 | 10560 346 | 3 | 10 1728.59/1729.27 c 712s | 22 | 3050147 | 1815322 | 10560 346 | 3 | 10 1730.68/1731.32 c 714s | 22 | 3057879 | 1819822 | 10560 347 | 3 | 10 1732.68/1733.34 c 716s | 22 | 3065717 | 1824622 | 10560 348 | 3 | 10 1734.69/1735.39 c 718s | 22 | 3072801 | 1829022 | 10560 349 | 3 | 10 1736.79/1737.41 c 720s | 22 | 3080740 | 1833922 | 10560 350 | 3 | 10 1738.79/1739.42 c 722s | 22 | 3087659 | 1839022 | 10560 351 | 3 | 10 1740.79/1741.43 c 724s | 22 | 3093723 | 1843622 | 10560 352 | 3 | 10 1742.79/1743.43 c 726s | 22 | 3101328 | 1848222 | 10560 353 | 3 | 10 1744.79/1745.44 c 728s | 22 | 3109433 | 1853022 | 10560 354 | 3 | 10 1746.79/1747.44 c 730s | 22 | 3118595 | 1858222 | 10560 354 | 3 | 10 1748.78/1749.46 c 732s | 22 | 3128211 | 1863422 | 10560 355 | 3 | 10 1750.79/1751.49 c 734s | 22 | 3135636 | 1867922 | 10560 356 | 3 | 10 1752.89/1753.51 c 736s | 22 | 3144138 | 1873122 | 10560 357 | 3 | 10 1754.88/1755.54 c 738s | 22 | 3150911 | 1877722 | 10560 358 | 3 | 10 1756.88/1757.59 c 740s | 22 | 3156414 | 1882222 | 10560 359 | 3 | 10 1758.89/1759.60 c 742s | 22 | 3166630 | 1887922 | 10560 360 | 3 | 10 1760.98/1761.64 c 744s | 22 | 3176970 | 1892922 | 10560 361 | 3 | 10 1762.99/1763.66 c 746s | 22 | 3185671 | 1897922 | 10560 362 | 3 | 10 1765.00/1765.67 c 748s | 22 | 3195667 | 1904122 | 10560 363 | 3 | 10 1766.98/1767.70 c 750s | 22 | 3204393 | 1909722 | 10560 364 | 3 | 10 1769.08/1769.70 c 752s | 22 | 3213039 | 1915222 | 10560 365 | 3 | 10 1771.08/1771.72 c 754s | 22 | 3220646 | 1920422 | 10560 366 | 3 | 10 1773.08/1773.75 c 756s | 22 | 3229575 | 1925522 | 10560 367 | 3 | 10 1775.08/1775.77 c 758s | 22 | 3237176 | 1930722 | 10560 368 | 3 | 10 1777.18/1777.80 c 760s | 22 | 3245246 | 1935722 | 10560 369 | 3 | 10 1779.19/1779.83 c 762s | 22 | 3254412 | 1941022 | 11617 370 | 3 | 10 1781.18/1781.84 c 764s | 22 | 3262559 | 1945522 | 11617 371 | 3 | 10 1783.18/1783.85 c 766s | 22 | 3269965 | 1950322 | 11617 372 | 3 | 10 1785.18/1785.89 c 768s | 22 | 3277531 | 1955522 | 11617 372 | 3 | 10 1787.18/1787.90 c 770s | 22 | 3285605 | 1960022 | 11617 373 | 3 | 10 1789.28/1789.90 c 772s | 22 | 3294287 | 1964722 | 11617 374 | 3 | 10 1791.28/1791.94 c 774s | 22 | 3304126 | 1970022 | 11617 375 | 3 | 10 1793.27/1793.95 c 776s | 22 | 3313764 | 1974822 | 11617 376 | 3 | 10 1795.27/1795.99 c 778s | 22 | 3321842 | 1979722 | 11617 377 | 3 | 10 1797.37/1798.03 c 780s | 22 | 3331146 | 1984522 | 11617 377 | 3 | 10 1799.37/1800.04 c 782s | 22 | 3339442 | 1989622 | 11617 378 | 3 | 10
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080112-1465260836/watcher-4080112-1465260836 -o /tmp/evaluation-result-4080112-1465260836/solver-4080112-1465260836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080112-1465260836.opb pid=13596 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.04 2.05 2.00 3/179 13599 /proc/meminfo: memFree=30619964/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=685500 CPUtime=0 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 2546 0 0 0 0 0 0 0 20 0 4 0 108017040 701952000 3419 33554432000 4194304 16246674 140733668506688 140733668506112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 171887 3429 441 2943 0 168781 0 [pid=13599/tid=13600] ppid=13596 vsize=703932 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 720826368 3490 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=708028 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 725020672 3508 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=712124 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 729214976 3525 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.04 2.05 2.00 3/179 13599 /proc/meminfo: memFree=30619964/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 25700 0 0 0 5 4 0 0 20 0 4 0 108017040 1247350784 26559 33554432000 4194304 16246674 140733668506688 140733668506112 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 304529 26568 790 2943 0 301423 0 [pid=13599/tid=13600] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 26575 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 26582 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 26591 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200534 s] /proc/loadavg: 2.04 2.05 2.00 3/179 13599 /proc/meminfo: memFree=30619964/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 48870 0 0 0 13 6 0 0 20 0 4 0 108017040 1247350784 49729 33554432000 4194304 16246674 140733668506688 140733668506112 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 304529 49739 790 2943 0 301423 0 [pid=13599/tid=13600] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 49750 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 49758 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 49763 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300483 s] /proc/loadavg: 2.04 2.05 2.00 3/179 13599 /proc/meminfo: memFree=30619964/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 71310 0 0 0 20 9 0 0 20 0 4 0 108017040 1247350784 72169 33554432000 4194304 16246674 140733668506688 140733668488576 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 304529 72186 790 2943 0 301423 0 [pid=13599/tid=13600] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 72196 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 72206 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 72213 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700411 s] /proc/loadavg: 2.04 2.05 2.00 3/179 13599 /proc/meminfo: memFree=30619964/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 167482 0 0 0 48 21 0 0 20 0 4 0 108017040 1247350784 168341 33554432000 4194304 16246674 140733668506688 140733668488576 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 304529 168350 790 2943 0 301423 0 [pid=13599/tid=13600] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 168356 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 168365 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1247350784 168372 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.04 2.05 2.00 3/183 13603 /proc/meminfo: memFree=29632788/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 246294 0 0 0 118 31 0 0 20 0 4 0 108017040 1250496512 247131 33554432000 4194304 16246674 140733668506688 140733668488576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 305297 247131 850 2943 0 302191 0 [pid=13599/tid=13600] ppid=13596 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1250496512 247131 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1250496512 247131 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1250496512 247131 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10042 s] /proc/loadavg: 2.04 2.05 2.00 3/183 13603 /proc/meminfo: memFree=29551296/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 267557 0 0 0 275 34 0 0 20 0 4 0 108017040 1337528320 268394 33554432000 4194304 16246674 140733668506688 140733668489688 6021028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 326545 268394 850 2943 0 323439 0 [pid=13599/tid=13600] ppid=13596 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1337528320 268394 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1337528320 268394 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1337528320 268394 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.04 2.05 2.00 3/183 13603 /proc/meminfo: memFree=29547112/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1309252 CPUtime=6.29 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 268256 0 0 0 594 35 0 0 20 0 4 0 108017040 1340674048 269093 33554432000 4194304 16246674 140733668506688 140733668489688 5997572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 327313 269093 850 2943 0 324207 0 [pid=13599/tid=13600] ppid=13596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1340674048 269093 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1340674048 269093 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1340674048 269093 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.10 2.06 2.01 3/183 13603 /proc/meminfo: memFree=29543612/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1309252 CPUtime=12.69 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 268403 0 0 0 1233 36 0 0 20 0 4 0 108017040 1340674048 269240 33554432000 4194304 16246674 140733668506688 140733668488576 12477692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 327313 269240 852 2943 0 324207 0 [pid=13599/tid=13600] ppid=13596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1340674048 269240 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1340674048 269240 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1340674048 269240 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.09 2.06 2.01 3/183 13603 /proc/meminfo: memFree=29537056/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 269427 0 0 0 2511 38 0 0 20 0 4 0 108017040 1344868352 270264 33554432000 4194304 16246674 140733668506688 140733668488576 5523288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 328337 270264 852 2943 0 325231 0 [pid=13599/tid=13600] ppid=13596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1344868352 270264 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1344868352 270264 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1344868352 270264 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.06 2.06 2.00 3/183 13603 /proc/meminfo: memFree=29495308/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1322564 CPUtime=51.08 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 271731 0 0 0 5064 44 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140733668488576 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 330641 272568 852 2943 0 327535 0 [pid=13599/tid=13600] ppid=13596 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.09 2.07 2.01 3/183 13604 /proc/meminfo: memFree=29415116/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1322564 CPUtime=102.28 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 271731 0 0 0 10181 47 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140733668489688 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 330641 272568 852 2943 0 327535 0 [pid=13599/tid=13600] ppid=13596 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1354305536 272568 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1351236 [startup+1362.3 s] /proc/loadavg: 2.10 2.07 2.01 3/184 13658 /proc/meminfo: memFree=29379924/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1361.75 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279367 0 0 0 135998 177 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 12874988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1351236 [startup+1422.3 s] /proc/loadavg: 2.07 2.07 2.01 3/184 13659 /proc/meminfo: memFree=29380608/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1421.74 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 141994 180 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1351236 [startup+1482.3 s] /proc/loadavg: 2.12 2.09 2.01 3/184 13660 /proc/meminfo: memFree=29380600/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1481.72 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 147988 184 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 5763334 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1351236 [startup+1542.31 s] /proc/loadavg: 2.17 2.10 2.02 3/184 13661 /proc/meminfo: memFree=29380476/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1541.73 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 153983 190 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 5823064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1351236 [startup+1602.3 s] /proc/loadavg: 2.14 2.11 2.02 3/185 13665 /proc/meminfo: memFree=29380364/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1601.71 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 159973 198 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668489688 5516239 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1351236 [startup+1662.3 s] /proc/loadavg: 2.09 2.10 2.02 3/184 13667 /proc/meminfo: memFree=29378936/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1661.7 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 165967 203 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668504512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1351236 [startup+1722.3 s] /proc/loadavg: 2.10 2.10 2.02 3/184 13668 /proc/meminfo: memFree=29378560/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1721.69 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 171959 210 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1351236 [startup+1782.3 s] /proc/loadavg: 2.08 2.09 2.02 3/184 13669 /proc/meminfo: memFree=29378552/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1781.68 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 177948 220 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668489688 5523352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1351236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 2.13 2.10 2.03 3/184 13718 /proc/meminfo: memFree=29407268/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1800.08 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 179788 220 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1351236 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 13599 sig 9 ??? kill -13599 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.13 2.10 2.03 3/184 13718 /proc/meminfo: memFree=29407268/32872528 swapFree=11196/354588 [pid=13599] ppid=13596 vsize=1351236 CPUtime=1800.08 cores=1,3,5,7 /proc/13599/stat : 13599 (toysat) R 13596 13599 12837 0 -1 4202496 279376 0 0 0 179788 220 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140733668488576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13599/statm: 337809 279744 854 2943 0 334703 0 [pid=13599/tid=13600] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13600/stat : 13600 (toysat) S 13596 13599 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035189878000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13599/tid=13601] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13601/stat : 13601 (toysat) S 13596 13599 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035179388144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13599/tid=13602] ppid=13596 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/13599/task/13602/stat : 13602 (toysat) S 13596 13599 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108017040 1383665664 279744 33554432000 4194304 16246674 140733668506688 140035059870896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1351236 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1797.89 CPU system time (s): 2.20966 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 1351236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.89 system time used= 2.20966 maximum resident set size= 1118976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279376 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= 484 involuntary context switches= 1944 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.50232 second user time and 7.03593 second system time The end
Begin job on node126 at 2016-06-07 02:53:56 IDJOB=4080112 IDBENCH=48231 IDSOLVER=2542 FILE ID=node126/4080112-1465260836 RUNJOBID= node126-1465253620-12854 PBS_JOBID= 19843265 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080112-1465260836/watcher-4080112-1465260836 -o /tmp/evaluation-result-4080112-1465260836/solver-4080112-1465260836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080112-1465260836.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=1558374944 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30620872 kB Buffers: 70872 kB Cached: 143932 kB SwapCached: 2244 kB Active: 1065360 kB Inactive: 129076 kB Active(anon): 979240 kB Inactive(anon): 2384 kB Active(file): 86120 kB Inactive(file): 126692 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098552 kB Dirty: 35044 kB Writeback: 0 kB AnonPages: 1451508 kB Mapped: 10936 kB Shmem: 0 kB Slab: 569224 kB SReclaimable: 13268 kB SUnreclaim: 555956 kB KernelStack: 1520 kB PageTables: 7052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1597076 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 466944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-07 03:23:57