| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_3_ic.opb |
| MD5SUM | fa2d46c927da2620047f5e5cfeece7cd |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 111980168 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 9113142699 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 111980168 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 9113142699 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-08T00:35:21+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-4079330-1465338921.opb"] 0.00/0.01 c use --random-gen="4050074476 2453324477 429893336 2128708665 829434664 2655429423 149792111 2423822367 2171543126 908560521 2253333955 1302801869 2452324577 2253557283 221942601 3134888271 3051770540 225490248 2003817727 2041062225 3196658637 3131828559 494526824 2515949850 2357849756 1315692877 436407405 1130358689 1537807325 3462578674 705958553 1212731207 1961618697 597242804 4022001232 3854588295 3185596844 1197247472 2730038936 497749451 944130892 3035666134 1642241324 401345773 3105447832 2082495128 4035528099 1688737964 2751922361 2553080924 3354822241 2120808882 1642815041 1330455135 2479849880 414528417 3511226643 927716613 1785585517 3481149834 2600297204 239309597 1248399073 661768341 1656410092 3317502915 1775190160 3988645496 1499381546 282331980 3241147555 2248769619 3515058510 3327339444 3163753099 1983869529 1903700881 3722052479 3383068295 1672617221 3267205937 2277844148 894775235 3808629346 1584118967 2386988684 1086164881 1062658724 1066331503 304925337 2025847073 1582819415 1449850701 2869067738 2381356399 3498780454 3100258215 2839830683 3462123487 2308806032 1705251069 1900781892 3661185723 1612135858 2045045202 1710339345 3567947005 2550130533 75781150 1402557785 3652031200 812343685 2445417423 1472757476 880504584 4121609388 1612257381 3479044990 1115504038 3014077800 2242996423 2287205007 351760292 4130249384 1587706895 244844264 2008595148 1224033945 405106234 1847587535 677342236 1450027781 1639309453 3947054836 501311949 307809840 3576153119 3895218855 3504066207 1490768194 248237173 3339803660 3802481723 429802849 1745841944 413567477 1069096908 2779059879 1660736735 707345764 3271437077 1619120091 305679811 2441948046 3881708224 3671168697 3047932726 1565055780 2153662807 2794631473 3206917804 4015366108 826665349 522274340 2463318432 2294806638 2316858363 2710917845 2632866796 1416335617 2570885277 249500057 135334183 2054845444 3598530125 3604893503 2164633995 2323495978 2220274205 1269086561 4070861709 3274565091 531785686 1307605178 3061983664 3759627802 3870712909 971783725 3349356494 959082657 3056800928 1287043637 2504369456 3276137672 2598406508 467216031 30996826 4288491570 501590301 2957557499 2082631910 40296228 3062610189 2577854287 1423772070 2871725304 1551753882 2640090285 2595542294 3962353477 198847467 2032702560 3175096649 3322034967 1469007909 1839239968 486944846 1765310717 2300423967 4284400089 2981092235 542684522 2297065032 1652079685 3466510134 4179130307 3157557085 2529744507 3033732758 3372710121 365450809 4149502894 3583346677 720905565 3719933766 790145687 4247864715 886650717 4175343911 1491064286 810845310 3782550978 3429201462 2102742306 2457863032 730166673 23482126 1449746099 143998575 2268123793 2733935376 4159143342 466156956 2773897934 382653902 2759098631 255 362436" option to reproduce the execution 0.19/0.28 c #vars 15725 0.19/0.28 c #constraints 31332 0.78/0.82 c BCD2: Hardening is enabled. 0.78/0.82 c BCD2: BiasedSearch is enabled. 0.78/0.82 c Solving starts ... 0.78/0.82 c ============================[ Search Statistics ]============================ 0.78/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.82 c | | | | Limit GC | Var | Constra 0.78/0.82 c ============================================================================= 0.78/0.83 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.78/1.87 c 1.0s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.15 c 2.3s | 2 | 437 | 250 | 17915 0 | 75 | 0 4.49/4.56 c 3.7s | 3 | 797 | 475 | 19707 0 | 75 | 0 6.69/6.75 c 5.9s | 4 | 1310 | 813 | 21678 0 | 75 | 0 8.08/8.12 c 7.3s | 5 | 1904 | 1320 | 23846 0 | 75 | 0 10.18/10.27 c 9.5s | 5 | 3246 | 1720 | 26231 0 | 75 | 0 11.68/11.76 c 10.9s | 6 | 3861 | 2081 | 28855 0 | 75 | 0 14.08/14.15 c 13.3s | 6 | 4807 | 2581 | 28855 0 | 75 | 0 16.08/16.17 c 15.4s | 6 | 5410 | 3081 | 28855 0 | 75 | 0 16.59/16.65 c 15.8s | 7 | 5562 | 3223 | 31741 0 | 75 | 0 18.88/18.95 c 18.1s | 7 | 6235 | 3623 | 31741 0 | 75 | 0 20.98/21.08 c 20.3s | 7 | 6882 | 4023 | 31741 0 | 75 | 0 23.38/23.45 c 22.6s | 7 | 7574 | 4523 | 31741 0 | 75 | 0 25.38/25.49 c 24.7s | 8 | 8330 | 4936 | 34916 0 | 75 | 0 27.68/27.71 c 26.9s | 8 | 9135 | 5536 | 34916 0 | 75 | 0 30.08/30.12 c 29.3s | 8 | 9701 | 6036 | 34916 0 | 75 | 0 32.18/32.27 c 31.4s | 8 | 10934 | 6536 | 34916 0 | 75 | 0 34.28/34.32 c 33.5s | 8 | 11484 | 7036 | 34916 0 | 75 | 0 36.39/36.41 c 35.6s | 8 | 12226 | 7436 | 34916 0 | 75 | 0 36.68/36.78 c 36.0s | 9 | 12414 | 7506 | 38408 0 | 75 | 0 38.88/38.99 c 38.2s | 9 | 14185 | 8006 | 38408 0 | 75 | 0 41.18/41.23 c 40.4s | 9 | 14755 | 8506 | 38408 0 | 75 | 0 43.28/43.36 c 42.5s | 9 | 15688 | 9006 | 38408 0 | 75 | 0 45.58/45.65 c 44.8s | 9 | 16552 | 9706 | 38408 0 | 75 | 0 48.18/48.28 c 47.5s | 9 | 17873 | 10206 | 38408 0 | 75 | 0 50.59/50.67 c 49.9s | 9 | 18624 | 10706 | 38408 0 | 75 | 0 52.79/52.89 c 52.1s | 9 | 19046 | 11106 | 38408 0 | 75 | 0 54.18/54.27 c 53.4s | 10 | 19326 | 11361 | 42249 0 | 75 | 0 56.78/56.82 c 56.0s | 10 | 20094 | 11861 | 42249 0 | 75 | 0 59.28/59.38 c 58.6s | 10 | 20606 | 12261 | 42249 0 | 75 | 0 61.48/61.51 c 60.7s | 10 | 20930 | 12561 | 42249 0 | 75 | 0 64.08/64.12 c 63.3s | 10 | 21966 | 13161 | 42249 0 | 75 | 0 66.28/66.35 c 65.5s | 10 | 22525 | 13561 | 42249 0 | 75 | 0 68.58/68.67 c 67.9s | 10 | 22987 | 13961 | 42249 0 | 75 | 0 71.08/71.15 c 70.3s | 10 | 24471 | 14461 | 42249 0 | 75 | 0 73.17/73.27 c 72.4s | 10 | 25020 | 14961 | 42249 0 | 75 | 0 75.27/75.30 c 74.5s | 10 | 25555 | 15461 | 42249 0 | 75 | 0 77.47/77.54 c 76.7s | 10 | 26458 | 15961 | 42249 0 | 75 | 0 79.77/79.89 c 79.1s | 10 | 26971 | 16361 | 42249 0 | 75 | 0 82.07/82.12 c 81.3s | 10 | 27577 | 16861 | 42249 0 | 75 | 0 83.58/83.61 c 82.8s | 11 | 28205 | 17144 | 46474 0 | 75 | 0 85.67/85.75 c 84.9s | 11 | 29569 | 17544 | 46474 0 | 75 | 0 87.67/87.78 c 87.0s | 11 | 31696 | 18044 | 46474 0 | 75 | 0 89.87/89.96 c 89.1s | 11 | 32504 | 18644 | 46474 0 | 75 | 0 91.97/92.00 c 91.2s | 11 | 33135 | 19044 | 46474 0 | 75 | 0 94.07/94.16 c 93.3s | 11 | 33795 | 19644 | 46474 0 | 75 | 0 96.17/96.22 c 95.4s | 11 | 34425 | 20244 | 46474 0 | 75 | 0 98.27/98.32 c 97.5s | 11 | 35070 | 20844 | 46474 0 | 75 | 0 100.27/100.38 c 99.6s | 11 | 35699 | 21444 | 46474 0 | 75 | 0 102.47/102.51 c 101s | 11 | 36329 | 22044 | 46474 0 | 75 | 0 104.57/104.62 c 103s | 11 | 36949 | 22644 | 46474 0 | 75 | 0 106.67/106.71 c 105s | 11 | 37586 | 23244 | 46474 0 | 75 | 0 108.97/109.01 c 108s | 11 | 38320 | 23944 | 46474 0 | 75 | 0 111.07/111.16 c 110s | 11 | 39167 | 24544 | 46474 0 | 75 | 0 113.27/113.36 c 112s | 11 | 39814 | 25144 | 46474 0 | 75 | 0 115.47/115.55 c 114s | 12 | 40514 | 25819 | 51122 0 | 75 | 0 117.77/117.82 c 116s | 12 | 41047 | 26119 | 51122 0 | 75 | 0 120.16/120.25 c 119s | 12 | 42277 | 26519 | 51122 0 | 75 | 0 122.56/122.66 c 121s | 12 | 42902 | 26919 | 51122 0 | 75 | 0 124.97/125.04 c 124s | 12 | 43432 | 27419 | 51122 0 | 75 | 0 127.37/127.48 c 126s | 12 | 44429 | 27819 | 51122 0 | 75 | 0 129.88/129.99 c 129s | 12 | 45258 | 28319 | 51122 0 | 75 | 0 132.37/132.46 c 131s | 12 | 45700 | 28619 | 51122 0 | 75 | 0 135.07/135.17 c 134s | 12 | 46280 | 29019 | 51122 0 | 75 | 0 137.27/137.30 c 136s | 12 | 47120 | 29319 | 51122 0 | 75 | 0 139.57/139.66 c 138s | 12 | 47537 | 29619 | 51122 0 | 75 | 0 141.67/141.76 c 140s | 12 | 47983 | 30019 | 51122 0 | 75 | 0 143.87/143.98 c 143s | 12 | 48578 | 30319 | 51122 0 | 75 | 0 146.27/146.38 c 145s | 12 | 49190 | 30719 | 51122 0 | 75 | 0 148.37/148.45 c 147s | 12 | 49658 | 31119 | 51122 0 | 75 | 0 150.47/150.56 c 149s | 12 | 50168 | 31419 | 51122 0 | 75 | 0 153.07/153.17 c 152s | 12 | 51315 | 31919 | 51122 0 | 75 | 0 155.66/155.77 c 154s | 12 | 52093 | 32319 | 51122 0 | 75 | 0 158.16/158.25 c 157s | 12 | 52715 | 32719 | 51122 0 | 75 | 0 160.57/160.61 c 159s | 12 | 54563 | 33019 | 51122 0 | 75 | 0 163.06/163.14 c 162s | 12 | 55362 | 33419 | 51122 0 | 75 | 0 165.76/165.82 c 164s | 12 | 55864 | 33719 | 51122 0 | 75 | 0 167.76/167.89 c 167s | 12 | 56175 | 34019 | 51122 0 | 75 | 0 170.16/170.26 c 169s | 12 | 56635 | 34419 | 51122 0 | 75 | 0 172.36/172.46 c 171s | 12 | 57036 | 34819 | 51122 0 | 75 | 0 174.66/174.75 c 173s | 12 | 57508 | 35219 | 51122 0 | 75 | 0 176.76/176.84 c 176s | 12 | 57898 | 35519 | 51122 0 | 75 | 0 179.06/179.18 c 178s | 12 | 58608 | 35919 | 51122 0 | 75 | 0 181.26/181.34 c 180s | 12 | 59298 | 36219 | 51122 0 | 75 | 0 183.36/183.48 c 182s | 12 | 59727 | 36619 | 51122 0 | 75 | 0 185.56/185.65 c 184s | 12 | 60195 | 36919 | 51122 0 | 75 | 0 187.96/188.04 c 187s | 12 | 60856 | 37319 | 51122 0 | 75 | 0 189.96/190.07 c 189s | 12 | 61428 | 37619 | 51122 0 | 75 | 0 192.06/192.19 c 191s | 12 | 61801 | 37919 | 51122 0 | 75 | 0 194.26/194.31 c 193s | 12 | 62125 | 38219 | 51122 0 | 75 | 0 196.66/196.74 c 195s | 12 | 62657 | 38619 | 56235 0 | 75 | 0 198.06/198.15 c 197s | 13 | 62902 | 38832 | 56235 0 | 75 | 0 200.35/200.49 c 199s | 13 | 63545 | 39132 | 56235 0 | 75 | 0 202.46/202.54 c 201s | 13 | 63981 | 39532 | 56235 0 | 75 | 0 204.95/205.07 c 204s | 13 | 64420 | 39932 | 56235 0 | 75 | 0 207.15/207.26 c 206s | 13 | 64825 | 40232 | 56235 0 | 75 | 0 209.45/209.59 c 208s | 13 | 65247 | 40532 | 56235 0 | 75 | 0 211.75/211.89 c 211s | 13 | 65568 | 40832 | 56235 0 | 75 | 0 214.05/214.17 c 213s | 13 | 66038 | 41232 | 56235 0 | 75 | 0 216.45/216.59 c 215s | 13 | 66641 | 41632 | 56235 0 | 75 | 0 218.75/218.88 c 218s | 13 | 67147 | 42032 | 56235 0 | 75 | 0 221.45/221.51 c 220s | 13 | 67513 | 42332 | 56235 0 | 75 | 0 223.55/223.68 c 222s | 13 | 68137 | 42732 | 56235 0 | 75 | 0 225.84/225.98 c 225s | 13 | 68601 | 43032 | 56235 0 | 75 | 0 228.14/228.24 c 227s | 13 | 68931 | 43332 | 56235 0 | 75 | 0 230.34/230.47 c 229s | 13 | 69386 | 43632 | 56235 0 | 75 | 0 232.94/233.08 c 232s | 13 | 69722 | 43932 | 56235 0 | 75 | 0 235.45/235.53 c 234s | 13 | 70091 | 44232 | 56235 0 | 75 | 0 237.55/237.67 c 236s | 13 | 70432 | 44532 | 56235 0 | 75 | 0 239.85/239.95 c 239s | 13 | 70778 | 44832 | 56235 0 | 75 | 0 242.34/242.42 c 241s | 13 | 71454 | 45232 | 56235 0 | 75 | 0 245.24/245.32 c 244s | 13 | 72042 | 45732 | 56235 0 | 75 | 0 247.54/247.69 c 246s | 13 | 72542 | 46132 | 56235 0 | 75 | 0 249.64/249.80 c 248s | 13 | 72881 | 46432 | 56235 0 | 75 | 0 251.74/251.81 c 250s | 13 | 73423 | 46832 | 56235 0 | 75 | 0 253.83/253.90 c 253s | 13 | 73868 | 47232 | 56235 0 | 75 | 0 256.13/256.30 c 255s | 13 | 74459 | 47632 | 56235 0 | 75 | 0 258.54/258.61 c 257s | 13 | 74874 | 48032 | 56235 0 | 75 | 0 260.73/260.85 c 260s | 13 | 75330 | 48432 | 56235 0 | 75 | 0 262.73/262.86 c 262s | 13 | 75781 | 48832 | 56235 0 | 75 | 0 265.13/265.27 c 264s | 13 | 76371 | 49332 | 56235 0 | 75 | 0 267.63/267.78 c 266s | 13 | 76835 | 49732 | 56235 0 | 75 | 0 269.63/269.79 c 268s | 13 | 77180 | 50032 | 56235 0 | 75 | 0 271.82/271.92 c 271s | 13 | 77598 | 50432 | 56235 0 | 75 | 0 274.32/274.43 c 273s | 13 | 78054 | 50832 | 56235 0 | 75 | 0 276.62/276.72 c 275s | 13 | 78472 | 51232 | 56235 0 | 75 | 0 279.02/279.19 c 278s | 13 | 78893 | 51632 | 56235 0 | 75 | 0 281.42/281.52 c 280s | 13 | 79412 | 52132 | 56235 0 | 75 | 0 283.52/283.68 c 282s | 13 | 79823 | 52532 | 56235 0 | 75 | 0 286.12/286.23 c 285s | 13 | 80375 | 52932 | 56235 0 | 75 | 0 288.22/288.39 c 287s | 13 | 80818 | 53232 | 56235 0 | 75 | 0 290.32/290.45 c 289s | 13 | 81227 | 53532 | 56235 0 | 75 | 0 292.83/292.98 c 292s | 13 | 81756 | 53832 | 56235 0 | 75 | 0 295.12/295.29 c 294s | 13 | 82153 | 54132 | 56235 0 | 75 | 0 297.42/297.58 c 296s | 13 | 82723 | 54532 | 56235 0 | 75 | 0 299.72/299.89 c 299s | 13 | 83346 | 54932 | 56235 0 | 75 | 0 302.22/302.31 c 301s | 13 | 83943 | 55432 | 56235 0 | 75 | 0 304.72/304.87 c 304s | 13 | 84477 | 55832 | 56235 0 | 75 | 0 306.92/307.03 c 306s | 13 | 84805 | 56132 | 56235 0 | 75 | 0 309.02/309.20 c 308s | 13 | 85222 | 56532 | 56235 0 | 75 | 0 311.32/311.47 c 310s | 13 | 85630 | 56932 | 56235 0 | 75 | 0 313.71/313.86 c 313s | 13 | 86021 | 57232 | 56235 0 | 75 | 0 316.11/316.28 c 315s | 13 | 86352 | 57532 | 56235 0 | 75 | 0 318.11/318.30 c 317s | 13 | 86679 | 57832 | 56235 0 | 75 | 0 320.51/320.64 c 319s | 13 | 87026 | 58132 | 61859 0 | 75 | 0 321.91/322.06 c 321s | 14 | 87287 | 58352 | 61859 0 | 75 | 0 324.30/324.43 c 323s | 14 | 87583 | 58552 | 61859 0 | 75 | 0 326.80/326.96 c 326s | 14 | 88486 | 58952 | 61859 0 | 75 | 0 329.10/329.28 c 328s | 14 | 88932 | 59252 | 61859 0 | 75 | 0 331.30/331.44 c 330s | 14 | 89221 | 59552 | 61859 0 | 75 | 0 333.80/333.91 c 333s | 14 | 89796 | 60052 | 61859 0 | 75 | 0 335.80/335.94 c 335s | 14 | 90438 | 60452 | 61859 0 | 75 | 0 338.40/338.54 c 337s | 14 | 91088 | 60952 | 61859 0 | 75 | 0 340.80/340.91 c 340s | 14 | 91427 | 61252 | 61859 0 | 75 | 0 342.80/342.93 c 342s | 14 | 91814 | 61552 | 61859 0 | 75 | 0 345.30/345.41 c 344s | 14 | 92473 | 61952 | 61859 0 | 75 | 0 347.50/347.69 c 346s | 14 | 92914 | 62252 | 61859 0 | 75 | 0 349.59/349.71 c 348s | 14 | 93236 | 62552 | 61859 0 | 75 | 0 351.59/351.74 c 350s | 14 | 93672 | 62852 | 61859 0 | 75 | 0 353.99/354.11 c 353s | 14 | 94138 | 63252 | 61859 0 | 75 | 0 356.40/356.57 c 355s | 14 | 94530 | 63652 | 61859 0 | 75 | 0 359.09/359.28 c 358s | 14 | 95032 | 64052 | 61859 0 | 75 | 0 361.29/361.44 c 360s | 14 | 95452 | 64452 | 61859 0 | 75 | 0 363.79/363.96 c 363s | 14 | 95829 | 64752 | 61859 0 | 75 | 0 365.79/365.99 c 365s | 14 | 96149 | 65052 | 61859 0 | 75 | 0 368.29/368.46 c 367s | 14 | 96558 | 65452 | 61859 0 | 75 | 0 370.69/370.81 c 369s | 14 | 97017 | 65852 | 61859 0 | 75 | 0 372.99/373.16 c 372s | 14 | 97506 | 66252 | 61859 0 | 75 | 0 375.09/375.23 c 374s | 14 | 97931 | 66652 | 61859 0 | 75 | 0 377.29/377.48 c 376s | 14 | 98346 | 67052 | 61859 0 | 75 | 0 379.68/379.85 c 379s | 14 | 98821 | 67452 | 61859 0 | 75 | 0 382.18/382.36 c 381s | 14 | 99362 | 67952 | 61859 0 | 75 | 0 384.48/384.63 c 383s | 14 | 99974 | 68352 | 61859 0 | 75 | 0 386.48/386.68 c 385s | 14 | 100411 | 68752 | 61859 0 | 75 | 0 390.28/390.44 c 389s | 14 | 101050 | 69252 | 61859 1 | 75 | 0 392.78/392.92 c 392s | 14 | 101422 | 69552 | 61859 1 | 75 | 0 394.89/395.03 c 394s | 14 | 101873 | 69952 | 61859 1 | 75 | 0 397.18/397.38 c 396s | 14 | 102404 | 70452 | 61859 1 | 75 | 0 399.29/399.42 c 398s | 14 | 102832 | 70752 | 61859 1 | 75 | 0 401.68/401.86 c 401s | 14 | 103346 | 71152 | 61859 1 | 75 | 0 404.07/404.20 c 403s | 14 | 104096 | 71552 | 61859 1 | 75 | 0 406.27/406.40 c 405s | 14 | 104637 | 72052 | 61859 1 | 75 | 0 408.47/408.61 c 407s | 14 | 105156 | 72552 | 61859 1 | 75 | 0 410.57/410.77 c 409s | 14 | 105672 | 73052 | 61859 1 | 75 | 0 412.67/412.82 c 411s | 14 | 106468 | 73452 | 61859 1 | 75 | 0 415.07/415.24 c 414s | 14 | 107000 | 73952 | 61859 1 | 75 | 0 417.47/417.62 c 416s | 14 | 107890 | 74352 | 61859 1 | 75 | 0 419.77/419.97 c 419s | 14 | 108415 | 74752 | 61859 1 | 75 | 0 422.27/422.41 c 421s | 14 | 109114 | 75252 | 61859 1 | 75 | 0 424.57/424.76 c 423s | 14 | 110078 | 75752 | 61859 1 | 75 | 0 426.57/426.76 c 425s | 14 | 110579 | 76152 | 61859 1 | 75 | 0 428.87/429.04 c 428s | 14 | 111106 | 76652 | 61859 1 | 75 | 0 431.27/431.43 c 430s | 14 | 111623 | 77152 | 61859 1 | 75 | 0 433.67/433.82 c 432s | 14 | 112149 | 77652 | 61859 1 | 75 | 0 435.77/435.95 c 435s | 14 | 112669 | 78052 | 61859 1 | 75 | 0 438.27/438.45 c 437s | 14 | 113547 | 78552 | 61859 1 | 75 | 0 440.27/440.48 c 439s | 14 | 114171 | 78852 | 61859 1 | 75 | 0 442.57/442.72 c 441s | 14 | 114688 | 79352 | 61859 1 | 75 | 0 444.87/445.00 c 444s | 14 | 115697 | 79752 | 61859 1 | 75 | 0 447.17/447.31 c 446s | 14 | 116411 | 80152 | 61859 1 | 75 | 0 449.17/449.36 c 448s | 14 | 116979 | 80552 | 61859 1 | 75 | 0 451.57/451.74 c 450s | 14 | 117685 | 81052 | 61859 1 | 75 | 0 453.56/453.78 c 452s | 14 | 118502 | 81452 | 61859 1 | 75 | 0 456.06/456.24 c 455s | 14 | 119065 | 81952 | 61859 1 | 75 | 0 458.06/458.25 c 457s | 14 | 119594 | 82352 | 61859 1 | 75 | 0 460.26/460.49 c 459s | 14 | 120013 | 82752 | 61859 1 | 75 | 0 462.56/462.78 c 461s | 14 | 120571 | 83152 | 61859 1 | 75 | 0 464.86/465.07 c 464s | 14 | 121122 | 83552 | 61859 1 | 75 | 0 467.06/467.20 c 466s | 14 | 121910 | 83952 | 61859 1 | 75 | 0 469.36/469.51 c 468s | 14 | 122584 | 84352 | 61859 1 | 75 | 0 472.06/472.22 c 471s | 14 | 123471 | 84852 | 61859 1 | 75 | 0 474.06/474.27 c 473s | 14 | 123817 | 85152 | 61859 1 | 75 | 0 476.45/476.64 c 475s | 14 | 124407 | 85552 | 61859 1 | 75 | 0 478.95/479.18 c 478s | 14 | 124855 | 85952 | 61859 1 | 75 | 0 481.15/481.33 c 480s | 14 | 125276 | 86352 | 61859 1 | 75 | 0 483.35/483.56 c 482s | 14 | 125745 | 86752 | 61859 1 | 75 | 0 485.85/486.01 c 485s | 14 | 126448 | 87152 | 68045 1 | 75 | 0 488.15/488.38 c 487s | 14 | 126996 | 87552 | 68045 1 | 75 | 0 488.65/488.80 c 487s | 15 | 127082 | 87632 | 68045 1 | 75 | 0 491.15/491.37 c 490s | 15 | 127792 | 87832 | 68045 1 | 75 | 0 493.44/493.69 c 492s | 15 | 128341 | 88232 | 68045 1 | 75 | 0 495.74/495.98 c 495s | 15 | 128853 | 88732 | 68045 1 | 75 | 0 498.15/498.37 c 497s | 15 | 129356 | 89132 | 68045 1 | 75 | 0 500.54/500.73 c 499s | 15 | 130086 | 89532 | 68045 1 | 75 | 0 502.65/502.83 c 502s | 15 | 130617 | 90032 | 68045 1 | 75 | 0 505.04/505.28 c 504s | 15 | 131338 | 90532 | 68045 1 | 75 | 0 507.24/507.50 c 506s | 15 | 131832 | 90932 | 68045 1 | 75 | 0 509.34/509.57 c 508s | 15 | 132251 | 91232 | 68045 1 | 75 | 0 511.44/511.64 c 510s | 15 | 132654 | 91532 | 68045 1 | 75 | 0 513.73/513.96 c 513s | 15 | 133230 | 91932 | 68045 1 | 75 | 0 515.93/516.10 c 515s | 15 | 133659 | 92332 | 68045 1 | 75 | 0 518.04/518.25 c 517s | 15 | 134054 | 92632 | 68045 1 | 75 | 0 520.33/520.57 c 519s | 15 | 134752 | 93032 | 68045 1 | 75 | 0 522.83/523.02 c 522s | 15 | 135315 | 93432 | 68045 1 | 75 | 0 524.93/525.13 c 524s | 15 | 135715 | 93832 | 68045 1 | 75 | 0 527.03/527.26 c 526s | 15 | 136133 | 94232 | 68045 1 | 75 | 0 529.43/529.60 c 528s | 15 | 136739 | 94632 | 68045 1 | 75 | 0 531.43/531.67 c 530s | 15 | 137160 | 95032 | 68045 1 | 75 | 0 533.63/533.83 c 533s | 15 | 137584 | 95432 | 68045 1 | 75 | 0 536.03/536.27 c 535s | 15 | 138149 | 95832 | 68045 1 | 75 | 0 538.53/538.75 c 537s | 15 | 138566 | 96232 | 68045 1 | 75 | 0 541.33/541.50 c 540s | 15 | 139130 | 96632 | 68045 1 | 75 | 0 543.82/544.03 c 543s | 15 | 139561 | 97032 | 68045 1 | 75 | 0 546.02/546.26 c 545s | 15 | 140264 | 97432 | 68045 1 | 75 | 0 548.32/548.54 c 547s | 15 | 140874 | 97832 | 68045 1 | 75 | 0 550.82/551.08 c 550s | 15 | 141476 | 98232 | 68045 1 | 75 | 0 553.02/553.20 c 552s | 15 | 141916 | 98532 | 68045 1 | 75 | 0 555.32/555.57 c 554s | 15 | 142432 | 98932 | 68045 1 | 75 | 0 557.92/558.12 c 557s | 15 | 143326 | 99332 | 68045 1 | 75 | 0 560.12/560.40 c 559s | 15 | 143984 | 99632 | 68045 1 | 75 | 0 562.32/562.54 c 561s | 15 | 144344 | 99932 | 68045 1 | 75 | 0 564.81/565.07 c 564s | 15 | 145321 | 100332 | 68045 1 | 75 | 0 566.91/567.18 c 566s | 15 | 145992 | 100632 | 68045 1 | 75 | 0 569.21/569.43 c 568s | 15 | 146371 | 100932 | 68045 1 | 75 | 0 571.31/571.52 c 570s | 15 | 146899 | 101232 | 68045 1 | 75 | 0 573.91/574.14 c 573s | 15 | 147278 | 101532 | 68045 1 | 75 | 0 576.01/576.20 c 575s | 15 | 147678 | 101832 | 68045 1 | 75 | 0 578.11/578.33 c 577s | 15 | 148096 | 102232 | 68045 1 | 75 | 0 580.51/580.78 c 579s | 15 | 148514 | 102632 | 68045 1 | 75 | 0 583.01/583.26 c 582s | 15 | 148937 | 103032 | 68045 1 | 75 | 0 585.01/585.27 c 584s | 15 | 149395 | 103332 | 68045 1 | 75 | 0 587.31/587.59 c 586s | 15 | 150020 | 103732 | 68045 1 | 75 | 0 589.41/589.66 c 588s | 15 | 150433 | 104132 | 68045 1 | 75 | 0 591.61/591.87 c 591s | 15 | 150877 | 104532 | 68045 1 | 75 | 0 594.20/594.47 c 593s | 15 | 151282 | 104932 | 68045 1 | 75 | 0 596.60/596.86 c 596s | 15 | 151699 | 105332 | 68045 1 | 75 | 0 599.20/599.45 c 598s | 15 | 152114 | 105732 | 68045 1 | 75 | 0 601.70/601.91 c 601s | 15 | 152534 | 106132 | 68045 1 | 75 | 0 603.81/604.01 c 603s | 15 | 152842 | 106432 | 68045 1 | 75 | 0 606.01/606.24 c 605s | 15 | 153453 | 106732 | 68045 1 | 75 | 0 608.60/608.85 c 608s | 15 | 153882 | 107132 | 68045 1 | 75 | 0 611.20/611.47 c 610s | 15 | 154313 | 107532 | 68045 1 | 75 | 0 613.19/613.48 c 612s | 15 | 154624 | 107832 | 68045 1 | 75 | 0 615.29/615.58 c 614s | 15 | 155024 | 108132 | 68045 1 | 75 | 0 617.79/618.04 c 617s | 15 | 155510 | 108532 | 68045 1 | 75 | 0 620.20/620.48 c 619s | 15 | 156033 | 108932 | 68045 1 | 75 | 0 622.29/622.50 c 621s | 15 | 156422 | 109232 | 68045 1 | 75 | 0 624.60/624.86 c 624s | 15 | 156756 | 109532 | 68045 1 | 75 | 0 626.90/627.13 c 626s | 15 | 157086 | 109832 | 68045 1 | 75 | 0 629.19/629.40 c 628s | 15 | 157492 | 110232 | 68045 1 | 75 | 0 631.79/632.00 c 631s | 15 | 157913 | 110632 | 68045 1 | 75 | 0 634.28/634.55 c 633s | 15 | 158338 | 111032 | 68045 1 | 75 | 0 636.58/636.85 c 636s | 15 | 158464 | 111132 | 68045 2 | 75 | 0 638.68/638.96 c 638s | 15 | 159189 | 111432 | 68045 2 | 75 | 0 640.98/641.30 c 640s | 15 | 159610 | 111832 | 68045 2 | 75 | 0 643.48/643.71 c 642s | 15 | 160050 | 112232 | 68045 2 | 75 | 0 645.88/646.16 c 645s | 15 | 160572 | 112732 | 68045 2 | 75 | 0 648.08/648.35 c 647s | 15 | 161117 | 113132 | 68045 2 | 75 | 0 650.58/650.83 c 650s | 15 | 161590 | 113532 | 68045 2 | 75 | 0 653.07/653.37 c 652s | 15 | 162029 | 113932 | 68045 2 | 75 | 0 655.17/655.48 c 654s | 15 | 162276 | 114132 | 68045 2 | 75 | 0 657.27/657.54 c 656s | 15 | 162611 | 114432 | 68045 2 | 75 | 0 659.38/659.61 c 658s | 15 | 163051 | 114832 | 68045 2 | 75 | 0 661.38/661.67 c 660s | 15 | 163384 | 115132 | 68045 2 | 75 | 0 663.97/664.25 c 663s | 15 | 163797 | 115532 | 68045 2 | 75 | 0 666.07/666.38 c 665s | 15 | 164204 | 115932 | 68045 2 | 75 | 0 668.37/668.64 c 667s | 15 | 164626 | 116332 | 68045 2 | 75 | 0 670.67/670.92 c 670s | 15 | 165068 | 116732 | 68045 2 | 75 | 0 673.08/673.38 c 672s | 15 | 165522 | 117132 | 68045 2 | 75 | 0 675.47/675.80 c 674s | 15 | 165948 | 117532 | 68045 2 | 75 | 0 677.97/678.21 c 677s | 15 | 166352 | 117932 | 68045 2 | 75 | 0 680.17/680.44 c 679s | 15 | 166813 | 118332 | 68045 2 | 75 | 0 682.27/682.50 c 681s | 15 | 167222 | 118732 | 68045 2 | 75 | 0 684.27/684.55 c 683s | 15 | 167847 | 119132 | 68045 2 | 75 | 0 686.67/686.97 c 686s | 15 | 168333 | 119532 | 68045 2 | 75 | 0 689.17/689.42 c 688s | 15 | 168836 | 119932 | 68045 2 | 75 | 0 692.16/692.43 c 691s | 15 | 169526 | 120432 | 68045 2 | 75 | 0 694.26/694.59 c 693s | 15 | 169859 | 120732 | 68045 2 | 75 | 0 696.56/696.87 c 696s | 15 | 170231 | 121032 | 68045 2 | 75 | 0 698.86/699.11 c 698s | 15 | 170603 | 121332 | 68045 2 | 75 | 0 701.26/701.57 c 700s | 15 | 171027 | 121732 | 68045 2 | 75 | 0 703.45/703.74 c 702s | 15 | 171397 | 122032 | 68045 2 | 75 | 0 705.75/706.05 c 705s | 15 | 171814 | 122432 | 68045 2 | 75 | 0 708.05/708.39 c 707s | 15 | 172491 | 122832 | 68045 2 | 75 | 0 710.15/710.42 c 709s | 15 | 173146 | 123132 | 68045 2 | 75 | 0 712.56/712.84 c 712s | 15 | 174292 | 123532 | 68045 2 | 75 | 0 714.55/714.88 c 714s | 15 | 174975 | 123832 | 68045 2 | 75 | 0 716.96/717.25 c 716s | 15 | 175457 | 124232 | 68045 2 | 75 | 0 719.65/719.91 c 719s | 15 | 175990 | 124632 | 68045 2 | 75 | 0 721.85/722.10 c 721s | 15 | 176328 | 124932 | 68045 2 | 75 | 0 724.14/724.46 c 723s | 15 | 176834 | 125232 | 68045 2 | 75 | 0 726.44/726.73 c 725s | 15 | 177456 | 125532 | 68045 2 | 75 | 0 728.94/729.25 c 728s | 15 | 178032 | 125832 | 68045 2 | 75 | 0 731.54/731.86 c 731s | 15 | 178808 | 126232 | 68045 2 | 75 | 0 733.94/734.25 c 733s | 15 | 179150 | 126532 | 68045 2 | 75 | 0 736.44/736.77 c 735s | 15 | 179571 | 126932 | 68045 2 | 75 | 0 738.84/739.14 c 738s | 15 | 180106 | 127332 | 68045 2 | 75 | 0 741.54/741.89 c 741s | 15 | 180669 | 127732 | 68045 2 | 75 | 0 743.63/743.93 c 743s | 15 | 180974 | 128032 | 68045 2 | 75 | 0 746.23/746.50 c 745s | 15 | 181488 | 128432 | 68045 2 | 75 | 0 748.64/748.99 c 748s | 15 | 181919 | 128832 | 68045 2 | 75 | 0 751.04/751.35 c 750s | 15 | 182346 | 129232 | 68045 2 | 75 | 0 753.53/753.82 c 752s | 15 | 182779 | 129632 | 68045 2 | 75 | 0 755.93/756.27 c 755s | 15 | 183198 | 130032 | 68045 2 | 75 | 0 758.43/758.78 c 757s | 15 | 183608 | 130432 | 68045 2 | 75 | 0 760.43/760.79 c 759s | 15 | 183914 | 130732 | 74850 2 | 75 | 0 762.63/762.91 c 762s | 15 | 184332 | 131132 | 74850 2 | 75 | 0 765.02/765.37 c 764s | 15 | 184742 | 131532 | 74850 2 | 75 | 0 765.12/765.49 c 764s | 16 | 184764 | 131552 | 74850 2 | 75 | 0 767.72/768.03 c 767s | 16 | 185167 | 131752 | 74850 2 | 75 | 0 769.73/770.08 c 769s | 16 | 185748 | 132052 | 74850 2 | 75 | 0 772.52/772.85 c 772s | 16 | 186376 | 132452 | 74850 2 | 75 | 0 774.62/774.92 c 774s | 16 | 186926 | 132752 | 74850 2 | 75 | 0 776.62/776.97 c 776s | 16 | 187267 | 133052 | 74850 2 | 75 | 0 778.92/779.21 c 778s | 16 | 187735 | 133352 | 74850 2 | 75 | 0 781.22/781.51 c 780s | 16 | 188099 | 133652 | 74850 2 | 75 | 0 783.92/784.24 c 783s | 16 | 188624 | 134052 | 74850 2 | 75 | 0 785.92/786.24 c 785s | 16 | 189046 | 134352 | 74850 2 | 75 | 0 788.42/788.73 c 787s | 16 | 189592 | 134752 | 74850 2 | 75 | 0 790.92/791.26 c 790s | 16 | 189933 | 135052 | 74850 2 | 75 | 0 793.31/793.62 c 792s | 16 | 190529 | 135452 | 74850 2 | 75 | 0 796.01/796.37 c 795s | 16 | 191156 | 135852 | 74850 2 | 75 | 0 798.51/798.82 c 797s | 16 | 191616 | 136252 | 74850 2 | 75 | 0 800.91/801.20 c 800s | 16 | 192365 | 136652 | 74850 2 | 75 | 0 803.21/803.55 c 802s | 16 | 192966 | 137052 | 74850 2 | 75 | 0 805.70/806.06 c 805s | 16 | 193392 | 137452 | 74850 2 | 75 | 0 808.10/808.49 c 807s | 16 | 193800 | 137852 | 74850 2 | 75 | 0 810.70/811.07 c 810s | 16 | 194255 | 138252 | 74850 2 | 75 | 0 813.10/813.43 c 812s | 16 | 194635 | 138552 | 74850 2 | 75 | 0 815.30/815.64 c 814s | 16 | 195042 | 138852 | 74850 2 | 75 | 0 817.80/818.16 c 817s | 16 | 195472 | 139252 | 74850 2 | 75 | 0 820.41/820.76 c 819s | 16 | 195922 | 139652 | 74850 2 | 75 | 0 822.50/822.87 c 822s | 16 | 196236 | 139952 | 74850 2 | 75 | 0 824.89/825.23 c 824s | 16 | 196632 | 140252 | 74850 2 | 75 | 0 826.90/827.24 c 826s | 16 | 197187 | 140552 | 74850 2 | 75 | 0 829.29/829.69 c 828s | 16 | 197677 | 140852 | 74850 2 | 75 | 0 831.59/831.94 c 831s | 16 | 198058 | 141152 | 74850 2 | 75 | 0 834.19/834.57 c 833s | 16 | 198485 | 141552 | 74850 2 | 75 | 0 836.69/837.01 c 836s | 16 | 198899 | 141852 | 74850 2 | 75 | 0 839.29/839.61 c 838s | 16 | 199244 | 142152 | 74850 2 | 75 | 0 841.69/842.07 c 841s | 16 | 199600 | 142452 | 74850 2 | 75 | 0 843.98/844.34 c 843s | 16 | 200029 | 142852 | 74850 2 | 75 | 0 846.18/846.55 c 845s | 16 | 200370 | 143152 | 74850 2 | 75 | 0 848.99/849.31 c 848s | 16 | 200870 | 143552 | 74850 2 | 75 | 0 851.28/851.63 c 850s | 16 | 201227 | 143852 | 74850 2 | 75 | 0 853.39/853.75 c 852s | 16 | 201558 | 144152 | 74850 2 | 75 | 0 855.49/855.89 c 855s | 16 | 201917 | 144452 | 74850 2 | 75 | 0 857.98/858.33 c 857s | 16 | 202242 | 144752 | 74850 2 | 75 | 0 860.28/860.62 c 859s | 16 | 202574 | 145052 | 74850 2 | 75 | 0 862.68/863.03 c 862s | 16 | 202994 | 145452 | 74850 2 | 75 | 0 864.77/865.16 c 864s | 16 | 203412 | 145852 | 74850 2 | 75 | 0 866.97/867.35 c 866s | 16 | 203956 | 146252 | 74850 2 | 75 | 0 869.37/869.75 c 868s | 16 | 204368 | 146652 | 74850 2 | 75 | 0 871.47/871.82 c 871s | 16 | 204839 | 146952 | 74850 2 | 75 | 0 874.47/874.87 c 874s | 16 | 205500 | 147352 | 74850 2 | 75 | 0 876.56/876.98 c 876s | 16 | 205700 | 147552 | 74850 2 | 75 | 0 879.06/879.42 c 878s | 16 | 206157 | 147952 | 74850 2 | 75 | 0 881.37/881.74 c 880s | 16 | 206587 | 148352 | 74850 2 | 75 | 0 883.47/883.83 c 883s | 16 | 207011 | 148652 | 74850 2 | 75 | 0 885.77/886.19 c 885s | 16 | 207567 | 149052 | 74850 2 | 75 | 0 888.17/888.57 c 887s | 16 | 208180 | 149452 | 74850 2 | 75 | 0 890.68/891.04 c 890s | 16 | 208799 | 149852 | 74850 2 | 75 | 0 893.37/893.74 c 892s | 16 | 209166 | 150152 | 74850 2 | 75 | 0 895.67/896.07 c 895s | 16 | 209545 | 150452 | 74850 2 | 75 | 0 897.77/898.19 c 897s | 16 | 209908 | 150752 | 74850 2 | 75 | 0 900.58/900.92 c 900s | 16 | 210290 | 151052 | 74850 2 | 75 | 0 903.27/903.65 c 902s | 16 | 210711 | 151352 | 74850 2 | 75 | 0 905.37/905.72 c 904s | 16 | 211150 | 151652 | 74850 2 | 75 | 0 907.57/907.94 c 907s | 16 | 211518 | 151952 | 74850 2 | 75 | 0 909.77/910.11 c 909s | 16 | 211988 | 152252 | 74850 2 | 75 | 0 911.87/912.21 c 911s | 16 | 212306 | 152552 | 74850 2 | 75 | 0 914.37/914.74 c 913s | 16 | 212719 | 152952 | 74850 2 | 75 | 0 916.47/916.84 c 916s | 16 | 213160 | 153252 | 74850 2 | 75 | 0 918.67/919.01 c 918s | 16 | 213996 | 153552 | 74850 2 | 75 | 0 921.47/921.83 c 921s | 16 | 214678 | 153952 | 74850 2 | 75 | 0 924.17/924.52 c 923s | 16 | 215231 | 154352 | 74850 2 | 75 | 0 926.67/927.03 c 926s | 16 | 215651 | 154752 | 74850 2 | 75 | 0 929.36/929.73 c 928s | 16 | 216135 | 155152 | 74850 2 | 75 | 0 931.56/931.98 c 931s | 16 | 216625 | 155452 | 74850 2 | 75 | 0 933.96/934.38 c 933s | 16 | 217059 | 155852 | 74850 2 | 75 | 0 936.16/936.57 c 935s | 16 | 217385 | 156152 | 74850 2 | 75 | 0 938.46/938.84 c 938s | 16 | 217889 | 156452 | 74850 2 | 75 | 0 940.96/941.34 c 940s | 16 | 218551 | 156852 | 74850 2 | 75 | 0 947.06/947.45 c 946s | 16 | 219156 | 157252 | 74850 3 | 75 | 0 949.16/949.56 c 948s | 16 | 219644 | 157552 | 74850 3 | 75 | 0 951.56/951.99 c 951s | 16 | 220441 | 157952 | 74850 3 | 75 | 0 954.16/954.53 c 953s | 16 | 221065 | 158452 | 74850 3 | 75 | 0 956.36/956.70 c 955s | 16 | 221478 | 158852 | 74850 3 | 75 | 0 958.56/958.92 c 958s | 16 | 222005 | 159352 | 74850 3 | 75 | 0 961.16/961.55 c 960s | 16 | 222763 | 159652 | 74850 3 | 75 | 0 963.45/963.80 c 962s | 16 | 223476 | 159952 | 74850 3 | 75 | 0 965.65/966.05 c 965s | 16 | 223927 | 160352 | 74850 3 | 75 | 0 967.85/968.24 c 967s | 16 | 224295 | 160652 | 74850 3 | 75 | 0 969.96/970.33 c 969s | 16 | 224707 | 161052 | 74850 3 | 75 | 0 972.35/972.72 c 971s | 16 | 225080 | 161352 | 74850 3 | 75 | 0 974.75/975.18 c 974s | 16 | 225494 | 161752 | 74850 3 | 75 | 0 976.95/977.31 c 976s | 16 | 225985 | 162152 | 74850 3 | 75 | 0 978.95/979.38 c 978s | 16 | 226411 | 162552 | 74850 3 | 75 | 0 981.55/981.90 c 981s | 16 | 226888 | 162952 | 74850 3 | 75 | 0 983.95/984.34 c 983s | 16 | 227341 | 163352 | 74850 3 | 75 | 0 986.36/986.73 c 985s | 16 | 227753 | 163752 | 74850 3 | 75 | 0 988.66/989.05 c 988s | 16 | 228266 | 164252 | 74850 3 | 75 | 0 990.65/991.10 c 990s | 16 | 228998 | 164652 | 74850 3 | 75 | 0 993.06/993.43 c 992s | 16 | 229414 | 165052 | 74850 3 | 75 | 0 995.55/995.95 c 995s | 16 | 229861 | 165452 | 74850 3 | 75 | 0 998.15/998.50 c 997s | 16 | 230346 | 165852 | 74850 3 | 75 | 0 1000.25/1000.62 c 999s | 16 | 230747 | 166252 | 74850 3 | 75 | 0 1002.75/1003.18 c 1002s | 16 | 231571 | 166652 | 74850 3 | 75 | 0 1004.84/1005.21 c 1004s | 16 | 231975 | 166952 | 74850 3 | 75 | 0 1006.94/1007.36 c 1006s | 16 | 232322 | 167252 | 74850 3 | 75 | 0 1009.04/1009.41 c 1008s | 16 | 232839 | 167552 | 74850 3 | 75 | 0 1011.44/1011.87 c 1011s | 16 | 233428 | 167952 | 74850 3 | 75 | 0 1013.74/1014.17 c 1013s | 16 | 234084 | 168352 | 74850 3 | 75 | 0 1015.94/1016.30 c 1015s | 16 | 234538 | 168752 | 74850 3 | 75 | 0 1018.64/1019.03 c 1018s | 16 | 234998 | 169152 | 74850 3 | 75 | 0 1021.24/1021.64 c 1020s | 16 | 235316 | 169452 | 74850 3 | 75 | 0 1024.05/1024.46 c 1023s | 16 | 235643 | 169752 | 74850 3 | 75 | 0 1026.15/1026.56 c 1025s | 16 | 236426 | 170052 | 74850 3 | 75 | 0 1028.75/1029.17 c 1028s | 16 | 236805 | 170352 | 74850 3 | 75 | 0 1030.95/1031.36 c 1030s | 16 | 237237 | 170652 | 74850 3 | 75 | 0 1033.15/1033.53 c 1032s | 16 | 237683 | 170952 | 74850 3 | 75 | 0 1035.25/1035.65 c 1034s | 16 | 238130 | 171352 | 74850 3 | 75 | 0 1037.35/1037.71 c 1036s | 16 | 238545 | 171752 | 74850 3 | 75 | 0 1040.05/1040.42 c 1039s | 16 | 239079 | 172152 | 74850 3 | 75 | 0 1042.45/1042.82 c 1042s | 16 | 239570 | 172552 | 74850 3 | 75 | 0 1044.75/1045.18 c 1044s | 16 | 240003 | 172952 | 74850 3 | 75 | 0 1047.05/1047.42 c 1046s | 16 | 240609 | 173352 | 74850 3 | 75 | 0 1049.54/1049.93 c 1049s | 16 | 240947 | 173652 | 74850 3 | 75 | 0 1052.35/1052.74 c 1051s | 16 | 241618 | 174052 | 74850 3 | 75 | 0 1054.34/1054.75 c 1053s | 16 | 242037 | 174352 | 74850 3 | 75 | 0 1056.85/1057.27 c 1056s | 16 | 242676 | 174752 | 74850 3 | 75 | 0 1059.24/1059.60 c 1058s | 16 | 243136 | 175152 | 74850 3 | 75 | 0 1061.64/1062.07 c 1061s | 16 | 243677 | 175652 | 74850 3 | 75 | 0 1064.04/1064.45 c 1063s | 16 | 244395 | 176052 | 74850 3 | 75 | 0 1066.24/1066.60 c 1065s | 16 | 244875 | 176352 | 74850 3 | 75 | 0 1068.64/1069.05 c 1068s | 16 | 245268 | 176652 | 74850 3 | 75 | 0 1071.04/1071.50 c 1070s | 16 | 245763 | 176952 | 74850 3 | 75 | 0 1073.34/1073.71 c 1072s | 16 | 246180 | 177252 | 74850 3 | 75 | 0 1075.64/1076.00 c 1075s | 16 | 246658 | 177652 | 74850 3 | 75 | 0 1077.94/1078.30 c 1077s | 16 | 247125 | 178052 | 74850 3 | 75 | 0 1080.24/1080.68 c 1079s | 16 | 247603 | 178452 | 74850 3 | 75 | 0 1082.64/1083.01 c 1082s | 16 | 248141 | 178852 | 74850 3 | 75 | 0 1084.84/1085.21 c 1084s | 16 | 248559 | 179252 | 74850 3 | 75 | 0 1087.54/1087.95 c 1087s | 16 | 249302 | 179652 | 74850 3 | 75 | 0 1089.74/1090.20 c 1089s | 16 | 249884 | 179952 | 74850 3 | 75 | 0 1091.84/1092.24 c 1091s | 16 | 250219 | 180252 | 74850 3 | 75 | 0 1095.03/1095.42 c 1094s | 16 | 250562 | 180552 | 74850 3 | 75 | 0 1097.83/1098.28 c 1097s | 16 | 251102 | 180852 | 74850 3 | 75 | 0 1100.03/1100.48 c 1099s | 16 | 251421 | 181152 | 74850 3 | 75 | 0 1102.43/1102.83 c 1102s | 16 | 252184 | 181452 | 74850 3 | 75 | 0 1104.63/1105.02 c 1104s | 16 | 253235 | 181752 | 74850 3 | 75 | 0 1106.83/1107.24 c 1106s | 16 | 253632 | 182052 | 74850 3 | 75 | 0 1109.33/1109.78 c 1108s | 16 | 253959 | 182352 | 74850 3 | 75 | 0 1112.03/1112.48 c 1111s | 16 | 254530 | 182752 | 74850 3 | 75 | 0 1114.13/1114.52 c 1113s | 16 | 254844 | 183052 | 74850 3 | 75 | 0 1116.73/1117.12 c 1116s | 16 | 255244 | 183352 | 74850 3 | 75 | 0 1118.73/1119.14 c 1118s | 16 | 255457 | 183552 | 74850 3 | 75 | 0 1121.33/1121.78 c 1120s | 16 | 255782 | 183852 | 74850 3 | 75 | 0 1123.43/1123.82 c 1123s | 16 | 256103 | 184152 | 74850 3 | 75 | 0 1126.23/1126.68 c 1125s | 16 | 256482 | 184452 | 74850 3 | 75 | 0 1128.73/1129.18 c 1128s | 16 | 256898 | 184852 | 74850 3 | 75 | 0 1131.13/1131.50 c 1130s | 16 | 257204 | 185152 | 74850 3 | 75 | 0 1133.13/1133.56 c 1132s | 16 | 257515 | 185452 | 74850 3 | 75 | 0 1135.63/1136.05 c 1135s | 16 | 257851 | 185752 | 74850 3 | 75 | 0 1137.83/1138.27 c 1137s | 16 | 258172 | 186052 | 74850 3 | 75 | 0 1139.93/1140.37 c 1139s | 16 | 258540 | 186352 | 74850 3 | 75 | 0 1142.13/1142.51 c 1141s | 16 | 258941 | 186652 | 74850 3 | 75 | 0 1144.33/1144.79 c 1143s | 16 | 259355 | 186952 | 74850 3 | 75 | 0 1146.93/1147.38 c 1146s | 16 | 259703 | 187252 | 74850 3 | 75 | 0 1149.42/1149.80 c 1148s | 16 | 260143 | 187552 | 74850 3 | 75 | 0 1151.62/1152.09 c 1151s | 16 | 260495 | 187852 | 74850 3 | 75 | 0 1153.92/1154.33 c 1153s | 16 | 260866 | 188152 | 74850 3 | 75 | 0 1156.32/1156.77 c 1155s | 16 | 261221 | 188452 | 74850 3 | 75 | 0 1158.42/1158.85 c 1158s | 16 | 261622 | 188752 | 74850 3 | 75 | 0 1160.62/1161.09 c 1160s | 16 | 262192 | 189052 | 74850 3 | 75 | 0 1163.12/1163.51 c 1162s | 16 | 262708 | 189352 | 74850 3 | 75 | 0 1165.42/1165.86 c 1165s | 16 | 263116 | 189752 | 74850 3 | 75 | 0 1168.12/1168.51 c 1167s | 16 | 263774 | 190052 | 74850 3 | 75 | 0 1170.52/1170.99 c 1170s | 16 | 264283 | 190352 | 74850 3 | 75 | 0 1172.82/1173.21 c 1172s | 16 | 264913 | 190652 | 74850 3 | 75 | 0 1175.42/1175.87 c 1175s | 16 | 265263 | 190952 | 74850 3 | 75 | 0 1177.83/1178.24 c 1177s | 16 | 265609 | 191252 | 74850 3 | 75 | 0 1180.12/1180.56 c 1179s | 16 | 265945 | 191552 | 74850 3 | 75 | 0 1182.32/1182.80 c 1181s | 16 | 266248 | 191852 | 74850 3 | 75 | 0 1184.62/1185.00 c 1184s | 16 | 266553 | 192152 | 74850 3 | 75 | 0 1186.72/1187.19 c 1186s | 16 | 266857 | 192452 | 74850 3 | 75 | 0 1188.82/1189.21 c 1188s | 16 | 267211 | 192752 | 74850 3 | 75 | 0 1191.52/1191.94 c 1191s | 16 | 267621 | 193052 | 74850 3 | 75 | 0 1193.82/1194.23 c 1193s | 16 | 267963 | 193352 | 74850 3 | 75 | 0 1196.72/1197.18 c 1196s | 16 | 268420 | 193652 | 74850 3 | 75 | 0 1199.11/1199.58 c 1198s | 16 | 268787 | 193952 | 74850 3 | 75 | 0 1201.42/1201.83 c 1201s | 16 | 269098 | 194252 | 74850 3 | 75 | 0 1203.82/1204.26 c 1203s | 16 | 269466 | 194552 | 74850 3 | 75 | 0 1206.52/1206.92 c 1206s | 16 | 269917 | 194952 | 74850 3 | 75 | 0 1209.22/1209.65 c 1208s | 16 | 270300 | 195252 | 74850 3 | 75 | 0 1212.12/1212.56 c 1211s | 16 | 270618 | 195552 | 74850 3 | 75 | 0 1214.52/1214.99 c 1214s | 16 | 270937 | 195852 | 74850 3 | 75 | 0 1216.92/1217.32 c 1216s | 16 | 271329 | 196152 | 82335 3 | 75 | 0 1219.63/1220.09 c 1219s | 16 | 271664 | 196452 | 82335 3 | 75 | 0 1222.42/1222.84 c 1222s | 16 | 272067 | 196752 | 82335 3 | 75 | 0 1224.52/1224.95 c 1224s | 16 | 272372 | 197052 | 82335 3 | 75 | 0 1226.62/1227.06 c 1226s | 17 | 272751 | 197432 | 82335 3 | 75 | 0 1228.62/1229.09 c 1228s | 17 | 273020 | 197532 | 82335 3 | 75 | 0 1231.31/1231.72 c 1230s | 17 | 273423 | 197832 | 82335 3 | 75 | 0 1233.71/1234.13 c 1233s | 17 | 274064 | 198232 | 82335 3 | 75 | 0 1236.12/1236.56 c 1235s | 17 | 274722 | 198632 | 82335 3 | 75 | 0 1238.71/1239.20 c 1238s | 17 | 275134 | 198932 | 82335 3 | 75 | 0 1240.81/1241.28 c 1240s | 17 | 275503 | 199232 | 82335 3 | 75 | 0 1243.82/1244.29 c 1243s | 17 | 275910 | 199532 | 82335 3 | 75 | 0 1246.31/1246.79 c 1245s | 17 | 276243 | 199832 | 82335 3 | 75 | 0 1248.51/1248.92 c 1248s | 17 | 276562 | 200132 | 82335 3 | 75 | 0 1251.11/1251.50 c 1250s | 17 | 276984 | 200532 | 82335 3 | 75 | 0 1253.41/1253.84 c 1253s | 17 | 277407 | 200932 | 82335 3 | 75 | 0 1255.41/1255.84 c 1255s | 17 | 277875 | 201232 | 82335 3 | 75 | 0 1258.11/1258.56 c 1257s | 17 | 278311 | 201632 | 82335 3 | 75 | 0 1260.61/1261.05 c 1260s | 17 | 278718 | 202032 | 82335 3 | 75 | 0 1262.71/1263.13 c 1262s | 17 | 279057 | 202332 | 82335 3 | 75 | 0 1265.31/1265.79 c 1264s | 17 | 279436 | 202632 | 82335 3 | 75 | 0 1268.01/1268.44 c 1267s | 17 | 279878 | 203032 | 82335 3 | 75 | 0 1270.11/1270.51 c 1269s | 17 | 280401 | 203332 | 82335 3 | 75 | 0 1272.31/1272.76 c 1271s | 17 | 280876 | 203732 | 82335 3 | 75 | 0 1275.01/1275.45 c 1274s | 17 | 281248 | 204032 | 82335 3 | 75 | 0 1277.30/1277.79 c 1276s | 17 | 281483 | 204232 | 82335 3 | 75 | 0 1280.01/1280.48 c 1279s | 17 | 281900 | 204532 | 82335 3 | 75 | 0 1282.31/1282.76 c 1281s | 17 | 282269 | 204832 | 82335 3 | 75 | 0 1284.30/1284.77 c 1283s | 17 | 282660 | 205132 | 82335 3 | 75 | 0 1286.80/1287.29 c 1286s | 17 | 283068 | 205532 | 82335 3 | 75 | 0 1289.70/1290.17 c 1289s | 17 | 283503 | 205932 | 82335 3 | 75 | 0 1294.00/1294.49 c 1293s | 17 | 283749 | 206132 | 82335 4 | 75 | 0 1296.41/1296.87 c 1296s | 17 | 284169 | 206432 | 82335 4 | 75 | 0 1298.61/1299.09 c 1298s | 17 | 284675 | 206832 | 82335 4 | 75 | 0 1300.91/1301.38 c 1300s | 17 | 285157 | 207232 | 82335 4 | 75 | 0 1303.41/1303.84 c 1303s | 17 | 285723 | 207732 | 82335 4 | 75 | 0 1305.51/1305.94 c 1305s | 17 | 286197 | 208132 | 82335 4 | 75 | 0 1307.61/1308.05 c 1307s | 17 | 286636 | 208532 | 82335 4 | 75 | 0 1310.00/1310.46 c 1309s | 17 | 287177 | 209032 | 82335 4 | 75 | 0 1312.10/1312.56 c 1311s | 17 | 287603 | 209432 | 82335 4 | 75 | 0 1314.50/1314.91 c 1314s | 17 | 288477 | 210032 | 82335 4 | 75 | 0 1316.90/1317.31 c 1316s | 17 | 289130 | 210532 | 82335 4 | 75 | 0 1319.80/1320.21 c 1319s | 17 | 289474 | 210832 | 82335 4 | 75 | 0 1322.00/1322.46 c 1321s | 17 | 289795 | 211132 | 82335 4 | 75 | 0 1324.50/1324.96 c 1324s | 17 | 290272 | 211532 | 82335 4 | 75 | 0 1326.90/1327.39 c 1326s | 17 | 291007 | 211932 | 82335 4 | 75 | 0 1329.40/1329.81 c 1328s | 17 | 291691 | 212432 | 82335 4 | 75 | 0 1331.71/1332.13 c 1331s | 17 | 292347 | 212732 | 82335 4 | 75 | 0 1333.80/1334.28 c 1333s | 17 | 292776 | 213032 | 82335 4 | 75 | 0 1336.00/1336.40 c 1335s | 17 | 293526 | 213432 | 82335 4 | 75 | 0 1338.80/1339.23 c 1338s | 17 | 294181 | 213932 | 82335 4 | 75 | 0 1341.00/1341.40 c 1340s | 17 | 294503 | 214232 | 82335 4 | 75 | 0 1343.40/1343.85 c 1343s | 17 | 294857 | 214532 | 82335 4 | 75 | 0 1345.80/1346.23 c 1345s | 17 | 295205 | 214832 | 82335 4 | 75 | 0 1348.60/1349.08 c 1348s | 17 | 295527 | 215132 | 82335 4 | 75 | 0 1350.99/1351.48 c 1350s | 17 | 295958 | 215532 | 82335 4 | 75 | 0 1353.19/1353.63 c 1352s | 17 | 296310 | 215832 | 82335 4 | 75 | 0 1355.49/1355.91 c 1355s | 17 | 296765 | 216232 | 82335 4 | 75 | 0 1358.10/1358.53 c 1357s | 17 | 297100 | 216532 | 82335 4 | 75 | 0 1360.49/1360.98 c 1360s | 17 | 297589 | 216832 | 82335 4 | 75 | 0 1362.79/1363.25 c 1362s | 17 | 298044 | 217232 | 82335 4 | 75 | 0 1365.49/1365.91 c 1365s | 17 | 298469 | 217632 | 82335 4 | 75 | 0 1367.59/1368.06 c 1367s | 17 | 298926 | 218032 | 82335 4 | 75 | 0 1369.89/1370.33 c 1369s | 17 | 299369 | 218332 | 82335 4 | 75 | 0 1372.59/1373.03 c 1372s | 17 | 299918 | 218732 | 82335 4 | 75 | 0 1374.79/1375.21 c 1374s | 17 | 300261 | 219032 | 82335 4 | 75 | 0 1377.09/1377.56 c 1376s | 17 | 300677 | 219432 | 82335 4 | 75 | 0 1379.19/1379.61 c 1378s | 17 | 301010 | 219732 | 82335 4 | 75 | 0 1381.69/1382.10 c 1381s | 17 | 301339 | 220032 | 82335 4 | 75 | 0 1383.99/1384.49 c 1383s | 17 | 301762 | 220432 | 82335 4 | 75 | 0 1386.09/1386.50 c 1385s | 17 | 302179 | 220832 | 82335 4 | 75 | 0 1388.49/1388.95 c 1388s | 17 | 302836 | 221232 | 82335 4 | 75 | 0 1391.19/1391.68 c 1390s | 17 | 303462 | 221632 | 82335 4 | 75 | 0 1393.39/1393.83 c 1393s | 17 | 303847 | 221932 | 82335 4 | 75 | 0 1395.78/1396.23 c 1395s | 17 | 304176 | 222232 | 82335 4 | 75 | 0 1398.28/1398.74 c 1397s | 17 | 304528 | 222532 | 82335 4 | 75 | 0 1400.48/1400.94 c 1400s | 17 | 305139 | 222832 | 82335 4 | 75 | 0 1402.78/1403.25 c 1402s | 17 | 305817 | 223232 | 82335 4 | 75 | 0 1405.18/1405.60 c 1404s | 17 | 306454 | 223532 | 82335 4 | 75 | 0 1407.88/1408.35 c 1407s | 17 | 306922 | 223832 | 82335 4 | 75 | 0 1409.89/1410.35 c 1409s | 17 | 307260 | 224132 | 82335 4 | 75 | 0 1412.48/1412.91 c 1412s | 17 | 307699 | 224532 | 82335 4 | 75 | 0 1414.78/1415.23 c 1414s | 17 | 308212 | 225032 | 82335 4 | 75 | 0 1416.78/1417.28 c 1416s | 17 | 308621 | 225432 | 82335 4 | 75 | 0 1418.78/1419.29 c 1418s | 17 | 308989 | 225732 | 82335 4 | 75 | 0 1421.49/1421.98 c 1421s | 17 | 309640 | 226132 | 82335 4 | 75 | 0 1423.59/1424.01 c 1423s | 17 | 310201 | 226532 | 82335 4 | 75 | 0 1425.99/1426.41 c 1425s | 17 | 310720 | 227032 | 82335 4 | 75 | 0 1428.09/1428.57 c 1427s | 17 | 311132 | 227432 | 82335 4 | 75 | 0 1430.59/1431.05 c 1430s | 17 | 311431 | 227632 | 82335 4 | 75 | 0 1433.69/1434.19 c 1433s | 17 | 311775 | 227932 | 82335 4 | 75 | 0 1436.59/1437.04 c 1436s | 17 | 312244 | 228232 | 82335 4 | 75 | 0 1439.09/1439.58 c 1438s | 17 | 312557 | 228532 | 82335 4 | 75 | 0 1441.89/1442.31 c 1441s | 17 | 313171 | 228932 | 82335 4 | 75 | 0 1444.79/1445.26 c 1444s | 17 | 313618 | 229232 | 82335 4 | 75 | 0 1446.99/1447.42 c 1446s | 17 | 314030 | 229532 | 82335 4 | 75 | 0 1448.99/1449.46 c 1448s | 17 | 314472 | 229832 | 82335 4 | 75 | 0 1451.19/1451.61 c 1450s | 17 | 314833 | 230132 | 82335 4 | 75 | 0 1453.69/1454.10 c 1453s | 17 | 315213 | 230432 | 82335 4 | 75 | 0 1456.18/1456.62 c 1455s | 17 | 315554 | 230732 | 82335 4 | 75 | 0 1458.29/1458.71 c 1457s | 17 | 316078 | 231032 | 82335 4 | 75 | 0 1460.49/1460.94 c 1460s | 17 | 316786 | 231432 | 82335 4 | 75 | 0 1462.48/1462.96 c 1462s | 17 | 317114 | 231632 | 82335 4 | 75 | 0 1464.58/1465.03 c 1464s | 17 | 317432 | 231932 | 82335 4 | 75 | 0 1467.09/1467.55 c 1466s | 17 | 317934 | 232332 | 82335 4 | 75 | 0 1469.48/1469.97 c 1469s | 17 | 318245 | 232632 | 82335 4 | 75 | 0 1471.88/1472.35 c 1471s | 17 | 318642 | 232932 | 82335 4 | 75 | 0 1474.88/1475.34 c 1474s | 17 | 319688 | 233332 | 82335 4 | 75 | 0 1477.28/1477.70 c 1476s | 17 | 320187 | 233632 | 82335 4 | 75 | 0 1479.38/1479.84 c 1479s | 17 | 320691 | 234032 | 82335 4 | 75 | 0 1481.38/1481.84 c 1481s | 17 | 321096 | 234332 | 82335 4 | 75 | 0 1484.08/1484.58 c 1483s | 17 | 321426 | 234632 | 82335 4 | 75 | 0 1486.58/1487.06 c 1486s | 17 | 321853 | 234932 | 82335 4 | 75 | 0 1488.68/1489.15 c 1488s | 17 | 322324 | 235232 | 82335 4 | 75 | 0 1491.18/1491.66 c 1490s | 17 | 322779 | 235532 | 82335 4 | 75 | 0 1493.28/1493.75 c 1492s | 17 | 323257 | 235832 | 82335 4 | 75 | 0 1495.28/1495.78 c 1494s | 17 | 323783 | 236132 | 82335 4 | 75 | 0 1497.38/1497.84 c 1497s | 17 | 324269 | 236432 | 82335 4 | 75 | 0 1499.48/1499.91 c 1499s | 17 | 324693 | 236732 | 82335 4 | 75 | 0 1501.47/1501.96 c 1501s | 17 | 325195 | 237032 | 82335 4 | 75 | 0 1503.97/1504.40 c 1503s | 17 | 325626 | 237332 | 82335 4 | 75 | 0 1506.68/1507.11 c 1506s | 17 | 326002 | 237632 | 82335 4 | 75 | 0 1509.27/1509.75 c 1508s | 17 | 326459 | 237932 | 82335 4 | 75 | 0 1511.77/1512.21 c 1511s | 17 | 326826 | 238232 | 82335 4 | 75 | 0 1513.77/1514.29 c 1513s | 17 | 327341 | 238532 | 82335 4 | 75 | 0 1515.87/1516.36 c 1515s | 17 | 327712 | 238832 | 82335 4 | 75 | 0 1518.17/1518.65 c 1517s | 17 | 328083 | 239132 | 82335 4 | 75 | 0 1520.37/1520.87 c 1520s | 17 | 328462 | 239432 | 82335 4 | 75 | 0 1522.87/1523.33 c 1522s | 17 | 329227 | 239832 | 82335 4 | 75 | 0 1525.77/1526.21 c 1525s | 17 | 329840 | 240232 | 82335 4 | 75 | 0 1528.17/1528.65 c 1527s | 17 | 330300 | 240532 | 82335 4 | 75 | 0 1530.37/1530.82 c 1529s | 17 | 330952 | 240932 | 82335 4 | 75 | 0 1532.97/1533.45 c 1532s | 17 | 331506 | 241332 | 82335 4 | 75 | 0 1534.97/1535.47 c 1534s | 17 | 331761 | 241532 | 82335 4 | 75 | 0 1537.17/1537.61 c 1536s | 17 | 331994 | 241732 | 82335 4 | 75 | 0 1539.17/1539.67 c 1538s | 17 | 332419 | 241932 | 82335 4 | 75 | 0 1541.26/1541.71 c 1540s | 17 | 332756 | 242232 | 82335 4 | 75 | 0 1543.66/1544.16 c 1543s | 17 | 333330 | 242732 | 82335 4 | 75 | 0 1546.06/1546.57 c 1545s | 17 | 333662 | 243032 | 82335 4 | 75 | 0 1548.16/1548.66 c 1547s | 17 | 333998 | 243332 | 82335 4 | 75 | 0 1550.86/1551.37 c 1550s | 17 | 334621 | 243732 | 82335 4 | 75 | 0 1553.46/1553.97 c 1553s | 17 | 335028 | 244132 | 82335 4 | 75 | 0 1555.96/1556.49 c 1555s | 17 | 335791 | 244532 | 82335 4 | 75 | 0 1558.37/1558.83 c 1558s | 17 | 336205 | 244932 | 82335 4 | 75 | 0 1560.76/1561.21 c 1560s | 17 | 336669 | 245332 | 82335 4 | 75 | 0 1563.17/1563.67 c 1562s | 17 | 337044 | 245632 | 82335 4 | 75 | 0 1565.27/1565.75 c 1564s | 17 | 337398 | 245932 | 82335 4 | 75 | 0 1567.57/1568.04 c 1567s | 17 | 337940 | 246332 | 82335 4 | 75 | 0 1569.57/1570.07 c 1569s | 17 | 338383 | 246732 | 82335 4 | 75 | 0 1571.87/1572.32 c 1571s | 17 | 338822 | 247132 | 82335 4 | 75 | 0 1574.07/1574.56 c 1573s | 17 | 339157 | 247432 | 82335 4 | 75 | 0 1576.47/1576.96 c 1576s | 17 | 339578 | 247832 | 82335 4 | 75 | 0 1578.77/1579.26 c 1578s | 17 | 339932 | 248132 | 82335 4 | 75 | 0 1581.47/1581.94 c 1581s | 17 | 340244 | 248432 | 82335 4 | 75 | 0 1583.46/1583.97 c 1583s | 17 | 340567 | 248732 | 82335 4 | 75 | 0 1585.96/1586.47 c 1585s | 17 | 341082 | 249132 | 82335 4 | 75 | 0 1588.56/1589.00 c 1588s | 17 | 341434 | 249432 | 82335 4 | 75 | 0 1590.96/1591.46 c 1590s | 17 | 341738 | 249732 | 82335 4 | 75 | 0 1593.06/1593.59 c 1592s | 17 | 342145 | 250132 | 82335 4 | 75 | 0 1597.56/1598.02 c 1597s | 17 | 342475 | 250432 | 82335 5 | 75 | 0 1599.76/1600.27 c 1599s | 17 | 342928 | 250732 | 82335 5 | 75 | 0 1601.86/1602.33 c 1601s | 17 | 343505 | 251132 | 82335 5 | 75 | 0 1604.16/1604.61 c 1603s | 17 | 344110 | 251632 | 82335 5 | 75 | 0 1606.26/1606.79 c 1605s | 17 | 344790 | 252032 | 82335 5 | 75 | 0 1608.66/1609.17 c 1608s | 17 | 345689 | 252432 | 82335 5 | 75 | 0 1610.86/1611.35 c 1610s | 17 | 346380 | 252832 | 82335 5 | 75 | 0 1613.15/1613.64 c 1612s | 17 | 346974 | 253232 | 82335 5 | 75 | 0 1615.56/1616.01 c 1615s | 17 | 347582 | 253732 | 82335 5 | 75 | 0 1617.76/1618.21 c 1617s | 17 | 348430 | 254232 | 82335 5 | 75 | 0 1620.25/1620.70 c 1619s | 17 | 349525 | 254832 | 82335 5 | 75 | 0 1622.35/1622.85 c 1622s | 17 | 350232 | 255232 | 82335 5 | 75 | 0 1624.75/1625.29 c 1624s | 17 | 350980 | 255732 | 82335 5 | 75 | 0 1626.95/1627.47 c 1626s | 17 | 351355 | 256032 | 82335 5 | 75 | 0 1629.15/1629.62 c 1628s | 17 | 351929 | 256532 | 82335 5 | 75 | 0 1631.15/1631.64 c 1630s | 17 | 352464 | 257032 | 82335 5 | 75 | 0 1633.25/1633.73 c 1632s | 17 | 352978 | 257532 | 82335 5 | 75 | 0 1635.55/1636.09 c 1635s | 17 | 353672 | 258032 | 82335 5 | 75 | 0 1637.85/1638.33 c 1637s | 17 | 354299 | 258432 | 82335 5 | 75 | 0 1640.55/1641.03 c 1640s | 17 | 354858 | 258932 | 82335 5 | 75 | 0 1642.95/1643.45 c 1642s | 17 | 355458 | 259432 | 82335 5 | 75 | 0 1645.25/1645.72 c 1644s | 17 | 356145 | 259932 | 82335 5 | 75 | 0 1647.65/1648.11 c 1647s | 17 | 356740 | 260332 | 82335 5 | 75 | 0 1650.05/1650.58 c 1649s | 17 | 357253 | 260832 | 82335 5 | 75 | 0 1652.15/1652.60 c 1651s | 17 | 357624 | 261132 | 82335 5 | 75 | 0 1654.35/1654.83 c 1654s | 17 | 358158 | 261632 | 82335 5 | 75 | 0 1656.75/1657.26 c 1656s | 17 | 358629 | 262032 | 82335 5 | 75 | 0 1658.75/1659.28 c 1658s | 17 | 359230 | 262432 | 82335 5 | 75 | 0 1661.25/1661.74 c 1660s | 17 | 360160 | 262932 | 82335 5 | 75 | 0 1663.25/1663.75 c 1662s | 17 | 360599 | 263332 | 82335 5 | 75 | 0 1665.54/1666.03 c 1665s | 17 | 361117 | 263832 | 82335 5 | 75 | 0 1668.04/1668.57 c 1667s | 17 | 361679 | 264332 | 82335 5 | 75 | 0 1670.45/1670.99 c 1670s | 17 | 362287 | 264732 | 82335 5 | 75 | 0 1672.94/1673.40 c 1672s | 17 | 363000 | 265132 | 82335 5 | 75 | 0 1675.14/1675.66 c 1674s | 17 | 363680 | 265532 | 82335 5 | 75 | 0 1677.34/1677.87 c 1677s | 17 | 364112 | 265832 | 82335 5 | 75 | 0 1679.74/1680.21 c 1679s | 17 | 364603 | 266232 | 82335 5 | 75 | 0 1682.14/1682.60 c 1681s | 17 | 364997 | 266632 | 82335 5 | 75 | 0 1684.45/1684.92 c 1684s | 17 | 365450 | 267032 | 82335 5 | 75 | 0 1686.55/1687.09 c 1686s | 17 | 366184 | 267432 | 82335 5 | 75 | 0 1688.95/1689.44 c 1688s | 17 | 366631 | 267832 | 82335 5 | 75 | 0 1691.05/1691.57 c 1690s | 17 | 367345 | 268232 | 82335 5 | 75 | 0 1693.15/1693.60 c 1692s | 17 | 368110 | 268532 | 82335 5 | 75 | 0 1695.65/1696.13 c 1695s | 17 | 368918 | 268932 | 82335 5 | 75 | 0 1698.15/1698.65 c 1697s | 17 | 369583 | 269332 | 82335 5 | 75 | 0 1700.65/1701.15 c 1700s | 17 | 370471 | 269732 | 82335 5 | 75 | 0 1703.05/1703.51 c 1702s | 17 | 371520 | 270132 | 82335 5 | 75 | 0 1705.45/1705.90 c 1705s | 17 | 372098 | 270532 | 82335 5 | 75 | 0 1707.85/1708.35 c 1707s | 17 | 372595 | 270932 | 82335 5 | 75 | 0 1710.35/1710.86 c 1710s | 17 | 373194 | 271332 | 82335 5 | 75 | 0 1713.04/1713.55 c 1712s | 17 | 374396 | 271732 | 82335 5 | 75 | 0 1715.74/1716.22 c 1715s | 17 | 374935 | 272132 | 82335 5 | 75 | 0 1717.75/1718.23 c 1717s | 17 | 375532 | 272432 | 82335 5 | 75 | 0 1720.34/1720.84 c 1720s | 17 | 376285 | 272832 | 82335 5 | 75 | 0 1722.84/1723.31 c 1722s | 17 | 377059 | 273232 | 82335 5 | 75 | 0 1725.14/1725.67 c 1724s | 17 | 377554 | 273632 | 82335 5 | 75 | 0 1727.94/1728.42 c 1727s | 17 | 378218 | 274032 | 82335 5 | 75 | 0 1729.95/1730.49 c 1729s | 17 | 378749 | 274332 | 82335 5 | 75 | 0 1732.54/1733.01 c 1732s | 17 | 379198 | 274632 | 82335 5 | 75 | 0 1734.74/1735.26 c 1734s | 17 | 379514 | 274932 | 82335 5 | 75 | 0 1737.24/1737.71 c 1736s | 17 | 379912 | 275232 | 82335 5 | 75 | 0 1739.74/1740.23 c 1739s | 17 | 380625 | 275632 | 82335 5 | 75 | 0 1742.34/1742.87 c 1742s | 17 | 381003 | 275932 | 82335 5 | 75 | 0 1744.84/1745.36 c 1744s | 17 | 381480 | 276232 | 82335 5 | 75 | 0 1747.04/1747.54 c 1746s | 17 | 381933 | 276532 | 82335 5 | 75 | 0 1749.24/1749.78 c 1748s | 17 | 382632 | 276832 | 82335 5 | 75 | 0 1751.34/1751.87 c 1751s | 17 | 383074 | 277132 | 82335 5 | 75 | 0 1753.54/1754.08 c 1753s | 17 | 383369 | 277432 | 82335 5 | 75 | 0 1756.14/1756.67 c 1755s | 17 | 383685 | 277732 | 82335 5 | 75 | 0 1758.33/1758.85 c 1758s | 17 | 384004 | 278032 | 82335 5 | 75 | 0 1760.43/1760.90 c 1760s | 17 | 384269 | 278232 | 82335 5 | 75 | 0 1763.13/1763.68 c 1762s | 17 | 384973 | 278532 | 82335 5 | 75 | 0 1765.93/1766.43 c 1765s | 17 | 385268 | 278832 | 82335 5 | 75 | 0 1767.93/1768.49 c 1767s | 17 | 385515 | 279032 | 82335 5 | 75 | 0 1770.54/1771.00 c 1770s | 17 | 385845 | 279332 | 82335 5 | 75 | 0 1773.23/1773.76 c 1772s | 17 | 386218 | 279632 | 82335 5 | 75 | 0 1775.53/1776.02 c 1775s | 17 | 386539 | 279932 | 82335 5 | 75 | 0 1777.63/1778.11 c 1777s | 17 | 386849 | 280232 | 82335 5 | 75 | 0 1779.73/1780.20 c 1779s | 17 | 387170 | 280532 | 82335 5 | 75 | 0 1781.93/1782.44 c 1781s | 17 | 387530 | 280832 | 82335 5 | 75 | 0 1784.43/1784.98 c 1784s | 17 | 387876 | 281132 | 82335 5 | 75 | 0 1786.93/1787.41 c 1786s | 17 | 388204 | 281432 | 82335 5 | 75 | 0 1789.13/1789.69 c 1788s | 17 | 388608 | 281732 | 82335 5 | 75 | 0 1791.53/1792.06 c 1791s | 17 | 389245 | 282032 | 82335 5 | 75 | 0 1794.03/1794.55 c 1793s | 17 | 390504 | 282432 | 82335 5 | 75 | 0 1796.93/1797.41 c 1796s | 17 | 390848 | 282732 | 82335 5 | 75 | 0 1799.42/1799.95 c 1799s | 17 | 391050 | 282932 | 82335 5 | 75 | 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-4079330-1465338921/watcher-4079330-1465338921 -o /tmp/evaluation-result-4079330-1465338921/solver-4079330-1465338921 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079330-1465338921.opb pid=23870 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.11 2.10 2.09 3/179 23873 /proc/meminfo: memFree=30397996/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 4 0 115825599 246870016 654 33554432000 4194304 16246674 140737042592864 140737042592288 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 60271 656 436 2943 0 57165 0 [pid=23873/tid=23874] ppid=23870 vsize=246204 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 252112896 686 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=250300 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 256307200 701 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=254396 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115825599 260501504 719 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.11 2.10 2.09 3/179 23873 /proc/meminfo: memFree=30397996/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 28010 0 0 0 5 3 0 0 20 0 4 0 115825599 1333334016 27798 33554432000 4194304 16246674 140737042592864 140737042592176 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 325521 27810 801 2943 0 322415 0 [pid=23873/tid=23874] ppid=23870 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1333334016 27820 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1333334016 27832 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1333334016 27845 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200491 s] /proc/loadavg: 2.11 2.10 2.09 3/179 23873 /proc/meminfo: memFree=30397996/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 46418 0 0 0 13 6 0 0 20 0 4 0 115825599 1345916928 46716 33554432000 4194304 16246674 140737042592864 140737042592176 7378079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 328593 46716 801 2943 0 325487 0 [pid=23873/tid=23874] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 46716 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 46716 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 46716 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300493 s] /proc/loadavg: 2.11 2.10 2.09 3/179 23873 /proc/meminfo: memFree=30397996/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1314372 CPUtime=0.28 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 54968 0 0 0 21 7 0 0 20 0 4 0 115825599 1345916928 55266 33554432000 4194304 16246674 140737042592864 140737042592176 4221031 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 328593 55266 812 2943 0 325487 0 [pid=23873/tid=23874] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 55266 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 55266 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 55266 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700448 s] /proc/loadavg: 2.11 2.10 2.09 3/179 23873 /proc/meminfo: memFree=30397996/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 96140 0 0 0 56 13 0 0 20 0 4 0 115825599 1345916928 96438 33554432000 4194304 16246674 140737042592864 140737042592176 6969814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 328593 96446 844 2943 0 325487 0 [pid=23873/tid=23874] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 96452 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 96458 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 96463 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50044 s] /proc/loadavg: 2.18 2.12 2.09 3/183 23877 /proc/meminfo: memFree=29840668/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 159726 0 0 0 128 20 0 0 20 0 4 0 115825599 1345916928 160024 33554432000 4194304 16246674 140737042592864 140737042574784 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 328593 160026 887 2943 0 325487 0 [pid=23873/tid=23874] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 160029 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 160031 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 160032 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.10044 s] /proc/loadavg: 2.18 2.12 2.09 3/183 23877 /proc/meminfo: memFree=29579756/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1314372 CPUtime=3.09 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 253972 0 0 0 275 34 0 0 20 0 4 0 115825599 1345916928 254271 33554432000 4194304 16246674 140737042592864 140737042574784 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 328593 254274 887 2943 0 325487 0 [pid=23873/tid=23874] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 254275 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 254275 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1345916928 254276 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30046 s] /proc/loadavg: 2.18 2.12 2.09 3/183 23877 /proc/meminfo: memFree=29314292/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1322564 CPUtime=6.28 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 271321 0 0 0 592 36 0 0 20 0 4 0 115825599 1354305536 271619 33554432000 4194304 16246674 140737042592864 140737042574784 5600720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 330641 271619 890 2943 0 327535 0 [pid=23873/tid=23874] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271619 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271619 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271619 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.22 2.13 2.10 3/183 23877 /proc/meminfo: memFree=29313956/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1322564 CPUtime=12.68 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 271326 0 0 0 1232 36 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140737042574784 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 330641 271624 894 2943 0 327535 0 [pid=23873/tid=23874] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.19 2.12 2.10 3/183 23877 /proc/meminfo: memFree=29313704/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1322564 CPUtime=25.48 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 271326 0 0 0 2512 36 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140737042574784 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 330641 271624 894 2943 0 327535 0 [pid=23873/tid=23874] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.12 2.11 2.09 3/183 23877 /proc/meminfo: memFree=29249568/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 271326 0 0 0 5071 37 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140737042574784 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 330641 271624 894 2943 0 327535 0 [pid=23873/tid=23874] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.05 2.09 2.08 3/183 23878 /proc/meminfo: memFree=29249320/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1322564 CPUtime=102.27 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 271326 0 0 0 10190 37 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140737042574784 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 330641 271624 894 2943 0 327535 0 [pid=23873/tid=23874] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1354305536 271624 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1380932 [startup+1362.3 s] /proc/loadavg: 2.01 2.04 2.06 3/183 23958 /proc/meminfo: memFree=29237908/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1380932 CPUtime=1361.89 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 286075 0 0 0 136134 55 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140737042574784 5823690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 345233 286241 898 2943 0 342127 0 [pid=23873/tid=23874] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1380932 [startup+1422.3 s] /proc/loadavg: 2.14 2.06 2.07 3/183 23959 /proc/meminfo: memFree=29238100/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1380932 CPUtime=1421.9 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 286075 0 0 0 142134 56 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140737042574784 5827784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 345233 286241 898 2943 0 342127 0 [pid=23873/tid=23874] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1380932 [startup+1482.3 s] /proc/loadavg: 2.09 2.06 2.07 3/184 23963 /proc/meminfo: memFree=29236940/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1380932 CPUtime=1481.88 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 286075 0 0 0 148132 56 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140737042574784 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 345233 286241 898 2943 0 342127 0 [pid=23873/tid=23874] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1380932 [startup+1542.31 s] /proc/loadavg: 2.15 2.08 2.07 3/184 23988 /proc/meminfo: memFree=29214508/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1380932 CPUtime=1541.87 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 286075 0 0 0 154131 56 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140737042574784 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 345233 286241 898 2943 0 342127 0 [pid=23873/tid=23874] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1414074368 286241 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1380932 [startup+1602.3 s] /proc/loadavg: 2.05 2.06 2.06 3/183 23989 /proc/meminfo: memFree=29211332/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1385028 CPUtime=1601.86 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 287334 0 0 0 160129 57 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140737042574784 5823182 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 346257 287500 898 2943 0 343151 0 [pid=23873/tid=23874] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1385028 [startup+1662.3 s] /proc/loadavg: 2.06 2.06 2.06 3/183 23990 /proc/meminfo: memFree=29211976/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1385028 CPUtime=1661.85 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 287334 0 0 0 166128 57 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140737042574784 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 346257 287500 898 2943 0 343151 0 [pid=23873/tid=23874] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1385028 [startup+1722.3 s] /proc/loadavg: 2.16 2.09 2.07 4/183 23991 /proc/meminfo: memFree=29212232/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1385028 CPUtime=1721.84 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 287334 0 0 0 172126 58 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140737042574784 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 346257 287500 898 2943 0 343151 0 [pid=23873/tid=23874] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1385028 [startup+1782.3 s] /proc/loadavg: 2.06 2.07 2.07 3/183 23992 /proc/meminfo: memFree=29211996/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1385028 CPUtime=1781.83 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 287334 0 0 0 178125 58 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140737042574784 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 346257 287500 898 2943 0 343151 0 [pid=23873/tid=23874] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1385028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.07 2.07 3/183 23992 /proc/meminfo: memFree=29212496/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1385028 CPUtime=1800.02 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 287334 0 0 0 179944 58 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140737042574784 5822612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 346257 287500 898 2943 0 343151 0 [pid=23873/tid=23874] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1385028 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 23873 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.07 2.07 3/183 23992 /proc/meminfo: memFree=29212496/32872528 swapFree=11196/354588 [pid=23873] ppid=23870 vsize=1385028 CPUtime=1800.02 cores=0,2,4,6 /proc/23873/stat : 23873 (toysat) R 23870 23873 21010 0 -1 4202496 287334 0 0 0 179944 58 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140737042574784 5822612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23873/statm: 346257 287500 898 2943 0 343151 0 [pid=23873/tid=23874] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23874/stat : 23874 (toysat) S 23870 23873 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246118280432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=23873/tid=23875] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23875/stat : 23875 (toysat) S 23870 23873 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246107790576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=23873/tid=23876] ppid=23870 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/23873/task/23876/stat : 23876 (toysat) S 23870 23873 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115825599 1418268672 287500 33554432000 4194304 16246674 140737042592864 140246097317040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1385028 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.45 CPU system time (s): 0.58891 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1385028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.58891 maximum resident set size= 1150000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287334 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= 402 involuntary context switches= 2073 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.8911 second user time and 13.7549 second system time The end
Begin job on node126 at 2016-06-08 00:35:21 IDJOB=4079330 IDBENCH=92762 IDSOLVER=2542 FILE ID=node126/4079330-1465338921 RUNJOBID= node126-1465306898-21026 PBS_JOBID= 19849495 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079330-1465338921/watcher-4079330-1465338921 -o /tmp/evaluation-result-4079330-1465338921/solver-4079330-1465338921 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079330-1465338921.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fa2d46c927da2620047f5e5cfeece7cd RANDOM SEED=995182138 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30398540 kB Buffers: 50564 kB Cached: 237552 kB SwapCached: 2088 kB Active: 1221040 kB Inactive: 164432 kB Active(anon): 1095080 kB Inactive(anon): 4628 kB Active(file): 125960 kB Inactive(file): 159804 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098680 kB Dirty: 17848 kB Writeback: 0 kB AnonPages: 1451100 kB Mapped: 10660 kB Shmem: 0 kB Slab: 600516 kB SReclaimable: 44116 kB SUnreclaim: 556400 kB KernelStack: 1464 kB PageTables: 7028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1593412 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1185792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node126 at 2016-06-08 01:05:22