| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.17 | 1800.58 |
| Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb |
| MD5SUM | 2318a0c7fc475c873b2fa45e5e7fe96e |
| Bench Category | DEC-MEDINT (no optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 405.55 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 93 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 93 |
| Maximum length of a constraint | 93 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 22382775 |
| Number of bits of the biggest number in a constraint | 25 |
| Biggest sum of numbers in a constraint | 362318209 |
| Number of bits of the biggest sum of numbers | 29 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c 2016-06-06T20:52:41+0200 0.00/0.02 c version = 0.5.0 0.00/0.02 c githash = 1a49202 0.00/0.02 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.02 c arch = x86_64 0.00/0.02 c os = linux 0.00/0.02 c compiler = ghc 7.10 0.00/0.02 c packages: 0.00/0.02 c OptDir-0.0.3 0.00/0.02 c array-0.5.1.0 0.00/0.02 c base-4.8.2.0 0.00/0.02 c bytestring-0.10.6.0 0.00/0.02 c bytestring-builder-0.10.6.0.0 0.00/0.02 c clock-0.7.2 0.00/0.02 c containers-0.5.6.2 0.00/0.02 c data-default-0.5.3 0.00/0.02 c data-default-class-0.0.1 0.00/0.02 c data-interval-1.2.0 0.00/0.02 c deepseq-1.4.1.1 0.00/0.02 c directory-1.2.2.0 0.00/0.02 c exceptions-0.8.2.1 0.00/0.02 c extended-reals-0.2.1.0 0.00/0.02 c filepath-1.4.0.0 0.00/0.02 c finite-field-0.8.0 0.00/0.02 c hashable-1.2.4.0 0.00/0.02 c heaps-0.3.3 0.00/0.02 c intern-0.9.1.4 0.00/0.02 c loop-0.3.0 0.00/0.02 c mtl-2.2.1 0.00/0.02 c multiset-0.3.2 0.00/0.02 c mwc-random-0.13.3.2 0.00/0.02 c parse_dimacs-1.3 0.00/0.02 c parsec-3.1.9 0.00/0.02 c prettyclass-1.0.0.0 0.00/0.02 c primes-0.2.1.0 0.00/0.02 c primitive-0.6.1.0 0.00/0.02 c process-1.2.3.0 0.00/0.02 c pseudo-boolean-0.1.3.0 0.00/0.03 c queue-0.1.2 0.00/0.03 c semigroups-0.18.1 0.00/0.03 c sign-0.4.3 0.00/0.03 c stm-2.4.4.1 0.00/0.03 c template-haskell-2.10.0.0 0.00/0.03 c temporary-1.2.0.4 0.00/0.03 c time-1.5.0.1 0.00/0.03 c transformers-0.4.2.0 0.00/0.03 c transformers-compat-0.5.1.4 0.00/0.03 c type-level-numbers-0.1.1.1 0.00/0.03 c unbounded-delays-0.1.0.9 0.00/0.03 c unordered-containers-0.2.6.0 0.00/0.03 c vector-0.11.0.0 0.00/0.03 c vector-space-0.10.3 0.00/0.03 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078593-1465239161.opb"] 0.00/0.03 c use --random-gen="2572016707 4153015792 1013833761 3694052653 1165350907 796906390 3222168010 1725803652 1205706665 3379064415 417781993 1069252509 4113329135 2824418526 2281575404 3665805332 53149950 1689191480 3427899799 3506605660 1491208829 1329117236 3714043291 3346406654 3627963835 213855998 965801142 365702892 2053402302 3108795111 438709653 2247397617 404585025 553057240 542054956 4283937184 3463084570 19955369 3336710075 130254261 1761905322 473743243 2129505783 948548624 2557070173 1714578435 2967259867 2187795576 2231246870 3787169791 2992467567 1337157063 2431257126 2746582095 1106838387 2072229276 2028930491 4016613 3904544647 632818929 3438417050 1534014661 2433231054 2558133126 3009551582 3881215402 2789007731 1747689423 1105754436 2754142146 1060712936 3371941165 2991937963 3591378466 3972276386 3951334007 2966560335 544501171 623057073 4070655348 1232620772 850070902 2527241256 3585234277 3542226841 4248137568 3587340746 164054196 1552003390 1290481491 2902537033 1078547261 2050840640 2872183584 173351943 1772553814 963783016 4102276269 87214265 3799963814 3586269475 3604582501 4108054325 2270265727 3715321868 1706788479 151843818 1973795503 3899158915 1770410088 2801904737 1360611876 3074242663 11500648 16869219 3518084487 1962782750 2261249066 1518962981 4221509952 2162259257 3110720977 1522690003 4141419930 1988933739 3794509337 4058068808 2018076825 1182066056 536820202 3640992102 211103466 258780900 3042963572 4139292507 1645770055 2280056730 3627656690 1066223123 214374577 3973501655 2639912756 2464371969 2620561101 2699667742 121458828 3266191790 2065115104 3221005234 2696296183 2306389854 3864632536 364618797 2644508681 1018497176 2791447378 3480974740 2199360320 3403634602 479468470 4162598248 1528382093 320986657 448531597 1866766347 2176095211 1274001996 919268406 2326841750 585572677 927451622 1177189720 3253320692 3513231394 792457874 3764355876 2559117728 160021685 4282392644 602610826 3268852576 364590385 4069220410 3728740846 2102227718 3151410400 82290341 171011112 1159747353 1287556299 3124437862 3219059952 2789445996 637170507 2929553102 848886405 498955765 2361715254 1630910581 1463268653 256544077 4242351831 614356114 2404527177 3563281832 2546322808 3337883211 2670389396 1917182040 872247963 712326166 4259802821 1039960279 714575766 1353608947 324266338 2091872121 1164414196 669758718 1137393484 4118760976 682425509 3144621289 1378466489 1577189503 3069979947 389190456 2123026719 2458051474 3970594921 4134934206 2223145245 3293251969 3444523833 2657169399 1873241340 2732392740 56297044 76447971 367490411 2734831429 1662539378 4000280511 4255726810 568688423 2344341751 3514825212 3551722186 2011186642 2186262962 2030704601 951134746 2445562603 46039076 753676743 3824096557 255 362436" option to reproduce the execution 0.00/0.03 c #vars 93 0.00/0.03 c #constraints 2 248.32/248.40 c Solving starts ... 248.32/248.40 c ============================[ Search Statistics ]============================ 248.32/248.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 248.32/248.40 c | | | | Limit GC | Var | Constra 248.32/248.40 c ============================================================================= 248.32/248.40 c 0.0s | 0 | 0 | 0 | 31 0 | 0 | 0 248.32/248.42 c 0.0s | 1 | 108 | 100 | 31 0 | 0 | 0 248.32/248.45 c 0.0s | 2 | 275 | 250 | 35 4 | 0 | 0 248.32/248.48 c 0.1s | 3 | 510 | 475 | 39 8 | 0 | 0 248.42/248.55 c 0.1s | 4 | 858 | 813 | 43 14 | 0 | 0 248.53/248.63 c 0.2s | 5 | 1382 | 1320 | 48 23 | 0 | 0 248.63/248.77 c 0.4s | 6 | 2157 | 2081 | 59 35 | 0 | 0 248.82/248.96 c 0.6s | 7 | 3309 | 3223 | 65 52 | 0 | 0 249.12/249.26 c 0.9s | 8 | 5046 | 4936 | 72 78 | 0 | 0 249.51/249.69 c 1.3s | 9 | 7639 | 7506 | 80 115 | 0 | 0 250.32/250.44 c 2.0s | 10 | 11511 | 11361 | 88 165 | 0 | 0 251.42/251.54 c 3.1s | 11 | 17311 | 17144 | 97 238 | 0 | 0 253.02/253.17 c 4.8s | 12 | 26005 | 25819 | 107 342 | 0 | 0 255.01/255.18 c 6.8s | 12 | 36924 | 36719 | 107 466 | 0 | 0 255.41/255.56 c 7.2s | 13 | 39034 | 38832 | 118 491 | 0 | 0 257.43/257.58 c 9.2s | 13 | 50249 | 50032 | 118 611 | 0 | 0 258.91/259.03 c 10.6s | 14 | 58572 | 58352 | 130 702 | 0 | 0 260.92/261.03 c 12.6s | 14 | 69482 | 69252 | 130 810 | 0 | 0 262.92/263.04 c 14.6s | 14 | 80387 | 80152 | 130 920 | 0 | 0 264.32/264.40 c 16.0s | 15 | 87866 | 87632 | 143 996 | 0 | 0 266.32/266.41 c 18.0s | 15 | 98684 | 98432 | 143 1098 | 0 | 0 268.32/268.41 c 20.0s | 15 | 109689 | 109432 | 143 1203 | 0 | 0 270.32/270.41 c 22.0s | 15 | 120689 | 120432 | 143 1309 | 0 | 0 272.21/272.38 c 24.0s | 16 | 131811 | 131552 | 158 1417 | 0 | 0 274.21/274.39 c 26.0s | 16 | 142625 | 142352 | 158 1513 | 0 | 0 276.21/276.39 c 28.0s | 16 | 153625 | 153352 | 158 1611 | 0 | 0 278.32/278.40 c 30.0s | 16 | 164725 | 164452 | 158 1711 | 0 | 0 280.32/280.42 c 32.0s | 16 | 176030 | 175752 | 158 1815 | 0 | 0 282.31/282.44 c 34.0s | 16 | 187336 | 187052 | 158 1916 | 0 | 0 284.22/284.31 c 35.9s | 17 | 197722 | 197432 | 174 2008 | 0 | 0 286.21/286.31 c 37.9s | 17 | 208436 | 208132 | 174 2096 | 0 | 0 288.22/288.31 c 39.9s | 17 | 219238 | 218932 | 174 2186 | 0 | 0 290.22/290.32 c 41.9s | 17 | 230440 | 230132 | 174 2281 | 0 | 0 292.21/292.33 c 43.9s | 17 | 241539 | 241232 | 174 2374 | 0 | 0 294.21/294.34 c 45.9s | 17 | 252645 | 252332 | 174 2467 | 0 | 0 296.21/296.35 c 47.9s | 17 | 263346 | 263032 | 174 2556 | 0 | 0 298.21/298.36 c 50.0s | 17 | 274344 | 274032 | 174 2650 | 0 | 0 300.22/300.37 c 52.0s | 17 | 285453 | 285132 | 174 2743 | 0 | 0 302.21/302.38 c 54.0s | 17 | 296360 | 296032 | 192 2835 | 0 | 0 302.31/302.42 c 54.0s | 18 | 296575 | 296252 | 192 2837 | 0 | 0 304.31/304.43 c 56.0s | 18 | 308095 | 307752 | 192 2929 | 0 | 0 306.31/306.44 c 58.0s | 18 | 319597 | 319252 | 192 3019 | 0 | 0 308.31/308.46 c 60.1s | 18 | 330998 | 330652 | 192 3108 | 0 | 0 310.31/310.46 c 62.1s | 18 | 342400 | 342052 | 192 3198 | 0 | 0 312.31/312.47 c 64.1s | 18 | 354002 | 353652 | 192 3291 | 0 | 0 314.30/314.48 c 66.1s | 18 | 365704 | 365352 | 192 3383 | 0 | 0 316.30/316.50 c 68.1s | 18 | 377604 | 377252 | 192 3477 | 0 | 0 318.40/318.50 c 70.1s | 18 | 389804 | 389452 | 192 3576 | 0 | 0 320.40/320.51 c 72.1s | 18 | 402007 | 401652 | 192 3673 | 0 | 0 322.40/322.51 c 74.1s | 18 | 414416 | 414052 | 192 3774 | 0 | 0 324.41/324.51 c 76.1s | 18 | 426820 | 426452 | 192 3875 | 0 | 0 326.40/326.52 c 78.1s | 18 | 438627 | 438252 | 192 3970 | 0 | 0 327.50/327.62 c 79.2s | 19 | 444860 | 444482 | 212 4016 | 0 | 0 329.50/329.63 c 81.2s | 19 | 455874 | 455482 | 212 4094 | 0 | 0 331.51/331.63 c 83.2s | 19 | 467075 | 466682 | 212 4175 | 0 | 0 333.51/333.63 c 85.2s | 19 | 478382 | 477982 | 212 4256 | 0 | 0 335.52/335.65 c 87.3s | 19 | 489779 | 489382 | 212 4339 | 0 | 0 337.51/337.67 c 89.3s | 19 | 501185 | 500782 | 212 4422 | 0 | 0 339.51/339.68 c 91.3s | 19 | 512797 | 512382 | 212 4507 | 0 | 0 341.51/341.68 c 93.3s | 19 | 524293 | 523882 | 212 4591 | 0 | 0 343.51/343.69 c 95.3s | 19 | 535696 | 535282 | 212 4673 | 0 | 0 345.61/345.70 c 97.3s | 19 | 547295 | 546882 | 212 4757 | 0 | 0 347.51/347.70 c 99.3s | 19 | 559199 | 558782 | 212 4843 | 0 | 0 349.60/349.71 c 101s | 19 | 571095 | 570682 | 212 4929 | 0 | 0 351.60/351.72 c 103s | 19 | 582797 | 582382 | 212 5015 | 0 | 0 353.60/353.72 c 105s | 19 | 594496 | 594082 | 212 5101 | 0 | 0 355.60/355.74 c 107s | 19 | 606500 | 606082 | 212 5191 | 0 | 0 357.60/357.74 c 109s | 19 | 618304 | 617882 | 212 5278 | 0 | 0 359.61/359.75 c 111s | 19 | 630310 | 629882 | 212 5367 | 0 | 0 361.60/361.76 c 113s | 19 | 642413 | 641982 | 212 5457 | 0 | 0 363.60/363.76 c 115s | 19 | 654617 | 654182 | 212 5549 | 0 | 0 365.60/365.77 c 117s | 19 | 666720 | 666282 | 234 5639 | 0 | 0 365.70/365.86 c 117s | 20 | 667265 | 666827 | 234 5643 | 0 | 0 367.70/367.86 c 119s | 20 | 678882 | 678427 | 234 5722 | 0 | 0 369.70/369.86 c 121s | 20 | 690883 | 690427 | 234 5805 | 0 | 0 371.71/371.86 c 123s | 20 | 702783 | 702327 | 234 5887 | 0 | 0 373.70/373.87 c 125s | 20 | 714988 | 714527 | 234 5971 | 0 | 0 375.70/375.88 c 127s | 20 | 727284 | 726827 | 234 6057 | 0 | 0 377.70/377.89 c 129s | 20 | 739687 | 739227 | 234 6143 | 0 | 0 379.80/379.90 c 131s | 20 | 752389 | 751927 | 234 6233 | 0 | 0 381.80/381.90 c 133s | 20 | 764686 | 764227 | 234 6319 | 0 | 0 383.81/383.92 c 135s | 20 | 776387 | 775927 | 234 6397 | 0 | 0 385.80/385.93 c 137s | 20 | 787996 | 787527 | 234 6475 | 0 | 0 387.80/387.94 c 139s | 20 | 799303 | 798827 | 234 6551 | 0 | 0 389.80/389.95 c 141s | 20 | 810606 | 810127 | 234 6627 | 0 | 0 391.80/391.97 c 143s | 20 | 822307 | 821827 | 234 6705 | 0 | 0 393.80/393.98 c 145s | 20 | 833915 | 833427 | 234 6785 | 0 | 0 395.80/395.99 c 147s | 20 | 845617 | 845127 | 234 6864 | 0 | 0 397.90/398.00 c 149s | 20 | 857422 | 856927 | 234 6946 | 0 | 0 399.90/400.02 c 151s | 20 | 869529 | 869027 | 234 7029 | 0 | 0 401.90/402.02 c 153s | 20 | 881428 | 880927 | 234 7111 | 0 | 0 403.89/404.02 c 155s | 20 | 893229 | 892727 | 234 7190 | 0 | 0 405.90/406.03 c 157s | 20 | 904926 | 904427 | 234 7269 | 0 | 0 407.89/408.04 c 159s | 20 | 916437 | 915927 | 234 7347 | 0 | 0 409.89/410.05 c 161s | 20 | 927632 | 927127 | 234 7422 | 0 | 0 411.89/412.07 c 163s | 20 | 939346 | 938827 | 234 7502 | 0 | 0 413.89/414.08 c 165s | 20 | 951141 | 950627 | 234 7582 | 0 | 0 415.89/416.08 c 167s | 20 | 963039 | 962527 | 234 7664 | 0 | 0 417.90/418.09 c 169s | 20 | 975248 | 974727 | 234 7750 | 0 | 0 419.99/420.10 c 171s | 20 | 986855 | 986327 | 234 7829 | 0 | 0 421.99/422.10 c 173s | 20 | 998249 | 997727 | 258 7904 | 0 | 0 422.40/422.55 c 174s | 21 | 1000869 | 1000345 | 258 7921 | 0 | 0 424.39/424.56 c 176s | 21 | 1011983 | 1011445 | 258 7989 | 0 | 0 426.39/426.57 c 178s | 21 | 1023583 | 1022945 | 258 8060 | 0 | 0 428.39/428.57 c 180s | 21 | 1034545 | 1033845 | 258 8126 | 0 | 0 430.39/430.58 c 182s | 21 | 1045462 | 1044745 | 258 8192 | 0 | 0 432.39/432.58 c 184s | 21 | 1056219 | 1055445 | 258 8258 | 0 | 0 434.39/434.59 c 186s | 21 | 1067108 | 1066245 | 258 8324 | 0 | 0 436.49/436.60 c 188s | 21 | 1077650 | 1076745 | 258 8388 | 0 | 0 438.49/438.62 c 190s | 21 | 1088468 | 1087545 | 258 8454 | 0 | 0 440.49/440.63 c 192s | 21 | 1099428 | 1098445 | 258 8521 | 0 | 0 442.49/442.63 c 194s | 21 | 1110367 | 1109345 | 258 8587 | 0 | 0 444.48/444.64 c 196s | 21 | 1121683 | 1120645 | 258 8656 | 0 | 0 446.50/446.66 c 198s | 21 | 1132488 | 1131445 | 258 8721 | 0 | 0 448.49/448.66 c 200s | 21 | 1143054 | 1141945 | 258 8786 | 0 | 0 450.48/450.68 c 202s | 21 | 1153682 | 1152545 | 258 8851 | 0 | 0 452.49/452.69 c 204s | 21 | 1164143 | 1162945 | 258 8915 | 0 | 0 454.48/454.69 c 206s | 21 | 1174512 | 1173245 | 258 8979 | 0 | 0 456.59/456.70 c 208s | 21 | 1184856 | 1183545 | 258 9042 | 0 | 0 458.49/458.70 c 210s | 21 | 1195398 | 1194045 | 258 9106 | 0 | 0 460.59/460.70 c 212s | 21 | 1205730 | 1204345 | 258 9169 | 0 | 0 462.58/462.72 c 214s | 21 | 1215943 | 1214545 | 258 9232 | 0 | 0 464.59/464.73 c 216s | 21 | 1226813 | 1225345 | 258 9298 | 0 | 0 466.58/466.75 c 218s | 21 | 1237458 | 1235945 | 258 9362 | 0 | 0 468.59/468.76 c 220s | 21 | 1247991 | 1246445 | 258 9427 | 0 | 0 470.58/470.77 c 222s | 21 | 1258537 | 1256945 | 258 9492 | 0 | 0 472.58/472.78 c 224s | 21 | 1268958 | 1267345 | 258 9555 | 0 | 0 474.59/474.79 c 226s | 21 | 1279295 | 1277645 | 258 9619 | 0 | 0 476.68/476.80 c 228s | 21 | 1289527 | 1287845 | 258 9681 | 0 | 0 478.69/478.82 c 230s | 21 | 1299867 | 1298145 | 258 9745 | 0 | 0 480.69/480.83 c 232s | 21 | 1310122 | 1308345 | 258 9808 | 0 | 0 482.69/482.84 c 234s | 21 | 1320351 | 1318545 | 258 9871 | 0 | 0 484.68/484.85 c 236s | 21 | 1330475 | 1328645 | 258 9933 | 0 | 0 486.68/486.86 c 238s | 21 | 1340624 | 1338745 | 258 9996 | 0 | 0 488.68/488.88 c 240s | 21 | 1351043 | 1349045 | 258 10060 | 0 | 0 490.68/490.89 c 242s | 21 | 1361097 | 1359045 | 258 10122 | 0 | 0 492.79/492.91 c 244s | 21 | 1371740 | 1369645 | 258 10188 | 0 | 0 494.78/494.91 c 246s | 21 | 1382151 | 1380045 | 258 10252 | 0 | 0 496.78/496.91 c 248s | 21 | 1392454 | 1390345 | 258 10315 | 0 | 0 498.78/498.92 c 250s | 21 | 1402457 | 1400345 | 258 10378 | 0 | 0 500.78/500.92 c 252s | 21 | 1412389 | 1410245 | 258 10440 | 0 | 0 502.78/502.93 c 254s | 21 | 1423012 | 1420845 | 258 10505 | 0 | 0 504.78/504.95 c 256s | 21 | 1433162 | 1430945 | 258 10567 | 0 | 0 506.78/506.96 c 258s | 21 | 1443211 | 1440945 | 258 10629 | 0 | 0 508.78/508.98 c 260s | 21 | 1453364 | 1451045 | 258 10692 | 0 | 0 510.78/510.98 c 262s | 21 | 1463302 | 1460945 | 258 10753 | 0 | 0 512.78/512.99 c 264s | 21 | 1473532 | 1471145 | 258 10816 | 0 | 0 514.88/515.00 c 266s | 21 | 1483467 | 1481045 | 258 10877 | 0 | 0 516.88/517.00 c 268s | 21 | 1493420 | 1490945 | 284 10938 | 0 | 0 518.88/519.00 c 270s | 22 | 1503128 | 1500622 | 284 10994 | 0 | 0 520.88/521.01 c 272s | 22 | 1513072 | 1510522 | 284 11049 | 0 | 0 522.87/523.01 c 274s | 22 | 1522974 | 1520422 | 284 11105 | 0 | 0 524.87/525.03 c 276s | 22 | 1532774 | 1530222 | 284 11160 | 0 | 0 526.88/527.03 c 278s | 22 | 1542572 | 1540022 | 284 11216 | 0 | 0 528.88/529.04 c 280s | 22 | 1552274 | 1549722 | 284 11271 | 0 | 0 530.88/531.06 c 282s | 22 | 1561972 | 1559422 | 284 11325 | 0 | 0 532.87/533.07 c 284s | 22 | 1571575 | 1569022 | 284 11380 | 0 | 0 534.88/535.07 c 286s | 22 | 1581076 | 1578522 | 284 11433 | 0 | 0 536.88/537.09 c 288s | 22 | 1590375 | 1587822 | 284 11486 | 0 | 0 538.88/539.09 c 290s | 22 | 1599579 | 1597022 | 284 11538 | 0 | 0 540.97/541.11 c 292s | 22 | 1608977 | 1606422 | 284 11591 | 0 | 0 542.97/543.13 c 294s | 22 | 1618580 | 1616022 | 284 11646 | 0 | 0 544.97/545.13 c 296s | 22 | 1627981 | 1625422 | 284 11699 | 0 | 0 546.97/547.14 c 298s | 22 | 1637377 | 1634822 | 284 11753 | 0 | 0 548.97/549.14 c 300s | 22 | 1646778 | 1644222 | 284 11806 | 0 | 0 550.98/551.15 c 302s | 22 | 1656187 | 1653622 | 284 11859 | 0 | 0 552.97/553.15 c 304s | 22 | 1665585 | 1663022 | 284 11913 | 0 | 0 554.97/555.17 c 306s | 22 | 1674885 | 1672322 | 284 11965 | 0 | 0 556.97/557.17 c 308s | 22 | 1684187 | 1681622 | 284 12018 | 0 | 0 558.97/559.19 c 310s | 22 | 1693288 | 1690722 | 284 12070 | 0 | 0 561.07/561.20 c 312s | 22 | 1702388 | 1699822 | 284 12122 | 0 | 0 563.07/563.21 c 314s | 22 | 1711693 | 1709122 | 284 12176 | 0 | 0 565.07/565.22 c 316s | 22 | 1720691 | 1718122 | 284 12227 | 0 | 0 567.07/567.22 c 318s | 22 | 1729792 | 1727222 | 284 12278 | 0 | 0 569.07/569.24 c 320s | 22 | 1738895 | 1736322 | 284 12330 | 0 | 0 571.07/571.25 c 322s | 22 | 1747898 | 1745322 | 284 12382 | 0 | 0 573.07/573.27 c 324s | 22 | 1756918 | 1754322 | 284 12433 | 0 | 0 575.06/575.28 c 326s | 22 | 1765923 | 1763322 | 284 12485 | 0 | 0 577.07/577.29 c 328s | 22 | 1774725 | 1772122 | 284 12535 | 0 | 0 579.07/579.29 c 330s | 22 | 1783726 | 1781122 | 284 12587 | 0 | 0 581.07/581.29 c 332s | 22 | 1792628 | 1790022 | 284 12639 | 0 | 0 583.17/583.30 c 334s | 22 | 1801629 | 1799022 | 284 12690 | 0 | 0 585.17/585.31 c 336s | 22 | 1810630 | 1808022 | 284 12742 | 0 | 0 587.17/587.32 c 338s | 22 | 1819736 | 1817122 | 284 12795 | 0 | 0 589.16/589.34 c 340s | 22 | 1828736 | 1826122 | 284 12846 | 0 | 0 591.17/591.35 c 342s | 22 | 1837735 | 1835122 | 284 12897 | 0 | 0 593.17/593.37 c 344s | 22 | 1846737 | 1844122 | 284 12949 | 0 | 0 595.16/595.37 c 346s | 22 | 1855640 | 1853022 | 284 13000 | 0 | 0 597.17/597.39 c 348s | 22 | 1864542 | 1861922 | 284 13050 | 0 | 0 599.27/599.40 c 350s | 22 | 1873546 | 1870922 | 284 13102 | 0 | 0 601.26/601.41 c 353s | 22 | 1882348 | 1879722 | 284 13152 | 0 | 0 603.26/603.43 c 355s | 22 | 1891348 | 1888722 | 284 13203 | 0 | 0 605.26/605.43 c 357s | 22 | 1900250 | 1897622 | 284 13254 | 0 | 0 607.26/607.43 c 359s | 22 | 1909253 | 1906622 | 284 13306 | 0 | 0 609.27/609.43 c 361s | 22 | 1918155 | 1915522 | 284 13357 | 0 | 0 611.26/611.45 c 363s | 22 | 1927262 | 1924622 | 284 13409 | 0 | 0 613.26/613.46 c 365s | 22 | 1936467 | 1933822 | 284 13463 | 0 | 0 615.26/615.48 c 367s | 22 | 1945364 | 1942722 | 284 13513 | 0 | 0 617.26/617.48 c 369s | 22 | 1954270 | 1951622 | 284 13564 | 0 | 0 619.27/619.48 c 371s | 22 | 1963263 | 1960622 | 284 13616 | 0 | 0 621.26/621.50 c 373s | 22 | 1972272 | 1969622 | 284 13667 | 0 | 0 623.36/623.50 c 375s | 22 | 1981269 | 1978622 | 284 13718 | 0 | 0 625.36/625.52 c 377s | 22 | 1990279 | 1987622 | 284 13770 | 0 | 0 627.36/627.52 c 379s | 22 | 1999381 | 1996722 | 284 13822 | 0 | 0 629.36/629.55 c 381s | 22 | 2008587 | 2005922 | 284 13875 | 0 | 0 631.37/631.55 c 383s | 22 | 2017686 | 2015022 | 284 13927 | 0 | 0 633.36/633.56 c 385s | 22 | 2026587 | 2023922 | 284 13978 | 0 | 0 635.36/635.57 c 387s | 22 | 2035593 | 2032922 | 284 14030 | 0 | 0 637.36/637.58 c 389s | 22 | 2044504 | 2041822 | 284 14081 | 0 | 0 639.46/639.60 c 391s | 22 | 2054102 | 2051422 | 284 14136 | 0 | 0 641.46/641.61 c 393s | 22 | 2063200 | 2060522 | 284 14188 | 0 | 0 643.47/643.63 c 395s | 22 | 2072197 | 2069522 | 284 14240 | 0 | 0 645.46/645.65 c 397s | 22 | 2081100 | 2078422 | 284 14290 | 0 | 0 647.46/647.65 c 399s | 22 | 2090104 | 2087422 | 284 14342 | 0 | 0 649.46/649.66 c 401s | 22 | 2099117 | 2096422 | 284 14394 | 0 | 0 651.46/651.67 c 403s | 22 | 2108310 | 2105622 | 284 14447 | 0 | 0 653.46/653.68 c 405s | 22 | 2117318 | 2114622 | 284 14498 | 0 | 0 655.47/655.70 c 407s | 22 | 2126318 | 2123622 | 284 14549 | 0 | 0 657.56/657.70 c 409s | 22 | 2135222 | 2132522 | 284 14600 | 0 | 0 659.56/659.72 c 411s | 22 | 2144124 | 2141422 | 284 14651 | 0 | 0 661.56/661.74 c 413s | 22 | 2153126 | 2150422 | 284 14703 | 0 | 0 663.56/663.75 c 415s | 22 | 2161925 | 2159222 | 284 14753 | 0 | 0 665.56/665.75 c 417s | 22 | 2170831 | 2168122 | 284 14805 | 0 | 0 667.56/667.77 c 419s | 22 | 2179733 | 2177022 | 284 14855 | 0 | 0 669.55/669.78 c 421s | 22 | 2188740 | 2186022 | 284 14907 | 0 | 0 671.55/671.78 c 423s | 22 | 2197541 | 2194822 | 284 14958 | 0 | 0 673.55/673.79 c 425s | 22 | 2206448 | 2203722 | 284 15010 | 0 | 0 675.55/675.79 c 427s | 22 | 2215346 | 2212622 | 284 15061 | 0 | 0 677.65/677.81 c 429s | 22 | 2224349 | 2221622 | 284 15113 | 0 | 0 679.66/679.83 c 431s | 22 | 2233358 | 2230622 | 284 15166 | 0 | 0 681.65/681.85 c 433s | 22 | 2242457 | 2239722 | 313 15217 | 0 | 0 683.65/683.85 c 435s | 22 | 2251461 | 2248722 | 313 15265 | 0 | 0 684.16/684.37 c 435s | 23 | 2253775 | 2251038 | 313 15278 | 0 | 0 686.15/686.38 c 437s | 23 | 2262501 | 2259738 | 313 15323 | 0 | 0 688.15/688.39 c 439s | 23 | 2271306 | 2268538 | 313 15369 | 0 | 0 690.15/690.39 c 441s | 23 | 2280009 | 2277238 | 313 15415 | 0 | 0 692.15/692.40 c 443s | 23 | 2288611 | 2285838 | 313 15460 | 0 | 0 694.25/694.40 c 446s | 23 | 2297312 | 2294538 | 313 15506 | 0 | 0 696.25/696.41 c 448s | 23 | 2306122 | 2303338 | 313 15552 | 0 | 0 698.25/698.44 c 450s | 23 | 2314828 | 2312038 | 313 15598 | 0 | 0 700.25/700.46 c 452s | 23 | 2323634 | 2320838 | 313 15645 | 0 | 0 702.25/702.47 c 454s | 23 | 2332243 | 2329438 | 313 15690 | 0 | 0 704.25/704.48 c 456s | 23 | 2341049 | 2338238 | 313 15737 | 0 | 0 706.24/706.49 c 458s | 23 | 2349754 | 2346938 | 313 15783 | 0 | 0 708.25/708.49 c 460s | 23 | 2358561 | 2355738 | 313 15830 | 0 | 0 710.34/710.50 c 462s | 23 | 2367465 | 2364638 | 313 15877 | 0 | 0 712.34/712.51 c 464s | 23 | 2376375 | 2373538 | 313 15925 | 0 | 0 714.34/714.52 c 466s | 23 | 2385285 | 2382438 | 313 15973 | 0 | 0 716.34/716.53 c 468s | 23 | 2394282 | 2391438 | 313 16021 | 0 | 0 718.34/718.54 c 470s | 23 | 2403086 | 2400238 | 313 16069 | 0 | 0 720.35/720.55 c 472s | 23 | 2412001 | 2409138 | 313 16117 | 0 | 0 722.34/722.57 c 474s | 23 | 2421105 | 2418238 | 313 16167 | 0 | 0 724.35/724.58 c 476s | 23 | 2429814 | 2426938 | 313 16214 | 0 | 0 726.35/726.59 c 478s | 23 | 2438522 | 2435638 | 313 16260 | 0 | 0 728.35/728.60 c 480s | 23 | 2447226 | 2444338 | 313 16307 | 0 | 0 730.45/730.60 c 482s | 23 | 2455934 | 2453038 | 313 16354 | 0 | 0 732.35/732.60 c 484s | 23 | 2464741 | 2461838 | 313 16402 | 0 | 0 734.45/734.61 c 486s | 23 | 2473449 | 2470538 | 313 16448 | 0 | 0 736.45/736.63 c 488s | 23 | 2482259 | 2479338 | 313 16496 | 0 | 0 738.45/738.65 c 490s | 23 | 2491159 | 2488238 | 313 16544 | 0 | 0 740.45/740.66 c 492s | 23 | 2499960 | 2497038 | 313 16591 | 0 | 0 742.45/742.67 c 494s | 23 | 2508967 | 2506038 | 313 16640 | 0 | 0 744.44/744.69 c 496s | 23 | 2517872 | 2514938 | 313 16688 | 0 | 0 746.54/746.70 c 498s | 23 | 2526576 | 2523638 | 313 16734 | 0 | 0 748.54/748.70 c 500s | 23 | 2535491 | 2532538 | 313 16781 | 0 | 0 750.54/750.71 c 502s | 23 | 2544186 | 2541238 | 313 16826 | 0 | 0 752.54/752.73 c 504s | 23 | 2553100 | 2550138 | 313 16874 | 0 | 0 754.55/754.74 c 506s | 23 | 2561805 | 2558838 | 313 16920 | 0 | 0 756.54/756.76 c 508s | 23 | 2570511 | 2567538 | 313 16966 | 0 | 0 758.54/758.77 c 510s | 23 | 2579214 | 2576238 | 313 17012 | 0 | 0 760.54/760.79 c 512s | 23 | 2587923 | 2584938 | 313 17058 | 0 | 0 762.54/762.79 c 514s | 23 | 2596529 | 2593538 | 313 17104 | 0 | 0 764.64/764.81 c 516s | 23 | 2605232 | 2602238 | 313 17150 | 0 | 0 766.65/766.82 c 518s | 23 | 2614036 | 2611038 | 313 17197 | 0 | 0 768.64/768.84 c 520s | 23 | 2622840 | 2619838 | 313 17244 | 0 | 0 770.64/770.85 c 522s | 23 | 2631739 | 2628738 | 313 17291 | 0 | 0 772.64/772.86 c 524s | 23 | 2640852 | 2637838 | 313 17339 | 0 | 0 774.64/774.86 c 526s | 23 | 2649760 | 2646738 | 313 17387 | 0 | 0 776.64/776.88 c 528s | 23 | 2658563 | 2655538 | 313 17434 | 0 | 0 778.64/778.89 c 530s | 23 | 2667463 | 2664438 | 313 17481 | 0 | 0 780.64/780.90 c 532s | 23 | 2676472 | 2673438 | 313 17530 | 0 | 0 782.74/782.91 c 534s | 23 | 2685682 | 2682638 | 313 17579 | 0 | 0 784.74/784.92 c 536s | 23 | 2694780 | 2691738 | 313 17627 | 0 | 0 786.74/786.93 c 538s | 23 | 2703682 | 2700638 | 313 17676 | 0 | 0 788.74/788.95 c 540s | 23 | 2712592 | 2709538 | 313 17724 | 0 | 0 790.74/790.97 c 542s | 23 | 2721394 | 2718338 | 313 17770 | 0 | 0 792.73/792.98 c 544s | 23 | 2730196 | 2727138 | 313 17817 | 0 | 0 794.73/794.99 c 546s | 23 | 2739003 | 2735938 | 313 17864 | 0 | 0 796.83/797.00 c 548s | 23 | 2747905 | 2744838 | 313 17911 | 0 | 0 798.83/799.01 c 550s | 23 | 2756703 | 2753638 | 313 17958 | 0 | 0 800.83/801.03 c 552s | 23 | 2765719 | 2762638 | 313 18006 | 0 | 0 802.84/803.05 c 554s | 23 | 2774843 | 2771738 | 313 18055 | 0 | 0 804.83/805.06 c 556s | 23 | 2784634 | 2781538 | 313 18107 | 0 | 0 806.83/807.07 c 558s | 23 | 2793835 | 2790738 | 313 18155 | 0 | 0 808.83/809.08 c 560s | 23 | 2803141 | 2800038 | 313 18205 | 0 | 0 810.84/811.08 c 562s | 23 | 2812447 | 2809338 | 313 18254 | 0 | 0 812.84/813.09 c 564s | 23 | 2821849 | 2818738 | 313 18304 | 0 | 0 814.94/815.11 c 566s | 23 | 2831049 | 2827938 | 313 18353 | 0 | 0 816.94/817.12 c 568s | 23 | 2840248 | 2837138 | 313 18402 | 0 | 0 818.93/819.14 c 570s | 23 | 2849354 | 2846238 | 313 18450 | 0 | 0 820.93/821.16 c 572s | 23 | 2858457 | 2855338 | 313 18498 | 0 | 0 822.93/823.18 c 574s | 23 | 2867561 | 2864438 | 313 18547 | 0 | 0 824.94/825.19 c 576s | 23 | 2876662 | 2873538 | 313 18596 | 0 | 0 826.93/827.20 c 578s | 23 | 2885655 | 2882538 | 313 18644 | 0 | 0 829.03/829.21 c 580s | 23 | 2894661 | 2891538 | 313 18692 | 0 | 0 831.03/831.22 c 582s | 23 | 2903462 | 2900338 | 313 18738 | 0 | 0 833.03/833.23 c 584s | 23 | 2912370 | 2909238 | 313 18786 | 0 | 0 835.03/835.25 c 586s | 23 | 2921267 | 2918138 | 313 18834 | 0 | 0 837.04/837.26 c 588s | 23 | 2930073 | 2926938 | 313 18881 | 0 | 0 839.03/839.28 c 590s | 23 | 2938878 | 2935738 | 313 18928 | 0 | 0 841.03/841.28 c 592s | 23 | 2947488 | 2944338 | 313 18974 | 0 | 0 843.13/843.31 c 594s | 23 | 2956286 | 2953138 | 313 19022 | 0 | 0 845.13/845.33 c 596s | 23 | 2965098 | 2961938 | 313 19069 | 0 | 0 847.12/847.33 c 598s | 23 | 2973802 | 2970638 | 313 19116 | 0 | 0 849.13/849.34 c 600s | 23 | 2982609 | 2979438 | 313 19164 | 0 | 0 851.12/851.35 c 602s | 23 | 2991416 | 2988238 | 313 19212 | 0 | 0 853.12/853.35 c 604s | 23 | 3000217 | 2997038 | 313 19260 | 0 | 0 855.12/855.37 c 606s | 23 | 3009126 | 3005938 | 313 19308 | 0 | 0 857.12/857.39 c 608s | 23 | 3018232 | 3015038 | 313 19357 | 0 | 0 859.22/859.40 c 611s | 23 | 3027433 | 3024238 | 313 19407 | 0 | 0 861.23/861.42 c 613s | 23 | 3036544 | 3033338 | 313 19457 | 0 | 0 863.22/863.43 c 615s | 23 | 3045444 | 3042238 | 313 19505 | 0 | 0 865.22/865.45 c 617s | 23 | 3054154 | 3050938 | 313 19551 | 0 | 0 867.22/867.46 c 619s | 23 | 3062853 | 3059638 | 313 19596 | 0 | 0 869.22/869.47 c 621s | 23 | 3071555 | 3068338 | 313 19642 | 0 | 0 871.22/871.49 c 623s | 23 | 3080360 | 3077138 | 313 19689 | 0 | 0 873.23/873.50 c 625s | 23 | 3089158 | 3085938 | 313 19735 | 0 | 0 875.32/875.50 c 627s | 23 | 3098574 | 3095338 | 313 19785 | 0 | 0 877.32/877.51 c 629s | 23 | 3108079 | 3104838 | 313 19835 | 0 | 0 879.32/879.52 c 631s | 23 | 3117479 | 3114238 | 313 19884 | 0 | 0 881.32/881.52 c 633s | 23 | 3126684 | 3123438 | 313 19932 | 0 | 0 883.33/883.54 c 635s | 23 | 3136085 | 3132838 | 313 19982 | 0 | 0 885.33/885.57 c 637s | 23 | 3145281 | 3142038 | 313 20030 | 0 | 0 887.33/887.58 c 639s | 23 | 3154390 | 3151138 | 313 20078 | 0 | 0 889.33/889.59 c 641s | 23 | 3163393 | 3160138 | 313 20126 | 0 | 0 891.32/891.59 c 643s | 23 | 3172094 | 3168838 | 313 20172 | 0 | 0 893.42/893.61 c 645s | 23 | 3180790 | 3177538 | 313 20218 | 0 | 0 895.42/895.62 c 647s | 23 | 3189602 | 3186338 | 313 20265 | 0 | 0 897.43/897.64 c 649s | 23 | 3198400 | 3195138 | 313 20312 | 0 | 0 899.42/899.65 c 651s | 23 | 3207308 | 3204038 | 313 20359 | 0 | 0 901.42/901.67 c 653s | 23 | 3216311 | 3213038 | 313 20408 | 0 | 0 903.42/903.69 c 655s | 23 | 3225016 | 3221738 | 313 20454 | 0 | 0 905.42/905.69 c 657s | 23 | 3233920 | 3230638 | 313 20501 | 0 | 0 907.43/907.69 c 659s | 23 | 3242626 | 3239338 | 313 20547 | 0 | 0 909.53/909.71 c 661s | 23 | 3251427 | 3248138 | 313 20594 | 0 | 0 911.52/911.72 c 663s | 23 | 3260128 | 3256838 | 313 20640 | 0 | 0 913.52/913.74 c 665s | 23 | 3268829 | 3265538 | 313 20686 | 0 | 0 915.52/915.76 c 667s | 23 | 3277633 | 3274338 | 313 20733 | 0 | 0 917.52/917.77 c 669s | 23 | 3286436 | 3283138 | 313 20780 | 0 | 0 919.52/919.78 c 671s | 23 | 3295245 | 3291938 | 313 20826 | 0 | 0 921.52/921.79 c 673s | 23 | 3304145 | 3300838 | 313 20874 | 0 | 0 923.62/923.81 c 675s | 23 | 3313046 | 3309738 | 313 20921 | 0 | 0 925.62/925.83 c 677s | 23 | 3321947 | 3318638 | 313 20969 | 0 | 0 927.62/927.84 c 679s | 23 | 3330947 | 3327638 | 313 21018 | 0 | 0 929.62/929.85 c 681s | 23 | 3339654 | 3336338 | 313 21065 | 0 | 0 931.62/931.85 c 683s | 23 | 3348458 | 3345138 | 313 21112 | 0 | 0 933.62/933.87 c 685s | 23 | 3357261 | 3353938 | 345 21159 | 0 | 0 935.62/935.88 c 687s | 23 | 3366067 | 3362738 | 345 21202 | 0 | 0 937.71/937.90 c 689s | 23 | 3374871 | 3371538 | 345 21246 | 0 | 0 938.81/939.07 c 690s | 24 | 3379997 | 3376662 | 345 21272 | 0 | 0 940.81/941.08 c 692s | 24 | 3388737 | 3385362 | 345 21314 | 0 | 0 942.91/943.10 c 694s | 24 | 3397445 | 3394062 | 345 21357 | 0 | 0 944.91/945.11 c 696s | 24 | 3406148 | 3402762 | 345 21400 | 0 | 0 946.92/947.13 c 698s | 24 | 3414852 | 3411462 | 345 21443 | 0 | 0 948.91/949.15 c 700s | 24 | 3423659 | 3420262 | 345 21487 | 0 | 0 950.91/951.15 c 702s | 24 | 3432266 | 3428862 | 345 21529 | 0 | 0 952.91/953.15 c 704s | 24 | 3440975 | 3437562 | 345 21572 | 0 | 0 954.91/955.16 c 706s | 24 | 3449671 | 3446262 | 345 21615 | 0 | 0 956.92/957.18 c 708s | 24 | 3458377 | 3454962 | 345 21658 | 0 | 0 958.91/959.18 c 710s | 24 | 3467183 | 3463762 | 345 21701 | 0 | 0 961.01/961.20 c 712s | 24 | 3476086 | 3472662 | 345 21745 | 0 | 0 963.01/963.21 c 714s | 24 | 3485506 | 3482062 | 345 21791 | 0 | 0 965.01/965.22 c 716s | 24 | 3494399 | 3490962 | 345 21835 | 0 | 0 967.01/967.23 c 718s | 24 | 3503205 | 3499762 | 345 21878 | 0 | 0 969.02/969.25 c 720s | 24 | 3512006 | 3508562 | 345 21922 | 0 | 0 971.01/971.26 c 722s | 24 | 3520913 | 3517462 | 345 21966 | 0 | 0 973.01/973.27 c 724s | 24 | 3529721 | 3526262 | 345 22009 | 0 | 0 975.01/975.27 c 726s | 24 | 3538331 | 3534862 | 345 22051 | 0 | 0 977.01/977.28 c 728s | 24 | 3547032 | 3543562 | 345 22093 | 0 | 0 979.01/979.29 c 730s | 24 | 3555840 | 3552362 | 345 22136 | 0 | 0 981.11/981.32 c 732s | 24 | 3564642 | 3561162 | 345 22179 | 0 | 0 983.11/983.33 c 734s | 24 | 3573552 | 3570062 | 345 22223 | 0 | 0 985.11/985.34 c 736s | 24 | 3582456 | 3578962 | 345 22267 | 0 | 0 987.11/987.35 c 738s | 24 | 3591255 | 3587762 | 345 22310 | 0 | 0 989.10/989.37 c 740s | 24 | 3600059 | 3596562 | 345 22353 | 0 | 0 991.11/991.39 c 742s | 24 | 3608962 | 3605462 | 345 22397 | 0 | 0 993.11/993.40 c 744s | 24 | 3617670 | 3614162 | 345 22440 | 0 | 0 995.20/995.40 c 746s | 24 | 3626579 | 3623062 | 345 22484 | 0 | 0 997.21/997.42 c 749s | 24 | 3635379 | 3631862 | 345 22527 | 0 | 0 999.20/999.43 c 751s | 24 | 3643987 | 3640462 | 345 22569 | 0 | 0 1001.21/1001.43 c 753s | 24 | 3652489 | 3648962 | 345 22611 | 0 | 0 1003.20/1003.45 c 755s | 24 | 3661109 | 3657562 | 345 22654 | 0 | 0 1005.21/1005.46 c 757s | 24 | 3669608 | 3666062 | 345 22695 | 0 | 0 1007.20/1007.47 c 759s | 24 | 3677907 | 3674362 | 345 22736 | 0 | 0 1009.20/1009.48 c 761s | 24 | 3686311 | 3682762 | 345 22777 | 0 | 0 1011.30/1011.50 c 763s | 24 | 3694818 | 3691262 | 345 22819 | 0 | 0 1013.30/1013.50 c 765s | 24 | 3703326 | 3699762 | 345 22862 | 0 | 0 1015.30/1015.52 c 767s | 24 | 3712031 | 3708462 | 345 22905 | 0 | 0 1017.31/1017.54 c 769s | 24 | 3720533 | 3716962 | 345 22947 | 0 | 0 1019.30/1019.54 c 771s | 24 | 3729241 | 3725662 | 345 22989 | 0 | 0 1021.29/1021.55 c 773s | 24 | 3738037 | 3734462 | 345 23033 | 0 | 0 1023.30/1023.57 c 775s | 24 | 3747044 | 3743462 | 345 23077 | 0 | 0 1025.30/1025.58 c 777s | 24 | 3755848 | 3752262 | 345 23120 | 0 | 0 1027.31/1027.58 c 779s | 24 | 3764746 | 3761162 | 345 23164 | 0 | 0 1029.30/1029.58 c 781s | 24 | 3773649 | 3770062 | 345 23208 | 0 | 0 1031.30/1031.59 c 783s | 24 | 3782547 | 3778962 | 345 23251 | 0 | 0 1033.39/1033.61 c 785s | 24 | 3791362 | 3787762 | 345 23295 | 0 | 0 1035.40/1035.62 c 787s | 24 | 3800261 | 3796662 | 345 23339 | 0 | 0 1037.40/1037.62 c 789s | 24 | 3809068 | 3805462 | 345 23382 | 0 | 0 1039.40/1039.64 c 791s | 24 | 3817874 | 3814262 | 345 23426 | 0 | 0 1041.39/1041.65 c 793s | 24 | 3826780 | 3823162 | 345 23470 | 0 | 0 1043.39/1043.67 c 795s | 24 | 3835684 | 3832062 | 345 23514 | 0 | 0 1045.40/1045.69 c 797s | 24 | 3844500 | 3840862 | 345 23557 | 0 | 0 1047.40/1047.69 c 799s | 24 | 3853308 | 3849662 | 345 23601 | 0 | 0 1049.49/1049.71 c 801s | 24 | 3862210 | 3858562 | 345 23645 | 0 | 0 1051.50/1051.72 c 803s | 24 | 3870913 | 3867262 | 345 23688 | 0 | 0 1053.49/1053.72 c 805s | 24 | 3879522 | 3875862 | 345 23731 | 0 | 0 1055.49/1055.74 c 807s | 24 | 3888323 | 3884662 | 345 23775 | 0 | 0 1057.49/1057.74 c 809s | 24 | 3897131 | 3893462 | 345 23818 | 0 | 0 1059.49/1059.76 c 811s | 24 | 3905931 | 3902262 | 345 23862 | 0 | 0 1061.49/1061.78 c 813s | 24 | 3914836 | 3911162 | 345 23906 | 0 | 0 1063.49/1063.78 c 815s | 24 | 3923738 | 3920062 | 345 23951 | 0 | 0 1065.49/1065.79 c 817s | 24 | 3933046 | 3929362 | 345 23998 | 0 | 0 1067.59/1067.81 c 819s | 24 | 3942257 | 3938562 | 345 24045 | 0 | 0 1069.59/1069.83 c 821s | 24 | 3950956 | 3947262 | 345 24087 | 0 | 0 1071.59/1071.84 c 823s | 24 | 3959462 | 3955762 | 345 24128 | 0 | 0 1073.58/1073.84 c 825s | 24 | 3968174 | 3964462 | 345 24171 | 0 | 0 1075.59/1075.84 c 827s | 24 | 3976674 | 3972962 | 345 24212 | 0 | 0 1077.58/1077.85 c 829s | 24 | 3985285 | 3981562 | 345 24254 | 0 | 0 1079.58/1079.86 c 831s | 24 | 3993995 | 3990262 | 345 24296 | 0 | 0 1081.58/1081.88 c 833s | 24 | 4002703 | 3998962 | 345 24339 | 0 | 0 1083.58/1083.89 c 835s | 24 | 4011415 | 4007662 | 345 24382 | 0 | 0 1085.68/1085.90 c 837s | 24 | 4020012 | 4016262 | 345 24423 | 0 | 0 1087.58/1087.90 c 839s | 24 | 4028617 | 4024862 | 345 24465 | 0 | 0 1089.68/1089.91 c 841s | 24 | 4037429 | 4033662 | 345 24509 | 0 | 0 1091.68/1091.93 c 843s | 24 | 4046134 | 4042362 | 345 24551 | 0 | 0 1093.68/1093.93 c 845s | 24 | 4054740 | 4050962 | 345 24593 | 0 | 0 1095.68/1095.94 c 847s | 24 | 4063350 | 4059562 | 345 24635 | 0 | 0 1097.68/1097.96 c 849s | 24 | 4071957 | 4068162 | 345 24678 | 0 | 0 1099.68/1099.96 c 851s | 24 | 4080662 | 4076862 | 345 24720 | 0 | 0 1101.68/1101.97 c 853s | 24 | 4089370 | 4085562 | 345 24763 | 0 | 0 1103.68/1103.99 c 855s | 24 | 4098276 | 4094462 | 345 24808 | 0 | 0 1105.78/1106.00 c 857s | 24 | 4107073 | 4103262 | 345 24851 | 0 | 0 1107.78/1108.03 c 859s | 24 | 4115676 | 4111862 | 345 24892 | 0 | 0 1109.78/1110.03 c 861s | 24 | 4124390 | 4120562 | 345 24935 | 0 | 0 1111.77/1112.05 c 863s | 24 | 4132985 | 4129162 | 345 24977 | 0 | 0 1113.77/1114.06 c 865s | 24 | 4141692 | 4137862 | 345 25019 | 0 | 0 1115.77/1116.06 c 867s | 24 | 4150491 | 4146662 | 345 25062 | 0 | 0 1117.78/1118.08 c 869s | 24 | 4159299 | 4155462 | 345 25105 | 0 | 0 1119.87/1120.10 c 871s | 24 | 4168002 | 4164162 | 345 25147 | 0 | 0 1121.88/1122.11 c 873s | 24 | 4176707 | 4172862 | 345 25190 | 0 | 0 1123.88/1124.11 c 875s | 24 | 4185409 | 4181562 | 345 25233 | 0 | 0 1125.87/1126.14 c 877s | 24 | 4194310 | 4190462 | 345 25277 | 0 | 0 1127.87/1128.14 c 879s | 24 | 4203221 | 4199362 | 345 25321 | 0 | 0 1129.86/1130.16 c 881s | 24 | 4212123 | 4208262 | 345 25364 | 0 | 0 1131.87/1132.17 c 883s | 24 | 4221029 | 4217162 | 345 25408 | 0 | 0 1133.88/1134.19 c 885s | 24 | 4230130 | 4226262 | 345 25453 | 0 | 0 1135.97/1136.20 c 887s | 24 | 4239030 | 4235162 | 345 25497 | 0 | 0 1137.97/1138.22 c 889s | 24 | 4247934 | 4244062 | 345 25541 | 0 | 0 1139.96/1140.22 c 891s | 24 | 4256740 | 4252862 | 345 25584 | 0 | 0 1141.97/1142.24 c 893s | 24 | 4265652 | 4261762 | 345 25628 | 0 | 0 1143.96/1144.24 c 895s | 24 | 4274556 | 4270662 | 345 25672 | 0 | 0 1145.98/1146.25 c 897s | 24 | 4283566 | 4279662 | 345 25717 | 0 | 0 1147.97/1148.27 c 899s | 24 | 4292674 | 4288762 | 345 25763 | 0 | 0 1149.96/1150.27 c 901s | 24 | 4301679 | 4297762 | 345 25808 | 0 | 0 1151.97/1152.28 c 903s | 24 | 4310687 | 4306762 | 345 25853 | 0 | 0 1153.96/1154.29 c 905s | 24 | 4319687 | 4315762 | 345 25898 | 0 | 0 1156.06/1156.31 c 907s | 24 | 4328696 | 4324762 | 345 25943 | 0 | 0 1158.07/1158.33 c 909s | 24 | 4337900 | 4333962 | 345 25990 | 0 | 0 1160.06/1160.34 c 911s | 24 | 4346704 | 4342762 | 345 26032 | 0 | 0 1162.06/1162.36 c 913s | 24 | 4355412 | 4351462 | 345 26074 | 0 | 0 1164.06/1164.37 c 915s | 24 | 4364117 | 4360162 | 345 26117 | 0 | 0 1166.06/1166.37 c 917s | 24 | 4372817 | 4368862 | 345 26159 | 0 | 0 1168.07/1168.39 c 919s | 24 | 4381729 | 4377762 | 345 26203 | 0 | 0 1170.16/1170.40 c 922s | 24 | 4390537 | 4386562 | 345 26247 | 0 | 0 1172.16/1172.41 c 924s | 24 | 4399441 | 4395462 | 345 26291 | 0 | 0 1174.15/1174.43 c 926s | 24 | 4408253 | 4404262 | 345 26334 | 0 | 0 1176.16/1176.43 c 928s | 24 | 4417057 | 4413062 | 345 26377 | 0 | 0 1178.16/1178.43 c 930s | 24 | 4426061 | 4422062 | 345 26422 | 0 | 0 1180.16/1180.45 c 932s | 24 | 4434868 | 4430862 | 345 26465 | 0 | 0 1182.15/1182.46 c 934s | 24 | 4443771 | 4439762 | 345 26509 | 0 | 0 1184.15/1184.47 c 936s | 24 | 4452777 | 4448762 | 345 26554 | 0 | 0 1186.15/1186.48 c 938s | 24 | 4461976 | 4457962 | 345 26600 | 0 | 0 1188.25/1188.50 c 940s | 24 | 4471384 | 4467362 | 345 26647 | 0 | 0 1190.24/1190.51 c 942s | 24 | 4480288 | 4476262 | 345 26690 | 0 | 0 1192.25/1192.52 c 944s | 24 | 4489296 | 4485262 | 345 26734 | 0 | 0 1194.24/1194.53 c 946s | 24 | 4498413 | 4494362 | 345 26779 | 0 | 0 1196.25/1196.54 c 948s | 24 | 4507631 | 4503562 | 345 26825 | 0 | 0 1198.24/1198.55 c 950s | 24 | 4516842 | 4512762 | 345 26871 | 0 | 0 1200.24/1200.57 c 952s | 24 | 4525943 | 4521862 | 345 26916 | 0 | 0 1202.24/1202.58 c 954s | 24 | 4534947 | 4530862 | 345 26961 | 0 | 0 1204.25/1204.59 c 956s | 24 | 4544252 | 4540162 | 345 27007 | 0 | 0 1206.34/1206.60 c 958s | 24 | 4553561 | 4549462 | 345 27054 | 0 | 0 1208.34/1208.60 c 960s | 24 | 4562871 | 4558762 | 345 27101 | 0 | 0 1210.34/1210.62 c 962s | 24 | 4571674 | 4567562 | 345 27144 | 0 | 0 1212.33/1212.63 c 964s | 24 | 4580575 | 4576462 | 345 27188 | 0 | 0 1214.34/1214.64 c 966s | 24 | 4589580 | 4585462 | 345 27232 | 0 | 0 1216.35/1216.66 c 968s | 24 | 4598388 | 4594262 | 345 27275 | 0 | 0 1218.34/1218.68 c 970s | 24 | 4607499 | 4603362 | 345 27320 | 0 | 0 1220.43/1220.70 c 972s | 24 | 4616399 | 4612262 | 345 27364 | 0 | 0 1222.43/1222.72 c 974s | 24 | 4625405 | 4621262 | 345 27409 | 0 | 0 1224.43/1224.72 c 976s | 24 | 4634322 | 4630162 | 345 27453 | 0 | 0 1226.43/1226.74 c 978s | 24 | 4643125 | 4638962 | 345 27497 | 0 | 0 1228.43/1228.74 c 980s | 24 | 4651726 | 4647562 | 345 27539 | 0 | 0 1230.42/1230.75 c 982s | 24 | 4660528 | 4656362 | 345 27582 | 0 | 0 1232.43/1232.77 c 984s | 24 | 4669643 | 4665462 | 345 27627 | 0 | 0 1234.43/1234.79 c 986s | 24 | 4678549 | 4674362 | 345 27672 | 0 | 0 1236.53/1236.80 c 988s | 24 | 4687350 | 4683162 | 345 27715 | 0 | 0 1238.53/1238.81 c 990s | 24 | 4696265 | 4692062 | 345 27759 | 0 | 0 1240.53/1240.81 c 992s | 24 | 4705068 | 4700862 | 345 27803 | 0 | 0 1242.52/1242.83 c 994s | 24 | 4713981 | 4709762 | 345 27847 | 0 | 0 1244.52/1244.84 c 996s | 24 | 4722979 | 4718762 | 345 27891 | 0 | 0 1246.52/1246.85 c 998s | 24 | 4732090 | 4727862 | 345 27936 | 0 | 0 1248.52/1248.86 c 1000s | 24 | 4741094 | 4736862 | 345 27980 | 0 | 0 1250.52/1250.87 c 1002s | 24 | 4750193 | 4745962 | 345 28026 | 0 | 0 1252.51/1252.88 c 1004s | 24 | 4759200 | 4754962 | 345 28070 | 0 | 0 1254.51/1254.89 c 1006s | 24 | 4768200 | 4763962 | 345 28115 | 0 | 0 1256.51/1256.89 c 1008s | 24 | 4777411 | 4773162 | 345 28160 | 0 | 0 1258.61/1258.90 c 1010s | 24 | 4786519 | 4782262 | 345 28205 | 0 | 0 1260.61/1260.92 c 1012s | 24 | 4795622 | 4791362 | 345 28250 | 0 | 0 1262.62/1262.92 c 1014s | 24 | 4804727 | 4800462 | 345 28295 | 0 | 0 1264.62/1264.94 c 1016s | 24 | 4814034 | 4809762 | 345 28342 | 0 | 0 1266.62/1266.95 c 1018s | 24 | 4823231 | 4818962 | 345 28388 | 0 | 0 1268.62/1268.97 c 1020s | 24 | 4832842 | 4828562 | 345 28435 | 0 | 0 1270.62/1270.98 c 1022s | 24 | 4842144 | 4837862 | 345 28480 | 0 | 0 1272.61/1273.00 c 1024s | 24 | 4851455 | 4847162 | 345 28526 | 0 | 0 1274.62/1275.00 c 1026s | 24 | 4860963 | 4856662 | 345 28573 | 0 | 0 1276.71/1277.00 c 1028s | 24 | 4870265 | 4865962 | 345 28619 | 0 | 0 1278.71/1279.02 c 1030s | 24 | 4879761 | 4875462 | 345 28667 | 0 | 0 1280.71/1281.03 c 1032s | 24 | 4888964 | 4884662 | 345 28713 | 0 | 0 1282.71/1283.03 c 1034s | 24 | 4898067 | 4893762 | 345 28758 | 0 | 0 1284.71/1285.05 c 1036s | 24 | 4907072 | 4902762 | 345 28803 | 0 | 0 1286.72/1287.07 c 1038s | 24 | 4916181 | 4911862 | 345 28848 | 0 | 0 1288.71/1289.09 c 1040s | 24 | 4925191 | 4920862 | 345 28893 | 0 | 0 1290.81/1291.11 c 1042s | 24 | 4934209 | 4929862 | 345 28938 | 0 | 0 1292.81/1293.11 c 1044s | 24 | 4943322 | 4938962 | 345 28983 | 0 | 0 1294.81/1295.13 c 1046s | 24 | 4952727 | 4948362 | 345 29031 | 0 | 0 1296.81/1297.14 c 1048s | 24 | 4961840 | 4957462 | 345 29076 | 0 | 0 1298.82/1299.15 c 1050s | 24 | 4971146 | 4966762 | 345 29122 | 0 | 0 1300.81/1301.16 c 1052s | 24 | 4980346 | 4975962 | 345 29168 | 0 | 0 1302.81/1303.17 c 1054s | 24 | 4989552 | 4985162 | 345 29213 | 0 | 0 1304.81/1305.19 c 1056s | 24 | 4998654 | 4994262 | 345 29258 | 0 | 0 1306.91/1307.21 c 1058s | 24 | 5007757 | 5003362 | 345 29302 | 0 | 0 1308.91/1309.22 c 1060s | 24 | 5016863 | 5012462 | 345 29346 | 0 | 0 1310.91/1311.22 c 1062s | 24 | 5025961 | 5021562 | 345 29390 | 0 | 0 1312.90/1313.22 c 1064s | 24 | 5035070 | 5030662 | 380 29434 | 0 | 0 1314.90/1315.23 c 1066s | 24 | 5044169 | 5039762 | 380 29475 | 0 | 0 1316.90/1317.26 c 1068s | 24 | 5053073 | 5048662 | 380 29515 | 0 | 0 1318.90/1319.27 c 1070s | 24 | 5061977 | 5057562 | 380 29555 | 0 | 0 1320.60/1320.97 c 1072s | 25 | 5069517 | 5065098 | 380 29589 | 0 | 0 1322.60/1322.98 c 1074s | 25 | 5078041 | 5073598 | 380 29627 | 0 | 0 1324.60/1324.99 c 1076s | 25 | 5086847 | 5082398 | 380 29666 | 0 | 0 1326.60/1326.99 c 1078s | 25 | 5095651 | 5091198 | 380 29705 | 0 | 0 1328.70/1329.00 c 1080s | 25 | 5104558 | 5100098 | 380 29745 | 0 | 0 1330.71/1331.02 c 1082s | 25 | 5113461 | 5108998 | 380 29785 | 0 | 0 1332.70/1333.03 c 1084s | 25 | 5122364 | 5117898 | 380 29825 | 0 | 0 1334.70/1335.04 c 1086s | 25 | 5131269 | 5126798 | 380 29864 | 0 | 0 1336.70/1337.06 c 1088s | 25 | 5140273 | 5135798 | 380 29904 | 0 | 0 1338.71/1339.08 c 1090s | 25 | 5149379 | 5144898 | 380 29945 | 0 | 0 1340.71/1341.09 c 1092s | 25 | 5158382 | 5153898 | 380 29986 | 0 | 0 1342.71/1343.10 c 1094s | 25 | 5167289 | 5162798 | 380 30026 | 0 | 0 1344.80/1345.10 c 1096s | 25 | 5176293 | 5171798 | 380 30066 | 0 | 0 1346.80/1347.12 c 1098s | 25 | 5185196 | 5180698 | 380 30106 | 0 | 0 1348.80/1349.14 c 1100s | 25 | 5194196 | 5189698 | 380 30146 | 0 | 0 1350.80/1351.15 c 1102s | 25 | 5202998 | 5198498 | 380 30185 | 0 | 0 1352.80/1353.15 c 1104s | 25 | 5212003 | 5207498 | 380 30226 | 0 | 0 1354.79/1355.16 c 1106s | 25 | 5221008 | 5216498 | 380 30267 | 0 | 0 1356.80/1357.16 c 1108s | 25 | 5230008 | 5225498 | 380 30308 | 0 | 0 1358.80/1359.16 c 1110s | 25 | 5239109 | 5234598 | 380 30349 | 0 | 0 1360.80/1361.17 c 1112s | 25 | 5248112 | 5243598 | 380 30390 | 0 | 0 1362.79/1363.19 c 1114s | 25 | 5256820 | 5252298 | 380 30429 | 0 | 0 1364.90/1365.21 c 1116s | 25 | 5265618 | 5261098 | 380 30468 | 0 | 0 1366.89/1367.23 c 1118s | 25 | 5274517 | 5269998 | 380 30508 | 0 | 0 1368.90/1369.25 c 1120s | 25 | 5283530 | 5278998 | 380 30549 | 0 | 0 1370.89/1371.25 c 1122s | 25 | 5292331 | 5287798 | 380 30588 | 0 | 0 1372.89/1373.27 c 1124s | 25 | 5301336 | 5296798 | 380 30628 | 0 | 0 1374.90/1375.28 c 1126s | 25 | 5310337 | 5305798 | 380 30669 | 0 | 0 1376.91/1377.29 c 1128s | 25 | 5319336 | 5314798 | 380 30709 | 0 | 0 1379.00/1379.30 c 1130s | 25 | 5328344 | 5323798 | 380 30750 | 0 | 0 1381.00/1381.31 c 1132s | 25 | 5337443 | 5332898 | 380 30791 | 0 | 0 1383.00/1383.32 c 1134s | 25 | 5346447 | 5341898 | 380 30831 | 0 | 0 1384.99/1385.34 c 1136s | 25 | 5355452 | 5350898 | 380 30872 | 0 | 0 1386.99/1387.35 c 1138s | 25 | 5364451 | 5359898 | 380 30913 | 0 | 0 1389.00/1389.36 c 1140s | 25 | 5373651 | 5369098 | 380 30954 | 0 | 0 1390.99/1391.37 c 1142s | 25 | 5382555 | 5377998 | 380 30995 | 0 | 0 1392.99/1393.39 c 1144s | 25 | 5391756 | 5387198 | 380 31037 | 0 | 0 1395.00/1395.39 c 1146s | 25 | 5400963 | 5396398 | 380 31079 | 0 | 0 1396.99/1397.39 c 1148s | 25 | 5410166 | 5405598 | 380 31121 | 0 | 0 1398.99/1399.39 c 1150s | 25 | 5419173 | 5414598 | 380 31161 | 0 | 0 1401.10/1401.42 c 1153s | 25 | 5427973 | 5423398 | 380 31201 | 0 | 0 1403.09/1403.42 c 1155s | 25 | 5436873 | 5432298 | 380 31241 | 0 | 0 1405.09/1405.43 c 1157s | 25 | 5445779 | 5441198 | 380 31280 | 0 | 0 1407.09/1407.43 c 1159s | 25 | 5454679 | 5450098 | 380 31320 | 0 | 0 1409.09/1409.44 c 1161s | 25 | 5463683 | 5459098 | 380 31361 | 0 | 0 1411.09/1411.46 c 1163s | 25 | 5472789 | 5468198 | 380 31402 | 0 | 0 1413.09/1413.48 c 1165s | 25 | 5481889 | 5477298 | 380 31444 | 0 | 0 1415.09/1415.49 c 1167s | 25 | 5490891 | 5486298 | 380 31484 | 0 | 0 1417.19/1417.50 c 1169s | 25 | 5499888 | 5495298 | 380 31525 | 0 | 0 1419.18/1419.52 c 1171s | 25 | 5508896 | 5504298 | 380 31566 | 0 | 0 1421.18/1421.53 c 1173s | 25 | 5517896 | 5513298 | 380 31608 | 0 | 0 1423.19/1423.53 c 1175s | 25 | 5527006 | 5522398 | 380 31649 | 0 | 0 1425.19/1425.54 c 1177s | 25 | 5536203 | 5531598 | 380 31692 | 0 | 0 1427.19/1427.55 c 1179s | 25 | 5545103 | 5540498 | 380 31732 | 0 | 0 1429.19/1429.57 c 1181s | 25 | 5553906 | 5549298 | 380 31771 | 0 | 0 1431.19/1431.57 c 1183s | 25 | 5562707 | 5558098 | 380 31811 | 0 | 0 1433.19/1433.58 c 1185s | 25 | 5571608 | 5566998 | 380 31851 | 0 | 0 1435.30/1435.60 c 1187s | 25 | 5580609 | 5575998 | 380 31892 | 0 | 0 1437.29/1437.62 c 1189s | 25 | 5589615 | 5584998 | 380 31932 | 0 | 0 1439.29/1439.63 c 1191s | 25 | 5598517 | 5593898 | 380 31973 | 0 | 0 1441.29/1441.65 c 1193s | 25 | 5607520 | 5602898 | 380 32014 | 0 | 0 1443.29/1443.67 c 1195s | 25 | 5616423 | 5611798 | 380 32054 | 0 | 0 1445.29/1445.68 c 1197s | 25 | 5625228 | 5620598 | 380 32094 | 0 | 0 1447.29/1447.68 c 1199s | 25 | 5634024 | 5629398 | 380 32133 | 0 | 0 1449.29/1449.68 c 1201s | 25 | 5642933 | 5638298 | 380 32174 | 0 | 0 1451.39/1451.70 c 1203s | 25 | 5651835 | 5647198 | 380 32214 | 0 | 0 1453.39/1453.71 c 1205s | 25 | 5660834 | 5656198 | 380 32255 | 0 | 0 1455.39/1455.73 c 1207s | 25 | 5669936 | 5665298 | 380 32297 | 0 | 0 1457.39/1457.74 c 1209s | 25 | 5678944 | 5674298 | 380 32338 | 0 | 0 1459.39/1459.76 c 1211s | 25 | 5687948 | 5683298 | 380 32379 | 0 | 0 1461.39/1461.76 c 1213s | 25 | 5696950 | 5692298 | 380 32420 | 0 | 0 1463.38/1463.77 c 1215s | 25 | 5706060 | 5701398 | 380 32462 | 0 | 0 1465.38/1465.79 c 1217s | 25 | 5714961 | 5710298 | 380 32503 | 0 | 0 1467.48/1467.80 c 1219s | 25 | 5724062 | 5719398 | 380 32544 | 0 | 0 1469.48/1469.81 c 1221s | 25 | 5732869 | 5728198 | 380 32584 | 0 | 0 1471.48/1471.81 c 1223s | 25 | 5741475 | 5736798 | 380 32622 | 0 | 0 1473.48/1473.82 c 1225s | 25 | 5750275 | 5745598 | 380 32662 | 0 | 0 1475.48/1475.83 c 1227s | 25 | 5758976 | 5754298 | 380 32701 | 0 | 0 1477.48/1477.83 c 1229s | 25 | 5767686 | 5762998 | 380 32740 | 0 | 0 1479.48/1479.84 c 1231s | 25 | 5776486 | 5771798 | 380 32780 | 0 | 0 1481.49/1481.85 c 1233s | 25 | 5785195 | 5780498 | 380 32819 | 0 | 0 1483.48/1483.87 c 1235s | 25 | 5794101 | 5789398 | 380 32859 | 0 | 0 1485.48/1485.88 c 1237s | 25 | 5802905 | 5798198 | 380 32899 | 0 | 0 1487.47/1487.88 c 1239s | 25 | 5811810 | 5807098 | 380 32939 | 0 | 0 1489.58/1489.90 c 1241s | 25 | 5820613 | 5815898 | 380 32978 | 0 | 0 1491.58/1491.92 c 1243s | 25 | 5829515 | 5824798 | 380 33018 | 0 | 0 1493.58/1493.93 c 1245s | 25 | 5838523 | 5833798 | 380 33059 | 0 | 0 1495.57/1495.95 c 1247s | 25 | 5847430 | 5842698 | 380 33099 | 0 | 0 1497.58/1497.97 c 1249s | 25 | 5856335 | 5851598 | 380 33139 | 0 | 0 1499.58/1499.98 c 1251s | 25 | 5865233 | 5860498 | 380 33179 | 0 | 0 1501.57/1501.99 c 1253s | 25 | 5874136 | 5869398 | 380 33220 | 0 | 0 1503.67/1504.00 c 1255s | 25 | 5882945 | 5878198 | 380 33260 | 0 | 0 1505.69/1506.01 c 1257s | 25 | 5891749 | 5886998 | 380 33299 | 0 | 0 1507.68/1508.02 c 1259s | 25 | 5900549 | 5895798 | 380 33339 | 0 | 0 1509.68/1510.04 c 1261s | 25 | 5909250 | 5904498 | 380 33378 | 0 | 0 1511.67/1512.05 c 1263s | 25 | 5917951 | 5913198 | 380 33417 | 0 | 0 1513.67/1514.06 c 1265s | 25 | 5926651 | 5921898 | 380 33456 | 0 | 0 1515.67/1516.08 c 1267s | 25 | 5935654 | 5930898 | 380 33496 | 0 | 0 1517.68/1518.08 c 1269s | 25 | 5944564 | 5939798 | 380 33536 | 0 | 0 1519.68/1520.09 c 1271s | 25 | 5953365 | 5948598 | 380 33575 | 0 | 0 1521.78/1522.11 c 1273s | 25 | 5962164 | 5957398 | 380 33615 | 0 | 0 1523.77/1524.11 c 1275s | 25 | 5970968 | 5966198 | 380 33655 | 0 | 0 1525.77/1526.11 c 1277s | 25 | 5979970 | 5975198 | 380 33695 | 0 | 0 1527.77/1528.12 c 1279s | 25 | 5988872 | 5984098 | 380 33736 | 0 | 0 1529.77/1530.13 c 1281s | 25 | 5997782 | 5992998 | 380 33776 | 0 | 0 1531.77/1532.13 c 1283s | 25 | 6006683 | 6001898 | 380 33816 | 0 | 0 1533.77/1534.14 c 1285s | 25 | 6015686 | 6010898 | 380 33857 | 0 | 0 1535.77/1536.15 c 1287s | 25 | 6024796 | 6019998 | 380 33899 | 0 | 0 1537.77/1538.17 c 1289s | 25 | 6033796 | 6028998 | 380 33939 | 0 | 0 1539.78/1540.18 c 1291s | 25 | 6042703 | 6037898 | 380 33980 | 0 | 0 1541.77/1542.20 c 1293s | 25 | 6051508 | 6046698 | 380 34020 | 0 | 0 1543.87/1544.21 c 1295s | 25 | 6060414 | 6055598 | 380 34061 | 0 | 0 1545.87/1546.22 c 1297s | 25 | 6069324 | 6064498 | 380 34101 | 0 | 0 1547.87/1548.23 c 1299s | 25 | 6078222 | 6073398 | 380 34142 | 0 | 0 1549.87/1550.24 c 1301s | 25 | 6087021 | 6082198 | 380 34181 | 0 | 0 1551.87/1552.25 c 1303s | 25 | 6095927 | 6091098 | 380 34222 | 0 | 0 1553.87/1554.26 c 1305s | 25 | 6104628 | 6099798 | 380 34262 | 0 | 0 1555.86/1556.28 c 1307s | 25 | 6113338 | 6108498 | 380 34301 | 0 | 0 1557.86/1558.28 c 1309s | 25 | 6121934 | 6117098 | 380 34340 | 0 | 0 1559.96/1560.30 c 1311s | 25 | 6130639 | 6125798 | 380 34380 | 0 | 0 1561.97/1562.31 c 1313s | 25 | 6139441 | 6134598 | 380 34420 | 0 | 0 1563.97/1564.32 c 1315s | 25 | 6148148 | 6143298 | 380 34460 | 0 | 0 1565.96/1566.33 c 1317s | 25 | 6156849 | 6151998 | 380 34500 | 0 | 0 1567.96/1568.34 c 1319s | 25 | 6165748 | 6160898 | 380 34541 | 0 | 0 1569.96/1570.35 c 1321s | 25 | 6174552 | 6169698 | 380 34581 | 0 | 0 1571.95/1572.36 c 1323s | 25 | 6183456 | 6178598 | 380 34623 | 0 | 0 1573.96/1574.38 c 1325s | 25 | 6192457 | 6187598 | 380 34665 | 0 | 0 1575.96/1576.40 c 1327s | 25 | 6201060 | 6196198 | 380 34704 | 0 | 0 1578.06/1578.42 c 1330s | 25 | 6209763 | 6204898 | 380 34743 | 0 | 0 1580.05/1580.42 c 1332s | 25 | 6218364 | 6213498 | 380 34781 | 0 | 0 1582.06/1582.43 c 1334s | 25 | 6227070 | 6222198 | 380 34821 | 0 | 0 1584.05/1584.43 c 1336s | 25 | 6235971 | 6231098 | 380 34861 | 0 | 0 1586.05/1586.45 c 1338s | 25 | 6244883 | 6239998 | 380 34901 | 0 | 0 1588.06/1588.45 c 1340s | 25 | 6253787 | 6248898 | 380 34941 | 0 | 0 1590.05/1590.48 c 1342s | 25 | 6262588 | 6257698 | 380 34981 | 0 | 0 1592.05/1592.49 c 1344s | 25 | 6271291 | 6266398 | 380 35020 | 0 | 0 1594.15/1594.50 c 1346s | 25 | 6280195 | 6275298 | 380 35060 | 0 | 0 1596.15/1596.51 c 1348s | 25 | 6288996 | 6284098 | 380 35100 | 0 | 0 1598.15/1598.51 c 1350s | 25 | 6297802 | 6292898 | 380 35140 | 0 | 0 1600.15/1600.51 c 1352s | 25 | 6306601 | 6301698 | 380 35179 | 0 | 0 1602.15/1602.53 c 1354s | 25 | 6315405 | 6310498 | 380 35220 | 0 | 0 1604.15/1604.54 c 1356s | 25 | 6324317 | 6319398 | 380 35260 | 0 | 0 1606.14/1606.56 c 1358s | 25 | 6333211 | 6328298 | 380 35301 | 0 | 0 1608.15/1608.56 c 1360s | 25 | 6342020 | 6337098 | 380 35341 | 0 | 0 1610.15/1610.57 c 1362s | 25 | 6350932 | 6345998 | 380 35381 | 0 | 0 1612.14/1612.59 c 1364s | 25 | 6359526 | 6354598 | 380 35420 | 0 | 0 1614.24/1614.60 c 1366s | 25 | 6368332 | 6363398 | 380 35460 | 0 | 0 1616.24/1616.61 c 1368s | 25 | 6377140 | 6372198 | 380 35500 | 0 | 0 1618.24/1618.62 c 1370s | 25 | 6385947 | 6380998 | 380 35540 | 0 | 0 1620.23/1620.63 c 1372s | 25 | 6394748 | 6389798 | 380 35580 | 0 | 0 1622.24/1622.65 c 1374s | 25 | 6403450 | 6398498 | 380 35619 | 0 | 0 1624.23/1624.67 c 1376s | 25 | 6412252 | 6407298 | 380 35659 | 0 | 0 1626.23/1626.68 c 1378s | 25 | 6421154 | 6416198 | 380 35699 | 0 | 0 1628.23/1628.68 c 1380s | 25 | 6430060 | 6425098 | 380 35740 | 0 | 0 1630.23/1630.69 c 1382s | 25 | 6438867 | 6433898 | 380 35780 | 0 | 0 1632.33/1632.70 c 1384s | 25 | 6447874 | 6442898 | 380 35822 | 0 | 0 1634.34/1634.71 c 1386s | 25 | 6456688 | 6451698 | 380 35862 | 0 | 0 1636.33/1636.72 c 1388s | 25 | 6465286 | 6460298 | 380 35901 | 0 | 0 1638.33/1638.74 c 1390s | 25 | 6474089 | 6469098 | 380 35941 | 0 | 0 1640.32/1640.74 c 1392s | 25 | 6482794 | 6477798 | 380 35980 | 0 | 0 1642.32/1642.76 c 1394s | 25 | 6491695 | 6486698 | 380 36021 | 0 | 0 1644.32/1644.77 c 1396s | 25 | 6500193 | 6495198 | 380 36060 | 0 | 0 1646.33/1646.77 c 1398s | 25 | 6508897 | 6503898 | 380 36100 | 0 | 0 1648.32/1648.79 c 1400s | 25 | 6517702 | 6512698 | 380 36140 | 0 | 0 1650.42/1650.81 c 1402s | 25 | 6526506 | 6521498 | 380 36180 | 0 | 0 1652.43/1652.83 c 1404s | 25 | 6535310 | 6530298 | 380 36221 | 0 | 0 1654.42/1654.84 c 1406s | 25 | 6544116 | 6539098 | 380 36261 | 0 | 0 1656.42/1656.85 c 1408s | 25 | 6552819 | 6547798 | 380 36301 | 0 | 0 1658.42/1658.87 c 1410s | 25 | 6561729 | 6556698 | 380 36343 | 0 | 0 1660.42/1660.89 c 1412s | 25 | 6570634 | 6565598 | 380 36384 | 0 | 0 1662.52/1662.90 c 1414s | 25 | 6579651 | 6574598 | 380 36426 | 0 | 0 1664.52/1664.90 c 1416s | 25 | 6588849 | 6583798 | 380 36469 | 0 | 0 1666.52/1666.91 c 1418s | 25 | 6598164 | 6593098 | 380 36510 | 0 | 0 1668.52/1668.92 c 1420s | 25 | 6607159 | 6602098 | 380 36551 | 0 | 0 1670.52/1670.93 c 1422s | 25 | 6615960 | 6610898 | 380 36590 | 0 | 0 1672.52/1672.95 c 1424s | 25 | 6624963 | 6619898 | 380 36631 | 0 | 0 1674.52/1674.95 c 1426s | 25 | 6633968 | 6628898 | 380 36672 | 0 | 0 1676.52/1676.96 c 1428s | 25 | 6642966 | 6637898 | 380 36713 | 0 | 0 1678.52/1678.98 c 1430s | 25 | 6651970 | 6646898 | 380 36754 | 0 | 0 1680.61/1681.00 c 1432s | 25 | 6661072 | 6655998 | 380 36796 | 0 | 0 1682.62/1683.02 c 1434s | 25 | 6669983 | 6664898 | 380 36836 | 0 | 0 1684.61/1685.04 c 1436s | 25 | 6678979 | 6673898 | 380 36877 | 0 | 0 1686.62/1687.06 c 1438s | 25 | 6687988 | 6682898 | 380 36918 | 0 | 0 1688.62/1689.08 c 1440s | 25 | 6697093 | 6691998 | 380 36959 | 0 | 0 1690.61/1691.09 c 1442s | 25 | 6706094 | 6700998 | 380 37000 | 0 | 0 1692.62/1693.09 c 1444s | 25 | 6715103 | 6709998 | 380 37042 | 0 | 0 1694.72/1695.10 c 1446s | 25 | 6724205 | 6719098 | 380 37083 | 0 | 0 1696.71/1697.11 c 1448s | 25 | 6733401 | 6728298 | 380 37126 | 0 | 0 1698.71/1699.13 c 1450s | 25 | 6742704 | 6737598 | 380 37169 | 0 | 0 1700.71/1701.13 c 1452s | 25 | 6751710 | 6746598 | 380 37210 | 0 | 0 1702.71/1703.15 c 1454s | 25 | 6760607 | 6755498 | 380 37250 | 0 | 0 1704.72/1705.15 c 1456s | 25 | 6769410 | 6764298 | 380 37290 | 0 | 0 1706.71/1707.16 c 1458s | 25 | 6778408 | 6773298 | 380 37332 | 0 | 0 1708.71/1709.16 c 1460s | 25 | 6787420 | 6782298 | 380 37373 | 0 | 0 1710.70/1711.17 c 1462s | 25 | 6796224 | 6791098 | 380 37413 | 0 | 0 1712.70/1713.18 c 1464s | 25 | 6805122 | 6799998 | 380 37454 | 0 | 0 1714.71/1715.19 c 1466s | 25 | 6813928 | 6808798 | 380 37494 | 0 | 0 1716.81/1717.21 c 1468s | 25 | 6822830 | 6817698 | 380 37535 | 0 | 0 1718.81/1719.23 c 1470s | 25 | 6831837 | 6826698 | 380 37577 | 0 | 0 1720.80/1721.25 c 1472s | 25 | 6840838 | 6835698 | 380 37618 | 0 | 0 1722.80/1723.25 c 1474s | 25 | 6849642 | 6844498 | 380 37658 | 0 | 0 1724.80/1725.26 c 1476s | 25 | 6858547 | 6853398 | 380 37699 | 0 | 0 1726.81/1727.26 c 1478s | 25 | 6867450 | 6862298 | 380 37740 | 0 | 0 1728.81/1729.27 c 1480s | 25 | 6876453 | 6871298 | 380 37781 | 0 | 0 1730.80/1731.27 c 1482s | 25 | 6885357 | 6880198 | 380 37822 | 0 | 0 1732.80/1733.29 c 1484s | 25 | 6894367 | 6889198 | 380 37863 | 0 | 0 1734.91/1735.30 c 1486s | 25 | 6903471 | 6898298 | 380 37906 | 0 | 0 1736.90/1737.32 c 1488s | 25 | 6912673 | 6907498 | 380 37948 | 0 | 0 1738.90/1739.33 c 1490s | 25 | 6921882 | 6916698 | 380 37991 | 0 | 0 1740.90/1741.36 c 1492s | 25 | 6931077 | 6925898 | 380 38033 | 0 | 0 1742.90/1743.36 c 1494s | 25 | 6940180 | 6934998 | 380 38075 | 0 | 0 1744.90/1745.37 c 1496s | 25 | 6949283 | 6944098 | 380 38117 | 0 | 0 1746.90/1747.38 c 1498s | 25 | 6958484 | 6953298 | 380 38160 | 0 | 0 1748.89/1749.39 c 1500s | 25 | 6967692 | 6962498 | 380 38202 | 0 | 0 1750.99/1751.41 c 1503s | 25 | 6976793 | 6971598 | 380 38244 | 0 | 0 1753.00/1753.41 c 1505s | 25 | 6985994 | 6980798 | 380 38287 | 0 | 0 1755.00/1755.44 c 1507s | 25 | 6995303 | 6990098 | 380 38330 | 0 | 0 1757.00/1757.44 c 1509s | 25 | 7004511 | 6999298 | 380 38372 | 0 | 0 1758.99/1759.46 c 1511s | 25 | 7013610 | 7008398 | 380 38414 | 0 | 0 1760.99/1761.46 c 1513s | 25 | 7022715 | 7017498 | 380 38457 | 0 | 0 1763.00/1763.48 c 1515s | 25 | 7032020 | 7026798 | 380 38500 | 0 | 0 1764.99/1765.49 c 1517s | 25 | 7040924 | 7035698 | 380 38541 | 0 | 0 1766.99/1767.50 c 1519s | 25 | 7049731 | 7044498 | 380 38582 | 0 | 0 1769.10/1769.50 c 1521s | 25 | 7058530 | 7053298 | 380 38623 | 0 | 0 1771.09/1771.50 c 1523s | 25 | 7067433 | 7062198 | 380 38665 | 0 | 0 1773.09/1773.50 c 1525s | 25 | 7076242 | 7070998 | 380 38706 | 0 | 0 1775.10/1775.51 c 1527s | 25 | 7085245 | 7079998 | 380 38748 | 0 | 0 1777.09/1777.52 c 1529s | 25 | 7094047 | 7088798 | 380 38788 | 0 | 0 1779.09/1779.54 c 1531s | 25 | 7102953 | 7097698 | 380 38828 | 0 | 0 1781.09/1781.56 c 1533s | 25 | 7111851 | 7106598 | 380 38868 | 0 | 0 1783.09/1783.57 c 1535s | 25 | 7120853 | 7115598 | 380 38908 | 0 | 0 1785.09/1785.58 c 1537s | 25 | 7129956 | 7124698 | 380 38949 | 0 | 0 1787.10/1787.58 c 1539s | 25 | 7139053 | 7133798 | 380 38990 | 0 | 0 1789.19/1789.60 c 1541s | 25 | 7148253 | 7142998 | 380 39032 | 0 | 0 1791.19/1791.62 c 1543s | 25 | 7157456 | 7152198 | 380 39073 | 0 | 0 1793.19/1793.62 c 1545s | 25 | 7166660 | 7161398 | 380 39115 | 0 | 0 1795.19/1795.63 c 1547s | 25 | 7175859 | 7170598 | 380 39157 | 0 | 0 1797.19/1797.65 c 1549s | 25 | 7184864 | 7179598 | 380 39198 | 0 | 0 1799.19/1799.66 c 1551s | 25 | 7193773 | 7188498 | 380 39238 | 0 | 0
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-4078593-1465239161/watcher-4078593-1465239161 -o /tmp/evaluation-result-4078593-1465239161/solver-4078593-1465239161 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078593-1465239161.opb pid=11232 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11235 /proc/meminfo: memFree=29797132/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/11235/stat : 11235 (runsolver) D 11232 11235 8429 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 105849523 24911872 151 33554432000 4194304 4338465 140733747082400 140733747080040 242167401655 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/11235/statm: 6082 151 105 36 0 2655 0 [startup+0.10022 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11235 /proc/meminfo: memFree=29797132/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1218116 CPUtime=0.06 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 21781 0 0 0 4 2 0 0 20 0 4 0 105849523 1247350784 22644 33554432000 4194304 16246674 140734350035168 140734350034592 12654121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 304529 22655 601 2943 0 301423 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1218116 [startup+0.20039 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11235 /proc/meminfo: memFree=29797132/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1218116 CPUtime=0.17 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 43759 0 0 0 12 5 0 0 20 0 4 0 105849523 1247350784 44621 33554432000 4194304 16246674 140734350035168 140734350034592 12430073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 304529 44627 601 2943 0 301423 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 1218116 [startup+0.300324 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11235 /proc/meminfo: memFree=29797132/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1218116 CPUtime=0.27 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 70433 0 0 0 18 9 0 0 20 0 4 0 105849523 1247350784 71296 33554432000 4194304 16246674 140734350035168 140734350034592 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 304529 71310 601 2943 0 301423 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 1218116 [startup+0.700325 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11235 /proc/meminfo: memFree=29797132/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1218116 CPUtime=0.67 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 157583 0 0 0 48 19 0 0 20 0 4 0 105849523 1247350784 158446 33554432000 4194304 16246674 140734350035168 140734350017088 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 304529 158451 601 2943 0 301423 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.02 2.02 2.00 3/183 11239 /proc/meminfo: memFree=28847604/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1344068 CPUtime=1.46 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 276869 0 0 0 111 35 0 0 20 0 4 0 105849523 1376325632 277702 33554432000 4194304 16246674 140734350035168 140734350033832 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 336017 277708 652 2943 0 332911 0 [pid=11235/tid=11237] ppid=11232 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 1376325632 277711 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105849525 1376325632 277715 33554432000 4194304 16246674 140734350035168 140658381659152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 1376325632 277719 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 1344068 [startup+3.10042 s] /proc/loadavg: 2.02 2.02 2.00 3/183 11239 /proc/meminfo: memFree=28625148/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1404484 CPUtime=3.07 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 292215 0 0 0 270 37 0 0 20 0 4 0 105849523 1438191616 293033 33554432000 4194304 16246674 140734350035168 140734350034480 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 351121 293033 821 2943 0 348015 0 [pid=11235/tid=11237] ppid=11232 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 1438191616 293033 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105849525 1438191616 293033 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 1438191616 293033 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 1404484 [startup+6.30041 s] /proc/loadavg: 2.02 2.02 2.00 3/183 11239 /proc/meminfo: memFree=28610528/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1419844 CPUtime=6.26 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 296056 0 0 0 589 37 0 0 20 0 4 0 105849523 1453920256 296874 33554432000 4194304 16246674 140734350035168 140734350034480 13892519 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 354961 296874 821 2943 0 351855 0 [pid=11235/tid=11237] ppid=11232 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 1453920256 296874 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105849525 1453920256 296874 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 1453920256 296874 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 1419844 [startup+12.7005 s] /proc/loadavg: 2.02 2.02 2.00 3/183 11239 /proc/meminfo: memFree=28361484/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=1710660 CPUtime=12.67 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 385911 0 0 0 1218 49 0 0 20 0 4 0 105849523 1751715840 369577 33554432000 4194304 16246674 140734350035168 140734350032960 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 427921 369587 821 2943 0 424815 0 [pid=11235/tid=11237] ppid=11232 vsize=1711684 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 1752764416 369591 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=1711684 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 1752764416 369595 33554432000 4194304 16246674 140734350035168 140658381659152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=1711684 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 1752764416 369599 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 1710660 [startup+25.5005 s] /proc/loadavg: 2.01 2.01 2.00 3/183 11239 /proc/meminfo: memFree=27875896/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2153028 CPUtime=25.46 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 496506 0 0 0 2477 69 0 0 20 0 4 0 105849523 2204700672 480172 33554432000 4194304 16246674 140734350035168 140734350032960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 538257 480172 822 2943 0 535151 0 [pid=11235/tid=11237] ppid=11232 vsize=2153028 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2204700672 480172 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2153028 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2204700672 480172 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2153028 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 2204700672 480172 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 2153028 [startup+51.1004 s] /proc/loadavg: 2.01 2.01 2.00 3/183 11239 /proc/meminfo: memFree=27827028/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2227780 CPUtime=51.05 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 515194 0 0 0 5022 83 0 0 20 0 4 0 105849523 2281246720 498860 33554432000 4194304 16246674 140734350035168 140734350034480 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 556945 498860 822 2943 0 553839 0 [pid=11235/tid=11237] ppid=11232 vsize=2227780 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2281246720 498860 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2227780 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2281246720 498860 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2227780 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 2281246720 498860 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 2227780 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11240 /proc/meminfo: memFree=27753224/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2274884 CPUtime=102.26 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 526970 0 0 0 10124 102 0 0 20 0 4 0 105849523 2329481216 510636 33554432000 4194304 16246674 140734350035168 140734350032960 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 568721 510636 822 2943 0 565615 0 [pid=11235/tid=11237] ppid=11232 vsize=2274884 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2329481216 510636 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2274884 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2329481216 510636 33554432000 4194304 16246674 140734350035168 140658381659152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2274884 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 2329481216 510636 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 2274884 [startup+162.3 s] /proc/loadavg: 2.11 2.03 2.01 3/183 11242 /proc/meminfo: memFree=27273980/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2753092 CPUtime=162.24 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 814970 0 0 0 16069 155 0 0 20 0 4 0 105849523 2819166208 630188 33554432000 4194304 16246674 140734350035168 140734350034264 4206697 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 688273 630188 822 2943 0 685167 0 [pid=11235/tid=11237] ppid=11232 vsize=2753092 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2819166208 630188 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2753092 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2819166208 630188 33554432000 4194304 16246674 140734350035168 140658381659152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2753092 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 2819166208 630188 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 2753092 [startup+222.308 s] /proc/loadavg: 2.09 2.04 2.01 3/183 11243 /proc/meminfo: memFree=27146384/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2890308 CPUtime=222.23 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 861050 0 0 0 22054 169 0 0 20 0 4 0 105849523 2959675392 664492 33554432000 4194304 16246674 140734350035168 140734350032960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 722577 664492 822 2943 0 719471 0 [pid=11235/tid=11237] ppid=11232 vsize=2890308 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2959675392 664492 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2890308 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 2959675392 664492 33554432000 4194304 16246674 140734350035168 140658381659152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2890308 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 2959675392 664492 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 2890308 ################ # More data... # ################ /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679155 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 2948676 [startup+1362.3 s] /proc/loadavg: 2.07 2.09 2.06 3/183 11345 /proc/meminfo: memFree=27833692/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1362 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875805 0 0 0 135939 261 0 0 20 0 4 0 105849523 3019444224 679156 33554432000 4194304 16246674 140734350035168 140734350017088 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679156 889 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679156 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679156 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679156 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 2948676 [startup+1422.3 s] /proc/loadavg: 2.11 2.10 2.07 3/183 11346 /proc/meminfo: memFree=27756464/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1421.99 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875805 0 0 0 141932 267 0 0 20 0 4 0 105849523 3019444224 679156 33554432000 4194304 16246674 140734350035168 140734350017088 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679156 889 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679156 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679156 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679156 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 2948676 [startup+1482.3 s] /proc/loadavg: 2.08 2.09 2.07 3/183 11347 /proc/meminfo: memFree=27551392/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1481.98 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875806 0 0 0 147928 270 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 6026792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 2948676 [startup+1542.31 s] /proc/loadavg: 2.07 2.08 2.07 3/183 11348 /proc/meminfo: memFree=27550296/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1541.98 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875806 0 0 0 153920 278 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350018168 5711506 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 2948676 [startup+1602.3 s] /proc/loadavg: 2.03 2.07 2.06 3/183 11349 /proc/meminfo: memFree=27550208/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1601.94 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875830 0 0 0 159909 285 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 13760258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 2948676 [startup+1662.3 s] /proc/loadavg: 2.09 2.07 2.06 3/184 11354 /proc/meminfo: memFree=27443492/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1661.92 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875863 0 0 0 165900 292 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 5712192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 2948676 [startup+1722.3 s] /proc/loadavg: 2.16 2.10 2.07 3/183 11355 /proc/meminfo: memFree=27416996/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1721.9 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875880 0 0 0 171892 298 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 2948676 [startup+1782.3 s] /proc/loadavg: 2.09 2.09 2.07 3/183 11356 /proc/meminfo: memFree=27416412/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1781.89 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875895 0 0 0 177884 305 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 13198652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 2948676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.07 2.08 2.07 3/183 11356 /proc/meminfo: memFree=27416412/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1800.09 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875895 0 0 0 179704 305 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2948676 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 11235 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.07 2.08 2.07 3/183 11356 /proc/meminfo: memFree=27416412/32872528 swapFree=11196/354588 [pid=11235] ppid=11232 vsize=2948676 CPUtime=1800.09 cores=0,2,4,6 /proc/11235/stat : 11235 (toysat) R 11232 11235 8429 0 -1 4202496 875895 0 0 0 179704 305 0 0 20 0 4 0 105849523 3019444224 679157 33554432000 4194304 16246674 140734350035168 140734350017088 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 2 0 0 /proc/11235/statm: 737169 679157 890 2943 0 734063 0 [pid=11235/tid=11237] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658392149232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11235/tid=11238] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658381659376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0 [pid=11235/tid=11239] ppid=11232 vsize=2948676 CPUtime=0 cores=0,2,4,6 /proc/11235/task/11239/stat : 11239 (toysat) S 11232 11235 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105849525 3019444224 679157 33554432000 4194304 16246674 140734350035168 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2948676 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.17 CPU user time (s): 1797.04 CPU system time (s): 3.12152 CPU usage (%): 99.9768 Max. virtual memory (cumulated for all children) (KiB): 2948676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.04 system time used= 3.12153 maximum resident set size= 2716628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 875895 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= 529 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.08207 second user time and 9.83351 second system time The end
Begin job on node126 at 2016-06-06 20:52:41 IDJOB=4078593 IDBENCH=2565 IDSOLVER=2542 FILE ID=node126/4078593-1465239161 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob6.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078593-1465239161/watcher-4078593-1465239161 -o /tmp/evaluation-result-4078593-1465239161/solver-4078593-1465239161 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078593-1465239161.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2318a0c7fc475c873b2fa45e5e7fe96e RANDOM SEED=1919031254 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: 29797396 kB Buffers: 37712 kB Cached: 129088 kB SwapCached: 2252 kB Active: 1935408 kB Inactive: 83264 kB Active(anon): 1852120 kB Inactive(anon): 2384 kB Active(file): 83288 kB Inactive(file): 80880 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098540 kB Dirty: 16352 kB Writeback: 0 kB AnonPages: 2205452 kB Mapped: 10460 kB Shmem: 0 kB Slab: 567420 kB SReclaimable: 11604 kB SUnreclaim: 555816 kB KernelStack: 1464 kB PageTables: 8500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2350732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1081344 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-06 21:22:41