| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.12 | 1800.52 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_80.opb |
| MD5SUM | d5640996c15a8815d620b5d6c220fea1 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non 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 | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75000 |
| Sum of products size (including duplicates) | 150000 |
| Number of different products | 37500 |
| Sum of products size | 75000 |
0.00/0.00 c 2016-06-18T21:58:13+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-4106880-1466279892.opb"] 0.00/0.01 c use --random-gen="378903976 418360585 2231542827 2010701110 907828637 370458482 1166514444 2223811935 3007797396 3015153548 2307386287 3633607625 3257786501 3660431427 3992931080 2694776987 1928752540 2023199303 3383981079 2705916741 3660447523 77801193 2108650271 1218931027 3332162480 2522450778 2682624424 3545980547 3395236324 3523745246 1305925175 1607317425 2774387730 3608462326 3079937852 1907181366 837667125 3619236745 1365599930 2136025320 2235157798 171672106 108073501 3334093990 657752611 3297081179 359996170 1420617928 4197350002 2571064180 3227266399 341043619 3558379942 601283750 469186523 3915464939 4138173242 1358635607 3263457772 980631118 3739600057 225687100 1083655042 349931612 3461489854 779311085 1270051578 818189183 202350320 158087060 64297081 682485092 2203582454 3467641516 799688490 2695861738 404597868 1471824774 3347020207 4189160069 2698104486 1233812030 3339823651 94950077 3950370576 2458302016 802668027 4272571108 897612315 2231844277 528327623 1735683244 1219520114 2895704021 1657033666 2760698496 1522590377 3754769003 2714436760 3371987111 143825556 3102335892 3302830025 4037876198 2657185805 513394285 3283053704 1336108723 3739617841 4278786421 39777966 1123416220 818977064 420562344 976017950 2287603146 2370076032 3365487878 1020079828 3316795161 3155935675 3928487828 1133673091 890598779 3454904237 1365662608 72346127 2134550708 1818143996 2186326594 3263684875 1366482011 1842476893 851797877 736476595 104602372 2564559398 808080569 2438040150 4163854367 709518180 1703490032 1249422025 1723376222 2442204556 2156293163 2131409539 1644127807 471771527 1683933747 4235572024 443465799 2286889856 4190930837 1191620802 32682607 1508274410 2111727080 3264461324 160396418 2271988977 4113790766 1358821212 529579128 3033019377 779863731 1633784246 2031293847 1409676282 1443340810 1138952287 4207043744 3983030211 164635679 1914192831 3213130635 3326964817 2066912110 1584026062 3760118765 836084323 1774430099 1606959769 3855586249 1309759363 3491381572 286043984 414317868 993823188 2420244916 850229513 3311813128 355096766 1163446825 3036095343 1127708571 2838894373 930244078 4008712079 2533654922 3334156931 1001707161 3056060117 4266208467 1313178292 2458336298 2731390513 2086574442 2466529169 368848832 2948747385 1799361217 2244055813 1815530771 1574049580 1847164566 1939482978 2767043046 1594148648 2425233060 2401096399 707467285 3881503200 2930023587 1726434859 439783963 3684081482 1855023703 905507233 1095348088 3405813363 2229140310 3701141128 1329835370 3066708536 2594268261 81166179 1536621872 261036883 4020027760 1761940570 3220562051 2511838578 1113069870 2206308259 3469135303 1588421030 2709348533 608630794 2035325574 596391314 1497803054 3378855097 44196512 1947859032 344584572 255 362436" option to reproduce the execution 0.18/0.22 c #vars 1000 0.18/0.22 c #constraints 1502 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 25834 0 | 0 | 0 1.59/1.65 c 0.3s | 1 | 742 | 100 | 25834 0 | 0 | 0 1.89/1.90 c 0.6s | 2 | 38274 | 250 | 28418 0 | 0 | 0 3.19/3.22 c 1.9s | 3 | 56750 | 475 | 31260 0 | 0 | 0 5.09/5.17 c 3.9s | 4 | 105473 | 813 | 34386 0 | 0 | 0 7.58/7.66 c 6.4s | 4 | 143476 | 1313 | 37825 0 | 0 | 0 7.69/7.73 c 6.4s | 5 | 143654 | 1320 | 37825 0 | 0 | 0 9.78/9.85 c 8.5s | 5 | 154576 | 1720 | 41608 0 | 0 | 0 11.88/11.90 c 10.6s | 6 | 163110 | 2081 | 45769 0 | 0 | 0 14.39/14.50 c 13.2s | 6 | 165241 | 2281 | 45769 0 | 0 | 0 16.68/16.74 c 15.4s | 6 | 165307 | 2381 | 45769 0 | 0 | 0 18.88/18.95 c 17.6s | 6 | 175802 | 2781 | 45769 0 | 0 | 0 21.68/21.79 c 20.5s | 6 | 177064 | 2981 | 45769 0 | 0 | 0 23.28/23.33 c 22.0s | 7 | 177442 | 3223 | 50346 0 | 0 | 0 26.08/26.12 c 24.8s | 7 | 178526 | 3423 | 50346 0 | 0 | 0 28.59/28.63 c 27.3s | 7 | 202257 | 3923 | 50346 0 | 0 | 0 30.68/30.70 c 29.4s | 7 | 204095 | 4123 | 50346 0 | 0 | 0 34.38/34.42 c 33.1s | 7 | 205815 | 4323 | 50346 0 | 0 | 0 37.68/37.72 c 36.4s | 7 | 214790 | 4623 | 50346 0 | 0 | 0 39.38/39.47 c 38.2s | 8 | 247189 | 4936 | 55381 0 | 0 | 0 41.89/41.92 c 40.6s | 8 | 259213 | 5336 | 55381 0 | 0 | 0 43.99/44.05 c 42.7s | 8 | 259732 | 5536 | 55381 0 | 0 | 0 46.08/46.13 c 44.8s | 8 | 261716 | 5736 | 55381 0 | 0 | 0 48.38/48.48 c 47.2s | 8 | 284174 | 6036 | 55381 0 | 0 | 0 51.88/51.96 c 50.6s | 8 | 287749 | 6336 | 55381 0 | 0 | 0 55.78/55.86 c 54.5s | 8 | 287937 | 6536 | 55381 0 | 0 | 0 58.48/58.55 c 57.2s | 8 | 298086 | 6936 | 55381 0 | 0 | 0 60.58/60.65 c 59.3s | 8 | 298086 | 7036 | 55381 0 | 0 | 0 62.68/62.77 c 61.5s | 8 | 307082 | 7336 | 55381 0 | 0 | 0 64.28/64.37 c 63.1s | 9 | 309374 | 7506 | 60920 0 | 0 | 0 66.37/66.47 c 65.2s | 9 | 309685 | 7606 | 60920 0 | 0 | 0 68.47/68.52 c 67.2s | 9 | 310833 | 7706 | 60920 0 | 0 | 0 72.07/72.13 c 70.8s | 9 | 317177 | 8006 | 60920 0 | 0 | 0 74.37/74.41 c 73.1s | 9 | 337292 | 8406 | 60920 0 | 0 | 0 78.18/78.27 c 77.0s | 9 | 337881 | 8606 | 60920 0 | 0 | 0 80.77/80.83 c 79.5s | 9 | 338001 | 8706 | 60920 0 | 0 | 0 82.77/82.86 c 81.6s | 9 | 342695 | 8806 | 60920 0 | 0 | 0 85.48/85.54 c 84.2s | 9 | 358730 | 9206 | 60920 0 | 0 | 0 88.09/88.19 c 86.9s | 9 | 360152 | 9406 | 60920 0 | 0 | 0 90.08/90.20 c 88.9s | 9 | 382750 | 9706 | 60920 0 | 0 | 0 93.38/93.49 c 92.2s | 9 | 389389 | 10006 | 60920 0 | 0 | 0 96.08/96.13 c 94.8s | 9 | 392837 | 10306 | 60920 0 | 0 | 0 98.18/98.24 c 96.9s | 9 | 398891 | 10506 | 60920 0 | 0 | 0 101.68/101.76 c 100s | 9 | 400101 | 10706 | 60920 0 | 0 | 0 103.68/103.77 c 102s | 9 | 425418 | 11106 | 60920 0 | 0 | 0 106.98/107.09 c 105s | 9 | 426582 | 11306 | 67012 0 | 0 | 0 107.88/107.95 c 106s | 10 | 426994 | 11361 | 67012 0 | 0 | 0 110.18/110.21 c 108s | 10 | 430589 | 11661 | 67012 0 | 0 | 0 112.97/113.02 c 111s | 10 | 441381 | 12161 | 67012 0 | 0 | 0 116.68/116.71 c 115s | 10 | 441502 | 12361 | 67012 0 | 0 | 0 118.78/118.81 c 117s | 10 | 442092 | 12661 | 67012 0 | 0 | 0 120.87/120.92 c 119s | 10 | 447357 | 13161 | 67012 0 | 0 | 0 122.97/123.03 c 121s | 10 | 464941 | 13861 | 67012 0 | 0 | 0 125.07/125.17 c 123s | 10 | 479211 | 14461 | 67012 0 | 0 | 0 127.47/127.58 c 126s | 10 | 495880 | 15061 | 67012 0 | 0 | 0 129.88/129.94 c 128s | 10 | 515324 | 15661 | 67012 0 | 0 | 0 132.17/132.29 c 130s | 10 | 529985 | 16161 | 67012 0 | 0 | 0 134.37/134.46 c 133s | 10 | 542342 | 16561 | 67012 0 | 0 | 0 136.57/136.62 c 135s | 10 | 557332 | 17061 | 73714 0 | 0 | 0 136.87/136.91 c 135s | 11 | 562578 | 17144 | 73714 0 | 0 | 0 139.87/139.99 c 138s | 11 | 564808 | 17344 | 73714 0 | 0 | 0 141.98/142.08 c 140s | 11 | 577384 | 17544 | 73714 0 | 0 | 0 144.37/144.41 c 143s | 11 | 578988 | 17744 | 73714 0 | 0 | 0 146.57/146.60 c 145s | 11 | 591152 | 17944 | 73714 0 | 0 | 0 149.67/149.70 c 148s | 11 | 595913 | 18144 | 73714 0 | 0 | 0 152.27/152.34 c 151s | 11 | 596007 | 18344 | 73714 0 | 0 | 0 154.97/155.04 c 153s | 11 | 610480 | 18644 | 73714 0 | 0 | 0 157.07/157.17 c 155s | 11 | 612270 | 18744 | 73714 0 | 0 | 0 160.17/160.29 c 158s | 11 | 612450 | 18944 | 73714 0 | 0 | 0 162.27/162.35 c 161s | 11 | 613081 | 19144 | 73714 0 | 0 | 0 164.97/165.09 c 163s | 11 | 627009 | 19544 | 73714 0 | 0 | 0 167.27/167.33 c 166s | 11 | 629058 | 19744 | 73714 0 | 0 | 0 169.26/169.36 c 168s | 11 | 637580 | 20144 | 73714 0 | 0 | 0 171.46/171.50 c 170s | 11 | 644120 | 20544 | 73714 0 | 0 | 0 173.66/173.75 c 172s | 11 | 655150 | 20944 | 73714 0 | 0 | 0 176.16/176.29 c 174s | 11 | 662213 | 21344 | 73714 0 | 0 | 0 178.46/178.57 c 177s | 11 | 674303 | 21744 | 73714 0 | 0 | 0 180.66/180.75 c 179s | 11 | 682162 | 22044 | 73714 0 | 0 | 0 182.67/182.77 c 181s | 11 | 690356 | 22344 | 73714 0 | 0 | 0 185.16/185.22 c 183s | 11 | 698883 | 22744 | 73714 0 | 0 | 0 187.56/187.69 c 186s | 11 | 707729 | 23144 | 73714 0 | 0 | 0 189.76/189.83 c 188s | 11 | 716976 | 23544 | 73714 0 | 0 | 0 192.16/192.28 c 190s | 11 | 726426 | 23944 | 73714 0 | 0 | 0 194.56/194.63 c 193s | 11 | 732519 | 24244 | 73714 0 | 0 | 0 197.16/197.29 c 195s | 11 | 741234 | 24644 | 73714 0 | 0 | 0 199.46/199.56 c 198s | 11 | 751698 | 25044 | 73714 0 | 0 | 0 201.96/202.02 c 200s | 11 | 758825 | 25444 | 73714 0 | 0 | 0 204.26/204.33 c 203s | 12 | 768284 | 25819 | 81086 0 | 0 | 0 206.86/206.94 c 205s | 12 | 768805 | 26019 | 81086 0 | 0 | 0 209.06/209.12 c 207s | 12 | 788138 | 26319 | 81086 0 | 0 | 0 211.26/211.36 c 210s | 12 | 790401 | 26619 | 81086 0 | 0 | 0 213.46/213.50 c 212s | 12 | 798898 | 27019 | 81086 0 | 0 | 0 215.45/215.57 c 214s | 12 | 810122 | 27519 | 81086 0 | 0 | 0 217.86/217.97 c 216s | 12 | 824115 | 28019 | 81086 0 | 0 | 0 220.06/220.16 c 218s | 12 | 832357 | 28419 | 81086 0 | 0 | 0 222.26/222.39 c 221s | 12 | 842307 | 28819 | 81086 0 | 0 | 0 224.95/225.02 c 223s | 12 | 854217 | 29319 | 81086 0 | 0 | 0 227.05/227.12 c 225s | 12 | 867092 | 29719 | 81086 0 | 0 | 0 229.35/229.40 c 228s | 12 | 876904 | 30119 | 81086 0 | 0 | 0 231.65/231.72 c 230s | 12 | 888042 | 30519 | 81086 0 | 0 | 0 233.95/234.09 c 232s | 12 | 897569 | 30919 | 81086 0 | 0 | 0 236.25/236.30 c 234s | 12 | 912146 | 31419 | 81086 0 | 0 | 0 238.35/238.48 c 237s | 12 | 926600 | 31819 | 81086 0 | 0 | 0 241.05/241.16 c 239s | 12 | 936865 | 32319 | 81086 0 | 0 | 0 243.05/243.20 c 241s | 12 | 951456 | 32719 | 81086 0 | 0 | 0 245.45/245.54 c 244s | 12 | 962260 | 33119 | 81086 0 | 0 | 0 247.75/247.83 c 246s | 12 | 970565 | 33519 | 81086 0 | 0 | 0 250.15/250.27 c 248s | 12 | 986462 | 33919 | 81086 0 | 0 | 0 252.65/252.73 c 251s | 12 | 996090 | 34319 | 81086 0 | 0 | 0 254.85/254.97 c 253s | 12 | 1005148 | 34719 | 81086 0 | 0 | 0 257.05/257.14 c 255s | 12 | 1015448 | 35119 | 81086 0 | 0 | 0 259.35/259.45 c 258s | 12 | 1025957 | 35519 | 81086 0 | 0 | 0 261.55/261.62 c 260s | 12 | 1034934 | 35819 | 81086 0 | 0 | 0 264.35/264.40 c 263s | 12 | 1043301 | 36319 | 81086 0 | 0 | 0 266.45/266.55 c 265s | 12 | 1053044 | 36719 | 81086 0 | 0 | 0 269.25/269.39 c 268s | 12 | 1055583 | 37019 | 81086 0 | 0 | 0 271.35/271.48 c 270s | 12 | 1059887 | 37319 | 81086 0 | 0 | 0 274.15/274.27 c 272s | 12 | 1062032 | 37619 | 81086 0 | 0 | 0 276.95/277.04 c 275s | 12 | 1065972 | 38019 | 81086 0 | 0 | 0 280.05/280.14 c 278s | 12 | 1074657 | 38519 | 81086 0 | 0 | 0 282.15/282.25 c 280s | 12 | 1078402 | 38819 | 89195 0 | 0 | 0 282.25/282.30 c 280s | 13 | 1079542 | 38832 | 89195 0 | 0 | 0 285.15/285.23 c 283s | 13 | 1084507 | 39132 | 89195 0 | 0 | 0 287.15/287.27 c 285s | 13 | 1085622 | 39432 | 89195 0 | 0 | 0 289.55/289.61 c 288s | 13 | 1094910 | 39932 | 89195 0 | 0 | 0 292.05/292.12 c 290s | 13 | 1101067 | 40232 | 89195 0 | 0 | 0 294.65/294.71 c 293s | 13 | 1102273 | 40432 | 89195 0 | 0 | 0 297.24/297.34 c 296s | 13 | 1106344 | 40732 | 89195 0 | 0 | 0 299.34/299.47 c 298s | 13 | 1111266 | 41132 | 89195 0 | 0 | 0 301.54/301.65 c 300s | 13 | 1112258 | 41432 | 89195 0 | 0 | 0 303.94/304.08 c 302s | 13 | 1113617 | 41732 | 89195 0 | 0 | 0 307.24/307.31 c 306s | 13 | 1114298 | 42032 | 89195 0 | 0 | 0 309.34/309.40 c 308s | 13 | 1116069 | 42332 | 89195 0 | 0 | 0 311.84/311.91 c 310s | 13 | 1118134 | 42832 | 89195 0 | 0 | 0 313.94/314.03 c 312s | 13 | 1118855 | 43132 | 89195 0 | 0 | 0 316.04/316.18 c 314s | 13 | 1120203 | 43432 | 89195 0 | 0 | 0 318.24/318.30 c 316s | 13 | 1121471 | 43732 | 89195 0 | 0 | 0 320.64/320.76 c 319s | 13 | 1123118 | 44032 | 89195 0 | 0 | 0 322.84/322.92 c 321s | 13 | 1124350 | 44332 | 89195 0 | 0 | 0 325.04/325.18 c 323s | 13 | 1126867 | 44632 | 89195 0 | 0 | 0 327.14/327.25 c 325s | 13 | 1127635 | 44932 | 89195 0 | 0 | 0 329.84/329.97 c 328s | 13 | 1128588 | 45232 | 89195 0 | 0 | 0 332.24/332.34 c 331s | 13 | 1129414 | 45432 | 89195 0 | 0 | 0 334.44/334.52 c 333s | 13 | 1130343 | 45732 | 89195 0 | 0 | 0 336.93/337.00 c 335s | 13 | 1131341 | 46032 | 89195 0 | 0 | 0 340.23/340.36 c 339s | 13 | 1134234 | 46332 | 89195 0 | 0 | 0 342.93/343.01 c 341s | 13 | 1138604 | 46632 | 89195 0 | 0 | 0 344.93/345.05 c 343s | 13 | 1163127 | 46932 | 89195 0 | 0 | 0 348.13/348.20 c 346s | 13 | 1165418 | 47132 | 89195 0 | 0 | 0 351.13/351.24 c 349s | 13 | 1165468 | 47232 | 89195 0 | 0 | 0 353.83/353.99 c 352s | 13 | 1195742 | 47532 | 89195 0 | 0 | 0 355.93/356.07 c 354s | 13 | 1195742 | 47632 | 89195 0 | 0 | 0 358.03/358.19 c 356s | 13 | 1195923 | 47732 | 89195 0 | 0 | 0 360.13/360.21 c 358s | 13 | 1224945 | 48132 | 89195 0 | 0 | 0 363.33/363.47 c 362s | 13 | 1228243 | 48332 | 89195 0 | 0 | 0 365.73/365.80 c 364s | 13 | 1251351 | 48732 | 89195 0 | 0 | 0 369.13/369.29 c 367s | 13 | 1258407 | 49032 | 89195 0 | 0 | 0 371.73/371.86 c 370s | 13 | 1258832 | 49232 | 89195 0 | 0 | 0 375.03/375.14 c 373s | 13 | 1266203 | 49532 | 89195 0 | 0 | 0 377.43/377.51 c 376s | 13 | 1271926 | 49732 | 89195 0 | 0 | 0 379.83/379.97 c 378s | 13 | 1277786 | 49932 | 89195 0 | 0 | 0 382.32/382.46 c 381s | 13 | 1283726 | 50132 | 89195 0 | 0 | 0 384.42/384.57 c 383s | 13 | 1290849 | 50332 | 89195 0 | 0 | 0 387.13/387.30 c 385s | 13 | 1296453 | 50732 | 89195 0 | 0 | 0 389.43/389.58 c 388s | 13 | 1298554 | 51032 | 89195 0 | 0 | 0 391.82/391.93 c 390s | 13 | 1300816 | 51332 | 89195 0 | 0 | 0 394.02/394.15 c 392s | 13 | 1302994 | 51632 | 89195 0 | 0 | 0 396.22/396.33 c 395s | 13 | 1306239 | 51932 | 89195 0 | 0 | 0 398.92/399.03 c 397s | 13 | 1310553 | 52332 | 89195 0 | 0 | 0 401.43/401.53 c 400s | 13 | 1319023 | 52732 | 89195 0 | 0 | 0 403.42/403.55 c 402s | 13 | 1321073 | 53032 | 89195 0 | 0 | 0 405.62/405.70 c 404s | 13 | 1323895 | 53332 | 89195 0 | 0 | 0 408.02/408.11 c 406s | 13 | 1326863 | 53632 | 89195 0 | 0 | 0 410.41/410.55 c 409s | 13 | 1328186 | 54032 | 89195 0 | 0 | 0 412.71/412.88 c 411s | 13 | 1329732 | 54432 | 89195 0 | 0 | 0 414.81/414.95 c 413s | 13 | 1332174 | 54732 | 89195 0 | 0 | 0 417.01/417.14 c 415s | 13 | 1333369 | 55032 | 89195 0 | 0 | 0 419.21/419.32 c 418s | 13 | 1334865 | 55332 | 89195 0 | 0 | 0 421.41/421.52 c 420s | 13 | 1336424 | 55632 | 89195 0 | 0 | 0 423.61/423.70 c 422s | 13 | 1338464 | 55932 | 89195 0 | 0 | 0 425.81/425.96 c 424s | 13 | 1340913 | 56232 | 89195 0 | 0 | 0 428.40/428.56 c 427s | 13 | 1343951 | 56532 | 89195 0 | 0 | 0 431.40/431.51 c 430s | 13 | 1359028 | 56932 | 89195 0 | 0 | 0 433.80/433.90 c 432s | 13 | 1361509 | 57132 | 89195 0 | 0 | 0 436.21/436.35 c 435s | 13 | 1361909 | 57332 | 89195 0 | 0 | 0 438.21/438.36 c 437s | 13 | 1371020 | 57532 | 89195 0 | 0 | 0 441.80/441.90 c 440s | 13 | 1389172 | 57832 | 89195 0 | 0 | 0 444.41/444.54 c 443s | 13 | 1412070 | 58132 | 98115 0 | 0 | 0 446.20/446.39 c 445s | 14 | 1416930 | 58352 | 98115 0 | 0 | 0 448.90/449.02 c 447s | 14 | 1419219 | 58452 | 98115 0 | 0 | 0 452.70/452.80 c 451s | 14 | 1424162 | 58652 | 98115 0 | 0 | 0 455.70/455.84 c 454s | 14 | 1432819 | 58952 | 98115 0 | 0 | 0 457.90/458.00 c 456s | 14 | 1440334 | 59152 | 98115 0 | 0 | 0 461.29/461.49 c 460s | 14 | 1455099 | 59452 | 98115 0 | 0 | 0 463.59/463.75 c 462s | 14 | 1462146 | 59652 | 98115 0 | 0 | 0 466.99/467.15 c 465s | 14 | 1479636 | 59952 | 98115 0 | 0 | 0 469.89/470.00 c 468s | 14 | 1479721 | 60052 | 98115 0 | 0 | 0 471.89/472.03 c 470s | 14 | 1508571 | 60352 | 98115 0 | 0 | 0 476.19/476.34 c 475s | 14 | 1518566 | 60652 | 98115 0 | 0 | 0 478.28/478.44 c 477s | 14 | 1519194 | 60852 | 98115 0 | 0 | 0 480.78/480.96 c 479s | 14 | 1563171 | 61252 | 98115 0 | 0 | 0 484.58/484.75 c 483s | 14 | 1569071 | 61552 | 98115 0 | 0 | 0 487.48/487.63 c 486s | 14 | 1569071 | 61652 | 98115 0 | 0 | 0 489.58/489.72 c 488s | 14 | 1606182 | 61952 | 98115 0 | 0 | 0 492.28/492.44 c 491s | 14 | 1611242 | 62252 | 98115 0 | 0 | 0 494.38/494.55 c 493s | 14 | 1611559 | 62452 | 98115 0 | 0 | 0 496.97/497.10 c 495s | 14 | 1649519 | 62852 | 98115 0 | 0 | 0 499.47/499.68 c 498s | 14 | 1655676 | 63152 | 98115 0 | 0 | 0 502.37/502.55 c 501s | 14 | 1668601 | 63452 | 98115 0 | 0 | 0 504.97/505.17 c 503s | 14 | 1670215 | 63652 | 98115 0 | 0 | 0 507.17/507.37 c 506s | 14 | 1671343 | 63852 | 98115 0 | 0 | 0 509.37/509.50 c 508s | 14 | 1683319 | 64252 | 98115 0 | 0 | 0 511.57/511.78 c 510s | 14 | 1695278 | 64752 | 98115 0 | 0 | 0 513.57/513.78 c 512s | 14 | 1708506 | 65152 | 98115 0 | 0 | 0 515.96/516.15 c 514s | 14 | 1718044 | 65652 | 98115 0 | 0 | 0 518.26/518.49 c 517s | 14 | 1724461 | 66052 | 98115 0 | 0 | 0 521.37/521.54 c 520s | 14 | 1730319 | 66452 | 98115 0 | 0 | 0 523.57/523.77 c 522s | 14 | 1732765 | 66652 | 98115 0 | 0 | 0 526.56/526.70 c 525s | 14 | 1746901 | 67052 | 98115 0 | 0 | 0 529.06/529.24 c 527s | 14 | 1748412 | 67252 | 98115 0 | 0 | 0 531.95/532.19 c 530s | 14 | 1760924 | 67652 | 98115 0 | 0 | 0 534.35/534.50 c 533s | 14 | 1768545 | 67952 | 98115 0 | 0 | 0 536.95/537.10 c 535s | 14 | 1770735 | 68252 | 98115 0 | 0 | 0 539.85/540.07 c 538s | 14 | 1771273 | 68452 | 98115 0 | 0 | 0 541.95/542.11 c 540s | 14 | 1774454 | 68652 | 98115 0 | 0 | 0 544.45/544.67 c 543s | 14 | 1786303 | 68952 | 98115 0 | 0 | 0 547.54/547.75 c 546s | 14 | 1789510 | 69252 | 98115 0 | 0 | 0 549.85/550.03 c 548s | 14 | 1801775 | 69552 | 98115 0 | 0 | 0 552.15/552.39 c 551s | 14 | 1811869 | 69852 | 98115 0 | 0 | 0 554.54/554.72 c 553s | 14 | 1818481 | 70152 | 98115 0 | 0 | 0 556.84/557.07 c 555s | 14 | 1822381 | 70452 | 98115 0 | 0 | 0 558.94/559.20 c 557s | 14 | 1828315 | 70752 | 98115 0 | 0 | 0 561.14/561.34 c 560s | 14 | 1835702 | 71052 | 98115 0 | 0 | 0 563.24/563.48 c 562s | 14 | 1840258 | 71452 | 98115 0 | 0 | 0 566.34/566.58 c 565s | 14 | 1849546 | 71752 | 98115 0 | 0 | 0 570.43/570.68 c 569s | 14 | 1850122 | 71952 | 98115 0 | 0 | 0 572.94/573.18 c 571s | 14 | 1859940 | 72152 | 98115 0 | 0 | 0 574.93/575.19 c 573s | 14 | 1862514 | 72352 | 98115 0 | 0 | 0 577.33/577.58 c 576s | 14 | 1865855 | 72552 | 98115 0 | 0 | 0 580.53/580.73 c 579s | 14 | 1873095 | 72852 | 98115 0 | 0 | 0 582.83/583.03 c 581s | 14 | 1886256 | 73152 | 98115 0 | 0 | 0 585.33/585.54 c 584s | 14 | 1890434 | 73452 | 98115 0 | 0 | 0 588.12/588.37 c 587s | 14 | 1897011 | 73752 | 98115 0 | 0 | 0 590.12/590.39 c 589s | 14 | 1901128 | 73952 | 98115 0 | 0 | 0 592.32/592.54 c 591s | 14 | 1917391 | 74252 | 98115 0 | 0 | 0 595.03/595.25 c 593s | 14 | 1920161 | 74552 | 98115 0 | 0 | 0 597.71/597.93 c 596s | 14 | 1930272 | 74852 | 98115 0 | 0 | 0 599.91/600.11 c 598s | 14 | 1932813 | 75052 | 98115 0 | 0 | 0 602.01/602.29 c 600s | 14 | 1933865 | 75252 | 98115 0 | 0 | 0 604.21/604.44 c 603s | 14 | 1948140 | 75552 | 98115 0 | 0 | 0 607.11/607.32 c 606s | 14 | 1958319 | 75952 | 98115 0 | 0 | 0 609.21/609.45 c 608s | 14 | 1960093 | 76252 | 98115 0 | 0 | 0 611.21/611.48 c 610s | 14 | 1967418 | 76452 | 98115 0 | 0 | 0 613.30/613.57 c 612s | 14 | 1968637 | 76652 | 98115 0 | 0 | 0 616.00/616.22 c 614s | 14 | 1977460 | 76952 | 98115 0 | 0 | 0 618.00/618.23 c 616s | 14 | 1980189 | 77152 | 98115 0 | 0 | 0 620.20/620.42 c 619s | 14 | 1980908 | 77352 | 98115 0 | 0 | 0 623.20/623.44 c 622s | 14 | 1986356 | 77652 | 98115 0 | 0 | 0 625.40/625.67 c 624s | 14 | 1987644 | 77852 | 98115 0 | 0 | 0 628.39/628.63 c 627s | 14 | 1992130 | 78152 | 98115 0 | 0 | 0 631.49/631.70 c 630s | 14 | 1993042 | 78352 | 98115 0 | 0 | 0 634.29/634.58 c 633s | 14 | 2004299 | 78652 | 98115 0 | 0 | 0 637.08/637.31 c 636s | 14 | 2013138 | 78952 | 98115 0 | 0 | 0 639.88/640.11 c 638s | 14 | 2017509 | 79252 | 98115 0 | 0 | 0 642.38/642.63 c 641s | 14 | 2024906 | 79552 | 98115 0 | 0 | 0 644.98/645.27 c 643s | 14 | 2029055 | 79852 | 98115 0 | 0 | 0 647.38/647.60 c 646s | 14 | 2032262 | 80152 | 98115 0 | 0 | 0 650.18/650.47 c 649s | 14 | 2036299 | 80452 | 98115 0 | 0 | 0 652.58/652.89 c 651s | 14 | 2041870 | 80752 | 98115 0 | 0 | 0 654.78/655.07 c 653s | 14 | 2049320 | 81052 | 98115 0 | 0 | 0 657.17/657.49 c 656s | 14 | 2055900 | 81352 | 98115 0 | 0 | 0 659.78/660.03 c 658s | 14 | 2057577 | 81652 | 98115 0 | 0 | 0 661.98/662.29 c 660s | 14 | 2059065 | 81952 | 98115 0 | 0 | 0 665.17/665.45 c 664s | 14 | 2061146 | 82252 | 98115 0 | 0 | 0 667.27/667.58 c 666s | 14 | 2063348 | 82452 | 98115 0 | 0 | 0 669.87/670.17 c 668s | 14 | 2066975 | 82752 | 98115 0 | 0 | 0 672.07/672.33 c 671s | 14 | 2070673 | 83052 | 98115 0 | 0 | 0 674.17/674.41 c 673s | 14 | 2075071 | 83352 | 98115 0 | 0 | 0 676.56/676.82 c 675s | 14 | 2080589 | 83752 | 98115 0 | 0 | 0 678.57/678.83 c 677s | 14 | 2083063 | 84052 | 98115 0 | 0 | 0 681.26/681.56 c 680s | 14 | 2084928 | 84352 | 98115 0 | 0 | 0 683.46/683.71 c 682s | 14 | 2087077 | 84652 | 98115 0 | 0 | 0 686.07/686.37 c 685s | 14 | 2089945 | 84952 | 98115 0 | 0 | 0 688.57/688.85 c 687s | 14 | 2094815 | 85252 | 98115 0 | 0 | 0 690.87/691.17 c 689s | 14 | 2098614 | 85552 | 98115 0 | 0 | 0 692.88/693.20 c 691s | 14 | 2102244 | 85852 | 98115 0 | 0 | 0 695.37/695.65 c 694s | 14 | 2103928 | 86152 | 98115 0 | 0 | 0 698.27/698.55 c 697s | 14 | 2106036 | 86552 | 98115 0 | 0 | 0 700.87/701.10 c 699s | 14 | 2106764 | 86852 | 98115 0 | 0 | 0 702.97/703.24 c 701s | 14 | 2123640 | 87152 | 107927 0 | 0 | 0 706.86/707.13 c 705s | 14 | 2132636 | 87452 | 107927 0 | 0 | 0 709.06/709.34 c 708s | 14 | 2132758 | 87552 | 107927 0 | 0 | 0 709.66/709.94 c 708s | 15 | 2133096 | 87632 | 107927 0 | 0 | 0 712.06/712.38 c 711s | 15 | 2148231 | 87732 | 107927 0 | 0 | 0 714.26/714.57 c 713s | 15 | 2153450 | 87932 | 107927 0 | 0 | 0 716.97/717.24 c 715s | 15 | 2179094 | 88232 | 107927 0 | 0 | 0 720.27/720.56 c 719s | 15 | 2180766 | 88432 | 107927 0 | 0 | 0 723.06/723.39 c 722s | 15 | 2204790 | 88732 | 107927 0 | 0 | 0 725.56/725.89 c 724s | 15 | 2206848 | 88932 | 107927 0 | 0 | 0 728.66/728.92 c 727s | 15 | 2226222 | 89232 | 107927 0 | 0 | 0 730.86/731.16 c 729s | 15 | 2236749 | 89532 | 107927 0 | 0 | 0 733.06/733.30 c 731s | 15 | 2249299 | 89832 | 107927 0 | 0 | 0 735.16/735.43 c 734s | 15 | 2253814 | 90032 | 107927 0 | 0 | 0 737.16/737.48 c 736s | 15 | 2261624 | 90332 | 107927 0 | 0 | 0 739.96/740.24 c 738s | 15 | 2268544 | 90632 | 107927 0 | 0 | 0 742.56/742.84 c 741s | 15 | 2275200 | 90932 | 107927 0 | 0 | 0 744.66/744.92 c 743s | 15 | 2284573 | 91232 | 107927 0 | 0 | 0 747.06/747.36 c 746s | 15 | 2291417 | 91532 | 107927 0 | 0 | 0 749.76/750.06 c 748s | 15 | 2299717 | 91832 | 107927 0 | 0 | 0 752.16/752.44 c 751s | 15 | 2307522 | 92132 | 107927 0 | 0 | 0 755.15/755.45 c 754s | 15 | 2315949 | 92432 | 107927 0 | 0 | 0 757.35/757.63 c 756s | 15 | 2324260 | 92732 | 107927 0 | 0 | 0 759.45/759.75 c 758s | 15 | 2329901 | 93032 | 107927 0 | 0 | 0 761.45/761.77 c 760s | 15 | 2335284 | 93332 | 107927 0 | 0 | 0 764.26/764.55 c 763s | 15 | 2346523 | 93732 | 107927 0 | 0 | 0 766.35/766.70 c 765s | 15 | 2351018 | 94032 | 107927 0 | 0 | 0 768.76/769.07 c 767s | 15 | 2355195 | 94332 | 107927 0 | 0 | 0 770.86/771.12 c 769s | 15 | 2361218 | 94632 | 107927 0 | 0 | 0 773.06/773.40 c 772s | 15 | 2363107 | 94932 | 107927 0 | 0 | 0 775.75/776.06 c 774s | 15 | 2364753 | 95232 | 107927 0 | 0 | 0 778.05/778.37 c 777s | 15 | 2367207 | 95532 | 107927 0 | 0 | 0 780.55/780.89 c 779s | 15 | 2369969 | 95832 | 107927 0 | 0 | 0 782.65/782.99 c 781s | 15 | 2387113 | 96132 | 107927 0 | 0 | 0 785.05/785.39 c 784s | 15 | 2389734 | 96432 | 107927 0 | 0 | 0 787.15/787.45 c 786s | 15 | 2397277 | 96732 | 107927 0 | 0 | 0 789.25/789.50 c 788s | 15 | 2402285 | 96932 | 107927 0 | 0 | 0 792.05/792.30 c 790s | 15 | 2428067 | 97232 | 107927 0 | 0 | 0 794.25/794.52 c 793s | 15 | 2430639 | 97432 | 107927 0 | 0 | 0 796.85/797.13 c 795s | 15 | 2460144 | 97732 | 107927 0 | 0 | 0 799.15/799.49 c 798s | 15 | 2465024 | 97932 | 107927 0 | 0 | 0 801.35/801.61 c 800s | 15 | 2470596 | 98132 | 107927 0 | 0 | 0 804.15/804.46 c 803s | 15 | 2481653 | 98332 | 107927 0 | 0 | 0 806.75/807.07 c 805s | 15 | 2509026 | 98632 | 107927 0 | 0 | 0 809.45/809.76 c 808s | 15 | 2516142 | 98932 | 107927 0 | 0 | 0 811.84/812.18 c 810s | 15 | 2522418 | 99232 | 107927 0 | 0 | 0 814.04/814.39 c 813s | 15 | 2525318 | 99532 | 107927 0 | 0 | 0 816.24/816.59 c 815s | 15 | 2531259 | 99832 | 107927 0 | 0 | 0 818.94/819.25 c 817s | 15 | 2541107 | 100132 | 107927 0 | 0 | 0 821.34/821.68 c 820s | 15 | 2544499 | 100432 | 107927 0 | 0 | 0 824.04/824.34 c 823s | 15 | 2548516 | 100732 | 107927 0 | 0 | 0 827.44/827.78 c 826s | 15 | 2559283 | 101032 | 107927 0 | 0 | 0 830.25/830.60 c 829s | 15 | 2559890 | 101232 | 107927 0 | 0 | 0 832.74/833.04 c 831s | 15 | 2568106 | 101432 | 107927 0 | 0 | 0 834.94/835.21 c 833s | 15 | 2571362 | 101632 | 107927 0 | 0 | 0 836.95/837.21 c 835s | 15 | 2575315 | 101832 | 107927 0 | 0 | 0 839.84/840.11 c 838s | 15 | 2581686 | 102132 | 107927 0 | 0 | 0 842.24/842.52 c 841s | 15 | 2613772 | 102432 | 107927 0 | 0 | 0 845.24/845.59 c 844s | 15 | 2633873 | 102732 | 107927 0 | 0 | 0 847.44/847.70 c 846s | 15 | 2634062 | 102832 | 107927 0 | 0 | 0 850.44/850.79 c 849s | 15 | 2634481 | 102932 | 107927 0 | 0 | 0 854.04/854.33 c 853s | 15 | 2690756 | 103332 | 107927 0 | 0 | 0 856.13/856.49 c 855s | 15 | 2693960 | 103532 | 107927 0 | 0 | 0 858.53/858.80 c 857s | 15 | 2724671 | 103832 | 107927 0 | 0 | 0 860.63/860.99 c 859s | 15 | 2731420 | 104032 | 107927 0 | 0 | 0 863.53/863.87 c 862s | 15 | 2747563 | 104232 | 107927 0 | 0 | 0 867.13/867.49 c 866s | 15 | 2766404 | 104532 | 107927 0 | 0 | 0 869.73/870.09 c 868s | 15 | 2766514 | 104632 | 107927 0 | 0 | 0 872.53/872.81 c 871s | 15 | 2802159 | 104932 | 107927 0 | 0 | 0 875.03/875.32 c 874s | 15 | 2802798 | 105132 | 107927 0 | 0 | 0 878.13/878.46 c 877s | 15 | 2823976 | 105432 | 107927 0 | 0 | 0 880.53/880.85 c 879s | 15 | 2824213 | 105532 | 107927 0 | 0 | 0 882.63/882.93 c 881s | 15 | 2838075 | 105632 | 107927 0 | 0 | 0 885.53/885.85 c 884s | 15 | 2842520 | 105732 | 107927 0 | 0 | 0 888.03/888.33 c 887s | 15 | 2878149 | 106032 | 107927 0 | 0 | 0 890.84/891.14 c 889s | 15 | 2878607 | 106232 | 107927 0 | 0 | 0 893.04/893.33 c 892s | 15 | 2924809 | 106532 | 107927 0 | 0 | 0 895.63/895.92 c 894s | 15 | 2927225 | 106732 | 107927 0 | 0 | 0 898.13/898.45 c 897s | 15 | 2946885 | 107032 | 107927 0 | 0 | 0 900.53/900.82 c 899s | 15 | 2953933 | 107532 | 107927 0 | 0 | 0 903.13/903.48 c 902s | 15 | 2970541 | 107832 | 107927 0 | 0 | 0 905.43/905.78 c 904s | 15 | 2983329 | 108032 | 107927 0 | 0 | 0 908.13/908.41 c 907s | 15 | 2992755 | 108332 | 107927 0 | 0 | 0 910.73/911.09 c 909s | 15 | 2993527 | 108532 | 107927 0 | 0 | 0 915.92/916.28 c 914s | 15 | 3007165 | 108832 | 107927 1 | 0 | 0 918.12/918.42 c 917s | 15 | 3028308 | 109132 | 107927 1 | 0 | 0 921.13/921.45 c 920s | 15 | 3033677 | 109332 | 107927 1 | 0 | 0 923.93/924.21 c 922s | 15 | 3035401 | 109532 | 107927 1 | 0 | 0 926.13/926.40 c 925s | 15 | 3053375 | 109832 | 107927 1 | 0 | 0 928.24/928.57 c 927s | 15 | 3054828 | 110032 | 107927 1 | 0 | 0 930.83/931.11 c 929s | 15 | 3072654 | 110332 | 107927 1 | 0 | 0 933.13/933.45 c 932s | 15 | 3073033 | 110532 | 107927 1 | 0 | 0 935.63/935.90 c 934s | 15 | 3091274 | 110832 | 107927 1 | 0 | 0 938.13/938.43 c 937s | 15 | 3111929 | 111232 | 107927 1 | 0 | 0 940.43/940.74 c 939s | 15 | 3122114 | 111532 | 107927 1 | 0 | 0 943.23/943.51 c 942s | 15 | 3133104 | 111932 | 107927 1 | 0 | 0 945.93/946.21 c 944s | 15 | 3155245 | 112332 | 107927 1 | 0 | 0 948.32/948.61 c 947s | 15 | 3166474 | 112732 | 107927 1 | 0 | 0 950.42/950.72 c 949s | 15 | 3172701 | 113032 | 107927 1 | 0 | 0 952.72/953.07 c 951s | 15 | 3184780 | 113332 | 107927 1 | 0 | 0 955.02/955.36 c 954s | 15 | 3201035 | 113932 | 107927 1 | 0 | 0 957.22/957.58 c 956s | 15 | 3202703 | 114132 | 107927 1 | 0 | 0 959.52/959.83 c 958s | 15 | 3204891 | 114432 | 107927 1 | 0 | 0 962.33/962.69 c 961s | 15 | 3207231 | 114632 | 107927 1 | 0 | 0 964.92/965.23 c 963s | 15 | 3214178 | 115032 | 107927 1 | 0 | 0 967.12/967.49 c 966s | 15 | 3219679 | 115432 | 107927 1 | 0 | 0 969.62/969.92 c 968s | 15 | 3221826 | 115732 | 107927 1 | 0 | 0 971.62/971.93 c 970s | 15 | 3226693 | 116032 | 107927 1 | 0 | 0 975.02/975.35 c 974s | 15 | 3250118 | 116432 | 107927 1 | 0 | 0 977.92/978.24 c 976s | 15 | 3253123 | 116632 | 107927 1 | 0 | 0 980.02/980.31 c 978s | 15 | 3273879 | 116932 | 107927 1 | 0 | 0 982.32/982.63 c 981s | 15 | 3275820 | 117132 | 107927 1 | 0 | 0 984.62/984.90 c 983s | 15 | 3295837 | 117432 | 107927 1 | 0 | 0 987.32/987.62 c 986s | 15 | 3298175 | 117732 | 107927 1 | 0 | 0 990.12/990.40 c 989s | 15 | 3310648 | 118032 | 107927 1 | 0 | 0 992.32/992.66 c 991s | 15 | 3326486 | 118332 | 107927 1 | 0 | 0 994.62/994.92 c 993s | 15 | 3345771 | 118732 | 107927 1 | 0 | 0 996.82/997.19 c 995s | 15 | 3359318 | 119032 | 107927 1 | 0 | 0 999.22/999.59 c 998s | 15 | 3378139 | 119332 | 107927 1 | 0 | 0 1001.62/1001.91 c 1000s | 15 | 3385855 | 119632 | 107927 1 | 0 | 0 1003.92/1004.26 c 1002s | 15 | 3397820 | 119932 | 107927 1 | 0 | 0 1006.23/1006.55 c 1005s | 15 | 3411178 | 120232 | 107927 1 | 0 | 0 1008.32/1008.60 c 1007s | 15 | 3419931 | 120532 | 107927 1 | 0 | 0 1011.02/1011.38 c 1010s | 15 | 3432672 | 120932 | 107927 1 | 0 | 0 1013.52/1013.87 c 1012s | 15 | 3444507 | 121232 | 107927 1 | 0 | 0 1015.92/1016.26 c 1014s | 15 | 3452827 | 121532 | 107927 1 | 0 | 0 1018.32/1018.67 c 1017s | 15 | 3464759 | 121932 | 107927 1 | 0 | 0 1020.71/1021.09 c 1019s | 15 | 3475535 | 122332 | 107927 1 | 0 | 0 1022.91/1023.24 c 1021s | 15 | 3483817 | 122732 | 107927 1 | 0 | 0 1025.61/1025.93 c 1024s | 15 | 3488544 | 123032 | 107927 1 | 0 | 0 1028.11/1028.45 c 1027s | 15 | 3494472 | 123432 | 107927 1 | 0 | 0 1030.52/1030.84 c 1029s | 15 | 3496806 | 123732 | 107927 1 | 0 | 0 1032.81/1033.13 c 1031s | 15 | 3508167 | 124032 | 107927 1 | 0 | 0 1034.92/1035.30 c 1033s | 15 | 3517718 | 124332 | 107927 1 | 0 | 0 1037.61/1037.96 c 1036s | 15 | 3520763 | 124632 | 107927 1 | 0 | 0 1040.11/1040.42 c 1039s | 15 | 3525597 | 124932 | 107927 1 | 0 | 0 1042.11/1042.44 c 1041s | 15 | 3562254 | 125232 | 107927 1 | 0 | 0 1045.51/1045.89 c 1044s | 15 | 3564435 | 125432 | 107927 1 | 0 | 0 1047.81/1048.12 c 1046s | 15 | 3580189 | 125632 | 107927 1 | 0 | 0 1050.22/1050.54 c 1049s | 15 | 3602821 | 126032 | 107927 1 | 0 | 0 1053.41/1053.74 c 1052s | 15 | 3609097 | 126332 | 107927 1 | 0 | 0 1056.21/1056.58 c 1055s | 15 | 3610189 | 126532 | 107927 1 | 0 | 0 1059.21/1059.53 c 1058s | 15 | 3628675 | 126832 | 107927 1 | 0 | 0 1061.32/1061.69 c 1060s | 15 | 3629583 | 127032 | 107927 1 | 0 | 0 1064.01/1064.33 c 1063s | 15 | 3648458 | 127332 | 107927 1 | 0 | 0 1066.71/1067.09 c 1065s | 15 | 3668461 | 127632 | 107927 1 | 0 | 0 1069.81/1070.18 c 1068s | 15 | 3682111 | 127932 | 107927 1 | 0 | 0 1072.51/1072.87 c 1071s | 15 | 3690817 | 128232 | 107927 1 | 0 | 0 1075.41/1075.72 c 1074s | 15 | 3698767 | 128532 | 107927 1 | 0 | 0 1078.21/1078.54 c 1077s | 15 | 3706103 | 128832 | 107927 1 | 0 | 0 1081.11/1081.46 c 1080s | 15 | 3709909 | 129132 | 107927 1 | 0 | 0 1083.41/1083.74 c 1082s | 15 | 3727374 | 129432 | 107927 1 | 0 | 0 1085.71/1086.03 c 1084s | 15 | 3740870 | 129732 | 107927 1 | 0 | 0 1087.90/1088.20 c 1086s | 15 | 3758353 | 130032 | 107927 1 | 0 | 0 1090.50/1090.85 c 1089s | 15 | 3768392 | 130332 | 107927 1 | 0 | 0 1092.80/1093.17 c 1091s | 15 | 3792959 | 130732 | 118720 1 | 0 | 0 1094.90/1095.23 c 1093s | 15 | 3815053 | 131032 | 118720 1 | 0 | 0 1096.90/1097.27 c 1095s | 15 | 3829968 | 131332 | 118720 1 | 0 | 0 1098.61/1098.91 c 1097s | 16 | 3834069 | 131552 | 118720 1 | 0 | 0 1100.91/1101.25 c 1099s | 16 | 3842515 | 131652 | 118720 1 | 0 | 0 1103.20/1103.53 c 1102s | 16 | 3852105 | 131952 | 118720 1 | 0 | 0 1105.31/1105.62 c 1104s | 16 | 3873738 | 132252 | 118720 1 | 0 | 0 1107.51/1107.85 c 1106s | 16 | 3879572 | 132552 | 118720 1 | 0 | 0 1110.00/1110.32 c 1109s | 16 | 3883436 | 132752 | 118720 1 | 0 | 0 1112.20/1112.52 c 1111s | 16 | 3902924 | 133052 | 118720 1 | 0 | 0 1115.11/1115.44 c 1114s | 16 | 3907677 | 133252 | 118720 1 | 0 | 0 1117.50/1117.88 c 1116s | 16 | 3921725 | 133552 | 118720 1 | 0 | 0 1119.70/1120.01 c 1118s | 16 | 3935239 | 133852 | 118720 1 | 0 | 0 1121.80/1122.19 c 1120s | 16 | 3941698 | 134052 | 118720 1 | 0 | 0 1124.10/1124.40 c 1123s | 16 | 3960237 | 134352 | 118720 1 | 0 | 0 1126.30/1126.64 c 1125s | 16 | 3969552 | 134552 | 118720 1 | 0 | 0 1128.40/1128.77 c 1127s | 16 | 3971690 | 134852 | 118720 1 | 0 | 0 1131.10/1131.43 c 1130s | 16 | 3979760 | 135252 | 118720 1 | 0 | 0 1133.50/1133.86 c 1132s | 16 | 3985564 | 135652 | 118720 1 | 0 | 0 1135.50/1135.88 c 1134s | 16 | 3992278 | 136052 | 118720 1 | 0 | 0 1138.20/1138.56 c 1137s | 16 | 4003439 | 136352 | 118720 1 | 0 | 0 1140.59/1140.96 c 1139s | 16 | 4018259 | 136652 | 118720 1 | 0 | 0 1143.39/1143.73 c 1142s | 16 | 4028049 | 136952 | 118720 1 | 0 | 0 1145.49/1145.86 c 1144s | 16 | 4032354 | 137252 | 118720 1 | 0 | 0 1147.59/1147.98 c 1146s | 16 | 4049474 | 137552 | 118720 1 | 0 | 0 1151.99/1152.38 c 1151s | 16 | 4054889 | 137652 | 118720 1 | 0 | 0 1154.89/1155.22 c 1153s | 16 | 4126146 | 138152 | 118720 1 | 0 | 0 1157.49/1157.83 c 1156s | 16 | 4127179 | 138352 | 118720 1 | 0 | 0 1159.99/1160.37 c 1159s | 16 | 4160280 | 138752 | 118720 1 | 0 | 0 1162.59/1162.93 c 1161s | 16 | 4161659 | 138952 | 118720 1 | 0 | 0 1165.29/1165.69 c 1164s | 16 | 4208846 | 139352 | 118720 1 | 0 | 0 1167.39/1167.79 c 1166s | 16 | 4209224 | 139552 | 118720 1 | 0 | 0 1169.99/1170.37 c 1169s | 16 | 4230426 | 140152 | 118720 1 | 0 | 0 1172.09/1172.47 c 1171s | 16 | 4231751 | 140352 | 118720 1 | 0 | 0 1174.29/1174.65 c 1173s | 16 | 4254330 | 140652 | 118720 1 | 0 | 0 1176.79/1177.13 c 1175s | 16 | 4281589 | 141052 | 118720 1 | 0 | 0 1179.09/1179.43 c 1178s | 16 | 4301525 | 141452 | 118720 1 | 0 | 0 1181.29/1181.61 c 1180s | 16 | 4312823 | 141752 | 118720 1 | 0 | 0 1183.69/1184.00 c 1182s | 16 | 4333668 | 142052 | 118720 1 | 0 | 0 1185.99/1186.32 c 1185s | 16 | 4362427 | 142452 | 118720 1 | 0 | 0 1188.89/1189.28 c 1187s | 16 | 4375836 | 142752 | 118720 1 | 0 | 0 1192.19/1192.59 c 1191s | 16 | 4377504 | 143052 | 118720 1 | 0 | 0 1194.58/1194.95 c 1193s | 16 | 4394486 | 143452 | 118720 1 | 0 | 0 1197.08/1197.42 c 1196s | 16 | 4409664 | 143852 | 118720 1 | 0 | 0 1199.28/1199.64 c 1198s | 16 | 4430045 | 144252 | 118720 1 | 0 | 0 1201.58/1201.96 c 1200s | 16 | 4444697 | 144652 | 118720 1 | 0 | 0 1203.98/1204.34 c 1203s | 16 | 4456339 | 145052 | 118720 1 | 0 | 0 1206.58/1206.97 c 1205s | 16 | 4469869 | 145452 | 118720 1 | 0 | 0 1208.69/1209.01 c 1207s | 16 | 4479707 | 145752 | 118720 1 | 0 | 0 1210.89/1211.26 c 1209s | 16 | 4490347 | 146052 | 118720 1 | 0 | 0 1213.28/1213.67 c 1212s | 16 | 4503813 | 146452 | 118720 1 | 0 | 0 1215.68/1216.02 c 1214s | 16 | 4515804 | 146852 | 118720 1 | 0 | 0 1217.88/1218.30 c 1216s | 16 | 4529277 | 147252 | 118720 1 | 0 | 0 1220.38/1220.77 c 1219s | 16 | 4536308 | 147752 | 118720 1 | 0 | 0 1222.58/1222.98 c 1221s | 16 | 4544206 | 148052 | 118720 1 | 0 | 0 1224.78/1225.12 c 1223s | 16 | 4552953 | 148352 | 118720 1 | 0 | 0 1227.48/1227.86 c 1226s | 16 | 4576630 | 148752 | 118720 1 | 0 | 0 1229.58/1229.93 c 1228s | 16 | 4593982 | 149052 | 118720 1 | 0 | 0 1231.68/1232.01 c 1230s | 16 | 4601887 | 149352 | 118720 1 | 0 | 0 1234.48/1234.81 c 1233s | 16 | 4608407 | 149652 | 118720 1 | 0 | 0 1237.08/1237.45 c 1236s | 16 | 4613111 | 149952 | 118720 1 | 0 | 0 1239.77/1240.14 c 1238s | 16 | 4615928 | 150352 | 118720 1 | 0 | 0 1242.47/1242.88 c 1241s | 16 | 4654871 | 150752 | 118720 1 | 0 | 0 1245.57/1245.91 c 1244s | 16 | 4657073 | 150952 | 118720 1 | 0 | 0 1247.78/1248.13 c 1246s | 16 | 4659314 | 151252 | 118720 1 | 0 | 0 1249.98/1250.38 c 1249s | 16 | 4686978 | 151552 | 118720 1 | 0 | 0 1252.18/1252.52 c 1251s | 16 | 4689997 | 151752 | 118720 1 | 0 | 0 1255.08/1255.45 c 1254s | 16 | 4721618 | 152152 | 118720 1 | 0 | 0 1257.28/1257.67 c 1256s | 16 | 4722345 | 152352 | 118720 1 | 0 | 0 1259.38/1259.78 c 1258s | 16 | 4749379 | 152652 | 118720 1 | 0 | 0 1261.68/1262.02 c 1260s | 16 | 4752606 | 152852 | 118720 1 | 0 | 0 1263.69/1264.03 c 1262s | 16 | 4791239 | 153152 | 118720 1 | 0 | 0 1266.28/1266.62 c 1265s | 16 | 4796414 | 153352 | 118720 1 | 0 | 0 1268.48/1268.81 c 1267s | 16 | 4815556 | 153752 | 118720 1 | 0 | 0 1270.98/1271.33 c 1270s | 16 | 4830300 | 154052 | 118720 1 | 0 | 0 1273.38/1273.70 c 1272s | 16 | 4840565 | 154352 | 118720 1 | 0 | 0 1275.38/1275.75 c 1274s | 16 | 4850564 | 154652 | 118720 1 | 0 | 0 1277.78/1278.17 c 1276s | 16 | 4861763 | 154952 | 118720 1 | 0 | 0 1280.18/1280.52 c 1279s | 16 | 4876583 | 155352 | 118720 1 | 0 | 0 1282.67/1283.05 c 1281s | 16 | 4894696 | 155752 | 118720 1 | 0 | 0 1285.37/1285.70 c 1284s | 16 | 4909024 | 156152 | 118720 1 | 0 | 0 1287.88/1288.24 c 1286s | 16 | 4915262 | 156452 | 118720 1 | 0 | 0 1290.47/1290.86 c 1289s | 16 | 4925527 | 156852 | 118720 1 | 0 | 0 1293.28/1293.61 c 1292s | 16 | 4935594 | 157252 | 118720 1 | 0 | 0 1295.67/1296.05 c 1294s | 16 | 4946983 | 157652 | 118720 1 | 0 | 0 1297.78/1298.14 c 1296s | 16 | 4953702 | 157952 | 118720 1 | 0 | 0 1299.98/1300.32 c 1299s | 16 | 4958379 | 158252 | 118720 1 | 0 | 0 1302.18/1302.54 c 1301s | 16 | 4960747 | 158552 | 118720 1 | 0 | 0 1304.57/1304.91 c 1303s | 16 | 4962200 | 158852 | 118720 1 | 0 | 0 1306.77/1307.16 c 1305s | 16 | 4983715 | 159152 | 118720 1 | 0 | 0 1309.17/1309.57 c 1308s | 16 | 5000156 | 159352 | 118720 1 | 0 | 0 1311.17/1311.58 c 1310s | 16 | 5027277 | 159652 | 118720 1 | 0 | 0 1314.28/1314.61 c 1313s | 16 | 5029380 | 159852 | 118720 1 | 0 | 0 1316.57/1316.97 c 1315s | 16 | 5040518 | 160152 | 118720 1 | 0 | 0 1319.07/1319.46 c 1318s | 16 | 5050488 | 160452 | 118720 1 | 0 | 0 1321.37/1321.73 c 1320s | 16 | 5068064 | 160852 | 118720 1 | 0 | 0 1323.47/1323.89 c 1322s | 16 | 5077066 | 161152 | 118720 1 | 0 | 0 1325.87/1326.29 c 1324s | 16 | 5091300 | 161552 | 118720 1 | 0 | 0 1327.97/1328.38 c 1327s | 16 | 5099823 | 161852 | 118720 1 | 0 | 0 1330.26/1330.68 c 1329s | 16 | 5111749 | 162252 | 118720 1 | 0 | 0 1332.87/1333.26 c 1331s | 16 | 5120464 | 162652 | 118720 1 | 0 | 0 1334.96/1335.37 c 1334s | 16 | 5129755 | 163052 | 118720 1 | 0 | 0 1337.27/1337.70 c 1336s | 16 | 5135835 | 163452 | 118720 1 | 0 | 0 1339.66/1340.04 c 1338s | 16 | 5146096 | 163852 | 118720 1 | 0 | 0 1342.06/1342.48 c 1341s | 16 | 5161452 | 164152 | 118720 1 | 0 | 0 1344.16/1344.50 c 1343s | 16 | 5181956 | 164452 | 118720 1 | 0 | 0 1346.86/1347.21 c 1345s | 16 | 5187838 | 164852 | 118720 1 | 0 | 0 1348.96/1349.37 c 1348s | 16 | 5194544 | 165152 | 118720 1 | 0 | 0 1351.26/1351.60 c 1350s | 16 | 5204224 | 165452 | 118720 1 | 0 | 0 1353.87/1354.27 c 1352s | 16 | 5218761 | 165852 | 118720 1 | 0 | 0 1355.97/1356.36 c 1355s | 16 | 5226567 | 166152 | 118720 1 | 0 | 0 1358.06/1358.46 c 1357s | 16 | 5230829 | 166352 | 118720 1 | 0 | 0 1360.37/1360.74 c 1359s | 16 | 5256433 | 166652 | 118720 1 | 0 | 0 1362.57/1362.98 c 1361s | 16 | 5274193 | 166952 | 118720 1 | 0 | 0 1364.96/1365.32 c 1364s | 16 | 5290230 | 167252 | 118720 1 | 0 | 0 1366.97/1367.38 c 1366s | 16 | 5307189 | 167652 | 118720 1 | 0 | 0 1369.16/1369.54 c 1368s | 16 | 5323490 | 168052 | 118720 1 | 0 | 0 1371.36/1371.75 c 1370s | 16 | 5327649 | 168552 | 118720 1 | 0 | 0 1374.26/1374.61 c 1373s | 16 | 5339330 | 169052 | 118720 1 | 0 | 0 1377.06/1377.43 c 1376s | 16 | 5342796 | 169352 | 118720 1 | 0 | 0 1379.16/1379.54 c 1378s | 16 | 5356796 | 169652 | 118720 1 | 0 | 0 1381.16/1381.57 c 1380s | 16 | 5363874 | 169852 | 118720 1 | 0 | 0 1384.26/1384.64 c 1383s | 16 | 5386557 | 170152 | 118720 1 | 0 | 0 1386.66/1387.05 c 1385s | 16 | 5406488 | 170452 | 118720 1 | 0 | 0 1389.35/1389.74 c 1388s | 16 | 5440684 | 170852 | 118720 1 | 0 | 0 1391.65/1392.07 c 1390s | 16 | 5449351 | 171052 | 118720 1 | 0 | 0 1393.85/1394.29 c 1392s | 16 | 5468322 | 171352 | 118720 1 | 0 | 0 1395.95/1396.32 c 1395s | 16 | 5478604 | 171652 | 118720 1 | 0 | 0 1397.95/1398.35 c 1397s | 16 | 5483558 | 171852 | 118720 1 | 0 | 0 1400.06/1400.45 c 1399s | 16 | 5488418 | 172152 | 118720 1 | 0 | 0 1402.65/1403.09 c 1401s | 16 | 5492779 | 172552 | 118720 1 | 0 | 0 1404.75/1405.12 c 1403s | 16 | 5499168 | 172952 | 118720 1 | 0 | 0 1406.95/1407.32 c 1406s | 16 | 5503162 | 173352 | 118720 1 | 0 | 0 1409.35/1409.77 c 1408s | 16 | 5508768 | 173652 | 118720 1 | 0 | 0 1411.85/1412.26 c 1410s | 16 | 5516686 | 174052 | 118720 1 | 0 | 0 1416.46/1416.80 c 1415s | 16 | 5518737 | 174152 | 118720 2 | 0 | 0 1419.05/1419.41 c 1418s | 16 | 5523526 | 174452 | 118720 2 | 0 | 0 1421.15/1421.52 c 1420s | 16 | 5525794 | 174752 | 118720 2 | 0 | 0 1423.95/1424.33 c 1423s | 16 | 5536540 | 175152 | 118720 2 | 0 | 0 1426.06/1426.41 c 1425s | 16 | 5551108 | 175552 | 118720 2 | 0 | 0 1428.35/1428.76 c 1427s | 16 | 5565883 | 176052 | 118720 2 | 0 | 0 1430.55/1430.92 c 1429s | 16 | 5571556 | 176452 | 118720 2 | 0 | 0 1432.55/1432.96 c 1431s | 16 | 5586605 | 176852 | 118720 2 | 0 | 0 1434.55/1434.97 c 1433s | 16 | 5601190 | 177152 | 118720 2 | 0 | 0 1437.05/1437.42 c 1436s | 16 | 5617868 | 177652 | 118720 2 | 0 | 0 1439.15/1439.58 c 1438s | 16 | 5631724 | 178052 | 118720 2 | 0 | 0 1441.35/1441.72 c 1440s | 16 | 5644781 | 178552 | 118720 2 | 0 | 0 1443.35/1443.78 c 1442s | 16 | 5650430 | 178952 | 118720 2 | 0 | 0 1445.75/1446.14 c 1444s | 16 | 5657696 | 179352 | 118720 2 | 0 | 0 1447.95/1448.37 c 1447s | 16 | 5669463 | 179752 | 118720 2 | 0 | 0 1450.05/1450.47 c 1449s | 16 | 5677726 | 180152 | 118720 2 | 0 | 0 1452.35/1452.74 c 1451s | 16 | 5685851 | 180552 | 118720 2 | 0 | 0 1454.85/1455.23 c 1453s | 16 | 5688536 | 180952 | 118720 2 | 0 | 0 1456.85/1457.27 c 1455s | 16 | 5694915 | 181252 | 118720 2 | 0 | 0 1459.25/1459.66 c 1458s | 16 | 5699859 | 181652 | 118720 2 | 0 | 0 1461.75/1462.16 c 1460s | 16 | 5702487 | 182052 | 118720 2 | 0 | 0 1464.15/1464.52 c 1463s | 16 | 5711343 | 182552 | 118720 2 | 0 | 0 1466.45/1466.86 c 1465s | 16 | 5717310 | 183052 | 118720 2 | 0 | 0 1468.55/1468.93 c 1467s | 16 | 5719824 | 183452 | 118720 2 | 0 | 0 1470.85/1471.30 c 1469s | 16 | 5723566 | 183952 | 118720 2 | 0 | 0 1473.84/1474.25 c 1472s | 16 | 5725530 | 184352 | 118720 2 | 0 | 0 1476.04/1476.46 c 1475s | 16 | 5731559 | 184752 | 118720 2 | 0 | 0 1478.24/1478.62 c 1477s | 16 | 5742166 | 185152 | 118720 2 | 0 | 0 1480.25/1480.67 c 1479s | 16 | 5752032 | 185552 | 118720 2 | 0 | 0 1482.64/1483.00 c 1481s | 16 | 5765269 | 186052 | 118720 2 | 0 | 0 1484.75/1485.16 c 1483s | 16 | 5770742 | 186252 | 118720 2 | 0 | 0 1487.24/1487.65 c 1486s | 16 | 5784262 | 186652 | 118720 2 | 0 | 0 1489.44/1489.85 c 1488s | 16 | 5792676 | 186952 | 118720 2 | 0 | 0 1492.74/1493.17 c 1491s | 16 | 5798221 | 187352 | 118720 2 | 0 | 0 1495.14/1495.56 c 1494s | 16 | 5808219 | 187752 | 118720 2 | 0 | 0 1497.34/1497.75 c 1496s | 16 | 5819562 | 188152 | 118720 2 | 0 | 0 1499.54/1499.99 c 1498s | 16 | 5828199 | 188652 | 118720 2 | 0 | 0 1501.94/1502.33 c 1501s | 16 | 5832422 | 189052 | 118720 2 | 0 | 0 1504.64/1505.05 c 1503s | 16 | 5839083 | 189452 | 118720 2 | 0 | 0 1506.84/1507.26 c 1505s | 16 | 5849506 | 189852 | 118720 2 | 0 | 0 1509.14/1509.59 c 1508s | 16 | 5862426 | 190352 | 118720 2 | 0 | 0 1512.15/1512.57 c 1511s | 16 | 5878305 | 190752 | 118720 2 | 0 | 0 1524.94/1525.33 c 1524s | 16 | 5908696 | 190952 | 118720 2 | 0 | 0 1527.84/1528.21 c 1526s | 16 | 5925794 | 191252 | 118720 2 | 0 | 0 1536.04/1536.47 c 1535s | 16 | 5935716 | 191452 | 118720 2 | 0 | 0 1538.44/1538.83 c 1537s | 16 | 5966198 | 191752 | 118720 2 | 0 | 0 1541.14/1541.56 c 1540s | 16 | 5994866 | 192052 | 118720 2 | 0 | 0 1543.54/1543.95 c 1542s | 16 | 6045115 | 192452 | 118720 2 | 0 | 0 1546.44/1546.85 c 1545s | 16 | 6060525 | 192752 | 118720 2 | 0 | 0 1549.34/1549.78 c 1548s | 16 | 6097380 | 193152 | 118720 2 | 0 | 0 1552.24/1552.68 c 1551s | 16 | 6129294 | 193552 | 118720 2 | 0 | 0 1554.44/1554.89 c 1553s | 16 | 6161169 | 193952 | 118720 2 | 0 | 0 1557.44/1557.85 c 1556s | 16 | 6192998 | 194352 | 118720 2 | 0 | 0 1560.03/1560.42 c 1559s | 16 | 6215216 | 194752 | 118720 2 | 0 | 0 1562.33/1562.79 c 1561s | 16 | 6237311 | 195152 | 118720 2 | 0 | 0 1568.13/1568.52 c 1567s | 16 | 6241787 | 195352 | 118720 2 | 0 | 0 1570.23/1570.68 c 1569s | 16 | 6251568 | 195852 | 118720 2 | 0 | 0 1572.53/1572.97 c 1571s | 16 | 6258179 | 196152 | 130593 2 | 0 | 0 1574.63/1575.06 c 1573s | 16 | 6267195 | 196552 | 130593 2 | 0 | 0 1576.83/1577.21 c 1575s | 16 | 6275966 | 196952 | 130593 2 | 0 | 0 1579.33/1579.73 c 1578s | 16 | 6296506 | 197352 | 130593 2 | 0 | 0 1579.72/1580.14 c 1578s | 17 | 6311043 | 197432 | 130593 2 | 0 | 0 1582.12/1582.55 c 1581s | 17 | 6325164 | 197532 | 130593 2 | 0 | 0 1584.42/1584.83 c 1583s | 17 | 6330562 | 197732 | 130593 2 | 0 | 0 1586.93/1587.40 c 1586s | 17 | 6361845 | 198132 | 130593 2 | 0 | 0 1589.23/1589.67 c 1588s | 17 | 6393572 | 198532 | 130593 2 | 0 | 0 1592.02/1592.43 c 1591s | 17 | 6430344 | 198932 | 130593 2 | 0 | 0 1594.32/1594.76 c 1593s | 17 | 6439078 | 199332 | 130593 2 | 0 | 0 1596.42/1596.84 c 1595s | 17 | 6455977 | 199732 | 130593 2 | 0 | 0 1598.82/1599.22 c 1597s | 17 | 6470973 | 200132 | 130593 2 | 0 | 0 1601.02/1601.47 c 1600s | 17 | 6489074 | 200632 | 130593 2 | 0 | 0 1603.22/1603.60 c 1602s | 17 | 6505476 | 201132 | 130593 2 | 0 | 0 1605.22/1605.65 c 1604s | 17 | 6523849 | 201632 | 130593 2 | 0 | 0 1607.42/1607.81 c 1606s | 17 | 6539632 | 201932 | 130593 2 | 0 | 0 1609.72/1610.10 c 1608s | 17 | 6560796 | 202332 | 130593 2 | 0 | 0 1612.12/1612.59 c 1611s | 17 | 6582811 | 202732 | 130593 2 | 0 | 0 1614.92/1615.32 c 1614s | 17 | 6601354 | 203132 | 130593 2 | 0 | 0 1617.32/1617.71 c 1616s | 17 | 6607076 | 203532 | 130593 2 | 0 | 0 1619.32/1619.78 c 1618s | 17 | 6613458 | 203832 | 130593 2 | 0 | 0 1621.42/1621.82 c 1620s | 17 | 6629387 | 204132 | 130593 2 | 0 | 0 1623.62/1624.07 c 1622s | 17 | 6645408 | 204432 | 130593 2 | 0 | 0 1625.72/1626.13 c 1624s | 17 | 6669472 | 204732 | 130593 2 | 0 | 0 1628.22/1628.68 c 1627s | 17 | 6687983 | 205132 | 130593 2 | 0 | 0 1630.62/1631.06 c 1629s | 17 | 6696825 | 205632 | 130593 2 | 0 | 0 1632.91/1633.36 c 1632s | 17 | 6705154 | 206032 | 130593 2 | 0 | 0 1635.32/1635.74 c 1634s | 17 | 6730705 | 206532 | 130593 2 | 0 | 0 1637.91/1638.36 c 1637s | 17 | 6753729 | 207132 | 130593 2 | 0 | 0 1640.01/1640.49 c 1639s | 17 | 6764348 | 207532 | 130593 2 | 0 | 0 1642.51/1642.95 c 1641s | 17 | 6771758 | 208032 | 130593 2 | 0 | 0 1644.62/1645.05 c 1643s | 17 | 6791017 | 208432 | 130593 2 | 0 | 0 1647.12/1647.52 c 1646s | 17 | 6817674 | 208932 | 130593 2 | 0 | 0 1649.12/1649.55 c 1648s | 17 | 6834646 | 209332 | 130593 2 | 0 | 0 1651.42/1651.82 c 1650s | 17 | 6853774 | 209732 | 130593 2 | 0 | 0 1653.52/1653.91 c 1652s | 17 | 6875108 | 210032 | 130593 2 | 0 | 0 1655.82/1656.23 c 1654s | 17 | 6892655 | 210432 | 130593 2 | 0 | 0 1658.12/1658.55 c 1657s | 17 | 6896017 | 210732 | 130593 2 | 0 | 0 1660.22/1660.60 c 1659s | 17 | 6901608 | 211132 | 130593 2 | 0 | 0 1662.22/1662.62 c 1661s | 17 | 6927353 | 211432 | 130593 2 | 0 | 0 1665.03/1665.49 c 1664s | 17 | 6940083 | 211732 | 130593 2 | 0 | 0 1667.23/1667.64 c 1666s | 17 | 6957795 | 212032 | 130593 2 | 0 | 0 1669.53/1669.96 c 1668s | 17 | 6971637 | 212332 | 130593 2 | 0 | 0 1671.62/1672.02 c 1670s | 17 | 6992259 | 212632 | 130593 2 | 0 | 0 1674.02/1674.41 c 1673s | 17 | 7009565 | 213032 | 130593 2 | 0 | 0 1676.12/1676.55 c 1675s | 17 | 7027208 | 213432 | 130593 2 | 0 | 0 1678.82/1679.28 c 1677s | 17 | 7033117 | 213832 | 130593 2 | 0 | 0 1681.12/1681.55 c 1680s | 17 | 7038216 | 214132 | 130593 2 | 0 | 0 1683.32/1683.77 c 1682s | 17 | 7046061 | 214532 | 130593 2 | 0 | 0 1685.41/1685.80 c 1684s | 17 | 7052498 | 214832 | 130593 2 | 0 | 0 1687.51/1687.98 c 1686s | 17 | 7059340 | 215132 | 130593 2 | 0 | 0 1689.61/1690.07 c 1688s | 17 | 7063057 | 215432 | 130593 2 | 0 | 0 1692.21/1692.63 c 1691s | 17 | 7064325 | 215732 | 130593 2 | 0 | 0 1694.41/1694.86 c 1693s | 17 | 7089172 | 216132 | 130593 2 | 0 | 0 1696.71/1697.18 c 1695s | 17 | 7113027 | 216532 | 130593 2 | 0 | 0 1699.12/1699.58 c 1698s | 17 | 7124043 | 217032 | 130593 2 | 0 | 0 1701.32/1701.74 c 1700s | 17 | 7127022 | 217332 | 130593 2 | 0 | 0 1703.62/1704.09 c 1702s | 17 | 7136791 | 217832 | 130593 2 | 0 | 0 1705.82/1706.22 c 1704s | 17 | 7147213 | 218132 | 130593 2 | 0 | 0 1708.31/1708.71 c 1707s | 17 | 7178319 | 218732 | 130593 2 | 0 | 0 1710.81/1711.26 c 1709s | 17 | 7190902 | 219232 | 130593 2 | 0 | 0 1712.91/1713.39 c 1712s | 17 | 7202555 | 219632 | 130593 2 | 0 | 0 1715.41/1715.89 c 1714s | 17 | 7209696 | 220132 | 130593 2 | 0 | 0 1717.82/1718.28 c 1716s | 17 | 7227334 | 220632 | 130593 2 | 0 | 0 1720.12/1720.53 c 1719s | 17 | 7248989 | 221232 | 130593 2 | 0 | 0 1722.41/1722.89 c 1721s | 17 | 7264082 | 221832 | 130593 2 | 0 | 0 1724.81/1725.26 c 1723s | 17 | 7266914 | 222132 | 130593 2 | 0 | 0 1727.71/1728.16 c 1726s | 17 | 7284523 | 222632 | 130593 2 | 0 | 0 1729.81/1730.29 c 1728s | 17 | 7291891 | 223032 | 130593 2 | 0 | 0 1732.11/1732.52 c 1731s | 17 | 7306332 | 223632 | 130593 2 | 0 | 0 1734.41/1734.86 c 1733s | 17 | 7311189 | 224132 | 130593 2 | 0 | 0 1736.51/1736.97 c 1735s | 17 | 7316878 | 224632 | 130593 2 | 0 | 0 1738.71/1739.12 c 1737s | 17 | 7318954 | 225032 | 130593 2 | 0 | 0 1740.80/1741.28 c 1739s | 17 | 7332311 | 225432 | 130593 2 | 0 | 0 1742.90/1743.33 c 1742s | 17 | 7348541 | 225832 | 130593 2 | 0 | 0 1745.20/1745.69 c 1744s | 17 | 7363142 | 226232 | 130593 2 | 0 | 0 1747.70/1748.11 c 1746s | 17 | 7373256 | 226632 | 130593 2 | 0 | 0 1750.00/1750.43 c 1749s | 17 | 7385164 | 227132 | 130593 2 | 0 | 0 1752.20/1752.67 c 1751s | 17 | 7406969 | 227632 | 130593 2 | 0 | 0 1754.40/1754.87 c 1753s | 17 | 7419593 | 228032 | 130593 2 | 0 | 0 1756.50/1756.98 c 1755s | 17 | 7422228 | 228432 | 130593 2 | 0 | 0 1759.10/1759.53 c 1758s | 17 | 7431713 | 229032 | 130593 2 | 0 | 0 1761.60/1762.01 c 1760s | 17 | 7437565 | 229432 | 130593 2 | 0 | 0 1763.80/1764.28 c 1762s | 17 | 7447274 | 229832 | 130593 2 | 0 | 0 1766.10/1766.53 c 1765s | 17 | 7457805 | 230232 | 130593 2 | 0 | 0 1768.40/1768.87 c 1767s | 17 | 7470734 | 230632 | 130593 2 | 0 | 0 1770.90/1771.30 c 1769s | 17 | 7504131 | 231032 | 130593 2 | 0 | 0 1773.70/1774.11 c 1772s | 17 | 7522839 | 231432 | 130593 2 | 0 | 0 1775.80/1776.29 c 1774s | 17 | 7568028 | 231932 | 130593 2 | 0 | 0 1777.90/1778.35 c 1777s | 17 | 7587745 | 232232 | 130593 2 | 0 | 0 1780.10/1780.59 c 1779s | 17 | 7605637 | 232632 | 130593 2 | 0 | 0 1782.40/1782.80 c 1781s | 17 | 7620891 | 233032 | 130593 2 | 0 | 0 1784.69/1785.16 c 1783s | 17 | 7632536 | 233432 | 130593 2 | 0 | 0 1787.10/1787.58 c 1786s | 17 | 7641536 | 233932 | 130593 2 | 0 | 0 1789.19/1789.61 c 1788s | 17 | 7651164 | 234332 | 130593 2 | 0 | 0 1791.39/1791.87 c 1790s | 17 | 7675582 | 234832 | 130593 2 | 0 | 0 1793.49/1793.93 c 1792s | 17 | 7696233 | 235232 | 130593 2 | 0 | 0 1795.79/1796.26 c 1794s | 17 | 7721549 | 235732 | 130593 2 | 0 | 0 1797.89/1798.39 c 1797s | 17 | 7726991 | 236032 | 130593 2 | 0 | 0 1799.99/1800.40 c 1799s | 17 | 7734946 | 236432 | 130593 2 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106880-1466279892/watcher-4106880-1466279892 -o /tmp/evaluation-result-4106880-1466279892/solver-4106880-1466279892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106880-1466279892.opb pid=9686 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.18 2.11 3/179 9689 /proc/meminfo: memFree=30071616/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=788924 CPUtime=0 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 2953 0 0 0 0 0 0 0 20 0 4 0 30034691 807858176 2803 33554432000 4194304 16246674 140736292565776 140736292565200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 197743 2811 441 2943 0 194637 0 [pid=9689/tid=9690] ppid=9686 vsize=806332 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 825683968 2875 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=811452 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 830926848 2895 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=815548 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30034691 835121152 2911 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.22 2.18 2.11 3/179 9689 /proc/meminfo: memFree=30071616/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 26332 0 0 0 6 3 0 0 20 0 4 0 30034691 1333334016 26120 33554432000 4194304 16246674 140736292565776 140736292565088 8055408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 325521 26136 800 2943 0 322415 0 [pid=9689/tid=9690] ppid=9686 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1333334016 26148 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1333334016 26160 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1333334016 26170 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200521 s] /proc/loadavg: 2.22 2.18 2.11 3/179 9689 /proc/meminfo: memFree=30071616/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=0.18 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 48003 0 0 0 12 6 0 0 20 0 4 0 30034691 1345916928 48302 33554432000 4194304 16246674 140736292565776 140736292565088 8055443 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 48302 800 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 48302 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 48302 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 48302 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1314372 [startup+0.300507 s] /proc/loadavg: 2.22 2.18 2.11 3/179 9689 /proc/meminfo: memFree=30071616/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=0.28 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 48283 0 0 0 22 6 0 0 20 0 4 0 30034691 1345916928 48582 33554432000 4194304 16246674 140736292565776 140736292565088 12480966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 48582 837 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 48582 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 48582 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 48582 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700408 s] /proc/loadavg: 2.22 2.18 2.11 3/179 9689 /proc/meminfo: memFree=30071616/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 61482 0 0 0 61 8 0 0 20 0 4 0 30034691 1345916928 61781 33554432000 4194304 16246674 140736292565776 140736292565088 4206959 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 61781 837 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 61781 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 61781 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 61781 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.22 2.18 2.11 3/183 9693 /proc/meminfo: memFree=29644564/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 125759 0 0 0 132 17 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 140736292564952 5666920 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 126058 878 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.22 2.18 2.11 3/183 9693 /proc/meminfo: memFree=29568428/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=3.09 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 125759 0 0 0 292 17 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 140736292547648 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 126058 878 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 126058 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30043 s] /proc/loadavg: 2.20 2.18 2.11 3/183 9693 /proc/meminfo: memFree=28994744/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=6.29 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 269260 0 0 0 594 35 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 140736292564952 6021072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 269559 878 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.18 2.17 2.11 3/183 9693 /proc/meminfo: memFree=28994876/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=12.68 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 269260 0 0 0 1233 35 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 140736292547648 5707816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 269559 878 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269559 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.14 2.16 2.10 3/183 9693 /proc/meminfo: memFree=28994980/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=25.48 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 269263 0 0 0 2513 35 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 140736292547648 12477766 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 269562 881 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.22 2.18 2.11 3/183 9693 /proc/meminfo: memFree=28995204/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=51.08 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 269263 0 0 0 5073 35 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 140736292547648 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 269562 881 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 2.20 2.18 2.11 3/183 9694 /proc/meminfo: memFree=28994872/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1314372 CPUtime=102.28 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 269263 0 0 0 10192 36 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 140736292547648 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 328593 269562 881 2943 0 325487 0 [pid=9689/tid=9690] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1345916928 269562 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1469648896 299700 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1435204 [startup+1362.3 s] /proc/loadavg: 2.16 2.11 2.09 3/184 9849 /proc/meminfo: memFree=28829316/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1435204 CPUtime=1361.96 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 299606 0 0 0 136149 47 0 0 20 0 4 0 30034691 1469648896 299700 33554432000 4194304 16246674 140736292565776 140736292547648 12478113 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 358801 299700 889 2943 0 355695 0 [pid=9689/tid=9690] ppid=9686 vsize=1435204 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1469648896 299700 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1435204 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30034691 1469648896 299700 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1435204 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1469648896 299700 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1435204 [startup+1422.3 s] /proc/loadavg: 2.06 2.08 2.08 3/183 9850 /proc/meminfo: memFree=28798976/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1468996 CPUtime=1421.96 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 307335 0 0 0 142148 48 0 0 20 0 4 0 30034691 1504251904 307429 33554432000 4194304 16246674 140736292565776 140736292564952 5721456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 367249 307429 889 2943 0 364143 0 [pid=9689/tid=9690] ppid=9686 vsize=1468996 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1504251904 307429 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1468996 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1504251904 307429 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1468996 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1504251904 307429 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1468996 [startup+1482.3 s] /proc/loadavg: 2.25 2.13 2.10 3/183 9851 /proc/meminfo: memFree=28775948/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1489476 CPUtime=1481.94 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 313248 0 0 0 148145 49 0 0 20 0 4 0 30034691 1525223424 313342 33554432000 4194304 16246674 140736292565776 140736292547648 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 372369 313342 889 2943 0 369263 0 [pid=9689/tid=9690] ppid=9686 vsize=1489476 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1525223424 313342 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1489476 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1525223424 313342 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1489476 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1525223424 313342 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1489476 [startup+1542.31 s] /proc/loadavg: 2.15 2.12 2.09 3/183 9852 /proc/meminfo: memFree=28751584/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1541.94 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317604 0 0 0 154142 52 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 140736292547648 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317698 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1506884 [startup+1602.3 s] /proc/loadavg: 2.17 2.14 2.10 3/183 9853 /proc/meminfo: memFree=28751468/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1601.92 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317604 0 0 0 160140 52 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 140736292547648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317698 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1506884 [startup+1662.3 s] /proc/loadavg: 2.10 2.12 2.09 3/183 9855 /proc/meminfo: memFree=28750852/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1661.92 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317604 0 0 0 166139 53 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 140736292547648 13965544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317698 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1506884 [startup+1722.3 s] /proc/loadavg: 2.10 2.12 2.09 3/183 9856 /proc/meminfo: memFree=28750976/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1721.91 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317604 0 0 0 172138 53 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 140736292547648 5823234 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317698 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317698 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1506884 [startup+1782.3 s] /proc/loadavg: 2.14 2.12 2.09 3/183 9857 /proc/meminfo: memFree=28748436/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1781.9 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317605 0 0 0 178137 53 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 140736292547648 12483212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317954 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1506884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.13 2.09 3/183 9858 /proc/meminfo: memFree=28748184/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1800.09 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317605 0 0 0 179956 53 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 140736292547648 13194225 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317954 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1506884 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 9689 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.13 2.09 3/183 9858 /proc/meminfo: memFree=28748184/32872528 swapFree=496868/529572 [pid=9689] ppid=9686 vsize=1506884 CPUtime=1800.09 cores=0,2,4,6 /proc/9689/stat : 9689 (toysat) R 9686 9689 7739 0 -1 4202496 317605 0 0 0 179956 53 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 140736292547648 13194225 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9689/statm: 376721 317954 889 2943 0 373615 0 [pid=9689/tid=9690] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9690/stat : 9690 (toysat) S 9686 9689 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820914420976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9689/tid=9691] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9691/stat : 9691 (toysat) S 9686 9689 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820903931120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9689/tid=9692] ppid=9686 vsize=1506884 CPUtime=0 cores=0,2,4,6 /proc/9689/task/9692/stat : 9692 (toysat) S 9686 9689 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30034691 1543049216 317954 33554432000 4194304 16246674 140736292565776 139820893457584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1506884 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.12 CPU user time (s): 1799.57 CPU system time (s): 0.545917 CPU usage (%): 99.9778 Max. virtual memory (cumulated for all children) (KiB): 1506884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.545917 maximum resident set size= 1271816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 317605 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= 225 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51331 second user time and 6.98994 second system time The end
Begin job on node141 at 2016-06-18 21:58:12 IDJOB=4106880 IDBENCH=48304 IDSOLVER=2542 FILE ID=node141/4106880-1466279892 RUNJOBID= node141-1466264081-7755 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_5_80.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106880-1466279892/watcher-4106880-1466279892 -o /tmp/evaluation-result-4106880-1466279892/solver-4106880-1466279892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106880-1466279892.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5640996c15a8815d620b5d6c220fea1 RANDOM SEED=1418570497 node141.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.547 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.09 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.547 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.547 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.54 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30071260 kB Buffers: 160716 kB Cached: 260336 kB SwapCached: 2528 kB Active: 1252660 kB Inactive: 274012 kB Active(anon): 1105812 kB Inactive(anon): 2028 kB Active(file): 146848 kB Inactive(file): 271984 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 17200 kB Writeback: 0 kB AnonPages: 1633712 kB Mapped: 10376 kB Shmem: 0 kB Slab: 610680 kB SReclaimable: 53744 kB SUnreclaim: 556936 kB KernelStack: 1504 kB PageTables: 7028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1775236 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1112064 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= 71696 MiB End job on node141 at 2016-06-18 22:28:13