| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-40.opb |
| MD5SUM | 96b10f202af149572cd99ac873608650 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9342 |
| Total number of constraints | 199352 |
| Number of constraints which are clauses | 178530 |
| Number of constraints which are cardinality constraints (but not clauses) | 720 |
| Number of constraints which are nor clauses,nor cardinality constraints | 20102 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 231 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 232 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-19T01:30:41+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4108904-1466292641.opb"] 0.00/0.01 c use --random-gen="319591939 3507787506 3657329442 2089025046 3505064420 2923332412 2698873742 121533019 4030595097 2066651546 3729361720 2446997799 1171205739 3857638509 1855045086 3959160217 1737800654 703007499 1803340928 1109164939 2386801150 427682239 4134466275 904608633 2272769012 712595168 2858237070 1200668270 379310766 2358025113 2265314756 3918962252 245788007 4054152199 36592836 3348847487 4091737123 490524797 3822692150 306616500 2059494500 640701480 537220985 2196710430 3385260362 4066618276 3244815059 3249712385 3738651488 2144186335 1854843226 725000482 627760408 168457158 3777761526 1746423582 3726935942 811633581 1748197892 72832004 2708899585 3941172393 381879277 250729206 2049225103 3477285396 3490566177 2315629629 2553719986 580338105 4022782095 1965347511 3232689782 2977043039 1998322905 3290994577 3340942321 4034306749 2796891075 2405345189 262149937 2836637447 37240413 3670445184 574344287 399131758 1920465403 2259795723 563932235 2272735201 740441125 888198005 1473772056 231123681 382217362 1928458608 3678429170 213415812 3709716761 3163931646 1489111848 1603798641 268483441 2352262321 219621272 2480826094 4232055132 241998800 156273878 1901135139 1525800041 3151064737 646217794 1576113985 3634607149 3899330314 2421781244 2413107078 4092864201 2292160699 3468662136 2855589272 1967196473 2906887884 380082339 948120354 1169365182 3442415405 472044740 1984320936 1227479886 2700551667 4074357475 1382256237 2901619432 3781763123 117327596 29772301 1069072803 2557435964 830592122 1816145922 2973250829 246824813 3433675980 2447938734 1699258628 3772471962 1917578209 3507583730 2608759006 4055460538 1920468413 3337115164 879829756 3730525369 2357031211 1089519266 3977057842 2883890098 1441119545 2334734467 3773563295 144526770 1457087234 3615321526 412713759 1794282616 4081325876 1577678771 1083349083 622267306 1860445616 140823915 1304114742 151965329 3750098053 1026608230 2618584247 3845748271 252454446 1457357993 247439607 1597673611 2138771167 825510107 2663261353 3664674716 3303370579 2218456542 4089657751 2292499936 448247438 3388048227 910826563 3918742790 3056938711 3070675011 3382079100 1317629374 1337040343 3924130362 645759058 168846107 1218831974 1296237800 2013562110 2493814103 292812342 682023778 2273799453 506071517 593235124 3727279664 2280426387 1582331193 160869481 676157691 3393161974 247919267 2920092136 3945447318 2714365586 2050220355 1843614989 1514956123 3353092205 3232766466 592813637 1389521193 2323222083 4108815652 2525032842 3926894226 1193012502 3358086129 1602093417 3623439569 2591159562 276384957 1902724970 3679851795 1353266156 145691153 2788538723 3108865305 1270057890 1569489463 3478988998 1085458254 1596914002 884340266 822030508 1543115778 660287779 3063380009 255 362436" option to reproduce the execution 1.59/1.66 c #vars 9342 1.59/1.66 c #constraints 199352 5.09/5.16 c Solving starts ... 5.09/5.16 c ============================[ Search Statistics ]============================ 5.09/5.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.16 c | | | | Limit GC | Var | Constra 5.09/5.16 c ============================================================================= 5.09/5.17 c 0.0s | 0 | 0 | 0 | 69687 0 | 0 | 0 5.50/5.55 c 0.4s | 1 | 152 | 100 | 69687 0 | 0 | 0 7.49/7.57 c 2.4s | 2 | 16960 | 250 | 76656 0 | 0 | 0 7.99/8.07 c 2.9s | 3 | 27096 | 475 | 84322 0 | 0 | 0 8.59/8.61 c 3.4s | 4 | 34658 | 813 | 92755 0 | 0 | 0 9.39/9.46 c 4.3s | 5 | 46183 | 1320 | 102031 0 | 0 | 0 10.49/10.55 c 5.4s | 6 | 47486 | 2081 | 123459 0 | 0 | 0 12.29/12.34 c 7.2s | 7 | 62130 | 3223 | 135805 0 | 0 | 0 14.19/14.30 c 9.1s | 8 | 93503 | 4936 | 149386 0 | 0 | 0 16.39/16.41 c 11.2s | 8 | 95649 | 6536 | 149386 0 | 0 | 0 17.79/17.86 c 12.7s | 9 | 96783 | 7506 | 164325 0 | 0 | 0 20.29/20.32 c 15.2s | 9 | 132117 | 8106 | 164325 0 | 0 | 0 22.69/22.73 c 17.6s | 9 | 154281 | 9206 | 164325 0 | 0 | 0 25.09/25.13 c 20.0s | 9 | 193704 | 10206 | 164325 0 | 0 | 0 27.29/27.37 c 22.2s | 9 | 228009 | 11206 | 164325 0 | 0 | 0 27.60/27.61 c 22.4s | 10 | 232106 | 11361 | 180758 0 | 0 | 0 29.70/29.73 c 24.6s | 10 | 269794 | 12161 | 180758 0 | 0 | 0 31.69/31.74 c 26.6s | 10 | 271208 | 13161 | 180758 0 | 0 | 0 34.29/34.32 c 29.2s | 10 | 289608 | 14361 | 180758 0 | 0 | 0 36.30/36.35 c 31.2s | 10 | 291166 | 15261 | 180758 0 | 0 | 0 38.50/38.52 c 33.4s | 10 | 292921 | 16461 | 180758 0 | 0 | 0 40.09/40.12 c 35.0s | 11 | 294113 | 17144 | 198834 0 | 0 | 0 42.19/42.27 c 37.1s | 11 | 297543 | 17944 | 198834 0 | 0 | 0 44.29/44.31 c 39.1s | 11 | 298703 | 18744 | 198834 0 | 0 | 0 46.49/46.52 c 41.4s | 11 | 300798 | 19744 | 198834 0 | 0 | 0 48.69/48.73 c 43.6s | 11 | 302124 | 20744 | 198834 0 | 0 | 0 50.69/50.78 c 45.6s | 11 | 303628 | 21644 | 198834 0 | 0 | 0 52.89/52.93 c 47.8s | 11 | 304895 | 22544 | 198834 0 | 0 | 0 54.89/54.93 c 49.8s | 11 | 305984 | 23444 | 198834 0 | 0 | 0 57.09/57.11 c 52.0s | 11 | 307243 | 24544 | 198834 0 | 0 | 0 59.19/59.21 c 54.0s | 11 | 311368 | 25444 | 198834 0 | 0 | 0 60.08/60.12 c 55.0s | 12 | 311820 | 25819 | 218718 0 | 0 | 0 62.18/62.22 c 57.1s | 12 | 326324 | 26619 | 218718 0 | 0 | 0 64.48/64.56 c 59.4s | 12 | 352053 | 27019 | 218718 0 | 0 | 0 66.58/66.65 c 61.5s | 12 | 361497 | 27819 | 218718 0 | 0 | 0 68.78/68.81 c 63.6s | 12 | 362664 | 28819 | 218718 0 | 0 | 0 70.78/70.86 c 65.7s | 12 | 370339 | 29919 | 218718 0 | 0 | 0 72.98/73.05 c 67.9s | 12 | 373572 | 30719 | 218718 0 | 0 | 0 75.28/75.31 c 70.1s | 12 | 379072 | 31519 | 218718 0 | 0 | 0 77.48/77.57 c 72.4s | 12 | 380264 | 32319 | 218718 0 | 0 | 0 79.68/79.73 c 74.6s | 12 | 381290 | 33119 | 218718 0 | 0 | 0 81.78/81.85 c 76.7s | 12 | 382188 | 33819 | 218718 0 | 0 | 0 83.88/83.92 c 78.8s | 12 | 383109 | 34519 | 218718 0 | 0 | 0 85.98/86.04 c 80.9s | 12 | 384031 | 35219 | 218718 0 | 0 | 0 88.18/88.29 c 83.1s | 12 | 384950 | 35919 | 218718 0 | 0 | 0 90.38/90.42 c 85.3s | 12 | 385611 | 36519 | 218718 0 | 0 | 0 92.39/92.50 c 87.3s | 12 | 386304 | 37119 | 218718 0 | 0 | 0 94.59/94.66 c 89.5s | 12 | 387116 | 37819 | 218718 0 | 0 | 0 96.79/96.90 c 91.7s | 12 | 387885 | 38519 | 218718 0 | 0 | 0 97.98/98.00 c 92.8s | 13 | 388288 | 38832 | 240590 0 | 0 | 0 99.98/100.01 c 94.9s | 13 | 401869 | 39632 | 240590 0 | 1 | 11 102.38/102.43 c 97.3s | 13 | 402643 | 40232 | 240590 0 | 1 | 11 104.58/104.61 c 99.4s | 13 | 403703 | 40832 | 240590 0 | 1 | 11 106.68/106.75 c 101s | 13 | 404452 | 41432 | 240590 0 | 1 | 11 108.88/108.94 c 103s | 13 | 405258 | 42132 | 240590 0 | 1 | 11 110.98/111.08 c 105s | 13 | 406095 | 42832 | 240590 0 | 1 | 11 113.07/113.18 c 108s | 13 | 407037 | 43632 | 240590 0 | 1 | 11 115.27/115.31 c 110s | 13 | 407837 | 44332 | 240590 0 | 1 | 11 117.37/117.40 c 112s | 13 | 408522 | 44932 | 240590 0 | 1 | 11 119.47/119.58 c 114s | 13 | 409210 | 45532 | 240590 0 | 1 | 11 121.57/121.61 c 116s | 13 | 409909 | 46132 | 240590 0 | 1 | 11 123.77/123.89 c 118s | 13 | 410694 | 46832 | 240590 0 | 1 | 11 126.07/126.19 c 121s | 13 | 411480 | 47532 | 240590 0 | 1 | 11 128.17/128.20 c 123s | 13 | 412150 | 48132 | 240590 0 | 1 | 11 130.17/130.23 c 125s | 13 | 412703 | 48632 | 240590 0 | 1 | 11 132.37/132.41 c 127s | 13 | 413394 | 49232 | 240590 0 | 1 | 11 134.57/134.65 c 129s | 13 | 414056 | 49832 | 240590 0 | 1 | 11 136.77/136.81 c 131s | 13 | 414702 | 50432 | 240590 0 | 1 | 11 138.77/138.88 c 133s | 13 | 415260 | 50932 | 240590 0 | 1 | 11 140.97/141.00 c 135s | 13 | 415845 | 51432 | 240590 0 | 1 | 11 143.27/143.39 c 138s | 13 | 416525 | 52032 | 240590 0 | 1 | 11 145.67/145.78 c 140s | 13 | 417199 | 52632 | 240590 0 | 1 | 11 147.77/147.88 c 142s | 13 | 417751 | 53132 | 240590 0 | 1 | 11 150.07/150.12 c 144s | 13 | 418320 | 53632 | 240590 0 | 1 | 11 152.57/152.60 c 147s | 13 | 418992 | 54232 | 240590 0 | 1 | 11 154.77/154.82 c 149s | 13 | 419573 | 54732 | 240590 0 | 1 | 11 156.97/157.03 c 151s | 13 | 420125 | 55232 | 240590 0 | 1 | 11 159.37/159.41 c 154s | 13 | 420799 | 55832 | 240590 0 | 1 | 11 161.57/161.66 c 156s | 13 | 421327 | 56332 | 240590 0 | 1 | 11 163.77/163.80 c 158s | 13 | 421892 | 56832 | 240590 0 | 1 | 11 166.07/166.13 c 160s | 13 | 422541 | 57432 | 240590 0 | 1 | 11 168.27/168.32 c 163s | 13 | 423084 | 57932 | 240590 0 | 1 | 11 169.87/169.95 c 164s | 14 | 423539 | 58352 | 264649 0 | 1 | 11 172.36/172.44 c 167s | 14 | 452234 | 59452 | 264649 0 | 1 | 11 174.76/174.84 c 169s | 14 | 470246 | 61452 | 264649 0 | 1 | 11 176.86/176.91 c 171s | 14 | 475701 | 63052 | 264649 0 | 1 | 11 178.86/178.96 c 173s | 14 | 478741 | 64352 | 264649 0 | 1 | 11 180.96/181.08 c 175s | 14 | 480045 | 64952 | 264649 0 | 3 | 33 183.06/183.15 c 177s | 14 | 483889 | 66052 | 264649 0 | 3 | 33 185.36/185.47 c 180s | 14 | 488796 | 66952 | 264649 0 | 3 | 33 187.46/187.54 c 182s | 14 | 492352 | 68552 | 264649 0 | 3 | 33 189.56/189.62 c 184s | 14 | 493780 | 69252 | 264649 0 | 3 | 33 191.56/191.64 c 186s | 14 | 495052 | 70052 | 264649 0 | 3 | 33 193.67/193.76 c 188s | 14 | 495671 | 70552 | 264649 0 | 3 | 33 195.77/195.86 c 190s | 14 | 496769 | 71252 | 264649 0 | 3 | 33 197.97/198.03 c 192s | 14 | 498616 | 72152 | 264649 0 | 3 | 33 200.36/200.47 c 195s | 14 | 501199 | 73352 | 264649 0 | 4 | 44 202.37/202.50 c 197s | 14 | 502393 | 74052 | 264649 0 | 5 | 55 204.67/204.73 c 199s | 14 | 504114 | 74952 | 264649 0 | 5 | 55 206.77/206.83 c 201s | 14 | 506516 | 76252 | 264649 0 | 5 | 55 208.76/208.88 c 203s | 14 | 508721 | 77252 | 264649 0 | 5 | 55 210.86/210.94 c 205s | 14 | 512506 | 78052 | 264649 0 | 5 | 55 212.96/213.03 c 207s | 14 | 514185 | 78752 | 264649 0 | 5 | 55 215.36/215.45 c 210s | 14 | 515824 | 79452 | 264649 0 | 5 | 55 217.56/217.67 c 212s | 14 | 518714 | 80052 | 264649 0 | 5 | 55 219.66/219.73 c 214s | 14 | 523184 | 81052 | 264649 0 | 5 | 55 221.86/221.91 c 216s | 14 | 526995 | 82252 | 264649 0 | 5 | 55 223.86/223.94 c 218s | 14 | 529849 | 83552 | 264649 0 | 5 | 55 225.96/226.02 c 220s | 14 | 531680 | 84352 | 264649 0 | 5 | 55 228.16/228.20 c 223s | 14 | 533649 | 84952 | 264649 0 | 5 | 55 230.26/230.31 c 225s | 14 | 536017 | 86052 | 264649 0 | 5 | 55 232.36/232.47 c 227s | 14 | 538207 | 87152 | 291114 0 | 5 | 55 233.86/233.95 c 228s | 15 | 539132 | 87632 | 291114 0 | 5 | 55 236.16/236.21 c 231s | 15 | 539788 | 88032 | 291114 0 | 5 | 55 238.25/238.37 c 233s | 15 | 540341 | 88532 | 291114 0 | 5 | 55 240.35/240.48 c 235s | 15 | 540935 | 89032 | 291114 0 | 5 | 55 242.75/242.80 c 237s | 15 | 541591 | 89632 | 291114 0 | 5 | 55 244.75/244.81 c 239s | 15 | 542267 | 90232 | 291114 0 | 5 | 55 246.95/247.04 c 241s | 15 | 542829 | 90732 | 291114 0 | 5 | 55 249.35/249.42 c 244s | 15 | 543547 | 91332 | 291114 0 | 5 | 55 251.35/251.48 c 246s | 15 | 543998 | 91732 | 291114 0 | 5 | 55 253.65/253.72 c 248s | 15 | 544556 | 92232 | 291114 0 | 5 | 55 255.85/255.90 c 250s | 15 | 545109 | 92732 | 291114 0 | 5 | 55 257.85/257.91 c 252s | 15 | 545663 | 93232 | 291114 0 | 5 | 55 260.15/260.22 c 255s | 15 | 546220 | 93732 | 291114 0 | 5 | 55 262.35/262.44 c 257s | 15 | 546770 | 94232 | 291114 0 | 5 | 55 264.65/264.79 c 259s | 15 | 547355 | 94732 | 291114 0 | 5 | 55 266.85/266.99 c 261s | 15 | 548020 | 95332 | 291114 0 | 5 | 55 269.25/269.34 c 264s | 15 | 548674 | 95932 | 291114 0 | 5 | 55 271.65/271.72 c 266s | 15 | 549337 | 96532 | 291114 0 | 5 | 55 273.85/273.95 c 268s | 15 | 549886 | 97032 | 291114 0 | 5 | 55 275.85/275.97 c 270s | 15 | 550435 | 97532 | 291114 0 | 5 | 55 278.15/278.23 c 273s | 15 | 550997 | 98032 | 291114 0 | 5 | 55 280.45/280.56 c 275s | 15 | 551556 | 98532 | 291114 0 | 5 | 55 282.75/282.83 c 277s | 15 | 552108 | 99032 | 291114 0 | 5 | 55 285.05/285.17 c 280s | 15 | 552655 | 99532 | 291114 0 | 5 | 55 287.05/287.19 c 282s | 15 | 553215 | 100032 | 291114 0 | 5 | 55 289.15/289.24 c 284s | 15 | 553764 | 100532 | 291114 0 | 5 | 55 291.14/291.26 c 286s | 15 | 554199 | 100932 | 291114 0 | 5 | 55 293.54/293.63 c 288s | 15 | 554743 | 101432 | 291114 0 | 5 | 55 295.64/295.74 c 290s | 15 | 555385 | 102032 | 291114 0 | 5 | 55 297.84/297.94 c 292s | 15 | 555927 | 102532 | 291114 0 | 5 | 55 300.04/300.12 c 294s | 15 | 556471 | 103032 | 291114 0 | 5 | 55 302.14/302.29 c 297s | 15 | 557005 | 103532 | 291114 0 | 5 | 55 304.65/304.70 c 299s | 15 | 557563 | 104032 | 291114 0 | 5 | 55 306.74/306.81 c 301s | 15 | 558016 | 104432 | 291114 0 | 5 | 55 309.15/309.29 c 304s | 15 | 558566 | 104932 | 291114 0 | 5 | 55 311.54/311.65 c 306s | 15 | 559113 | 105432 | 291114 0 | 5 | 55 313.84/313.99 c 308s | 15 | 559682 | 105932 | 291114 0 | 5 | 55 316.14/316.26 c 311s | 15 | 560226 | 106432 | 291114 0 | 5 | 55 318.14/318.29 c 313s | 15 | 560662 | 106832 | 291114 0 | 5 | 55 320.34/320.43 c 315s | 15 | 561005 | 107132 | 291114 0 | 5 | 55 322.44/322.57 c 317s | 15 | 561347 | 107432 | 291114 0 | 5 | 55 324.64/324.78 c 319s | 15 | 561681 | 107732 | 291114 0 | 5 | 55 326.75/326.84 c 321s | 15 | 562119 | 108132 | 291114 0 | 5 | 55 329.04/329.11 c 323s | 15 | 562543 | 108532 | 291114 0 | 5 | 55 331.44/331.59 c 326s | 15 | 563000 | 108932 | 291114 0 | 5 | 55 333.74/333.84 c 328s | 15 | 563446 | 109332 | 291114 0 | 5 | 55 335.84/335.97 c 330s | 15 | 563903 | 109732 | 291114 0 | 5 | 55 338.24/338.39 c 333s | 15 | 564354 | 110132 | 291114 0 | 5 | 55 340.64/340.77 c 335s | 15 | 564804 | 110532 | 291114 0 | 5 | 55 343.04/343.13 c 337s | 15 | 565265 | 110932 | 291114 0 | 5 | 55 345.24/345.40 c 340s | 15 | 565700 | 111332 | 291114 0 | 5 | 55 347.74/347.84 c 342s | 15 | 566137 | 111732 | 291114 0 | 5 | 55 350.23/350.37 c 345s | 15 | 566608 | 112132 | 291114 0 | 5 | 55 352.33/352.50 c 347s | 15 | 567048 | 112532 | 291114 0 | 5 | 55 354.63/354.78 c 349s | 15 | 567497 | 112932 | 291114 0 | 5 | 55 356.73/356.88 c 351s | 15 | 567838 | 113232 | 291114 0 | 5 | 55 358.93/359.08 c 353s | 15 | 568295 | 113632 | 291114 0 | 5 | 55 361.33/361.41 c 356s | 15 | 568716 | 114032 | 291114 0 | 5 | 55 363.33/363.43 c 358s | 15 | 569160 | 114432 | 291114 0 | 5 | 55 365.83/365.90 c 360s | 15 | 569606 | 114832 | 291114 0 | 5 | 55 367.83/367.91 c 362s | 15 | 570036 | 115232 | 291114 0 | 5 | 55 369.93/370.03 c 364s | 15 | 570468 | 115632 | 291114 0 | 5 | 55 372.33/372.49 c 367s | 15 | 570909 | 116032 | 291114 0 | 5 | 55 374.43/374.53 c 369s | 15 | 571335 | 116432 | 291114 0 | 5 | 55 376.93/377.07 c 371s | 15 | 571794 | 116832 | 291114 0 | 5 | 55 379.03/379.18 c 374s | 15 | 572144 | 117132 | 291114 0 | 5 | 55 381.43/381.54 c 376s | 15 | 572572 | 117532 | 291114 0 | 5 | 55 383.63/383.72 c 378s | 15 | 573004 | 117932 | 291114 0 | 5 | 55 385.73/385.81 c 380s | 15 | 573433 | 118332 | 291114 0 | 5 | 55 387.73/387.81 c 382s | 15 | 573750 | 118632 | 291114 0 | 5 | 55 390.13/390.29 c 385s | 15 | 574176 | 119032 | 291114 0 | 5 | 55 392.43/392.52 c 387s | 15 | 574622 | 119432 | 291114 0 | 5 | 55 394.53/394.65 c 389s | 15 | 575042 | 119832 | 291114 0 | 5 | 55 396.83/396.97 c 391s | 15 | 575468 | 120232 | 291114 0 | 5 | 55 399.23/399.40 c 394s | 15 | 575922 | 120632 | 291114 0 | 5 | 55 401.33/401.41 c 396s | 15 | 576388 | 121032 | 291114 0 | 5 | 55 404.33/404.49 c 399s | 15 | 576946 | 121532 | 291114 0 | 5 | 55 406.63/406.70 c 401s | 15 | 577265 | 121832 | 291114 0 | 5 | 55 409.23/409.37 c 404s | 15 | 577611 | 122132 | 291114 0 | 5 | 55 411.33/411.41 c 406s | 15 | 577935 | 122432 | 291114 0 | 5 | 55 413.92/414.02 c 408s | 15 | 578372 | 122832 | 291114 0 | 5 | 55 415.92/416.04 c 410s | 15 | 578686 | 123132 | 291114 0 | 5 | 55 418.03/418.11 c 412s | 15 | 579005 | 123432 | 291114 0 | 5 | 55 420.52/420.67 c 415s | 15 | 579437 | 123832 | 291114 0 | 5 | 55 423.12/423.21 c 418s | 15 | 579866 | 124232 | 291114 0 | 5 | 55 425.52/425.60 c 420s | 15 | 580297 | 124632 | 291114 0 | 5 | 55 427.52/427.62 c 422s | 15 | 580629 | 124932 | 291114 0 | 5 | 55 430.13/430.28 c 425s | 15 | 581062 | 125332 | 291114 0 | 5 | 55 432.42/432.55 c 427s | 15 | 581481 | 125732 | 291114 0 | 5 | 55 434.53/434.68 c 429s | 15 | 581919 | 126132 | 291114 0 | 5 | 55 436.63/436.78 c 431s | 15 | 582352 | 126532 | 291114 0 | 5 | 55 438.84/438.97 c 433s | 15 | 582667 | 126832 | 291114 0 | 5 | 55 441.13/441.24 c 436s | 15 | 583081 | 127232 | 291114 0 | 5 | 55 443.63/443.71 c 438s | 15 | 583512 | 127632 | 291114 0 | 5 | 55 446.03/446.15 c 440s | 15 | 583934 | 128032 | 291114 0 | 5 | 55 448.23/448.30 c 443s | 15 | 584368 | 128432 | 291114 0 | 5 | 55 450.53/450.65 c 445s | 15 | 584795 | 128832 | 291114 0 | 5 | 55 452.83/452.98 c 447s | 15 | 585124 | 129132 | 291114 0 | 5 | 55 455.33/455.47 c 450s | 15 | 585571 | 129532 | 291114 0 | 5 | 55 457.53/457.68 c 452s | 15 | 585980 | 129932 | 291114 0 | 5 | 55 459.73/459.82 c 454s | 15 | 586420 | 130332 | 291114 0 | 5 | 55 462.32/462.46 c 457s | 15 | 586850 | 130732 | 320226 0 | 5 | 55 464.42/464.56 c 459s | 15 | 587167 | 131032 | 320226 0 | 5 | 55 467.12/467.22 c 462s | 15 | 587597 | 131432 | 320226 0 | 5 | 55 468.12/468.26 c 463s | 16 | 587718 | 131552 | 320226 0 | 5 | 55 470.12/470.26 c 465s | 16 | 592532 | 132152 | 320226 0 | 5 | 55 472.42/472.50 c 467s | 16 | 607683 | 132752 | 320226 0 | 5 | 55 474.52/474.62 c 469s | 16 | 614435 | 133252 | 320226 0 | 5 | 55 476.52/476.66 c 471s | 16 | 616586 | 133952 | 320226 0 | 5 | 55 478.82/478.92 c 473s | 16 | 617332 | 134352 | 320226 0 | 5 | 55 480.92/481.01 c 475s | 16 | 617660 | 134652 | 320226 0 | 5 | 55 483.22/483.37 c 478s | 16 | 622463 | 135252 | 320226 0 | 5 | 55 486.02/486.11 c 480s | 16 | 625018 | 135652 | 320226 0 | 5 | 55 488.22/488.35 c 483s | 16 | 628422 | 136252 | 320226 0 | 5 | 55 490.22/490.37 c 485s | 16 | 629635 | 136952 | 320226 0 | 5 | 55 492.32/492.43 c 487s | 16 | 631758 | 138252 | 320226 0 | 5 | 55 494.32/494.44 c 489s | 16 | 632877 | 138852 | 320226 0 | 5 | 55 496.42/496.50 c 491s | 16 | 633690 | 139252 | 320226 0 | 5 | 55 498.72/498.88 c 493s | 16 | 634997 | 139952 | 320226 0 | 5 | 55 501.02/501.16 c 495s | 16 | 636229 | 140552 | 320226 0 | 5 | 55 503.12/503.25 c 498s | 16 | 638766 | 141152 | 320226 0 | 5 | 55 505.22/505.30 c 500s | 16 | 639639 | 141552 | 320226 0 | 5 | 55 507.62/507.72 c 502s | 16 | 641057 | 142052 | 320226 0 | 5 | 55 510.32/510.47 c 505s | 16 | 641668 | 142452 | 320226 0 | 5 | 55 512.62/512.78 c 507s | 16 | 642028 | 142752 | 320226 0 | 5 | 55 514.61/514.79 c 509s | 16 | 642369 | 143052 | 320226 0 | 5 | 55 516.81/516.91 c 511s | 16 | 643007 | 143452 | 320226 0 | 5 | 55 519.41/519.51 c 514s | 16 | 643606 | 143852 | 320226 0 | 5 | 55 521.51/521.65 c 516s | 16 | 644009 | 144152 | 320226 0 | 5 | 55 523.81/523.99 c 518s | 16 | 644672 | 144552 | 320226 0 | 5 | 55 525.91/526.02 c 520s | 16 | 645119 | 144852 | 320226 0 | 5 | 55 528.02/528.11 c 522s | 16 | 646359 | 145452 | 320226 0 | 5 | 55 530.12/530.27 c 525s | 16 | 647363 | 145952 | 320226 0 | 5 | 55 532.51/532.66 c 527s | 16 | 647952 | 146352 | 320226 0 | 5 | 55 534.81/534.99 c 529s | 16 | 648334 | 146652 | 320226 0 | 5 | 55 537.11/537.22 c 532s | 16 | 648726 | 146952 | 320226 0 | 5 | 55 539.61/539.79 c 534s | 16 | 649289 | 147352 | 320226 0 | 5 | 55 541.71/541.80 c 536s | 16 | 649703 | 147652 | 320226 0 | 5 | 55 543.71/543.86 c 538s | 16 | 650049 | 147952 | 320226 0 | 5 | 55 546.21/546.39 c 541s | 16 | 651120 | 148452 | 320226 0 | 5 | 55 548.31/548.43 c 543s | 16 | 651510 | 148752 | 320226 0 | 5 | 55 550.51/550.66 c 545s | 16 | 652064 | 149152 | 320226 0 | 5 | 55 552.81/552.92 c 547s | 16 | 652397 | 149452 | 320226 0 | 5 | 55 555.11/555.30 c 550s | 16 | 652764 | 149752 | 320226 0 | 5 | 55 557.41/557.55 c 552s | 16 | 653989 | 150352 | 320226 0 | 5 | 55 559.51/559.62 c 554s | 16 | 654418 | 150652 | 320226 0 | 5 | 55 561.51/561.67 c 556s | 16 | 654845 | 150952 | 320226 0 | 5 | 55 564.01/564.12 c 558s | 16 | 655370 | 151252 | 320226 0 | 5 | 55 566.70/566.85 c 561s | 16 | 655978 | 151652 | 320226 0 | 5 | 55 568.71/568.89 c 563s | 16 | 657275 | 152352 | 320226 0 | 5 | 55 570.91/571.06 c 565s | 16 | 657890 | 152752 | 320226 0 | 5 | 55 573.60/573.78 c 568s | 16 | 658432 | 153152 | 320226 0 | 5 | 55 575.90/576.03 c 570s | 16 | 658934 | 153552 | 320226 0 | 5 | 55 578.10/578.26 c 573s | 16 | 659274 | 153852 | 320226 0 | 5 | 55 580.60/580.70 c 575s | 16 | 659768 | 154252 | 320226 0 | 5 | 55 582.80/582.94 c 577s | 16 | 660271 | 154552 | 320226 0 | 5 | 55 585.00/585.12 c 579s | 16 | 660765 | 154852 | 320226 0 | 5 | 55 587.31/587.49 c 582s | 16 | 661534 | 155252 | 320226 0 | 5 | 55 590.10/590.23 c 585s | 16 | 662285 | 155652 | 320226 0 | 5 | 55 592.40/592.53 c 587s | 16 | 662832 | 155952 | 320226 0 | 5 | 55 594.60/594.74 c 589s | 16 | 663481 | 156252 | 320226 0 | 5 | 55 596.80/596.97 c 591s | 16 | 664537 | 156752 | 320226 0 | 5 | 55 599.10/599.21 c 594s | 16 | 665124 | 157152 | 320226 0 | 5 | 55 601.10/601.28 c 596s | 16 | 665530 | 157452 | 320226 0 | 5 | 55 603.30/603.42 c 598s | 16 | 665942 | 157752 | 320226 0 | 5 | 55 605.90/606.07 c 600s | 16 | 666622 | 158152 | 320226 0 | 5 | 55 608.10/608.24 c 603s | 16 | 667064 | 158452 | 320226 0 | 5 | 55 610.80/610.92 c 605s | 16 | 667608 | 158852 | 320226 0 | 5 | 55 612.80/612.97 c 607s | 16 | 668275 | 159252 | 320226 0 | 5 | 55 615.00/615.13 c 609s | 16 | 669299 | 159952 | 320226 0 | 5 | 55 617.70/617.84 c 612s | 16 | 670075 | 160352 | 320226 0 | 5 | 55 620.30/620.46 c 615s | 16 | 671417 | 160752 | 320226 0 | 5 | 55 622.39/622.58 c 617s | 16 | 671750 | 161052 | 320226 0 | 5 | 55 624.70/624.85 c 619s | 16 | 672084 | 161352 | 320226 0 | 5 | 55 627.00/627.11 c 621s | 16 | 672414 | 161652 | 320226 0 | 5 | 55 629.10/629.23 c 624s | 16 | 672780 | 161952 | 320226 0 | 5 | 55 631.09/631.26 c 626s | 16 | 674022 | 162552 | 320226 0 | 5 | 55 633.69/633.81 c 628s | 16 | 674602 | 162952 | 320226 0 | 5 | 55 636.19/636.30 c 631s | 16 | 675273 | 163352 | 320226 0 | 5 | 55 638.59/638.72 c 633s | 16 | 676080 | 163752 | 320226 0 | 5 | 55 640.89/641.01 c 635s | 16 | 677830 | 164452 | 320226 0 | 5 | 55 642.89/643.05 c 637s | 16 | 679040 | 165152 | 320226 0 | 5 | 55 645.19/645.35 c 640s | 16 | 680227 | 165852 | 320226 0 | 5 | 55 647.29/647.45 c 642s | 16 | 680896 | 166352 | 320226 0 | 5 | 55 649.49/649.62 c 644s | 16 | 681821 | 166952 | 320226 0 | 5 | 55 651.49/651.65 c 646s | 16 | 683213 | 167752 | 320226 0 | 5 | 55 653.59/653.72 c 648s | 16 | 684320 | 168452 | 320226 0 | 5 | 55 655.89/656.00 c 650s | 16 | 685344 | 168952 | 320226 0 | 5 | 55 658.09/658.22 c 653s | 16 | 685823 | 169252 | 320226 0 | 5 | 55 660.39/660.59 c 655s | 16 | 686452 | 169652 | 320226 0 | 5 | 55 662.69/662.88 c 657s | 16 | 686842 | 169952 | 320226 0 | 5 | 55 664.79/664.91 c 659s | 16 | 687291 | 170252 | 320226 0 | 5 | 55 667.19/667.32 c 662s | 16 | 687894 | 170652 | 320226 0 | 5 | 55 669.39/669.56 c 664s | 16 | 688320 | 170952 | 320226 0 | 5 | 55 672.09/672.21 c 667s | 16 | 688918 | 171352 | 320226 0 | 5 | 55 674.59/674.71 c 669s | 16 | 689277 | 171652 | 320226 0 | 5 | 55 676.89/677.04 c 671s | 16 | 689757 | 171952 | 320226 0 | 5 | 55 679.09/679.26 c 674s | 16 | 690216 | 172252 | 320226 0 | 5 | 55 681.29/681.44 c 676s | 16 | 690612 | 172552 | 320226 0 | 5 | 55 683.79/683.97 c 678s | 16 | 691265 | 172952 | 320226 0 | 5 | 55 686.29/686.47 c 681s | 16 | 691703 | 173252 | 320226 0 | 5 | 55 688.78/688.99 c 683s | 16 | 692239 | 173552 | 320226 0 | 5 | 55 690.98/691.16 c 685s | 16 | 692711 | 173852 | 320226 0 | 5 | 55 693.28/693.42 c 688s | 16 | 693108 | 174152 | 320226 0 | 5 | 55 695.88/696.05 c 690s | 16 | 693501 | 174452 | 320226 0 | 5 | 55 698.78/698.92 c 693s | 16 | 693852 | 174752 | 320226 0 | 5 | 55 701.38/701.50 c 696s | 16 | 694205 | 175052 | 320226 0 | 5 | 55 703.89/704.07 c 698s | 16 | 694584 | 175352 | 320226 0 | 5 | 55 706.28/706.45 c 701s | 16 | 695040 | 175652 | 320226 0 | 5 | 55 708.78/708.98 c 703s | 16 | 695382 | 175952 | 320226 0 | 5 | 55 711.78/711.90 c 706s | 16 | 695738 | 176252 | 320226 0 | 5 | 55 713.98/714.12 c 708s | 16 | 696186 | 176552 | 320226 0 | 5 | 55 716.58/716.70 c 711s | 16 | 696979 | 177052 | 320226 0 | 5 | 55 719.18/719.34 c 714s | 16 | 697322 | 177352 | 320226 0 | 5 | 55 721.59/721.75 c 716s | 16 | 697706 | 177652 | 320226 0 | 5 | 55 724.18/724.37 c 719s | 16 | 698083 | 177952 | 320226 0 | 5 | 55 727.09/727.28 c 722s | 16 | 698469 | 178252 | 320226 0 | 5 | 55 729.48/729.68 c 724s | 16 | 698865 | 178552 | 320226 0 | 5 | 55 731.78/731.94 c 726s | 16 | 699262 | 178852 | 320226 0 | 5 | 55 734.38/734.60 c 729s | 16 | 699621 | 179152 | 320226 0 | 5 | 55 737.18/737.36 c 732s | 16 | 699989 | 179452 | 320226 0 | 5 | 55 739.98/740.15 c 734s | 16 | 700346 | 179752 | 320226 0 | 5 | 55 742.08/742.24 c 737s | 16 | 700766 | 180052 | 320226 0 | 5 | 55 744.48/744.65 c 739s | 16 | 701113 | 180352 | 320226 0 | 5 | 55 746.88/747.02 c 741s | 16 | 701445 | 180652 | 320226 0 | 5 | 55 749.48/749.63 c 744s | 16 | 702141 | 181052 | 320226 0 | 5 | 55 751.77/751.98 c 746s | 16 | 702460 | 181352 | 320226 0 | 5 | 55 754.48/754.69 c 749s | 16 | 703213 | 181752 | 320226 0 | 5 | 55 756.97/757.13 c 751s | 16 | 703915 | 182252 | 320226 0 | 5 | 55 759.47/759.69 c 754s | 16 | 704454 | 182552 | 320226 0 | 5 | 55 761.97/762.19 c 757s | 16 | 705077 | 182952 | 320226 0 | 5 | 55 764.77/764.94 c 759s | 16 | 705486 | 183252 | 320226 0 | 5 | 55 766.77/766.94 c 761s | 16 | 705738 | 183452 | 320226 0 | 5 | 55 769.17/769.33 c 764s | 16 | 706121 | 183752 | 320226 0 | 5 | 55 771.37/771.52 c 766s | 16 | 706389 | 183952 | 320226 0 | 5 | 55 773.67/773.89 c 768s | 16 | 706920 | 184252 | 320226 0 | 5 | 55 776.27/776.45 c 771s | 16 | 707292 | 184552 | 320226 0 | 5 | 55 778.47/778.66 c 773s | 16 | 707517 | 184752 | 320226 0 | 5 | 55 781.17/781.30 c 776s | 16 | 707897 | 185052 | 320226 0 | 5 | 55 783.37/783.52 c 778s | 16 | 708273 | 185352 | 320226 0 | 5 | 55 785.97/786.13 c 780s | 16 | 708692 | 185652 | 320226 0 | 5 | 55 788.58/788.77 c 783s | 16 | 709086 | 185952 | 320226 0 | 5 | 55 790.78/790.96 c 785s | 16 | 709512 | 186252 | 320226 0 | 5 | 55 792.87/793.07 c 787s | 16 | 709741 | 186452 | 320226 0 | 5 | 55 794.97/795.14 c 789s | 16 | 709999 | 186652 | 320226 0 | 5 | 55 797.97/798.20 c 793s | 16 | 710354 | 186952 | 320226 0 | 5 | 55 800.07/800.28 c 795s | 16 | 710600 | 187152 | 320226 0 | 5 | 55 803.07/803.26 c 798s | 16 | 710957 | 187452 | 320226 0 | 5 | 55 805.97/806.13 c 800s | 16 | 711325 | 187752 | 320226 0 | 5 | 55 808.57/808.70 c 803s | 16 | 711793 | 188052 | 320226 0 | 5 | 55 811.37/811.58 c 806s | 16 | 712165 | 188352 | 320226 0 | 5 | 55 814.27/814.44 c 809s | 16 | 712496 | 188652 | 320226 0 | 5 | 55 816.36/816.56 c 811s | 16 | 712742 | 188852 | 320226 0 | 5 | 55 818.46/818.67 c 813s | 16 | 712973 | 189052 | 320226 0 | 5 | 55 821.16/821.32 c 816s | 16 | 713321 | 189352 | 320226 0 | 5 | 55 823.66/823.87 c 818s | 16 | 713673 | 189652 | 320226 0 | 5 | 55 826.07/826.23 c 821s | 16 | 714290 | 190052 | 320226 0 | 5 | 55 828.06/828.23 c 823s | 16 | 714992 | 190352 | 320226 0 | 5 | 55 830.06/830.24 c 825s | 16 | 716196 | 190852 | 320226 0 | 5 | 55 832.16/832.32 c 827s | 16 | 717688 | 191152 | 320226 0 | 5 | 55 834.96/835.11 c 829s | 16 | 718680 | 191652 | 320226 0 | 5 | 55 836.97/837.16 c 831s | 16 | 719143 | 191952 | 320226 0 | 5 | 55 839.17/839.40 c 834s | 16 | 720589 | 192452 | 320226 0 | 5 | 55 841.26/841.45 c 836s | 16 | 721913 | 193152 | 320226 0 | 5 | 55 843.57/843.75 c 838s | 16 | 723212 | 193852 | 320226 0 | 5 | 55 845.87/846.02 c 840s | 16 | 724212 | 194352 | 320226 0 | 5 | 55 848.16/848.39 c 843s | 16 | 724867 | 194752 | 320226 0 | 5 | 55 850.66/850.85 c 845s | 16 | 725792 | 195252 | 320226 0 | 5 | 55 852.76/852.96 c 847s | 16 | 726461 | 195652 | 320226 0 | 5 | 55 855.06/855.23 c 850s | 16 | 727271 | 196052 | 320226 0 | 5 | 55 857.16/857.37 c 852s | 16 | 729369 | 196352 | 352249 0 | 5 | 55 859.66/859.81 c 854s | 16 | 731510 | 196752 | 352249 0 | 5 | 55 861.76/861.90 c 856s | 16 | 735547 | 197152 | 352249 0 | 5 | 55 862.66/862.81 c 857s | 17 | 737272 | 197432 | 352249 0 | 5 | 55 865.16/865.31 c 860s | 17 | 738066 | 197532 | 352249 0 | 5 | 55 868.36/868.56 c 863s | 17 | 738282 | 197732 | 352249 0 | 5 | 55 870.45/870.68 c 865s | 17 | 738955 | 198032 | 352249 0 | 5 | 55 873.75/873.96 c 868s | 17 | 740133 | 198332 | 352249 0 | 5 | 55 876.05/876.22 c 871s | 17 | 740381 | 198532 | 352249 0 | 5 | 55 878.55/878.72 c 873s | 17 | 740729 | 198832 | 352249 0 | 5 | 55 881.25/881.41 c 876s | 17 | 741055 | 199132 | 352249 0 | 5 | 55 883.45/883.63 c 878s | 17 | 741373 | 199432 | 352249 0 | 5 | 55 885.75/885.96 c 880s | 17 | 743304 | 199732 | 352249 0 | 5 | 55 887.95/888.14 c 882s | 17 | 744114 | 199932 | 352249 0 | 5 | 55 890.15/890.39 c 885s | 17 | 744344 | 200132 | 352249 0 | 5 | 55 892.65/892.88 c 887s | 17 | 744698 | 200432 | 352249 0 | 5 | 55 895.05/895.20 c 890s | 17 | 745054 | 200732 | 352249 0 | 5 | 55 897.75/897.91 c 892s | 17 | 745410 | 201032 | 352249 0 | 5 | 55 900.35/900.58 c 895s | 17 | 745738 | 201332 | 352249 0 | 5 | 55 902.75/902.98 c 897s | 17 | 746101 | 201632 | 352249 0 | 5 | 55 904.85/905.07 c 899s | 17 | 746428 | 201932 | 352249 0 | 5 | 55 907.55/907.73 c 902s | 17 | 746854 | 202332 | 352249 0 | 5 | 55 909.55/909.79 c 904s | 17 | 747177 | 202632 | 352249 0 | 5 | 55 912.05/912.22 c 907s | 17 | 747616 | 203032 | 352249 0 | 5 | 55 914.05/914.25 c 909s | 17 | 748042 | 203432 | 352249 0 | 5 | 55 916.15/916.31 c 911s | 17 | 748400 | 203732 | 352249 0 | 5 | 55 918.35/918.51 c 913s | 17 | 748719 | 204032 | 352249 0 | 5 | 55 920.55/920.75 c 915s | 17 | 749046 | 204332 | 352249 0 | 5 | 55 923.45/923.67 c 918s | 17 | 749377 | 204632 | 352249 0 | 5 | 55 925.45/925.68 c 920s | 17 | 749591 | 204832 | 352249 0 | 5 | 55 927.94/928.18 c 923s | 17 | 749913 | 205132 | 352249 0 | 5 | 55 930.74/930.90 c 925s | 17 | 750336 | 205532 | 352249 0 | 5 | 55 933.04/933.25 c 928s | 17 | 750674 | 205832 | 352249 0 | 5 | 55 935.64/935.86 c 930s | 17 | 750999 | 206132 | 352249 0 | 5 | 55 938.15/938.34 c 933s | 17 | 751431 | 206532 | 352249 0 | 5 | 55 941.24/941.45 c 936s | 17 | 751947 | 206932 | 352249 0 | 5 | 55 943.75/943.99 c 938s | 17 | 752172 | 207132 | 352249 0 | 5 | 55 946.14/946.31 c 941s | 17 | 752424 | 207332 | 352249 0 | 5 | 55 948.34/948.54 c 943s | 17 | 752659 | 207532 | 352249 0 | 5 | 55 951.24/951.48 c 946s | 17 | 752991 | 207832 | 352249 0 | 5 | 55 953.44/953.65 c 948s | 17 | 753685 | 208132 | 352249 0 | 5 | 55 955.54/955.72 c 950s | 17 | 754299 | 208432 | 352249 0 | 5 | 55 958.24/958.45 c 953s | 17 | 754864 | 208732 | 352249 0 | 5 | 55 960.54/960.71 c 955s | 17 | 755750 | 209032 | 352249 0 | 5 | 55 962.74/962.95 c 957s | 17 | 756447 | 209432 | 352249 0 | 5 | 55 965.24/965.41 c 960s | 17 | 757345 | 209832 | 352249 0 | 5 | 55 967.34/967.53 c 962s | 17 | 757642 | 210032 | 352249 0 | 5 | 55 969.74/969.94 c 964s | 17 | 757925 | 210232 | 352249 0 | 5 | 55 972.44/972.60 c 967s | 17 | 758151 | 210432 | 352249 0 | 5 | 55 974.94/975.15 c 969s | 17 | 758376 | 210632 | 352249 0 | 5 | 55 977.04/977.25 c 972s | 17 | 758824 | 210832 | 352249 0 | 5 | 55 979.43/979.60 c 974s | 17 | 759100 | 211032 | 352249 0 | 5 | 55 981.73/981.99 c 976s | 17 | 759340 | 211232 | 352249 0 | 5 | 55 984.93/985.11 c 979s | 17 | 759687 | 211532 | 352249 0 | 5 | 55 987.13/987.37 c 982s | 17 | 759990 | 211732 | 352249 0 | 5 | 55 989.33/989.58 c 984s | 17 | 760267 | 211932 | 352249 0 | 5 | 55 992.33/992.59 c 987s | 17 | 760643 | 212232 | 352249 0 | 5 | 55 994.53/994.74 c 989s | 17 | 760906 | 212432 | 352249 0 | 5 | 55 996.73/996.99 c 991s | 17 | 761230 | 212632 | 352249 0 | 5 | 55 999.62/999.84 c 994s | 17 | 761664 | 212932 | 352249 0 | 5 | 55 1001.62/1001.89 c 996s | 17 | 761953 | 213132 | 352249 0 | 5 | 55 1004.23/1004.43 c 999s | 17 | 762365 | 213432 | 352249 0 | 5 | 55 1006.72/1006.97 c 1001s | 17 | 762790 | 213732 | 352249 0 | 5 | 55 1008.92/1009.18 c 1004s | 17 | 763188 | 214032 | 352249 0 | 5 | 55 1011.62/1011.85 c 1006s | 17 | 763649 | 214332 | 352249 0 | 5 | 55 1013.72/1013.90 c 1008s | 17 | 764099 | 214632 | 352249 0 | 5 | 55 1015.72/1015.95 c 1010s | 17 | 764508 | 214932 | 352249 0 | 5 | 55 1017.82/1018.04 c 1012s | 17 | 764981 | 215232 | 352249 0 | 5 | 55 1020.11/1020.39 c 1015s | 17 | 765487 | 215532 | 352249 0 | 5 | 55 1022.31/1022.59 c 1017s | 17 | 765925 | 215832 | 352249 0 | 5 | 55 1025.31/1025.54 c 1020s | 17 | 766737 | 216332 | 352249 0 | 5 | 55 1028.32/1028.60 c 1023s | 17 | 767097 | 216632 | 352249 0 | 5 | 55 1030.41/1030.62 c 1025s | 17 | 767317 | 216832 | 352249 0 | 5 | 55 1033.11/1033.38 c 1028s | 17 | 767807 | 217132 | 352249 0 | 5 | 55 1035.71/1035.99 c 1030s | 17 | 768314 | 217432 | 352249 0 | 5 | 55 1038.51/1038.75 c 1033s | 17 | 768849 | 217732 | 352249 0 | 5 | 55 1041.20/1041.40 c 1036s | 17 | 769237 | 218032 | 352249 0 | 5 | 55 1043.20/1043.41 c 1038s | 17 | 769512 | 218232 | 352249 0 | 5 | 55 1045.31/1045.50 c 1040s | 17 | 769757 | 218432 | 352249 0 | 5 | 55 1048.41/1048.62 c 1043s | 17 | 770146 | 218732 | 352249 0 | 5 | 55 1050.61/1050.82 c 1045s | 17 | 770419 | 218932 | 352249 0 | 5 | 55 1052.71/1052.99 c 1047s | 17 | 770706 | 219132 | 352249 0 | 5 | 55 1055.61/1055.84 c 1050s | 17 | 771176 | 219432 | 352249 0 | 5 | 55 1058.51/1058.70 c 1053s | 17 | 771548 | 219732 | 352249 0 | 5 | 55 1061.41/1061.64 c 1056s | 17 | 771967 | 220032 | 352249 0 | 5 | 55 1063.90/1064.16 c 1058s | 17 | 772532 | 220332 | 352249 0 | 5 | 55 1066.40/1066.66 c 1061s | 17 | 772957 | 220632 | 352249 0 | 5 | 55 1068.50/1068.73 c 1063s | 17 | 773389 | 220932 | 352249 0 | 5 | 55 1071.10/1071.34 c 1066s | 17 | 773815 | 221232 | 352249 0 | 5 | 55 1073.40/1073.70 c 1068s | 17 | 774627 | 221732 | 352249 0 | 5 | 55 1076.10/1076.38 c 1071s | 17 | 775024 | 222032 | 352249 0 | 5 | 55 1078.30/1078.59 c 1073s | 17 | 775484 | 222332 | 352249 0 | 5 | 55 1080.49/1080.73 c 1075s | 17 | 775897 | 222632 | 352249 0 | 5 | 55 1082.59/1082.83 c 1077s | 17 | 776305 | 222932 | 352249 0 | 5 | 55 1084.99/1085.30 c 1080s | 17 | 776892 | 223332 | 352249 0 | 5 | 55 1087.49/1087.71 c 1082s | 17 | 777268 | 223632 | 352249 0 | 5 | 55 1090.29/1090.52 c 1085s | 17 | 777783 | 224032 | 352249 0 | 5 | 55 1092.79/1093.07 c 1087s | 17 | 778250 | 224332 | 352249 0 | 5 | 55 1095.29/1095.54 c 1090s | 17 | 778608 | 224632 | 352249 0 | 5 | 55 1097.79/1098.09 c 1092s | 17 | 779267 | 225032 | 352249 0 | 5 | 55 1100.08/1100.35 c 1095s | 17 | 779944 | 225432 | 352249 0 | 5 | 55 1102.68/1102.92 c 1097s | 17 | 780603 | 225832 | 352249 0 | 5 | 55 1105.18/1105.44 c 1100s | 17 | 781240 | 226232 | 352249 0 | 5 | 55 1107.18/1107.47 c 1102s | 17 | 781915 | 226632 | 352249 0 | 5 | 55 1109.58/1109.82 c 1104s | 17 | 782567 | 227032 | 352249 0 | 5 | 55 1112.08/1112.33 c 1107s | 17 | 783326 | 227432 | 352249 0 | 5 | 55 1114.18/1114.45 c 1109s | 17 | 783555 | 227632 | 352249 0 | 5 | 55 1117.28/1117.53 c 1112s | 17 | 783890 | 227932 | 352249 0 | 5 | 55 1119.87/1120.13 c 1114s | 17 | 784132 | 228132 | 352249 0 | 5 | 55 1122.57/1122.88 c 1117s | 17 | 784365 | 228332 | 352249 0 | 5 | 55 1124.97/1125.25 c 1120s | 17 | 784598 | 228532 | 352249 0 | 5 | 55 1127.57/1127.84 c 1122s | 17 | 784837 | 228732 | 352249 0 | 5 | 55 1130.37/1130.61 c 1125s | 17 | 785232 | 229032 | 352249 0 | 5 | 55 1133.17/1133.49 c 1128s | 17 | 785663 | 229332 | 352249 0 | 5 | 55 1136.08/1136.40 c 1131s | 17 | 786070 | 229632 | 352249 0 | 5 | 55 1139.06/1139.33 c 1134s | 17 | 786451 | 229932 | 352249 0 | 5 | 55 1141.67/1141.91 c 1136s | 17 | 786774 | 230232 | 352249 0 | 5 | 55 1144.46/1144.73 c 1139s | 17 | 787117 | 230532 | 352249 0 | 5 | 55 1147.46/1147.76 c 1142s | 17 | 787450 | 230832 | 352249 0 | 5 | 55 1150.16/1150.40 c 1145s | 17 | 787787 | 231132 | 352249 0 | 5 | 55 1152.56/1152.89 c 1147s | 17 | 788143 | 231432 | 352249 0 | 5 | 55 1154.65/1154.94 c 1149s | 17 | 788559 | 231732 | 352249 0 | 5 | 55 1157.06/1157.33 c 1152s | 17 | 788924 | 232032 | 352249 0 | 5 | 55 1159.75/1160.04 c 1154s | 17 | 789305 | 232332 | 352249 0 | 5 | 55 1162.25/1162.51 c 1157s | 17 | 789638 | 232632 | 352249 0 | 5 | 55 1164.35/1164.68 c 1159s | 17 | 789898 | 232832 | 352249 0 | 5 | 55 1166.45/1166.75 c 1161s | 17 | 790123 | 233032 | 352249 0 | 5 | 55 1168.64/1168.95 c 1163s | 17 | 790632 | 233332 | 352249 0 | 5 | 55 1171.35/1171.67 c 1166s | 17 | 790981 | 233632 | 352249 0 | 5 | 55 1174.14/1174.44 c 1169s | 17 | 791326 | 233932 | 352249 0 | 5 | 55 1176.94/1177.28 c 1172s | 17 | 791686 | 234232 | 352249 0 | 5 | 55 1179.04/1179.33 c 1174s | 17 | 791895 | 234432 | 352249 0 | 5 | 55 1182.04/1182.32 c 1177s | 17 | 792275 | 234732 | 352249 0 | 5 | 55 1184.94/1185.26 c 1180s | 17 | 792623 | 235032 | 352249 0 | 5 | 55 1187.04/1187.40 c 1182s | 17 | 792911 | 235232 | 352249 0 | 5 | 55 1189.13/1189.43 c 1184s | 17 | 793238 | 235432 | 352249 0 | 5 | 55 1192.24/1192.55 c 1187s | 17 | 793612 | 235732 | 352249 0 | 5 | 55 1194.73/1195.03 c 1189s | 17 | 794028 | 236032 | 352249 0 | 5 | 55 1196.73/1197.03 c 1191s | 17 | 795039 | 236432 | 352249 0 | 5 | 55 1199.63/1199.95 c 1194s | 17 | 795599 | 236832 | 352249 0 | 5 | 55 1201.93/1202.25 c 1197s | 17 | 796014 | 237132 | 352249 0 | 5 | 55 1203.93/1204.28 c 1199s | 17 | 796717 | 237532 | 352249 0 | 5 | 55 1206.32/1206.61 c 1201s | 17 | 797523 | 238032 | 352249 0 | 5 | 55 1209.12/1209.40 c 1204s | 17 | 798068 | 238432 | 352249 0 | 5 | 55 1212.03/1212.33 c 1207s | 17 | 798424 | 238732 | 352249 0 | 5 | 55 1214.72/1215.00 c 1209s | 17 | 798810 | 239032 | 352249 0 | 5 | 55 1216.82/1217.14 c 1211s | 17 | 799234 | 239332 | 352249 0 | 5 | 55 1218.81/1219.16 c 1213s | 17 | 799898 | 239732 | 352249 0 | 5 | 55 1220.91/1221.21 c 1216s | 17 | 800515 | 240132 | 352249 0 | 5 | 55 1222.92/1223.26 c 1218s | 17 | 800960 | 240432 | 352249 0 | 5 | 55 1225.01/1225.34 c 1220s | 17 | 801534 | 240832 | 352249 0 | 5 | 55 1228.21/1228.58 c 1223s | 17 | 802120 | 241232 | 352249 0 | 5 | 55 1230.51/1230.83 c 1225s | 17 | 802359 | 241432 | 352249 0 | 5 | 55 1233.51/1233.81 c 1228s | 17 | 802738 | 241732 | 352249 0 | 5 | 55 1236.51/1236.82 c 1231s | 17 | 803171 | 242032 | 352249 0 | 5 | 55 1238.70/1239.00 c 1233s | 17 | 803465 | 242232 | 352249 0 | 5 | 55 1241.30/1241.66 c 1236s | 17 | 804126 | 242632 | 352249 0 | 5 | 55 1243.40/1243.77 c 1238s | 17 | 804535 | 242932 | 352249 0 | 5 | 55 1245.40/1245.78 c 1240s | 17 | 804761 | 243132 | 352249 0 | 5 | 55 1247.60/1247.95 c 1242s | 17 | 805001 | 243332 | 352249 0 | 5 | 55 1250.30/1250.63 c 1245s | 17 | 805366 | 243632 | 352249 0 | 5 | 55 1252.71/1253.07 c 1247s | 17 | 805708 | 243932 | 352249 0 | 5 | 55 1255.30/1255.62 c 1250s | 17 | 806143 | 244232 | 352249 0 | 5 | 55 1257.60/1257.95 c 1252s | 17 | 806505 | 244532 | 352249 0 | 5 | 55 1260.40/1260.77 c 1255s | 17 | 807168 | 244932 | 352249 0 | 5 | 55 1262.60/1262.96 c 1257s | 17 | 807556 | 245232 | 352249 0 | 5 | 55 1265.09/1265.43 c 1260s | 17 | 808379 | 245732 | 352249 0 | 5 | 55 1267.49/1267.87 c 1262s | 17 | 808750 | 246032 | 352249 0 | 5 | 55 1269.80/1270.16 c 1264s | 17 | 809104 | 246332 | 352249 0 | 5 | 55 1272.30/1272.64 c 1267s | 17 | 809436 | 246632 | 352249 0 | 5 | 55 1274.90/1275.28 c 1270s | 17 | 809812 | 246932 | 352249 0 | 5 | 55 1277.50/1277.85 c 1272s | 17 | 810150 | 247232 | 352249 0 | 5 | 55 1280.30/1280.63 c 1275s | 17 | 810548 | 247532 | 352249 0 | 5 | 55 1282.60/1282.94 c 1277s | 17 | 811211 | 247932 | 352249 0 | 5 | 55 1285.10/1285.43 c 1280s | 17 | 811577 | 248232 | 352249 0 | 5 | 55 1287.40/1287.78 c 1282s | 17 | 811897 | 248532 | 352249 0 | 5 | 55 1289.50/1289.88 c 1284s | 17 | 812130 | 248732 | 352249 0 | 5 | 55 1292.20/1292.60 c 1287s | 17 | 812471 | 249032 | 352249 0 | 5 | 55 1294.60/1294.91 c 1289s | 17 | 812808 | 249332 | 352249 0 | 5 | 55 1296.79/1297.12 c 1291s | 17 | 813137 | 249632 | 352249 0 | 5 | 55 1299.09/1299.45 c 1294s | 17 | 813479 | 249932 | 352249 0 | 5 | 55 1301.29/1301.69 c 1296s | 17 | 813814 | 250232 | 352249 0 | 5 | 55 1303.79/1304.10 c 1298s | 17 | 814179 | 250532 | 352249 0 | 5 | 55 1306.09/1306.48 c 1301s | 17 | 814525 | 250832 | 352249 0 | 5 | 55 1309.09/1309.42 c 1304s | 17 | 814903 | 251132 | 352249 0 | 5 | 55 1311.59/1311.99 c 1306s | 17 | 815270 | 251432 | 352249 0 | 5 | 55 1313.69/1314.01 c 1308s | 17 | 815484 | 251632 | 352249 0 | 5 | 55 1315.79/1316.16 c 1311s | 17 | 815815 | 251932 | 352249 0 | 5 | 55 1318.49/1318.87 c 1313s | 17 | 816168 | 252232 | 352249 0 | 5 | 55 1320.89/1321.24 c 1316s | 17 | 816519 | 252532 | 352249 0 | 5 | 55 1323.48/1323.83 c 1318s | 17 | 816879 | 252832 | 352249 0 | 5 | 55 1325.48/1325.88 c 1320s | 17 | 817109 | 253032 | 352249 0 | 5 | 55 1327.58/1327.94 c 1322s | 17 | 817380 | 253232 | 352249 0 | 5 | 55 1330.28/1330.66 c 1325s | 17 | 817855 | 253532 | 352249 0 | 5 | 55 1332.89/1333.23 c 1328s | 17 | 818293 | 253832 | 352249 0 | 5 | 55 1335.68/1336.09 c 1330s | 17 | 818669 | 254132 | 352249 0 | 5 | 55 1338.28/1338.69 c 1333s | 17 | 819042 | 254432 | 352249 0 | 5 | 55 1340.37/1340.76 c 1335s | 17 | 819339 | 254632 | 352249 0 | 5 | 55 1343.27/1343.69 c 1338s | 17 | 819695 | 254932 | 352249 0 | 5 | 55 1346.27/1346.61 c 1341s | 17 | 820045 | 255232 | 352249 0 | 5 | 55 1349.07/1349.45 c 1344s | 17 | 820412 | 255532 | 352249 0 | 5 | 55 1351.87/1352.25 c 1347s | 17 | 820805 | 255832 | 352249 0 | 5 | 55 1353.87/1354.26 c 1349s | 17 | 821080 | 256032 | 352249 0 | 5 | 55 1356.77/1357.15 c 1351s | 17 | 821432 | 256332 | 352249 0 | 5 | 55 1359.76/1360.15 c 1354s | 17 | 821765 | 256632 | 352249 0 | 5 | 55 1361.76/1362.18 c 1357s | 17 | 821992 | 256832 | 352249 0 | 5 | 55 1364.46/1364.81 c 1359s | 17 | 822327 | 257132 | 352249 0 | 5 | 55 1366.86/1367.30 c 1362s | 17 | 822674 | 257432 | 352249 0 | 5 | 55 1369.46/1369.84 c 1364s | 17 | 823078 | 257732 | 352249 0 | 5 | 55 1371.56/1371.97 c 1366s | 17 | 823327 | 257932 | 352249 0 | 5 | 55 1373.66/1374.03 c 1368s | 17 | 823543 | 258132 | 352249 0 | 5 | 55 1376.45/1376.80 c 1371s | 17 | 823880 | 258432 | 352249 0 | 5 | 55 1379.45/1379.81 c 1374s | 17 | 824207 | 258732 | 352249 0 | 5 | 55 1381.55/1381.95 c 1376s | 17 | 824438 | 258932 | 352249 0 | 5 | 55 1384.25/1384.68 c 1379s | 17 | 824784 | 259232 | 352249 0 | 5 | 55 1386.76/1387.20 c 1382s | 17 | 825112 | 259532 | 352249 0 | 5 | 55 1389.25/1389.69 c 1384s | 17 | 825439 | 259832 | 352249 0 | 5 | 55 1391.75/1392.14 c 1386s | 17 | 825773 | 260132 | 352249 0 | 5 | 55 1394.65/1395.07 c 1389s | 17 | 826125 | 260432 | 352249 0 | 5 | 55 1396.95/1397.39 c 1392s | 17 | 826460 | 260732 | 352249 0 | 5 | 55 1399.55/1399.96 c 1394s | 17 | 826838 | 261032 | 352249 0 | 5 | 55 1402.35/1402.73 c 1397s | 17 | 827166 | 261332 | 352249 0 | 5 | 55 1404.35/1404.74 c 1399s | 17 | 827390 | 261532 | 352249 0 | 5 | 55 1407.45/1407.80 c 1402s | 17 | 827741 | 261832 | 352249 0 | 5 | 55 1409.74/1410.13 c 1404s | 17 | 827963 | 262032 | 352249 0 | 5 | 55 1411.94/1412.38 c 1407s | 17 | 828192 | 262232 | 352249 0 | 5 | 55 1414.35/1414.71 c 1409s | 17 | 828435 | 262432 | 352249 0 | 5 | 55 1416.45/1416.83 c 1411s | 17 | 828646 | 262632 | 352249 0 | 5 | 55 1418.44/1418.89 c 1413s | 17 | 828868 | 262832 | 352249 0 | 5 | 55 1420.84/1421.20 c 1416s | 17 | 829097 | 263032 | 352249 0 | 5 | 55 1422.84/1423.22 c 1418s | 17 | 829320 | 263232 | 352249 0 | 5 | 55 1425.04/1425.45 c 1420s | 17 | 829543 | 263432 | 352249 0 | 5 | 55 1427.74/1428.12 c 1422s | 17 | 829879 | 263732 | 352249 0 | 5 | 55 1430.03/1430.45 c 1425s | 17 | 830112 | 263932 | 352249 0 | 5 | 55 1432.13/1432.50 c 1427s | 17 | 830353 | 264132 | 352249 0 | 5 | 55 1434.83/1435.29 c 1430s | 17 | 830688 | 264432 | 352249 0 | 5 | 55 1437.93/1438.35 c 1433s | 17 | 831026 | 264732 | 352249 0 | 5 | 55 1440.02/1440.41 c 1435s | 17 | 831249 | 264932 | 352249 0 | 5 | 55 1443.12/1443.59 c 1438s | 17 | 831604 | 265232 | 352249 0 | 5 | 55 1445.62/1446.09 c 1440s | 17 | 831819 | 265432 | 352249 0 | 5 | 55 1447.72/1448.17 c 1443s | 17 | 832046 | 265632 | 352249 0 | 5 | 55 1450.72/1451.11 c 1445s | 17 | 832392 | 265932 | 352249 0 | 5 | 55 1453.42/1453.89 c 1448s | 17 | 832724 | 266232 | 352249 0 | 5 | 55 1456.52/1456.97 c 1451s | 17 | 833067 | 266532 | 352249 0 | 5 | 55 1458.71/1459.11 c 1453s | 17 | 833295 | 266732 | 352249 0 | 5 | 55 1461.11/1461.57 c 1456s | 17 | 833562 | 266932 | 352249 0 | 5 | 55 1464.11/1464.51 c 1459s | 17 | 834187 | 267432 | 352249 0 | 5 | 55 1466.11/1466.56 c 1461s | 17 | 834438 | 267632 | 352249 0 | 5 | 55 1468.81/1469.27 c 1464s | 17 | 834818 | 267932 | 352249 0 | 5 | 55 1471.21/1471.64 c 1466s | 17 | 835164 | 268232 | 352249 0 | 5 | 55 1473.72/1474.18 c 1469s | 17 | 835539 | 268532 | 352249 0 | 5 | 55 1475.82/1476.26 c 1471s | 17 | 835782 | 268732 | 352249 0 | 5 | 55 1478.61/1479.04 c 1473s | 17 | 836109 | 269032 | 352249 0 | 5 | 55 1481.41/1481.83 c 1476s | 17 | 836458 | 269332 | 352249 0 | 5 | 55 1483.71/1484.14 c 1478s | 17 | 836791 | 269632 | 352249 0 | 5 | 55 1486.51/1486.93 c 1481s | 17 | 837125 | 269932 | 352249 0 | 5 | 55 1489.20/1489.61 c 1484s | 17 | 837475 | 270232 | 352249 0 | 5 | 55 1492.00/1492.46 c 1487s | 17 | 837846 | 270532 | 352249 0 | 5 | 55 1494.61/1495.02 c 1489s | 17 | 838238 | 270832 | 352249 0 | 5 | 55 1497.10/1497.52 c 1492s | 17 | 838662 | 271132 | 352249 0 | 5 | 55 1499.10/1499.57 c 1494s | 17 | 838927 | 271332 | 352249 0 | 5 | 55 1501.60/1502.00 c 1496s | 17 | 839250 | 271632 | 352249 0 | 5 | 55 1504.60/1505.04 c 1499s | 17 | 839600 | 271932 | 352249 0 | 5 | 55 1507.90/1508.32 c 1503s | 17 | 839953 | 272232 | 352249 0 | 5 | 55 1510.39/1510.84 c 1505s | 17 | 840186 | 272432 | 352249 0 | 5 | 55 1512.49/1512.90 c 1507s | 17 | 840439 | 272632 | 352249 0 | 5 | 55 1515.29/1515.71 c 1510s | 17 | 840758 | 272932 | 352249 0 | 5 | 55 1517.89/1518.37 c 1513s | 17 | 841094 | 273232 | 352249 0 | 5 | 55 1520.79/1521.25 c 1516s | 17 | 841437 | 273532 | 352249 0 | 5 | 55 1522.79/1523.27 c 1518s | 17 | 841704 | 273732 | 352249 0 | 5 | 55 1524.89/1525.32 c 1520s | 17 | 841925 | 273932 | 352249 0 | 5 | 55 1527.09/1527.53 c 1522s | 17 | 842460 | 274232 | 352249 0 | 5 | 55 1529.09/1529.56 c 1524s | 17 | 843344 | 274632 | 352249 0 | 5 | 55 1531.49/1531.99 c 1526s | 17 | 843770 | 274932 | 352249 0 | 5 | 55 1534.29/1534.71 c 1529s | 17 | 844175 | 275232 | 352249 0 | 5 | 55 1536.69/1537.16 c 1531s | 17 | 844517 | 275532 | 352249 0 | 5 | 55 1539.39/1539.89 c 1534s | 17 | 844890 | 275832 | 352249 0 | 5 | 55 1541.99/1542.45 c 1537s | 17 | 845272 | 276132 | 352249 0 | 5 | 55 1543.99/1544.47 c 1539s | 17 | 845574 | 276332 | 352249 0 | 5 | 55 1546.89/1547.30 c 1542s | 17 | 845914 | 276632 | 352249 0 | 5 | 55 1549.68/1550.17 c 1545s | 17 | 846253 | 276932 | 352249 0 | 5 | 55 1551.79/1552.29 c 1547s | 17 | 846488 | 277132 | 352249 0 | 5 | 55 1553.89/1554.34 c 1549s | 17 | 846715 | 277332 | 352249 0 | 5 | 55 1556.78/1557.29 c 1552s | 17 | 847040 | 277632 | 352249 0 | 5 | 55 1559.58/1560.04 c 1554s | 17 | 847414 | 277932 | 352249 0 | 5 | 55 1562.28/1562.76 c 1557s | 17 | 847770 | 278232 | 352249 0 | 5 | 55 1564.28/1564.77 c 1559s | 17 | 847988 | 278432 | 352249 0 | 5 | 55 1566.88/1567.36 c 1562s | 17 | 848314 | 278732 | 352249 0 | 5 | 55 1569.77/1570.27 c 1565s | 17 | 848653 | 279032 | 352249 0 | 5 | 55 1571.77/1572.28 c 1567s | 17 | 848881 | 279232 | 352249 0 | 5 | 55 1574.37/1574.82 c 1569s | 17 | 849299 | 279532 | 352249 0 | 5 | 55 1576.87/1577.31 c 1572s | 17 | 849776 | 279832 | 352249 0 | 5 | 55 1579.77/1580.21 c 1575s | 17 | 850104 | 280132 | 352249 0 | 5 | 55 1582.07/1582.56 c 1577s | 17 | 850340 | 280332 | 352249 0 | 5 | 55 1585.07/1585.50 c 1580s | 17 | 850862 | 280632 | 352249 0 | 5 | 55 1588.07/1588.55 c 1583s | 17 | 851187 | 280932 | 352249 0 | 5 | 55 1590.96/1591.48 c 1586s | 17 | 851525 | 281232 | 352249 0 | 5 | 55 1593.96/1594.46 c 1589s | 17 | 851886 | 281532 | 352249 0 | 5 | 55 1596.36/1596.83 c 1591s | 17 | 852431 | 281832 | 352249 0 | 5 | 55 1598.46/1598.91 c 1593s | 17 | 852661 | 282032 | 352249 0 | 5 | 55 1600.95/1601.44 c 1596s | 17 | 853001 | 282332 | 352249 0 | 5 | 55 1603.25/1603.78 c 1598s | 17 | 853393 | 282632 | 352249 0 | 5 | 55 1606.25/1606.71 c 1601s | 17 | 853734 | 282932 | 352249 0 | 5 | 55 1608.86/1609.38 c 1604s | 17 | 854075 | 283232 | 352249 0 | 5 | 55 1611.45/1611.91 c 1606s | 17 | 854421 | 283532 | 352249 0 | 5 | 55 1613.85/1614.37 c 1609s | 17 | 854756 | 283832 | 352249 0 | 5 | 55 1616.75/1617.29 c 1612s | 17 | 855095 | 284132 | 352249 0 | 5 | 55 1619.85/1620.40 c 1615s | 17 | 855486 | 284432 | 352249 0 | 5 | 55 1621.94/1622.43 c 1617s | 17 | 855746 | 284632 | 352249 0 | 5 | 55 1624.04/1624.53 c 1619s | 17 | 855998 | 284832 | 352249 0 | 5 | 55 1626.94/1627.44 c 1622s | 17 | 856394 | 285132 | 352249 0 | 5 | 55 1628.94/1629.45 c 1624s | 17 | 856636 | 285332 | 352249 0 | 5 | 55 1632.05/1632.51 c 1627s | 17 | 857011 | 285632 | 352249 0 | 5 | 55 1634.84/1635.37 c 1630s | 17 | 857457 | 285932 | 352249 0 | 5 | 55 1637.55/1638.10 c 1632s | 17 | 857832 | 286232 | 352249 0 | 5 | 55 1640.03/1640.59 c 1635s | 17 | 858250 | 286532 | 352249 0 | 5 | 55 1642.23/1642.76 c 1637s | 17 | 858472 | 286732 | 352249 0 | 5 | 55 1645.14/1645.63 c 1640s | 17 | 858836 | 287032 | 352249 0 | 5 | 55 1647.23/1647.70 c 1642s | 17 | 859125 | 287232 | 352249 0 | 5 | 55 1649.33/1649.83 c 1644s | 17 | 859358 | 287432 | 352249 0 | 5 | 55 1651.53/1652.07 c 1646s | 17 | 859614 | 287632 | 352249 0 | 5 | 55 1654.43/1654.96 c 1649s | 17 | 859999 | 287932 | 352249 0 | 5 | 55 1656.43/1656.98 c 1651s | 17 | 860287 | 288132 | 352249 0 | 5 | 55 1659.63/1660.15 c 1654s | 17 | 866181 | 288432 | 352249 0 | 5 | 55 1661.64/1662.19 c 1657s | 17 | 888519 | 289032 | 352249 0 | 5 | 55 1664.53/1665.02 c 1659s | 17 | 898634 | 289532 | 352249 0 | 5 | 55 1667.24/1667.73 c 1662s | 17 | 901628 | 289832 | 352249 0 | 5 | 55 1669.63/1670.18 c 1665s | 17 | 903872 | 290132 | 352249 0 | 5 | 55 1672.33/1672.84 c 1667s | 17 | 905177 | 290432 | 352249 0 | 5 | 55 1674.93/1675.41 c 1670s | 17 | 906672 | 290732 | 352249 0 | 5 | 55 1677.13/1677.62 c 1672s | 17 | 910451 | 291132 | 352249 0 | 5 | 55 1679.53/1680.05 c 1674s | 17 | 913692 | 291432 | 352249 0 | 5 | 55 1681.62/1682.19 c 1677s | 17 | 919013 | 291732 | 352249 0 | 5 | 55 1683.92/1684.43 c 1679s | 17 | 921222 | 292032 | 352249 0 | 5 | 55 1686.02/1686.56 c 1681s | 17 | 926032 | 292432 | 352249 0 | 5 | 55 1688.13/1688.69 c 1683s | 17 | 931730 | 292932 | 352249 0 | 5 | 55 1690.23/1690.78 c 1685s | 17 | 933007 | 293232 | 352249 0 | 5 | 55 1692.82/1693.37 c 1688s | 17 | 933631 | 293532 | 352249 0 | 5 | 55 1695.22/1695.71 c 1690s | 17 | 945728 | 294132 | 352249 0 | 5 | 55 1698.03/1698.52 c 1693s | 17 | 946129 | 294432 | 387474 0 | 5 | 55 1700.82/1701.37 c 1696s | 17 | 946468 | 294732 | 387474 0 | 5 | 55 1703.12/1703.60 c 1698s | 17 | 950893 | 295132 | 387474 0 | 5 | 55 1705.32/1705.90 c 1700s | 17 | 953235 | 295632 | 387474 0 | 5 | 55 1707.93/1708.42 c 1703s | 17 | 954894 | 296132 | 387474 0 | 5 | 55 1708.62/1709.11 c 1703s | 18 | 955124 | 296252 | 387474 0 | 5 | 55 1710.72/1711.25 c 1706s | 18 | 955882 | 296352 | 387474 0 | 5 | 55 1713.12/1713.62 c 1708s | 18 | 956644 | 296552 | 387474 0 | 5 | 55 1716.02/1716.58 c 1711s | 18 | 960407 | 296852 | 387474 0 | 5 | 55 1719.22/1719.71 c 1714s | 18 | 961406 | 297052 | 387474 0 | 5 | 55 1721.72/1722.25 c 1717s | 18 | 961634 | 297252 | 387474 0 | 5 | 55 1724.22/1724.79 c 1719s | 18 | 964872 | 297452 | 387474 0 | 5 | 55 1726.92/1727.42 c 1722s | 18 | 970565 | 298052 | 387474 0 | 5 | 55 1729.12/1729.69 c 1724s | 18 | 974724 | 298652 | 387474 0 | 5 | 55 1732.32/1732.81 c 1727s | 18 | 975124 | 298952 | 387474 0 | 5 | 55 1734.32/1734.88 c 1729s | 18 | 975354 | 299152 | 387474 0 | 5 | 55 1736.82/1737.32 c 1732s | 18 | 975567 | 299352 | 387474 0 | 5 | 55 1739.41/1739.98 c 1734s | 18 | 975829 | 299552 | 387474 0 | 5 | 55 1741.51/1742.07 c 1736s | 18 | 979913 | 299952 | 387474 0 | 5 | 55 1744.22/1744.77 c 1739s | 18 | 982166 | 300352 | 387474 0 | 5 | 55 1747.11/1747.60 c 1742s | 18 | 983197 | 300652 | 387474 0 | 5 | 55 1749.72/1750.27 c 1745s | 18 | 983657 | 300952 | 387474 0 | 5 | 55 1752.61/1753.18 c 1748s | 18 | 984265 | 301252 | 387474 0 | 5 | 55 1755.12/1755.70 c 1750s | 18 | 984781 | 301552 | 387474 0 | 5 | 55 1757.91/1758.49 c 1753s | 18 | 985779 | 301852 | 387474 0 | 5 | 55 1760.01/1760.59 c 1755s | 18 | 986588 | 302052 | 387474 0 | 5 | 55 1762.61/1763.16 c 1758s | 18 | 988362 | 302352 | 387474 0 | 5 | 55 1765.61/1766.18 c 1761s | 18 | 990586 | 302652 | 387474 0 | 5 | 55 1767.81/1768.31 c 1763s | 18 | 996222 | 302952 | 387474 0 | 5 | 55 1770.01/1770.58 c 1765s | 18 | 1001620 | 303152 | 387474 0 | 5 | 55 1773.01/1773.50 c 1768s | 18 | 1006189 | 303452 | 387474 0 | 5 | 55 1775.91/1776.47 c 1771s | 18 | 1007027 | 303752 | 387474 0 | 5 | 55 1778.91/1779.46 c 1774s | 18 | 1007427 | 304052 | 387474 0 | 5 | 55 1781.81/1782.32 c 1777s | 18 | 1008324 | 304352 | 387474 0 | 5 | 55 1784.21/1784.72 c 1779s | 18 | 1008602 | 304552 | 387474 0 | 5 | 55 1786.51/1787.08 c 1781s | 18 | 1008877 | 304752 | 387474 0 | 5 | 55 1789.41/1789.96 c 1784s | 18 | 1015263 | 305052 | 387474 0 | 5 | 55 1791.41/1791.98 c 1786s | 18 | 1017010 | 305252 | 387474 0 | 5 | 55 1794.11/1794.67 c 1789s | 18 | 1018117 | 305552 | 387474 0 | 5 | 55 1796.71/1797.24 c 1792s | 18 | 1019185 | 305852 | 387474 0 | 5 | 55 1799.61/1800.13 c 1794s | 18 | 1019751 | 306152 | 387474 0 | 5 | 55
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-4108904-1466292641/watcher-4108904-1466292641 -o /tmp/evaluation-result-4108904-1466292641/solver-4108904-1466292641 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108904-1466292641.opb pid=31143 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.19 2.17 3/180 31146 /proc/meminfo: memFree=29079084/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=743868 CPUtime=0 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 2775 0 0 0 0 0 0 0 20 0 4 0 31309820 761720832 3137 33554432000 4194304 16246674 140734870281328 140734870280752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 186479 3147 441 2943 0 183373 0 [pid=31146/tid=31147] ppid=31143 vsize=762300 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 780595200 3210 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 784789504 3227 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=771516 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309820 790032384 3244 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100208 s] /proc/loadavg: 2.04 2.19 2.17 3/180 31146 /proc/meminfo: memFree=29079084/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 25696 0 0 0 6 3 0 0 20 0 4 0 31309820 1332285440 25996 33554432000 4194304 16246674 140734870281328 140734870280640 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 325265 26012 800 2943 0 322159 0 [pid=31146/tid=31147] ppid=31143 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1332285440 26024 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1332285440 26034 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1332285440 26045 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200532 s] /proc/loadavg: 2.04 2.19 2.17 3/180 31146 /proc/meminfo: memFree=29079084/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1309252 CPUtime=0.19 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 51075 0 0 0 13 6 0 0 20 0 4 0 31309820 1340674048 51885 33554432000 4194304 16246674 140734870281328 140734870280640 4223718 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 327313 51889 800 2943 0 324207 0 [pid=31146/tid=31147] ppid=31143 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1340674048 51891 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1340674048 51894 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1340674048 51896 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1309252 [startup+0.300489 s] /proc/loadavg: 2.04 2.19 2.17 3/180 31146 /proc/meminfo: memFree=29079084/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 61594 0 0 0 22 7 0 0 20 0 4 0 31309820 1345916928 62404 33554432000 4194304 16246674 140734870281328 140734870280640 4223690 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 328593 62404 800 2943 0 325487 0 [pid=31146/tid=31147] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 62404 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 62404 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 62404 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700433 s] /proc/loadavg: 2.04 2.19 2.17 3/180 31146 /proc/meminfo: memFree=29079084/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 69895 0 0 0 61 8 0 0 20 0 4 0 31309820 1345916928 70705 33554432000 4194304 16246674 140734870281328 140734870263232 13761730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 328593 70705 800 2943 0 325487 0 [pid=31146/tid=31147] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 70705 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 70705 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 70705 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50037 s] /proc/loadavg: 2.04 2.19 2.17 3/184 31150 /proc/meminfo: memFree=28744928/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 86924 0 0 0 138 11 0 0 20 0 4 0 31309820 1345916928 87734 33554432000 4194304 16246674 140734870281328 140734870264320 7853116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 328593 87734 801 2943 0 325487 0 [pid=31146/tid=31147] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 87734 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 87734 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1345916928 87734 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 2.04 2.19 2.17 3/184 31150 /proc/meminfo: memFree=28372432/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=3.09 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 277686 0 0 0 273 36 0 0 20 0 4 0 31309820 1381568512 278496 33554432000 4194304 16246674 140734870281328 140734870263232 5763334 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278496 847 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278496 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278496 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278496 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.30042 s] /proc/loadavg: 2.04 2.19 2.17 4/184 31150 /proc/meminfo: memFree=27964552/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=6.29 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 277965 0 0 0 593 36 0 0 20 0 4 0 31309820 1381568512 278775 33554432000 4194304 16246674 140734870281328 140734870263232 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278775 886 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278775 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278775 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278775 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.04 2.18 2.17 3/184 31150 /proc/meminfo: memFree=27964612/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=12.69 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 277967 0 0 0 1233 36 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140734870263232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278777 886 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5005 s] /proc/loadavg: 2.10 2.19 2.17 3/183 31150 /proc/meminfo: memFree=27964628/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=25.49 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 277967 0 0 0 2513 36 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140734870263232 5677492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278777 886 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349188 [startup+51.1005 s] /proc/loadavg: 2.07 2.17 2.17 3/183 31150 /proc/meminfo: memFree=27964508/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=51.09 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 277967 0 0 0 5073 36 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140734870263232 5601873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278777 886 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278777 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1349188 [startup+102.301 s] /proc/loadavg: 2.07 2.16 2.16 3/183 31151 /proc/meminfo: memFree=27964064/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=102.28 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 277974 0 0 0 10192 36 0 0 20 0 4 0 31309820 1381568512 278784 33554432000 4194304 16246674 140734870281328 140734870263232 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278784 892 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278784 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278784 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278784 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 1.33 1.91 2.09 3/173 31212 /proc/meminfo: memFree=29104428/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1361.96 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278221 0 0 0 136157 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5601651 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 1.18 1.76 2.02 2/173 31213 /proc/meminfo: memFree=29104576/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1421.94 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278261 0 0 0 142155 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 1.26 1.68 1.98 3/173 31214 /proc/meminfo: memFree=29104472/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1481.91 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278299 0 0 0 148152 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1349188 [startup+1542.31 s] /proc/loadavg: 1.17 1.57 1.92 2/173 31216 /proc/meminfo: memFree=29104256/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1541.89 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278324 0 0 0 154150 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 1.10 1.47 1.86 2/173 31217 /proc/meminfo: memFree=29104216/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1601.85 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278367 0 0 0 160146 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1349188 [startup+1662.3 s] /proc/loadavg: 1.14 1.42 1.82 2/173 31218 /proc/meminfo: memFree=29104208/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1661.83 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278390 0 0 0 166144 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5677179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1349188 [startup+1722.3 s] /proc/loadavg: 1.12 1.35 1.77 3/173 31219 /proc/meminfo: memFree=29104080/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1721.82 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278390 0 0 0 172143 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1349188 [startup+1782.3 s] /proc/loadavg: 1.21 1.33 1.73 2/174 31223 /proc/meminfo: memFree=29104492/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1781.81 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278390 0 0 0 178142 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1349188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.24 1.33 1.73 2/173 31224 /proc/meminfo: memFree=29104492/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1800.01 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278390 0 0 0 179962 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1349188 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 31146 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.24 1.33 1.73 2/173 31224 /proc/meminfo: memFree=29104492/32872528 swapFree=1402776/1580604 [pid=31146] ppid=31143 vsize=1349188 CPUtime=1800.01 cores=1,3,5,7 /proc/31146/stat : 31146 (toysat) R 31143 31146 28125 0 -1 4202496 278390 0 0 0 179962 39 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140734870263232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31146/statm: 337297 278786 893 2943 0 334191 0 [pid=31146/tid=31147] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31147/stat : 31147 (toysat) S 31143 31146 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344915111152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31146/tid=31148] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31148/stat : 31148 (toysat) S 31143 31146 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344834370800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31146/tid=31149] ppid=31143 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/31146/task/31149/stat : 31149 (toysat) S 31143 31146 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31309820 1381568512 278786 33554432000 4194304 16246674 140734870281328 140344823897264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1349188 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.63 CPU system time (s): 0.396939 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1349188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.396939 maximum resident set size= 1115144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278390 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= 443 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.56531 second user time and 6.95294 second system time The end
Begin job on node139 at 2016-06-19 01:30:41 IDJOB=4108904 IDBENCH=89687 IDSOLVER=2542 FILE ID=node139/4108904-1466292641 RUNJOBID= node139-1466274546-28142 PBS_JOBID= 19918239 Free space on /tmp= 71564 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-40.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108904-1466292641/watcher-4108904-1466292641 -o /tmp/evaluation-result-4108904-1466292641/solver-4108904-1466292641 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108904-1466292641.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96b10f202af149572cd99ac873608650 RANDOM SEED=2005886974 node139.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.56 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: 29079084 kB Buffers: 149472 kB Cached: 198252 kB SwapCached: 1832 kB Active: 1230960 kB Inactive: 234788 kB Active(anon): 1118084 kB Inactive(anon): 2540 kB Active(file): 112876 kB Inactive(file): 232248 kB Unevictable: 1580604 kB Mlocked: 1402776 kB SwapTotal: 67108856 kB SwapFree: 67099484 kB Dirty: 24864 kB Writeback: 0 kB AnonPages: 2698136 kB Mapped: 10704 kB Shmem: 0 kB Slab: 611188 kB SReclaimable: 54872 kB SUnreclaim: 556316 kB KernelStack: 1464 kB PageTables: 9052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2839324 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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= 71572 MiB End job on node139 at 2016-06-19 02:00:42