| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb |
| MD5SUM | cc797868c6f9cb3811b8dc2300ad7f9f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 275.589 |
| 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 | 107808 |
| Total number of constraints | 3904 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3904 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 1440 |
| Number of terms in the objective function | 38688 |
| Biggest coefficient in the objective function | 612 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 556800 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 556800 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T03:59:09+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-4100489-1466215149.opb"] 0.00/0.01 c use --random-gen="3783339844 4256182850 4039931142 5650393 3502621494 3654396198 3443410063 3493628338 4289335681 441468347 867714992 2371179013 814465464 3854517727 2536633540 3803766487 3052144070 922178033 3759898754 1763829008 471161654 3199028607 4235336474 1667597924 1284451334 2185947183 4192172077 1912920078 1891592587 2567696139 209708711 3652863994 3025708206 2275442910 776476832 3774654751 211647493 1529867609 707746139 2101583985 3704724015 4251264279 2690117277 2075030373 1321839925 1612002226 2512589220 1866890276 613904291 2037948896 1933578741 2220129390 1690533977 289014508 3023274290 599462450 136810424 2318507341 3634171127 1168647153 1644789829 2959080000 3756654743 4030124491 702897282 3254838216 2519320682 1320793167 3975569004 2627786720 354397947 1332980541 3131398374 3133521381 2855984266 772207939 1527654192 2854484401 3439658042 3687936196 3000368902 1866928497 599889240 736261476 2281686788 1225409625 3650862912 2669116592 1458681042 4111093640 4221777573 2072587515 3226016468 1864995355 317335545 1459905818 112523342 2692715238 707446018 11853469 3448000923 1180371202 1970074384 3583564684 215591727 3925771388 2202986348 1543457224 3963738813 3197160816 1033190284 2061201931 2391897002 3298716712 876447593 2824633070 1167611195 3805764967 148225167 1352375426 683540300 2581049243 3894611500 738638821 2408491305 3674710790 1048132594 1176551765 801471527 3379854966 2611620448 2931946728 3240966440 611993572 2106168586 3491061746 1073660014 3216352308 3611037584 82029254 3431859835 3320959220 1431886807 2230946068 1456763816 2493190199 3465548710 3758217305 1872276784 733307722 500087542 1388090247 474728413 3331063839 1893300405 1147622122 3126724503 3165893582 3351939081 2951014816 2556790220 4249277174 3778415168 1552784626 2741463020 1400308351 3996691776 575026413 3262813361 476431838 3503347563 1147450204 2703709032 989315351 2099781334 3530939850 2988221603 2152716554 4025186473 3799142322 3872600240 135180284 2320335572 3037537928 1414714898 3664779000 2728142970 2462619802 3589397534 2779993705 73510783 489714517 3776843586 891494159 3906468221 520559303 1035494161 1203420307 2819378455 1200338884 2301424874 4191093752 2243847266 3591063953 4053495829 2969543253 2944551170 710559769 4070517689 2523660588 1139916693 1749434013 2242821929 2710451196 3280493166 287121006 4289391408 2735365358 2257285061 3468464774 3538903282 2663235259 942892843 355140585 311109604 4276494506 3962568413 2403998561 1204959270 2793892754 1868138992 833687492 672787157 722533363 739323757 4224478352 3238943482 2521139130 2076337033 427342196 552471652 45871335 3157518493 97709035 3801718004 2385265255 1788565459 699825178 2456678675 2466029260 3647372364 1297050499 2298545043 600070743 1040274607 3005125489 255 362436" option to reproduce the execution 0.59/0.63 c #vars 107808 0.59/0.63 c #constraints 3904 2.09/2.17 c BCD2: Hardening is enabled. 2.09/2.17 c BCD2: BiasedSearch is enabled. 2.09/2.17 c Solving starts ... 2.09/2.17 c ============================[ Search Statistics ]============================ 2.09/2.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.17 c | | | | Limit GC | Var | Constra 2.09/2.17 c ============================================================================= 2.20/2.29 c 0.0s | 0 | 0 | 0 | 37664 0 | 34028 | 0 2.39/2.49 c 0.2s | 1 | 2173 | 100 | 37664 0 | 34028 | 0 2.59/2.64 c 0.4s | 2 | 3195 | 250 | 41431 0 | 34028 | 0 2.89/2.99 c 0.7s | 3 | 5811 | 475 | 45575 0 | 34030 | 0 3.19/3.25 c 1.0s | 4 | 7844 | 813 | 50133 0 | 34030 | 0 3.79/3.82 c 1.5s | 5 | 10091 | 1320 | 55147 0 | 34030 | 0 4.49/4.57 c 2.3s | 6 | 15841 | 2081 | 66729 0 | 34030 | 0 5.29/5.38 c 3.1s | 7 | 24442 | 3223 | 73402 0 | 34030 | 0 6.19/6.26 c 4.0s | 8 | 34297 | 4936 | 80743 0 | 34030 | 0 7.89/7.98 c 5.7s | 9 | 45799 | 7506 | 88818 0 | 34034 | 0 9.89/10.00 c 7.7s | 9 | 58707 | 10306 | 88818 0 | 34034 | 0 10.69/10.71 c 8.4s | 10 | 63368 | 11361 | 97700 0 | 34034 | 0 12.69/12.75 c 10.5s | 10 | 75234 | 13661 | 97700 0 | 34034 | 0 14.78/14.81 c 12.5s | 10 | 83821 | 15961 | 97700 0 | 34034 | 0 15.88/15.91 c 13.6s | 11 | 88139 | 17144 | 107471 0 | 34034 | 0 17.88/17.97 c 15.7s | 11 | 97029 | 19744 | 107471 0 | 34034 | 0 19.98/20.00 c 17.7s | 11 | 106930 | 22344 | 107471 0 | 34034 | 0 21.99/22.00 c 19.7s | 11 | 115820 | 24644 | 107471 0 | 34034 | 0 22.98/23.09 c 20.8s | 12 | 120161 | 25819 | 118219 0 | 34034 | 0 25.08/25.13 c 22.8s | 12 | 131441 | 27619 | 118219 0 | 34034 | 0 27.08/27.18 c 24.9s | 12 | 136194 | 29319 | 118219 0 | 34034 | 0 29.18/29.20 c 26.9s | 12 | 141892 | 31219 | 118219 0 | 34034 | 0 31.18/31.20 c 28.9s | 12 | 150531 | 33419 | 118219 0 | 34034 | 0 33.18/33.25 c 31.0s | 12 | 160289 | 36019 | 118219 0 | 34034 | 0 35.19/35.26 c 33.0s | 12 | 168637 | 38419 | 118219 0 | 34034 | 0 35.58/35.68 c 33.4s | 13 | 169842 | 38832 | 130041 0 | 34034 | 0 37.58/37.68 c 35.4s | 13 | 181292 | 41632 | 130041 0 | 34034 | 0 39.69/39.72 c 37.4s | 13 | 194220 | 45132 | 130041 0 | 34034 | 0 41.68/41.76 c 39.5s | 13 | 204690 | 48532 | 130041 0 | 34034 | 0 43.78/43.87 c 41.6s | 13 | 213271 | 51532 | 130041 0 | 34034 | 0 45.88/45.92 c 43.6s | 13 | 222265 | 54432 | 130041 0 | 34034 | 0 47.88/47.92 c 45.6s | 13 | 229632 | 56832 | 130041 0 | 34034 | 0 49.08/49.16 c 46.9s | 14 | 234306 | 58352 | 143046 0 | 34034 | 0 51.18/51.26 c 49.0s | 14 | 239712 | 59452 | 143046 0 | 34034 | 0 53.28/53.30 c 51.0s | 14 | 244752 | 60752 | 143046 0 | 34034 | 0 55.38/55.45 c 53.2s | 14 | 249751 | 61952 | 143046 0 | 34034 | 0 57.48/57.59 c 55.3s | 14 | 254541 | 63252 | 143046 0 | 34034 | 0 59.68/59.73 c 57.4s | 14 | 259147 | 64552 | 143046 0 | 34034 | 0 61.68/61.75 c 59.5s | 14 | 263209 | 65752 | 143046 0 | 34034 | 0 63.68/63.76 c 61.5s | 14 | 267639 | 66952 | 143046 0 | 34034 | 0 65.78/65.81 c 63.5s | 14 | 271538 | 68252 | 143046 0 | 34034 | 0 67.77/67.88 c 65.6s | 14 | 275300 | 69552 | 143046 0 | 34034 | 0 69.87/69.90 c 67.6s | 14 | 278556 | 70852 | 143046 0 | 34034 | 0 71.97/72.06 c 69.8s | 14 | 281311 | 72052 | 143046 0 | 34034 | 0 74.07/74.11 c 71.8s | 14 | 284223 | 73152 | 143046 0 | 34034 | 0 76.07/76.19 c 73.9s | 14 | 286667 | 74152 | 143046 0 | 34034 | 0 78.18/78.29 c 76.0s | 14 | 289630 | 75252 | 143046 0 | 34034 | 0 80.38/80.42 c 78.1s | 14 | 292318 | 76352 | 143046 0 | 34034 | 0 82.37/82.48 c 80.2s | 14 | 294839 | 77452 | 143046 0 | 34034 | 0 84.47/84.52 c 82.2s | 14 | 297194 | 78552 | 143046 0 | 34034 | 0 86.77/86.81 c 84.5s | 14 | 299136 | 79552 | 143046 0 | 34034 | 0 88.77/88.82 c 86.5s | 14 | 300993 | 80452 | 143046 0 | 34034 | 0 90.87/90.94 c 88.6s | 14 | 302774 | 81452 | 143046 0 | 34034 | 0 92.97/93.04 c 90.7s | 14 | 304503 | 82552 | 143046 0 | 34034 | 0 94.97/95.05 c 92.8s | 14 | 306164 | 83452 | 143046 0 | 34034 | 0 97.07/97.19 c 94.9s | 14 | 307847 | 84252 | 143046 0 | 34034 | 0 99.47/99.56 c 97.3s | 14 | 309309 | 85052 | 143046 0 | 34034 | 0 101.77/101.83 c 99.5s | 14 | 310661 | 85752 | 143046 0 | 34034 | 0 103.87/103.90 c 101s | 14 | 312281 | 86552 | 143046 0 | 34034 | 0 106.07/106.12 c 103s | 14 | 313917 | 87352 | 157351 0 | 34034 | 0 106.68/106.76 c 104s | 15 | 314396 | 87632 | 157351 0 | 34034 | 0 108.77/108.82 c 106s | 15 | 319376 | 89032 | 157351 0 | 34034 | 0 110.77/110.89 c 108s | 15 | 323383 | 90432 | 157351 0 | 34034 | 0 112.88/112.99 c 110s | 15 | 327640 | 91832 | 157351 0 | 34034 | 0 114.98/115.07 c 112s | 15 | 331861 | 93332 | 157351 0 | 34034 | 0 117.08/117.19 c 114s | 15 | 336090 | 95032 | 157351 0 | 34034 | 0 119.27/119.31 c 117s | 15 | 340315 | 96532 | 157351 0 | 34034 | 0 121.27/121.39 c 119s | 15 | 344103 | 98032 | 157351 0 | 34034 | 0 123.37/123.47 c 121s | 15 | 348449 | 99532 | 157351 0 | 34034 | 0 125.48/125.52 c 123s | 15 | 354779 | 100832 | 157351 0 | 34034 | 0 127.47/127.57 c 125s | 15 | 362416 | 102432 | 157351 0 | 34034 | 0 129.47/129.57 c 127s | 15 | 371215 | 104432 | 157351 0 | 34034 | 0 131.57/131.60 c 129s | 15 | 375785 | 105332 | 157351 0 | 34034 | 0 133.57/133.62 c 131s | 15 | 382113 | 106632 | 157351 0 | 34034 | 0 135.57/135.64 c 133s | 15 | 386717 | 107732 | 157351 0 | 34034 | 0 137.77/137.85 c 135s | 15 | 390654 | 108532 | 157351 0 | 34034 | 0 139.87/139.93 c 137s | 15 | 396263 | 109632 | 157351 0 | 34034 | 0 142.07/142.12 c 139s | 15 | 404533 | 111532 | 157351 0 | 34034 | 0 144.27/144.31 c 142s | 15 | 409497 | 112832 | 157351 0 | 34034 | 0 146.38/146.49 c 144s | 15 | 413818 | 113932 | 157351 0 | 34034 | 0 148.37/148.50 c 146s | 15 | 418076 | 115132 | 157351 0 | 34034 | 0 150.47/150.56 c 148s | 15 | 421354 | 116132 | 157351 0 | 34034 | 0 152.47/152.57 c 150s | 15 | 424906 | 117232 | 157351 0 | 34034 | 0 154.57/154.62 c 152s | 15 | 428898 | 118432 | 157351 0 | 34034 | 0 156.57/156.62 c 154s | 15 | 432009 | 119432 | 157351 0 | 34034 | 0 158.57/158.68 c 156s | 15 | 435362 | 120432 | 157351 0 | 34034 | 0 160.67/160.79 c 158s | 15 | 438220 | 121532 | 157351 0 | 34034 | 0 162.87/162.94 c 160s | 15 | 441180 | 122432 | 157351 0 | 34034 | 0 164.87/165.00 c 162s | 15 | 445923 | 123132 | 157351 0 | 34034 | 0 167.07/167.12 c 164s | 15 | 448186 | 123732 | 157351 0 | 34034 | 0 169.56/169.62 c 167s | 15 | 449694 | 124232 | 157351 0 | 34034 | 0 171.57/171.64 c 169s | 15 | 451141 | 124632 | 157351 0 | 34034 | 0 173.87/173.92 c 171s | 15 | 453271 | 125132 | 157351 0 | 34034 | 0 175.86/175.95 c 173s | 15 | 455008 | 125532 | 157351 0 | 34034 | 0 178.06/178.15 c 175s | 15 | 456686 | 125932 | 157351 0 | 34034 | 0 180.46/180.58 c 178s | 15 | 458765 | 126432 | 157351 0 | 34034 | 0 182.86/182.95 c 180s | 15 | 460132 | 126932 | 157351 0 | 34034 | 0 185.26/185.36 c 183s | 15 | 461791 | 127432 | 157351 0 | 34034 | 0 187.55/187.65 c 185s | 15 | 463278 | 127832 | 157351 0 | 34034 | 0 189.65/189.76 c 187s | 15 | 464824 | 128232 | 157351 0 | 34034 | 0 191.75/191.89 c 189s | 15 | 466600 | 128632 | 157351 0 | 34034 | 0 194.25/194.34 c 192s | 15 | 468245 | 129132 | 157351 0 | 34034 | 0 196.75/196.84 c 194s | 15 | 470253 | 129632 | 157351 0 | 34034 | 0 198.95/199.01 c 196s | 15 | 471506 | 130032 | 157351 0 | 34034 | 0 200.95/201.07 c 198s | 15 | 472878 | 130432 | 157351 0 | 34034 | 0 203.05/203.10 c 200s | 15 | 474290 | 130832 | 173087 0 | 34034 | 0 205.15/205.24 c 202s | 15 | 475938 | 131232 | 173087 0 | 34034 | 0 206.65/206.76 c 204s | 16 | 476991 | 131552 | 173087 0 | 34034 | 0 208.84/208.90 c 206s | 16 | 479316 | 131952 | 173087 0 | 34034 | 0 210.84/210.92 c 208s | 16 | 482698 | 132852 | 173087 0 | 34034 | 0 212.94/213.00 c 210s | 16 | 486853 | 133952 | 173087 0 | 34034 | 0 214.94/215.09 c 212s | 16 | 489747 | 134552 | 173087 0 | 34034 | 0 217.04/217.18 c 214s | 16 | 495428 | 135552 | 173087 0 | 34034 | 0 219.14/219.22 c 216s | 16 | 501021 | 136852 | 173087 0 | 34034 | 0 221.15/221.28 c 218s | 16 | 506341 | 138152 | 173087 0 | 34034 | 0 223.25/223.37 c 221s | 16 | 511651 | 139552 | 173087 0 | 34034 | 0 225.34/225.42 c 223s | 16 | 516823 | 140952 | 173087 0 | 34034 | 0 227.44/227.51 c 225s | 16 | 521810 | 142352 | 173087 0 | 34034 | 0 229.44/229.55 c 227s | 16 | 526006 | 143752 | 173087 0 | 34034 | 0 231.53/231.68 c 229s | 16 | 530050 | 145152 | 173087 0 | 34034 | 0 233.63/233.79 c 231s | 16 | 534044 | 146352 | 173087 0 | 34034 | 0 236.03/236.11 c 233s | 16 | 538301 | 147252 | 173087 0 | 34034 | 0 238.03/238.19 c 235s | 16 | 541554 | 148052 | 173087 0 | 34034 | 0 240.13/240.26 c 237s | 16 | 545480 | 148952 | 173087 0 | 34034 | 0 242.33/242.42 c 240s | 16 | 548116 | 149752 | 173087 0 | 34034 | 0 244.53/244.66 c 242s | 16 | 551536 | 150652 | 173087 0 | 34034 | 0 246.63/246.70 c 244s | 16 | 554434 | 151452 | 173087 0 | 34034 | 0 248.73/248.86 c 246s | 16 | 557062 | 152252 | 173087 0 | 34034 | 0 250.93/251.00 c 248s | 16 | 560449 | 153152 | 173087 0 | 34034 | 0 252.93/253.05 c 250s | 16 | 563032 | 153952 | 173087 0 | 34034 | 0 255.03/255.16 c 252s | 16 | 566308 | 154952 | 173087 0 | 34034 | 0 257.22/257.33 c 255s | 16 | 569695 | 156052 | 173087 0 | 34034 | 0 259.32/259.40 c 257s | 16 | 572391 | 156952 | 173087 0 | 34034 | 0 261.42/261.53 c 259s | 16 | 574617 | 157752 | 173087 0 | 34034 | 0 263.62/263.72 c 261s | 16 | 577333 | 158452 | 173087 0 | 34034 | 0 265.62/265.76 c 263s | 16 | 579185 | 158952 | 173087 0 | 34034 | 0 267.92/268.02 c 265s | 16 | 582549 | 159652 | 173087 0 | 34034 | 0 270.12/270.24 c 267s | 16 | 585447 | 160452 | 173087 0 | 34034 | 0 272.12/272.29 c 269s | 16 | 588132 | 161052 | 173087 0 | 34034 | 0 274.22/274.35 c 272s | 16 | 590488 | 161652 | 173087 0 | 34034 | 0 276.22/276.36 c 274s | 16 | 592922 | 162352 | 173087 0 | 34034 | 0 278.52/278.64 c 276s | 16 | 595780 | 163152 | 173087 0 | 34034 | 0 280.53/280.69 c 278s | 16 | 597728 | 163752 | 173087 0 | 34034 | 0 282.63/282.72 c 280s | 16 | 600230 | 164452 | 173087 0 | 34034 | 0 284.72/284.83 c 282s | 16 | 602874 | 165152 | 173087 0 | 34034 | 0 286.92/287.08 c 284s | 16 | 605360 | 165952 | 173087 0 | 34034 | 0 289.12/289.28 c 286s | 16 | 607858 | 166752 | 173087 0 | 34034 | 0 291.32/291.43 c 289s | 16 | 610544 | 167552 | 173087 0 | 34034 | 0 293.32/293.45 c 291s | 16 | 612659 | 168352 | 173087 0 | 34034 | 0 295.42/295.54 c 293s | 16 | 614859 | 169052 | 173087 0 | 34034 | 0 297.71/297.81 c 295s | 16 | 618332 | 169952 | 173087 0 | 34034 | 0 299.81/299.95 c 297s | 16 | 622293 | 171052 | 173087 0 | 34034 | 0 301.91/302.04 c 299s | 16 | 626528 | 172152 | 173087 0 | 34034 | 0 304.11/304.22 c 301s | 16 | 630681 | 173252 | 173087 0 | 34034 | 0 306.21/306.31 c 304s | 16 | 635096 | 174452 | 173087 0 | 34034 | 0 308.31/308.40 c 306s | 16 | 638253 | 175452 | 173087 0 | 34034 | 0 310.41/310.51 c 308s | 16 | 642839 | 176652 | 173087 0 | 34034 | 0 312.51/312.66 c 310s | 16 | 646534 | 177852 | 173087 0 | 34034 | 0 314.52/314.69 c 312s | 16 | 650524 | 179152 | 173087 0 | 34034 | 0 316.61/316.80 c 314s | 16 | 654231 | 180452 | 173087 0 | 34034 | 0 318.81/318.93 c 316s | 16 | 656431 | 181052 | 173087 0 | 34034 | 0 321.22/321.39 c 319s | 16 | 658565 | 181552 | 173087 0 | 34034 | 0 323.41/323.55 c 321s | 16 | 660472 | 182052 | 173087 0 | 34034 | 0 325.81/325.97 c 323s | 16 | 662804 | 182452 | 173087 0 | 34038 | 0 328.20/328.31 c 326s | 16 | 664654 | 182952 | 173087 0 | 34038 | 0 330.30/330.44 c 328s | 16 | 670255 | 184152 | 173087 0 | 34038 | 0 332.40/332.51 c 330s | 16 | 676578 | 185652 | 173087 0 | 34038 | 0 334.41/334.57 c 332s | 16 | 687090 | 188352 | 173087 0 | 34038 | 0 336.51/336.62 c 334s | 16 | 696786 | 191052 | 173087 0 | 34038 | 0 338.60/338.70 c 336s | 16 | 705892 | 193652 | 173087 0 | 34038 | 0 340.60/340.71 c 338s | 16 | 713886 | 196052 | 173087 0 | 34038 | 0 342.70/342.85 c 340s | 16 | 718915 | 197052 | 190396 0 | 34038 | 0 343.60/343.79 c 341s | 17 | 720677 | 197432 | 190396 0 | 34038 | 0 345.80/345.93 c 343s | 17 | 723419 | 198032 | 190396 0 | 34038 | 0 347.80/347.96 c 345s | 17 | 730102 | 199332 | 190396 0 | 34038 | 0 350.00/350.12 c 347s | 17 | 737126 | 200532 | 190396 0 | 34038 | 0 352.10/352.25 c 349s | 17 | 741099 | 201532 | 190396 0 | 34038 | 0 354.50/354.60 c 352s | 17 | 744204 | 202332 | 190396 0 | 34038 | 0 356.50/356.64 c 354s | 17 | 751269 | 204432 | 190396 0 | 34038 | 0 358.50/358.67 c 356s | 17 | 757322 | 206432 | 190396 0 | 34038 | 0 360.60/360.70 c 358s | 17 | 762740 | 208632 | 190396 0 | 34038 | 0 362.60/362.72 c 360s | 17 | 767583 | 210032 | 190396 0 | 34038 | 0 364.60/364.79 c 362s | 17 | 771819 | 211732 | 190396 0 | 34038 | 0 366.70/366.86 c 364s | 17 | 776586 | 213032 | 190396 0 | 34038 | 0 368.79/368.96 c 366s | 17 | 780400 | 214532 | 190396 0 | 34038 | 0 370.79/370.99 c 368s | 17 | 784044 | 216232 | 190396 0 | 34038 | 0 372.80/373.00 c 370s | 17 | 787633 | 218032 | 190396 0 | 34038 | 0 374.89/375.06 c 372s | 17 | 790901 | 219732 | 190396 0 | 34038 | 0 377.09/377.26 c 374s | 17 | 795946 | 220932 | 190396 0 | 34038 | 0 379.19/379.37 c 377s | 17 | 799078 | 221732 | 190396 0 | 34038 | 0 381.19/381.38 c 379s | 17 | 801553 | 222232 | 190396 0 | 34038 | 0 383.69/383.83 c 381s | 17 | 803728 | 222732 | 190396 0 | 34038 | 0 385.69/385.88 c 383s | 17 | 806008 | 223132 | 190396 0 | 34038 | 0 388.68/388.84 c 386s | 17 | 816109 | 225832 | 190396 1 | 34038 | 0 390.78/390.97 c 388s | 17 | 822572 | 227532 | 190396 1 | 34038 | 0 392.88/393.08 c 390s | 17 | 829150 | 229332 | 190396 1 | 34038 | 0 394.98/395.12 c 392s | 17 | 835836 | 231132 | 190396 1 | 34038 | 0 396.99/397.20 c 394s | 17 | 842386 | 233032 | 190396 1 | 34038 | 0 399.08/399.23 c 396s | 17 | 848230 | 234832 | 190396 1 | 34038 | 0 401.18/401.30 c 399s | 17 | 853298 | 236632 | 190396 1 | 34038 | 0 403.18/403.35 c 401s | 17 | 858276 | 237832 | 190396 1 | 34038 | 0 405.28/405.49 c 403s | 17 | 862829 | 239032 | 190396 1 | 34038 | 0 407.38/407.54 c 405s | 17 | 867080 | 240132 | 190396 1 | 34038 | 0 409.48/409.60 c 407s | 17 | 872226 | 241532 | 190396 1 | 34038 | 0 411.48/411.65 c 409s | 17 | 875832 | 242632 | 190396 1 | 34038 | 0 413.58/413.77 c 411s | 17 | 879541 | 243832 | 190396 1 | 34038 | 0 415.78/415.92 c 413s | 17 | 883368 | 244932 | 190396 1 | 34038 | 0 417.77/417.98 c 415s | 17 | 886844 | 246032 | 190396 1 | 34038 | 0 419.87/420.09 c 417s | 17 | 890295 | 247232 | 190396 1 | 34038 | 0 421.97/422.15 c 419s | 17 | 894000 | 248432 | 190396 1 | 34038 | 0 424.07/424.25 c 421s | 17 | 901733 | 250532 | 190396 1 | 34038 | 0 426.17/426.31 c 424s | 17 | 910181 | 252732 | 190396 1 | 34038 | 0 428.17/428.32 c 426s | 17 | 917690 | 254832 | 190396 1 | 34038 | 0 430.27/430.41 c 428s | 17 | 924860 | 257132 | 190396 1 | 34038 | 0 432.27/432.49 c 430s | 17 | 930446 | 259032 | 190396 1 | 34038 | 0 434.37/434.58 c 432s | 17 | 934542 | 260232 | 190396 1 | 34038 | 0 436.57/436.75 c 434s | 17 | 938110 | 261232 | 190396 1 | 34038 | 0 438.56/438.79 c 436s | 17 | 941353 | 262132 | 190396 1 | 34038 | 0 440.66/440.87 c 438s | 17 | 944277 | 263032 | 190396 1 | 34038 | 0 442.76/442.99 c 440s | 17 | 948562 | 264232 | 190396 1 | 34038 | 0 444.86/445.01 c 442s | 17 | 951966 | 265332 | 190396 1 | 34038 | 0 446.96/447.13 c 444s | 17 | 955408 | 266432 | 190396 1 | 34038 | 0 448.95/449.15 c 446s | 17 | 958767 | 267632 | 190396 1 | 34038 | 0 450.96/451.16 c 448s | 17 | 962463 | 268732 | 190396 1 | 34038 | 0 452.95/453.19 c 450s | 17 | 967640 | 270232 | 190396 1 | 34038 | 0 455.15/455.31 c 453s | 17 | 973548 | 271932 | 190396 1 | 34038 | 0 457.15/457.33 c 455s | 17 | 979247 | 273532 | 190396 1 | 34038 | 0 459.25/459.43 c 457s | 17 | 985310 | 275332 | 190396 1 | 34038 | 0 461.25/461.48 c 459s | 17 | 990691 | 277032 | 190396 1 | 34038 | 0 463.35/463.57 c 461s | 17 | 996217 | 278832 | 190396 1 | 34038 | 0 465.55/465.73 c 463s | 17 | 999906 | 280032 | 190396 1 | 34038 | 0 467.55/467.74 c 465s | 17 | 1003060 | 281032 | 190396 1 | 34038 | 0 469.65/469.87 c 467s | 17 | 1006635 | 282032 | 190396 1 | 34038 | 0 471.85/472.05 c 469s | 17 | 1009686 | 283032 | 190396 1 | 34038 | 0 474.05/474.27 c 471s | 17 | 1013498 | 284032 | 190396 1 | 34038 | 0 476.15/476.31 c 474s | 17 | 1016090 | 284732 | 190396 1 | 34038 | 0 478.24/478.49 c 476s | 17 | 1019115 | 285732 | 190396 1 | 34038 | 0 480.24/480.49 c 478s | 17 | 1022702 | 286632 | 190396 1 | 34038 | 0 482.54/482.73 c 480s | 17 | 1026888 | 287732 | 190396 1 | 34038 | 0 484.64/484.80 c 482s | 17 | 1030218 | 288532 | 190396 1 | 34038 | 0 486.64/486.82 c 484s | 17 | 1033833 | 289532 | 190396 1 | 34038 | 0 488.64/488.83 c 486s | 17 | 1036978 | 290432 | 190396 1 | 34038 | 0 490.84/491.06 c 488s | 17 | 1039776 | 291232 | 190396 1 | 34038 | 0 492.94/493.12 c 490s | 17 | 1042657 | 292132 | 190396 1 | 34038 | 0 495.04/495.24 c 492s | 17 | 1045520 | 293032 | 190396 1 | 34038 | 0 497.24/497.43 c 495s | 17 | 1048459 | 293932 | 190396 1 | 34038 | 0 499.35/499.58 c 497s | 17 | 1051737 | 294932 | 209436 1 | 34038 | 0 501.64/501.87 c 499s | 17 | 1055413 | 296032 | 209436 1 | 34038 | 0 502.24/502.42 c 500s | 18 | 1056507 | 296252 | 209436 1 | 34038 | 0 505.14/505.35 c 503s | 18 | 1057443 | 296352 | 209436 1 | 34038 | 0 507.24/507.42 c 505s | 18 | 1059756 | 296952 | 209436 1 | 34038 | 0 509.44/509.61 c 507s | 18 | 1061938 | 297152 | 209436 1 | 34038 | 0 511.54/511.70 c 509s | 18 | 1063814 | 297752 | 209436 1 | 34038 | 0 513.54/513.73 c 511s | 18 | 1073047 | 299952 | 209436 1 | 34038 | 0 515.63/515.82 c 513s | 18 | 1081583 | 302152 | 209436 1 | 34038 | 0 517.63/517.86 c 515s | 18 | 1089576 | 304352 | 209436 1 | 34038 | 0 519.63/519.88 c 517s | 18 | 1096467 | 306452 | 209436 1 | 34038 | 0 521.73/521.95 c 519s | 18 | 1101768 | 308452 | 209436 1 | 34038 | 0 523.73/523.99 c 521s | 18 | 1104841 | 309552 | 209436 1 | 34038 | 0 525.74/525.99 c 523s | 18 | 1110207 | 311252 | 209436 1 | 34038 | 0 527.94/528.13 c 525s | 18 | 1115002 | 312652 | 209436 1 | 34038 | 0 530.04/530.23 c 527s | 18 | 1119424 | 313852 | 209436 1 | 34038 | 0 532.13/532.37 c 530s | 18 | 1124252 | 315252 | 209436 1 | 34038 | 0 534.23/534.44 c 532s | 18 | 1128659 | 316552 | 209436 1 | 34038 | 0 536.23/536.46 c 534s | 18 | 1132801 | 317952 | 209436 1 | 34038 | 0 538.33/538.53 c 536s | 18 | 1136671 | 319252 | 209436 1 | 34038 | 0 540.42/540.65 c 538s | 18 | 1141626 | 320852 | 209436 1 | 34038 | 0 542.52/542.71 c 540s | 18 | 1146308 | 322452 | 209436 1 | 34038 | 0 544.52/544.76 c 542s | 18 | 1151173 | 323552 | 209436 1 | 34038 | 0 546.63/546.85 c 544s | 18 | 1154776 | 324652 | 209436 1 | 34038 | 0 548.62/548.87 c 546s | 18 | 1159435 | 325852 | 209436 1 | 34038 | 0 550.72/550.99 c 548s | 18 | 1163694 | 327252 | 209436 1 | 34038 | 0 552.82/553.01 c 550s | 18 | 1168100 | 328452 | 209436 1 | 34038 | 0 554.82/555.09 c 552s | 18 | 1172774 | 329752 | 209436 1 | 34038 | 0 556.92/557.19 c 554s | 18 | 1177446 | 331152 | 209436 1 | 34038 | 0 559.02/559.27 c 556s | 18 | 1181726 | 332352 | 209436 1 | 34038 | 0 561.22/561.41 c 559s | 18 | 1185298 | 333552 | 209436 1 | 34038 | 0 563.22/563.47 c 561s | 18 | 1188939 | 334552 | 209436 1 | 34038 | 0 565.32/565.54 c 563s | 18 | 1194219 | 335952 | 209436 1 | 34038 | 0 567.42/567.61 c 565s | 18 | 1198654 | 337152 | 209436 1 | 34038 | 0 569.41/569.61 c 567s | 18 | 1202681 | 338452 | 209436 1 | 34038 | 0 571.41/571.69 c 569s | 18 | 1206050 | 339652 | 209436 1 | 34038 | 0 573.51/573.74 c 571s | 18 | 1209565 | 340652 | 209436 1 | 34038 | 0 575.51/575.75 c 573s | 18 | 1213674 | 341752 | 209436 1 | 34038 | 0 577.71/577.92 c 575s | 18 | 1218297 | 342952 | 209436 1 | 34038 | 0 579.71/579.97 c 577s | 18 | 1222608 | 344252 | 209436 1 | 34038 | 0 581.71/581.99 c 579s | 18 | 1226819 | 345552 | 209436 1 | 34038 | 0 583.91/584.13 c 581s | 18 | 1230249 | 346752 | 209436 1 | 34038 | 0 585.90/586.15 c 583s | 18 | 1234265 | 348052 | 209436 1 | 34038 | 0 588.00/588.26 c 585s | 18 | 1238065 | 349152 | 209436 1 | 34038 | 0 590.10/590.35 c 588s | 18 | 1242147 | 350352 | 209436 1 | 34038 | 0 592.21/592.42 c 590s | 18 | 1245691 | 351552 | 209436 1 | 34038 | 0 594.21/594.43 c 592s | 18 | 1248358 | 352752 | 209436 1 | 34038 | 0 596.31/596.57 c 594s | 18 | 1251549 | 353852 | 209436 1 | 34038 | 0 598.40/598.64 c 596s | 18 | 1255181 | 354752 | 209436 1 | 34038 | 0 600.51/600.76 c 598s | 18 | 1259018 | 355852 | 209436 1 | 34038 | 0 602.50/602.80 c 600s | 18 | 1262512 | 356952 | 209436 1 | 34038 | 0 605.10/605.33 c 603s | 18 | 1265283 | 357852 | 209436 2 | 34038 | 0 607.11/607.37 c 605s | 18 | 1268040 | 358752 | 209436 2 | 34038 | 0 609.21/609.42 c 607s | 18 | 1271524 | 359852 | 209436 2 | 34038 | 0 611.20/611.42 c 609s | 18 | 1275409 | 360952 | 209436 2 | 34038 | 0 613.20/613.44 c 611s | 18 | 1280033 | 362152 | 209436 2 | 34038 | 0 615.30/615.59 c 613s | 18 | 1284123 | 363552 | 209436 2 | 34038 | 0 617.50/617.77 c 615s | 18 | 1286471 | 364652 | 209436 2 | 34038 | 0 619.60/619.83 c 617s | 18 | 1288105 | 365452 | 209436 2 | 34038 | 0 621.80/622.01 c 619s | 18 | 1289729 | 366352 | 209436 2 | 34038 | 0 624.00/624.22 c 621s | 18 | 1291245 | 367152 | 209436 2 | 34038 | 0 626.20/626.41 c 624s | 18 | 1292641 | 367952 | 209436 2 | 34038 | 0 628.40/628.62 c 626s | 18 | 1294463 | 368852 | 209436 2 | 34038 | 0 630.50/630.72 c 628s | 18 | 1295863 | 369652 | 209436 2 | 34038 | 0 632.60/632.83 c 630s | 18 | 1297342 | 370452 | 209436 2 | 34038 | 0 634.80/635.05 c 632s | 18 | 1298723 | 371252 | 209436 2 | 34038 | 0 636.90/637.12 c 634s | 18 | 1300266 | 372052 | 209436 2 | 34038 | 0 639.09/639.32 c 637s | 18 | 1301713 | 372852 | 209436 2 | 34038 | 0 641.20/641.46 c 639s | 18 | 1303133 | 373652 | 209436 2 | 34038 | 0 643.30/643.52 c 641s | 18 | 1304788 | 374452 | 209436 2 | 34038 | 0 645.39/645.68 c 643s | 18 | 1306437 | 375252 | 209436 2 | 34038 | 0 647.59/647.89 c 645s | 18 | 1308401 | 376152 | 209436 2 | 34038 | 0 649.69/649.92 c 647s | 18 | 1309719 | 376852 | 209436 2 | 34038 | 0 651.79/652.04 c 649s | 18 | 1310999 | 377552 | 209436 2 | 34038 | 0 654.09/654.31 c 652s | 18 | 1312040 | 378152 | 209436 2 | 34038 | 0 656.39/656.63 c 654s | 18 | 1313739 | 378952 | 209436 2 | 34038 | 0 658.49/658.76 c 656s | 18 | 1315074 | 379652 | 209436 2 | 34038 | 0 660.69/660.93 c 658s | 18 | 1316615 | 380352 | 209436 2 | 34038 | 0 662.89/663.15 c 660s | 18 | 1318426 | 381152 | 209436 2 | 34038 | 0 665.08/665.30 c 663s | 18 | 1319999 | 381852 | 209436 2 | 34038 | 0 667.08/667.39 c 665s | 18 | 1321554 | 382552 | 209436 2 | 34038 | 0 669.28/669.51 c 667s | 18 | 1322673 | 383152 | 209436 2 | 34038 | 0 671.38/671.63 c 669s | 18 | 1324007 | 383852 | 209436 2 | 34038 | 0 673.68/673.91 c 671s | 18 | 1325703 | 384652 | 209436 2 | 34038 | 0 675.78/676.03 c 673s | 18 | 1327206 | 385352 | 209436 2 | 34038 | 0 678.08/678.32 c 676s | 18 | 1329202 | 386152 | 209436 2 | 34038 | 0 680.28/680.58 c 678s | 18 | 1330990 | 386952 | 209436 2 | 34038 | 0 682.48/682.76 c 680s | 18 | 1332406 | 387652 | 209436 2 | 34038 | 0 684.48/684.78 c 682s | 18 | 1333772 | 388252 | 209436 2 | 34038 | 0 686.78/687.02 c 684s | 18 | 1335328 | 388952 | 209436 2 | 34038 | 0 688.97/689.22 c 686s | 18 | 1337038 | 389752 | 209436 2 | 34038 | 0 691.16/691.43 c 689s | 18 | 1337270 | 389852 | 209436 2 | 34038 | 0 693.26/693.52 c 691s | 18 | 1338892 | 390552 | 209436 2 | 34038 | 0 695.46/695.76 c 693s | 18 | 1340347 | 391352 | 209436 2 | 34038 | 0 697.76/698.06 c 695s | 18 | 1341993 | 392052 | 209436 2 | 34038 | 0 699.96/700.26 c 697s | 18 | 1343330 | 392752 | 209436 2 | 34038 | 0 702.06/702.37 c 700s | 18 | 1344548 | 393452 | 209436 2 | 34038 | 0 704.36/704.64 c 702s | 18 | 1345997 | 394152 | 209436 2 | 34038 | 0 706.76/707.01 c 704s | 18 | 1347253 | 394752 | 209436 2 | 34038 | 0 708.86/709.10 c 706s | 18 | 1348291 | 395352 | 209436 2 | 34038 | 0 710.96/711.25 c 708s | 18 | 1349643 | 396052 | 209436 2 | 34038 | 0 712.96/713.28 c 710s | 18 | 1350835 | 396552 | 209436 2 | 34038 | 0 715.16/715.41 c 713s | 18 | 1352094 | 397052 | 209436 2 | 34038 | 0 717.36/717.62 c 715s | 18 | 1353229 | 397652 | 209436 2 | 34038 | 0 719.36/719.68 c 717s | 18 | 1354089 | 398152 | 209436 2 | 34038 | 0 721.86/722.10 c 719s | 18 | 1355089 | 398652 | 209436 2 | 34038 | 0 723.86/724.16 c 721s | 18 | 1355935 | 399052 | 209436 2 | 34038 | 0 726.26/726.51 c 724s | 18 | 1357005 | 399552 | 209436 2 | 34038 | 0 728.36/728.67 c 726s | 18 | 1358028 | 400052 | 209436 2 | 34038 | 0 730.56/730.88 c 728s | 18 | 1358898 | 400552 | 209436 2 | 34038 | 0 732.76/733.08 c 730s | 18 | 1359912 | 401052 | 209436 2 | 34038 | 0 734.86/735.18 c 732s | 18 | 1361542 | 401652 | 209436 2 | 34038 | 0 736.96/737.27 c 734s | 18 | 1362654 | 402252 | 209436 2 | 34038 | 0 739.07/739.36 c 737s | 18 | 1364152 | 402852 | 209436 2 | 34038 | 0 741.17/741.45 c 739s | 18 | 1365327 | 403452 | 209436 2 | 34038 | 0 743.37/743.68 c 741s | 18 | 1366431 | 404052 | 209436 2 | 34038 | 0 745.57/745.85 c 743s | 18 | 1367661 | 404752 | 209436 2 | 34038 | 0 747.65/748.00 c 745s | 18 | 1369361 | 405452 | 209436 2 | 34038 | 0 750.25/750.53 c 748s | 18 | 1371864 | 406052 | 209436 2 | 34038 | 0 752.65/752.90 c 750s | 18 | 1373901 | 406552 | 209436 2 | 34038 | 0 754.65/754.95 c 752s | 18 | 1375695 | 406952 | 209436 2 | 34038 | 0 756.85/757.16 c 754s | 18 | 1377161 | 407352 | 209436 2 | 34038 | 0 759.05/759.38 c 757s | 18 | 1379525 | 407952 | 209436 2 | 34038 | 0 761.35/761.61 c 759s | 18 | 1381220 | 408452 | 209436 2 | 34038 | 0 763.35/763.69 c 761s | 18 | 1382904 | 408952 | 209436 2 | 34038 | 0 765.46/765.75 c 763s | 18 | 1385108 | 409552 | 209436 2 | 34038 | 0 767.55/767.89 c 765s | 18 | 1386800 | 409952 | 209436 2 | 34038 | 0 769.85/770.14 c 767s | 18 | 1388012 | 410252 | 209436 2 | 34038 | 0 772.55/772.88 c 770s | 18 | 1389059 | 410552 | 209436 2 | 34038 | 0 774.85/775.16 c 772s | 18 | 1390836 | 411052 | 209436 2 | 34038 | 0 777.34/777.62 c 775s | 18 | 1392473 | 411552 | 209436 2 | 34038 | 0 779.34/779.66 c 777s | 18 | 1393504 | 411852 | 209436 2 | 34038 | 0 781.44/781.73 c 779s | 18 | 1395192 | 412352 | 209436 2 | 34038 | 0 783.64/783.97 c 781s | 18 | 1396593 | 412752 | 209436 2 | 34038 | 0 785.84/786.19 c 783s | 18 | 1398893 | 413452 | 209436 2 | 34038 | 0 787.94/788.21 c 785s | 18 | 1400013 | 413852 | 209436 2 | 34038 | 0 790.14/790.49 c 788s | 18 | 1401971 | 414452 | 209436 2 | 34038 | 0 792.24/792.50 c 790s | 18 | 1403855 | 415052 | 209436 2 | 34038 | 0 794.34/794.65 c 792s | 18 | 1406141 | 415752 | 209436 2 | 34038 | 0 796.43/796.76 c 794s | 18 | 1407869 | 416552 | 209436 2 | 34038 | 0 798.63/798.92 c 796s | 18 | 1409617 | 417152 | 209436 2 | 34038 | 0 800.64/800.98 c 798s | 18 | 1412656 | 417952 | 209436 2 | 34038 | 0 803.23/803.59 c 801s | 18 | 1414187 | 418252 | 209436 2 | 34038 | 0 805.53/805.87 c 803s | 18 | 1415371 | 418552 | 209436 2 | 34038 | 0 807.63/807.97 c 805s | 18 | 1416913 | 418952 | 209436 2 | 34038 | 0 810.23/810.54 c 808s | 18 | 1418665 | 419352 | 209436 2 | 34038 | 0 812.93/813.23 c 810s | 18 | 1419679 | 419652 | 209436 2 | 34038 | 0 815.23/815.56 c 813s | 18 | 1421641 | 420152 | 209436 2 | 34038 | 0 817.63/817.96 c 815s | 18 | 1423924 | 420752 | 209436 2 | 34038 | 0 820.03/820.31 c 818s | 18 | 1425933 | 421352 | 209436 2 | 34038 | 0 822.13/822.42 c 820s | 18 | 1427187 | 421752 | 209436 2 | 34038 | 0 824.53/824.83 c 822s | 18 | 1429407 | 422452 | 209436 2 | 34038 | 0 826.83/827.10 c 824s | 18 | 1431033 | 422952 | 209436 2 | 34038 | 0 829.23/829.53 c 827s | 18 | 1432881 | 423552 | 209436 2 | 34038 | 0 831.43/831.78 c 829s | 18 | 1434736 | 424352 | 209436 2 | 34038 | 0 833.82/834.11 c 831s | 18 | 1436634 | 425152 | 209436 2 | 34038 | 0 836.02/836.30 c 834s | 18 | 1437945 | 425652 | 209436 2 | 34038 | 0 838.03/838.31 c 836s | 18 | 1439125 | 425952 | 209436 2 | 34038 | 0 840.02/840.34 c 838s | 18 | 1441054 | 426452 | 209436 2 | 34038 | 0 842.12/842.40 c 840s | 18 | 1441906 | 426652 | 209436 2 | 34038 | 0 844.12/844.46 c 842s | 18 | 1443207 | 426952 | 209436 2 | 34038 | 0 846.83/847.16 c 844s | 18 | 1444974 | 427452 | 209436 2 | 34038 | 0 849.12/849.49 c 847s | 18 | 1446502 | 427852 | 209436 2 | 34038 | 0 851.32/851.63 c 849s | 18 | 1447775 | 428252 | 209436 2 | 34038 | 0 853.42/853.78 c 851s | 18 | 1449484 | 428752 | 209436 2 | 34038 | 0 856.02/856.36 c 854s | 18 | 1451116 | 429252 | 209436 2 | 34038 | 0 858.12/858.40 c 856s | 18 | 1452604 | 429652 | 209436 2 | 34038 | 0 860.32/860.60 c 858s | 18 | 1454154 | 430152 | 209436 2 | 34038 | 0 862.51/862.80 c 860s | 18 | 1456267 | 430852 | 209436 2 | 34038 | 0 864.51/864.81 c 862s | 18 | 1458306 | 431552 | 209436 2 | 34038 | 0 866.71/867.10 c 864s | 18 | 1460265 | 432252 | 209436 2 | 34038 | 0 868.91/869.23 c 866s | 18 | 1461994 | 432852 | 209436 2 | 34038 | 0 871.11/871.41 c 869s | 18 | 1463605 | 433252 | 209436 2 | 34038 | 0 873.12/873.43 c 871s | 18 | 1465549 | 433752 | 209436 2 | 34038 | 0 875.51/875.89 c 873s | 18 | 1467120 | 434152 | 209436 2 | 34038 | 0 878.11/878.40 c 876s | 18 | 1469171 | 434652 | 209436 2 | 34038 | 0 880.92/881.23 c 878s | 18 | 1470618 | 435052 | 209436 2 | 34038 | 0 883.12/883.48 c 881s | 18 | 1471825 | 435352 | 209436 2 | 34038 | 0 885.32/885.62 c 883s | 18 | 1473177 | 435752 | 209436 2 | 34038 | 0 888.01/888.30 c 886s | 18 | 1475061 | 436252 | 209436 2 | 34038 | 0 890.41/890.75 c 888s | 18 | 1476572 | 436652 | 209436 2 | 34038 | 0 892.92/893.27 c 890s | 18 | 1478468 | 437152 | 209436 2 | 34038 | 0 895.31/895.61 c 893s | 18 | 1479985 | 437552 | 209436 2 | 34038 | 0 897.32/897.66 c 895s | 18 | 1481226 | 437952 | 209436 2 | 34038 | 0 899.62/899.96 c 897s | 18 | 1483058 | 438552 | 209436 2 | 34038 | 0 901.91/902.23 c 899s | 18 | 1484889 | 439052 | 209436 2 | 34038 | 0 904.02/904.34 c 902s | 18 | 1486666 | 439552 | 209436 2 | 34038 | 0 906.51/906.81 c 904s | 18 | 1488065 | 439952 | 209436 2 | 34038 | 0 908.61/908.92 c 906s | 18 | 1489133 | 440252 | 209436 2 | 34038 | 0 910.81/911.19 c 908s | 18 | 1490850 | 440752 | 209436 2 | 34038 | 0 913.11/913.40 c 911s | 18 | 1491927 | 441052 | 209436 2 | 34038 | 0 915.61/915.97 c 913s | 18 | 1493036 | 441352 | 230380 2 | 34038 | 0 917.91/918.23 c 915s | 18 | 1494375 | 441752 | 230380 2 | 34038 | 0 920.01/920.39 c 918s | 18 | 1495718 | 442152 | 230380 2 | 34038 | 0 922.41/922.72 c 920s | 18 | 1497647 | 442652 | 230380 2 | 34038 | 0 924.71/925.03 c 922s | 18 | 1499465 | 443252 | 230380 2 | 34038 | 0 926.81/927.17 c 924s | 18 | 1500887 | 443652 | 230380 2 | 34038 | 0 929.31/929.66 c 927s | 18 | 1502349 | 444052 | 230380 2 | 34038 | 0 931.10/931.43 c 929s | 19 | 1503577 | 444482 | 230380 2 | 34038 | 0 935.70/936.00 c 933s | 19 | 1504933 | 444582 | 230380 2 | 34038 | 0 946.60/946.95 c 944s | 19 | 1505627 | 444682 | 230380 2 | 34038 | 0 952.00/952.35 c 950s | 19 | 1508155 | 445382 | 230380 2 | 34038 | 0 954.10/954.41 c 952s | 19 | 1516988 | 447682 | 230380 2 | 34038 | 0 956.09/956.41 c 954s | 19 | 1525730 | 449982 | 230380 2 | 34038 | 0 958.59/958.94 c 956s | 19 | 1528541 | 450782 | 230380 2 | 34038 | 0 960.89/961.23 c 958s | 19 | 1530658 | 451182 | 230380 2 | 34038 | 0 962.99/963.30 c 961s | 19 | 1532732 | 451682 | 230380 2 | 34038 | 0 964.99/965.35 c 963s | 19 | 1535460 | 452382 | 230380 2 | 34038 | 0 967.49/967.84 c 965s | 19 | 1537810 | 452982 | 230380 2 | 34038 | 0 970.00/970.31 c 968s | 19 | 1539388 | 453482 | 230380 2 | 34038 | 0 972.10/972.47 c 970s | 19 | 1541151 | 453782 | 230380 2 | 34038 | 0 974.30/974.70 c 972s | 19 | 1542765 | 454182 | 230380 2 | 34038 | 0 977.09/977.42 c 975s | 19 | 1545189 | 454782 | 230380 2 | 34038 | 0 979.09/979.48 c 977s | 19 | 1546161 | 455082 | 230380 2 | 34038 | 0 981.29/981.68 c 979s | 19 | 1548274 | 455582 | 230380 2 | 34038 | 0 983.39/983.74 c 981s | 19 | 1550333 | 456182 | 230380 2 | 34038 | 0 985.99/986.30 c 984s | 19 | 1552988 | 456882 | 230380 2 | 34038 | 0 988.09/988.43 c 986s | 19 | 1554299 | 457282 | 230380 2 | 34038 | 0 990.19/990.54 c 988s | 19 | 1556177 | 457782 | 230380 2 | 34038 | 0 992.49/992.82 c 990s | 19 | 1557710 | 458182 | 230380 2 | 34038 | 0 994.99/995.38 c 993s | 19 | 1559501 | 458682 | 230380 2 | 34038 | 0 997.29/997.63 c 995s | 19 | 1561146 | 459182 | 230380 2 | 34038 | 0 999.39/999.76 c 997s | 19 | 1562646 | 459582 | 230380 2 | 34038 | 0 1001.99/1002.34 c 1000s | 19 | 1564747 | 460182 | 230380 2 | 34038 | 0 1004.09/1004.47 c 1002s | 19 | 1566488 | 460682 | 230380 2 | 34038 | 0 1006.59/1006.94 c 1004s | 19 | 1567889 | 461082 | 230380 2 | 34038 | 0 1008.78/1009.19 c 1006s | 19 | 1569994 | 461682 | 230380 2 | 34038 | 0 1010.88/1011.26 c 1008s | 19 | 1571208 | 462082 | 230380 2 | 34038 | 0 1013.08/1013.49 c 1011s | 19 | 1572490 | 462482 | 230380 2 | 34038 | 0 1015.38/1015.72 c 1013s | 19 | 1573971 | 462982 | 230380 2 | 34038 | 0 1017.68/1018.09 c 1015s | 19 | 1575490 | 463482 | 230380 2 | 34038 | 0 1020.18/1020.52 c 1018s | 19 | 1577071 | 464082 | 230380 2 | 34038 | 0 1022.28/1022.65 c 1020s | 19 | 1582870 | 465582 | 230380 2 | 34038 | 0 1024.38/1024.71 c 1022s | 19 | 1589896 | 467882 | 230380 2 | 34038 | 0 1026.38/1026.77 c 1024s | 19 | 1597733 | 469782 | 230380 2 | 34038 | 0 1028.49/1028.88 c 1026s | 19 | 1605623 | 472082 | 230380 2 | 34038 | 0 1030.59/1030.92 c 1028s | 19 | 1612533 | 473982 | 230380 2 | 34038 | 0 1032.70/1033.05 c 1030s | 19 | 1618214 | 475582 | 230380 2 | 34038 | 0 1034.69/1035.10 c 1032s | 19 | 1623148 | 476982 | 230380 2 | 34038 | 0 1036.79/1037.11 c 1034s | 19 | 1628430 | 478582 | 230380 2 | 34038 | 0 1038.89/1039.22 c 1036s | 19 | 1633413 | 479982 | 230380 2 | 34038 | 0 1040.99/1041.33 c 1039s | 19 | 1639757 | 481782 | 230380 2 | 34038 | 0 1042.99/1043.34 c 1041s | 19 | 1644767 | 483082 | 230380 2 | 34038 | 0 1044.99/1045.39 c 1043s | 19 | 1649792 | 484482 | 230380 2 | 34038 | 0 1047.09/1047.47 c 1045s | 19 | 1655972 | 486182 | 230380 2 | 34038 | 0 1049.09/1049.48 c 1047s | 19 | 1662085 | 488082 | 230380 2 | 34038 | 0 1051.39/1051.77 c 1049s | 19 | 1668746 | 490282 | 230380 2 | 34038 | 0 1053.69/1054.08 c 1051s | 19 | 1670178 | 490782 | 230380 2 | 34038 | 0 1055.99/1056.32 c 1054s | 19 | 1671518 | 491282 | 230380 2 | 34038 | 0 1057.99/1058.33 c 1056s | 19 | 1673632 | 491982 | 230380 2 | 34038 | 0 1060.09/1060.49 c 1058s | 19 | 1675271 | 492482 | 230380 2 | 34038 | 0 1062.49/1062.80 c 1060s | 19 | 1678241 | 493382 | 230380 2 | 34038 | 0 1064.49/1064.83 c 1062s | 19 | 1680819 | 494082 | 230380 2 | 34038 | 0 1066.79/1067.14 c 1064s | 19 | 1683043 | 494782 | 230380 2 | 34038 | 0 1068.89/1069.22 c 1066s | 19 | 1684587 | 495382 | 230380 2 | 34038 | 0 1070.98/1071.30 c 1069s | 19 | 1687979 | 496582 | 230380 2 | 34038 | 0 1073.29/1073.63 c 1071s | 19 | 1689118 | 497182 | 230380 2 | 34038 | 0 1075.49/1075.84 c 1073s | 19 | 1690779 | 497882 | 230380 2 | 34038 | 0 1077.69/1078.06 c 1075s | 19 | 1692638 | 498582 | 230380 2 | 34038 | 0 1079.89/1080.28 c 1077s | 19 | 1694234 | 499282 | 230380 2 | 34038 | 0 1081.98/1082.38 c 1080s | 19 | 1696460 | 500082 | 230380 2 | 34038 | 0 1084.18/1084.60 c 1082s | 19 | 1698686 | 500782 | 230380 2 | 34038 | 0 1088.18/1088.55 c 1086s | 19 | 1699953 | 501282 | 230380 3 | 34038 | 0 1090.28/1090.65 c 1088s | 19 | 1703242 | 502282 | 230380 3 | 34038 | 0 1092.38/1092.76 c 1090s | 19 | 1706973 | 503482 | 230380 3 | 34038 | 0 1094.47/1094.87 c 1092s | 19 | 1712022 | 504982 | 230380 3 | 34038 | 0 1096.57/1096.99 c 1094s | 19 | 1715594 | 506082 | 230380 3 | 34038 | 0 1099.88/1100.26 c 1097s | 19 | 1717188 | 506582 | 230380 3 | 34038 | 0 1101.88/1102.29 c 1099s | 19 | 1717959 | 506782 | 230380 3 | 34038 | 0 1103.87/1104.29 c 1101s | 19 | 1725314 | 508682 | 230380 3 | 34038 | 0 1105.97/1106.32 c 1104s | 19 | 1732124 | 510782 | 230380 3 | 34038 | 0 1107.97/1108.35 c 1106s | 19 | 1738632 | 512982 | 230380 3 | 34038 | 0 1109.97/1110.38 c 1108s | 19 | 1745246 | 515282 | 230380 3 | 34038 | 0 1112.07/1112.49 c 1110s | 19 | 1750316 | 516982 | 230380 3 | 34038 | 0 1114.27/1114.60 c 1112s | 19 | 1753985 | 518282 | 230380 3 | 34038 | 0 1116.37/1116.74 c 1114s | 19 | 1757100 | 519482 | 230380 3 | 34038 | 0 1118.48/1118.84 c 1116s | 19 | 1760544 | 520682 | 230380 3 | 34038 | 0 1120.47/1120.85 c 1118s | 19 | 1763263 | 521782 | 230380 3 | 34038 | 0 1122.57/1122.98 c 1120s | 19 | 1766926 | 522982 | 230380 3 | 34038 | 0 1124.67/1125.08 c 1122s | 19 | 1771913 | 524382 | 230380 3 | 34038 | 0 1126.77/1127.10 c 1124s | 19 | 1775773 | 525482 | 230380 3 | 34038 | 0 1128.88/1129.21 c 1126s | 19 | 1780418 | 526882 | 230380 3 | 34038 | 0 1130.98/1131.30 c 1129s | 19 | 1784116 | 528082 | 230380 3 | 34038 | 0 1132.97/1133.39 c 1131s | 19 | 1787783 | 529282 | 230380 3 | 34038 | 0 1135.17/1135.54 c 1133s | 19 | 1791354 | 530582 | 230380 3 | 34038 | 0 1137.27/1137.60 c 1135s | 19 | 1797168 | 532082 | 230380 3 | 34038 | 0 1139.28/1139.69 c 1137s | 19 | 1803014 | 533682 | 230380 3 | 34038 | 0 1141.37/1141.80 c 1139s | 19 | 1807959 | 535382 | 230380 3 | 34038 | 0 1143.47/1143.80 c 1141s | 19 | 1812416 | 536982 | 230380 3 | 34038 | 0 1145.47/1145.86 c 1143s | 19 | 1816230 | 538782 | 230380 3 | 34038 | 0 1147.77/1148.12 c 1145s | 19 | 1818996 | 539682 | 230380 3 | 34038 | 0 1149.87/1150.24 c 1147s | 19 | 1823003 | 540782 | 230380 3 | 34038 | 0 1151.87/1152.29 c 1150s | 19 | 1826237 | 541782 | 230380 3 | 34038 | 0 1153.97/1154.33 c 1152s | 19 | 1828894 | 542782 | 230380 3 | 34038 | 0 1156.17/1156.50 c 1154s | 19 | 1831579 | 543882 | 230380 3 | 34038 | 0 1158.27/1158.69 c 1156s | 19 | 1833953 | 544882 | 230380 3 | 34038 | 0 1160.37/1160.72 c 1158s | 19 | 1836340 | 545782 | 230380 3 | 34038 | 0 1162.38/1162.75 c 1160s | 19 | 1840072 | 546882 | 230380 3 | 34038 | 0 1164.47/1164.84 c 1162s | 19 | 1842712 | 547782 | 230380 3 | 34038 | 0 1166.67/1167.00 c 1164s | 19 | 1846307 | 548782 | 230380 3 | 34038 | 0 1168.67/1169.00 c 1166s | 19 | 1849437 | 549882 | 230380 3 | 34038 | 0 1170.67/1171.08 c 1168s | 19 | 1852765 | 550982 | 230380 3 | 34038 | 0 1173.07/1173.43 c 1171s | 19 | 1856199 | 551982 | 230380 3 | 34038 | 0 1175.27/1175.66 c 1173s | 19 | 1858974 | 552782 | 230380 3 | 34038 | 0 1177.47/1177.85 c 1175s | 19 | 1861601 | 553582 | 230380 3 | 34038 | 0 1179.47/1179.87 c 1177s | 19 | 1864365 | 554382 | 230380 3 | 34038 | 0 1181.57/1181.95 c 1179s | 19 | 1868838 | 555582 | 230380 3 | 34038 | 0 1183.67/1184.04 c 1181s | 19 | 1872699 | 556782 | 230380 3 | 34038 | 0 1185.67/1186.06 c 1183s | 19 | 1876742 | 558082 | 230380 3 | 34038 | 0 1187.67/1188.10 c 1185s | 19 | 1881341 | 559482 | 230380 3 | 34038 | 0 1189.77/1190.18 c 1187s | 19 | 1885382 | 560782 | 230380 3 | 34038 | 0 1191.86/1192.26 c 1189s | 19 | 1888595 | 561782 | 230380 3 | 34038 | 0 1193.86/1194.27 c 1191s | 19 | 1891726 | 562782 | 230380 3 | 34038 | 0 1196.06/1196.42 c 1194s | 19 | 1895166 | 563782 | 230380 3 | 34038 | 0 1198.16/1198.54 c 1196s | 19 | 1898218 | 564782 | 230380 3 | 34038 | 0 1200.16/1200.56 c 1198s | 19 | 1901114 | 565782 | 230380 3 | 34038 | 0 1202.36/1202.71 c 1200s | 19 | 1905426 | 567082 | 230380 3 | 34038 | 0 1204.36/1204.77 c 1202s | 19 | 1909810 | 568382 | 230380 3 | 34038 | 0 1206.37/1206.80 c 1204s | 19 | 1913978 | 569782 | 230380 3 | 34038 | 0 1208.46/1208.83 c 1206s | 19 | 1917033 | 570882 | 230380 3 | 34038 | 0 1210.56/1210.94 c 1208s | 19 | 1920428 | 571982 | 230380 3 | 34038 | 0 1212.56/1212.94 c 1210s | 19 | 1922552 | 572882 | 230380 3 | 34038 | 0 1214.76/1215.11 c 1212s | 19 | 1925058 | 573782 | 230380 3 | 34038 | 0 1216.86/1217.20 c 1214s | 19 | 1927152 | 574582 | 230380 3 | 34038 | 0 1218.96/1219.31 c 1217s | 19 | 1929387 | 575482 | 230380 3 | 34038 | 0 1221.26/1221.65 c 1219s | 19 | 1931613 | 576282 | 230380 3 | 34038 | 0 1223.36/1223.76 c 1221s | 19 | 1934060 | 577082 | 230380 3 | 34038 | 0 1225.66/1226.02 c 1223s | 19 | 1936018 | 577882 | 230380 3 | 34038 | 0 1227.76/1228.15 c 1225s | 19 | 1937917 | 578682 | 230380 3 | 34038 | 0 1229.86/1230.24 c 1227s | 19 | 1940273 | 579582 | 230380 3 | 34038 | 0 1231.96/1232.39 c 1230s | 19 | 1942971 | 580482 | 230380 3 | 34038 | 0 1234.06/1234.40 c 1232s | 19 | 1945635 | 581482 | 230380 3 | 34038 | 0 1236.26/1236.61 c 1234s | 19 | 1947969 | 582582 | 230380 3 | 34038 | 0 1238.36/1238.74 c 1236s | 19 | 1950191 | 583382 | 230380 3 | 34038 | 0 1240.46/1240.87 c 1238s | 19 | 1952543 | 584182 | 230380 3 | 34038 | 0 1242.76/1243.11 c 1240s | 19 | 1954659 | 584882 | 230380 3 | 34038 | 0 1244.96/1245.32 c 1243s | 19 | 1957184 | 585682 | 230380 3 | 34038 | 0 1247.16/1247.53 c 1245s | 19 | 1959771 | 586482 | 230380 3 | 34038 | 0 1249.26/1249.66 c 1247s | 19 | 1962274 | 587382 | 230380 3 | 34038 | 0 1251.26/1251.67 c 1249s | 19 | 1965131 | 588282 | 230380 3 | 34038 | 0 1253.46/1253.82 c 1251s | 19 | 1967773 | 589182 | 230380 3 | 34038 | 0 1255.56/1255.92 c 1253s | 19 | 1970239 | 590082 | 230380 3 | 34038 | 0 1257.65/1258.01 c 1255s | 19 | 1973082 | 591082 | 230380 3 | 34038 | 0 1259.75/1260.18 c 1257s | 19 | 1975566 | 592082 | 230380 3 | 34038 | 0 1261.75/1262.19 c 1259s | 19 | 1978334 | 592882 | 230380 3 | 34038 | 0 1263.95/1264.33 c 1262s | 19 | 1980860 | 593782 | 230380 3 | 34038 | 0 1266.05/1266.41 c 1264s | 19 | 1984106 | 594782 | 230380 3 | 34038 | 0 1268.15/1268.55 c 1266s | 19 | 1988113 | 595982 | 230380 3 | 34038 | 0 1270.45/1270.85 c 1268s | 19 | 1991229 | 596982 | 230380 3 | 34038 | 0 1272.55/1272.92 c 1270s | 19 | 1993756 | 597882 | 230380 3 | 34038 | 0 1274.66/1275.04 c 1272s | 19 | 1996523 | 598782 | 230380 3 | 34038 | 0 1276.65/1277.09 c 1274s | 19 | 1999063 | 599782 | 230380 3 | 34038 | 0 1278.75/1279.16 c 1276s | 19 | 2000755 | 600382 | 230380 3 | 34038 | 0 1281.05/1281.43 c 1279s | 19 | 2003124 | 601082 | 230380 3 | 34038 | 0 1283.25/1283.66 c 1281s | 19 | 2005158 | 601882 | 230380 3 | 34038 | 0 1285.45/1285.86 c 1283s | 19 | 2007027 | 602682 | 230380 3 | 34038 | 0 1287.55/1287.92 c 1285s | 19 | 2010161 | 603682 | 230380 3 | 34038 | 0 1289.65/1290.02 c 1287s | 19 | 2013921 | 604782 | 230380 3 | 34038 | 0 1291.75/1292.14 c 1289s | 19 | 2016811 | 605682 | 230380 3 | 34038 | 0 1293.75/1294.17 c 1291s | 19 | 2019065 | 606482 | 230380 3 | 34038 | 0 1295.95/1296.36 c 1294s | 19 | 2021708 | 607482 | 230380 3 | 34038 | 0 1298.05/1298.42 c 1296s | 19 | 2024115 | 608382 | 230380 3 | 34038 | 0 1300.15/1300.55 c 1298s | 19 | 2027362 | 609282 | 230380 3 | 34038 | 0 1302.35/1302.72 c 1300s | 19 | 2030549 | 610282 | 230380 3 | 34038 | 0 1304.35/1304.79 c 1302s | 19 | 2033263 | 611282 | 230380 3 | 34038 | 0 1306.65/1307.01 c 1304s | 19 | 2035377 | 612082 | 230380 3 | 34038 | 0 1308.65/1309.10 c 1306s | 19 | 2038051 | 612982 | 230380 3 | 34038 | 0 1310.75/1311.19 c 1308s | 19 | 2039980 | 613782 | 230380 3 | 34038 | 0 1312.85/1313.21 c 1310s | 19 | 2041859 | 614482 | 230380 3 | 34038 | 0 1314.85/1315.27 c 1312s | 19 | 2043879 | 615182 | 230380 3 | 34038 | 0 1316.94/1317.30 c 1315s | 19 | 2045761 | 615782 | 230380 3 | 34038 | 0 1318.94/1319.35 c 1317s | 19 | 2048301 | 616582 | 230380 3 | 34038 | 0 1321.04/1321.43 c 1319s | 19 | 2051213 | 617582 | 230380 3 | 34038 | 0 1323.34/1323.79 c 1321s | 19 | 2053935 | 618482 | 230380 3 | 34038 | 0 1325.54/1325.98 c 1323s | 19 | 2056559 | 619382 | 230380 3 | 34038 | 0 1327.74/1328.12 c 1325s | 19 | 2059024 | 620282 | 230380 3 | 34038 | 0 1329.84/1330.20 c 1327s | 19 | 2062064 | 621382 | 230380 3 | 34038 | 0 1332.04/1332.49 c 1330s | 19 | 2064978 | 622282 | 230380 3 | 34038 | 0 1334.14/1334.50 c 1332s | 19 | 2067315 | 623082 | 230380 3 | 34038 | 0 1336.34/1336.70 c 1334s | 19 | 2070033 | 623982 | 230380 3 | 34038 | 0 1338.35/1338.74 c 1336s | 19 | 2072403 | 624882 | 230380 3 | 34038 | 0 1340.34/1340.77 c 1338s | 19 | 2074194 | 625582 | 230380 3 | 34038 | 0 1342.54/1342.95 c 1340s | 19 | 2076743 | 626382 | 230380 3 | 34038 | 0 1344.54/1344.99 c 1342s | 19 | 2079632 | 627282 | 230380 3 | 34038 | 0 1346.74/1347.17 c 1344s | 19 | 2082315 | 628182 | 230380 3 | 34038 | 0 1348.84/1349.22 c 1346s | 19 | 2084652 | 629182 | 230380 3 | 34038 | 0 1350.94/1351.37 c 1349s | 19 | 2086522 | 630082 | 230380 3 | 34038 | 0 1353.04/1353.49 c 1351s | 19 | 2089034 | 631082 | 230380 3 | 34038 | 0 1355.14/1355.51 c 1353s | 19 | 2091361 | 631882 | 230380 3 | 34038 | 0 1357.24/1357.68 c 1355s | 19 | 2093808 | 632682 | 230380 3 | 34038 | 0 1359.74/1360.19 c 1357s | 19 | 2096048 | 633582 | 230380 3 | 34038 | 0 1362.73/1363.15 c 1360s | 19 | 2097287 | 634082 | 230380 4 | 34038 | 0 1369.43/1369.82 c 1367s | 19 | 2097536 | 634182 | 230380 4 | 34038 | 0 1373.54/1373.92 c 1371s | 19 | 2097751 | 634282 | 230380 4 | 34038 | 0 1376.14/1376.59 c 1374s | 19 | 2098362 | 634582 | 230380 4 | 34038 | 0 1378.44/1378.80 c 1376s | 19 | 2099329 | 634982 | 230380 4 | 34038 | 0 1382.03/1382.44 c 1380s | 19 | 2100480 | 635482 | 230380 4 | 34038 | 0 1384.13/1384.53 c 1382s | 19 | 2102129 | 635982 | 230380 4 | 34038 | 0 1386.23/1386.62 c 1384s | 19 | 2103880 | 636782 | 230380 4 | 34038 | 0 1388.23/1388.65 c 1386s | 19 | 2105730 | 637482 | 230380 4 | 34038 | 0 1390.53/1390.93 c 1388s | 19 | 2107497 | 638382 | 230380 4 | 34038 | 0 1392.73/1393.16 c 1390s | 19 | 2109903 | 639282 | 230380 4 | 34038 | 0 1394.83/1395.21 c 1392s | 19 | 2111506 | 640182 | 230380 4 | 34038 | 0 1397.03/1397.47 c 1395s | 19 | 2112704 | 640782 | 230380 4 | 34038 | 0 1399.53/1399.96 c 1397s | 19 | 2113797 | 641282 | 230380 4 | 34038 | 0 1401.83/1402.28 c 1399s | 19 | 2114693 | 641682 | 230380 4 | 34038 | 0 1404.03/1404.48 c 1402s | 19 | 2115372 | 641982 | 230380 4 | 34038 | 0 1406.43/1406.86 c 1404s | 19 | 2116151 | 642182 | 230380 4 | 34038 | 0 1408.63/1409.10 c 1406s | 19 | 2117082 | 642382 | 230380 4 | 34038 | 0 1411.03/1411.49 c 1409s | 19 | 2117868 | 642582 | 230380 4 | 34038 | 0 1413.23/1413.64 c 1411s | 19 | 2118929 | 642782 | 230380 4 | 34038 | 0 1415.72/1416.10 c 1413s | 19 | 2119874 | 643082 | 230380 4 | 34038 | 0 1418.02/1418.49 c 1416s | 19 | 2120498 | 643382 | 230380 4 | 34038 | 0 1420.12/1420.59 c 1418s | 19 | 2121332 | 643782 | 230380 4 | 34038 | 0 1422.63/1423.00 c 1420s | 19 | 2121601 | 643882 | 230380 4 | 34038 | 0 1424.73/1425.10 c 1422s | 19 | 2122825 | 644382 | 230380 4 | 34038 | 0 1426.83/1427.24 c 1424s | 19 | 2123641 | 644782 | 230380 4 | 34038 | 0 1429.13/1429.52 c 1427s | 19 | 2124728 | 645182 | 230380 4 | 34038 | 0 1431.53/1431.94 c 1429s | 19 | 2125925 | 645682 | 230380 4 | 34038 | 0 1433.83/1434.22 c 1431s | 19 | 2127000 | 645982 | 230380 4 | 34038 | 0 1435.93/1436.34 c 1434s | 19 | 2128125 | 646482 | 230380 4 | 34038 | 0 1438.33/1438.74 c 1436s | 19 | 2129331 | 647082 | 230380 4 | 34038 | 0 1440.53/1440.92 c 1438s | 19 | 2130249 | 647382 | 230380 4 | 34038 | 0 1442.62/1443.09 c 1440s | 19 | 2131679 | 648082 | 230380 4 | 34038 | 0 1444.72/1445.15 c 1442s | 19 | 2132986 | 648682 | 230380 4 | 34038 | 0 1446.92/1447.30 c 1445s | 19 | 2135045 | 649382 | 230380 4 | 34038 | 0 1449.02/1449.45 c 1447s | 19 | 2136629 | 650182 | 230380 4 | 34038 | 0 1451.22/1451.62 c 1449s | 19 | 2138444 | 651182 | 230380 4 | 34038 | 0 1453.42/1453.85 c 1451s | 19 | 2139919 | 651982 | 230380 4 | 34038 | 0 1455.72/1456.13 c 1453s | 19 | 2141505 | 652682 | 230380 4 | 34038 | 0 1457.72/1458.14 c 1455s | 19 | 2142885 | 653282 | 230380 4 | 34038 | 0 1460.43/1460.83 c 1458s | 19 | 2143673 | 653682 | 230380 4 | 34038 | 0 1463.12/1463.59 c 1461s | 19 | 2144492 | 653982 | 230380 4 | 34038 | 0 1465.42/1465.82 c 1463s | 19 | 2146108 | 654682 | 230380 4 | 34038 | 0 1467.42/1467.84 c 1465s | 19 | 2147164 | 655182 | 230380 4 | 34038 | 0 1469.52/1469.98 c 1467s | 19 | 2147937 | 655482 | 230380 4 | 34038 | 0 1471.92/1472.38 c 1470s | 19 | 2148887 | 655782 | 230380 4 | 34038 | 0 1474.32/1474.73 c 1472s | 19 | 2149898 | 656282 | 230380 4 | 34038 | 0 1476.42/1476.82 c 1474s | 19 | 2150723 | 656582 | 230380 4 | 34038 | 0 1478.52/1478.92 c 1476s | 19 | 2151965 | 657082 | 230380 4 | 34038 | 0 1480.82/1481.27 c 1478s | 19 | 2152917 | 657582 | 230380 4 | 34038 | 0 1483.22/1483.66 c 1481s | 19 | 2154112 | 658182 | 230380 4 | 34038 | 0 1485.62/1486.00 c 1483s | 19 | 2154783 | 658482 | 230380 4 | 34038 | 0 1487.82/1488.21 c 1485s | 19 | 2155696 | 658982 | 230380 4 | 34038 | 0 1490.62/1491.03 c 1488s | 19 | 2156928 | 659482 | 230380 4 | 34038 | 0 1492.82/1493.22 c 1490s | 19 | 2158143 | 660082 | 230380 4 | 34038 | 0 1494.92/1495.36 c 1493s | 19 | 2159038 | 660582 | 230380 4 | 34038 | 0 1497.12/1497.59 c 1495s | 19 | 2160155 | 661282 | 230380 4 | 34038 | 0 1499.12/1499.59 c 1497s | 19 | 2161361 | 661782 | 230380 4 | 34038 | 0 1501.71/1502.12 c 1499s | 19 | 2162896 | 662382 | 253419 4 | 34038 | 0 1503.91/1504.35 c 1502s | 19 | 2164628 | 662882 | 253419 4 | 34038 | 0 1506.11/1506.51 c 1504s | 19 | 2166231 | 663582 | 253419 4 | 34038 | 0 1508.11/1508.51 c 1506s | 19 | 2167344 | 664082 | 253419 4 | 34038 | 0 1510.11/1510.56 c 1508s | 19 | 2168953 | 664882 | 253419 4 | 34038 | 0 1512.22/1512.69 c 1510s | 19 | 2170205 | 665482 | 253419 4 | 34038 | 0 1514.51/1514.92 c 1512s | 19 | 2170983 | 665882 | 253419 4 | 34038 | 0 1516.71/1517.14 c 1514s | 19 | 2172668 | 666682 | 253419 4 | 34038 | 0 1517.62/1518.01 c 1515s | 20 | 2173029 | 666827 | 253419 4 | 34038 | 0 1522.92/1523.39 c 1521s | 20 | 2173613 | 666927 | 253419 4 | 34038 | 0 1569.20/1569.64 c 1567s | 20 | 2175426 | 667427 | 253419 4 | 34038 | 0 1571.30/1571.78 c 1569s | 20 | 2181319 | 669127 | 253419 4 | 34038 | 0 1573.40/1573.86 c 1571s | 20 | 2187708 | 670727 | 253419 4 | 34038 | 0 1575.50/1575.98 c 1573s | 20 | 2193844 | 672327 | 253419 4 | 34038 | 0 1577.60/1578.07 c 1575s | 20 | 2199759 | 673827 | 253419 4 | 34038 | 0 1579.70/1580.18 c 1577s | 20 | 2204425 | 675227 | 253419 4 | 34038 | 0 1581.80/1582.28 c 1579s | 20 | 2208653 | 676627 | 253419 4 | 34038 | 0 1584.00/1584.43 c 1582s | 20 | 2212874 | 678027 | 253419 4 | 34038 | 0 1586.80/1587.30 c 1585s | 20 | 2215690 | 679027 | 253419 4 | 34038 | 0 1594.50/1594.97 c 1592s | 20 | 2218980 | 679727 | 253419 4 | 34038 | 0 1596.50/1596.99 c 1594s | 20 | 2224105 | 681027 | 253419 4 | 34038 | 0 1598.60/1599.02 c 1596s | 20 | 2228439 | 682327 | 253419 4 | 34038 | 0 1600.70/1601.16 c 1598s | 20 | 2233681 | 683627 | 253419 4 | 34038 | 0 1602.90/1603.32 c 1601s | 20 | 2238680 | 685027 | 253419 4 | 34038 | 0 1605.00/1605.42 c 1603s | 20 | 2243208 | 686327 | 253419 4 | 34038 | 0 1607.20/1607.60 c 1605s | 20 | 2247947 | 687727 | 253419 4 | 34038 | 0 1609.20/1609.67 c 1607s | 20 | 2252184 | 689027 | 253419 4 | 34038 | 0 1611.30/1611.78 c 1609s | 20 | 2256438 | 690127 | 253419 4 | 34038 | 0 1613.60/1614.01 c 1611s | 20 | 2260587 | 691127 | 253419 4 | 34038 | 0 1615.61/1616.02 c 1613s | 20 | 2263780 | 692027 | 253419 4 | 34038 | 0 1617.70/1618.10 c 1615s | 20 | 2267351 | 693027 | 253419 4 | 34038 | 0 1619.80/1620.28 c 1617s | 20 | 2270281 | 693927 | 253419 4 | 34038 | 0 1622.00/1622.43 c 1620s | 20 | 2273921 | 694927 | 253419 4 | 34038 | 0 1624.10/1624.56 c 1622s | 20 | 2277039 | 695927 | 253419 4 | 34038 | 0 1626.20/1626.66 c 1624s | 20 | 2279858 | 696927 | 253419 4 | 34038 | 0 1628.40/1628.80 c 1626s | 20 | 2282993 | 697827 | 253419 4 | 34038 | 0 1630.40/1630.85 c 1628s | 20 | 2285630 | 698727 | 253419 4 | 34038 | 0 1632.60/1633.04 c 1630s | 20 | 2289394 | 699827 | 253419 4 | 34038 | 0 1634.80/1635.22 c 1632s | 20 | 2292624 | 700727 | 253419 4 | 34038 | 0 1636.80/1637.25 c 1634s | 20 | 2296425 | 701727 | 253419 4 | 34038 | 0 1638.99/1639.40 c 1637s | 20 | 2300766 | 702727 | 253419 4 | 34038 | 0 1641.09/1641.56 c 1639s | 20 | 2303993 | 703727 | 253419 4 | 34038 | 0 1643.29/1643.73 c 1641s | 20 | 2307558 | 704727 | 253419 4 | 34038 | 0 1645.30/1645.73 c 1643s | 20 | 2310678 | 705727 | 253419 4 | 34038 | 0 1647.29/1647.75 c 1645s | 20 | 2314048 | 706727 | 253419 4 | 34038 | 0 1649.39/1649.84 c 1647s | 20 | 2317110 | 707727 | 253419 4 | 34038 | 0 1651.49/1651.91 c 1649s | 20 | 2319676 | 708627 | 253419 4 | 34038 | 0 1653.59/1654.02 c 1651s | 20 | 2323161 | 709527 | 253419 4 | 34038 | 0 1655.79/1656.23 c 1653s | 20 | 2325782 | 710327 | 253419 4 | 34038 | 0 1657.89/1658.40 c 1656s | 20 | 2329277 | 711227 | 253419 4 | 34038 | 0 1660.19/1660.62 c 1658s | 20 | 2332275 | 712127 | 253419 4 | 34038 | 0 1662.29/1662.75 c 1660s | 20 | 2335160 | 713027 | 253419 4 | 34038 | 0 1664.49/1664.94 c 1662s | 20 | 2338458 | 713927 | 253419 4 | 34038 | 0 1666.59/1667.08 c 1664s | 20 | 2341028 | 714827 | 253419 4 | 34038 | 0 1668.69/1669.18 c 1666s | 20 | 2343694 | 715727 | 253419 4 | 34038 | 0 1670.99/1671.47 c 1669s | 20 | 2345190 | 716527 | 253419 4 | 34038 | 0 1673.19/1673.68 c 1671s | 20 | 2347482 | 717327 | 253419 4 | 34038 | 0 1675.19/1675.70 c 1673s | 20 | 2350613 | 718127 | 253419 4 | 34038 | 0 1677.39/1677.89 c 1675s | 20 | 2354607 | 719127 | 253419 4 | 34038 | 0 1679.48/1679.97 c 1677s | 20 | 2359190 | 720327 | 253419 4 | 34038 | 0 1681.49/1681.98 c 1679s | 20 | 2361970 | 721227 | 253419 4 | 34038 | 0 1683.79/1684.22 c 1681s | 20 | 2365975 | 722327 | 253419 4 | 34038 | 0 1685.89/1686.32 c 1684s | 20 | 2369102 | 723327 | 253419 4 | 34038 | 0 1687.98/1688.45 c 1686s | 20 | 2372842 | 724427 | 253419 4 | 34038 | 0 1690.08/1690.55 c 1688s | 20 | 2376059 | 725527 | 253419 4 | 34038 | 0 1692.28/1692.71 c 1690s | 20 | 2378797 | 726527 | 253419 4 | 34038 | 0 1694.48/1694.91 c 1692s | 20 | 2381374 | 727227 | 253419 4 | 34038 | 0 1696.68/1697.13 c 1694s | 20 | 2384558 | 728027 | 253419 4 | 34038 | 0 1698.88/1699.35 c 1697s | 20 | 2387416 | 728827 | 253419 4 | 34038 | 0 1700.98/1701.40 c 1699s | 20 | 2389977 | 729527 | 253419 4 | 34038 | 0 1703.18/1703.63 c 1701s | 20 | 2392161 | 730227 | 253419 4 | 34038 | 0 1705.38/1705.84 c 1703s | 20 | 2394180 | 730927 | 253419 4 | 34038 | 0 1707.58/1708.07 c 1705s | 20 | 2396457 | 731627 | 253419 4 | 34038 | 0 1709.78/1710.28 c 1707s | 20 | 2399044 | 732427 | 253419 4 | 34038 | 0 1711.88/1712.37 c 1710s | 20 | 2400993 | 733127 | 253419 4 | 34038 | 0 1713.98/1714.43 c 1712s | 20 | 2402348 | 733727 | 253419 4 | 34038 | 0 1716.08/1716.60 c 1714s | 20 | 2403949 | 734327 | 253419 4 | 34038 | 0 1718.28/1718.73 c 1716s | 20 | 2405853 | 735027 | 253419 4 | 34038 | 0 1720.38/1720.89 c 1718s | 20 | 2409599 | 736027 | 253419 4 | 34038 | 0 1722.68/1723.12 c 1720s | 20 | 2412855 | 736827 | 253419 4 | 34038 | 0 1724.88/1725.36 c 1723s | 20 | 2416671 | 737827 | 253419 4 | 34038 | 0 1727.08/1727.52 c 1725s | 20 | 2420187 | 738727 | 253419 4 | 34038 | 0 1729.18/1729.66 c 1727s | 20 | 2423600 | 739727 | 253419 4 | 34038 | 0 1731.28/1731.80 c 1729s | 20 | 2426836 | 740727 | 253419 4 | 34038 | 0 1733.38/1733.85 c 1731s | 20 | 2429900 | 741627 | 253419 4 | 34038 | 0 1735.58/1736.08 c 1733s | 20 | 2433103 | 742627 | 253419 4 | 34038 | 0 1737.88/1738.32 c 1736s | 20 | 2435617 | 743427 | 253419 4 | 34038 | 0 1740.08/1740.55 c 1738s | 20 | 2438173 | 744227 | 253419 4 | 34038 | 0 1742.28/1742.77 c 1740s | 20 | 2440299 | 745027 | 253419 4 | 34038 | 0 1744.37/1744.83 c 1742s | 20 | 2442891 | 745727 | 253419 4 | 34038 | 0 1746.57/1747.08 c 1744s | 20 | 2445214 | 746527 | 253419 4 | 34038 | 0 1748.68/1749.17 c 1746s | 20 | 2447560 | 747227 | 253419 4 | 34038 | 0 1750.97/1751.45 c 1749s | 20 | 2449854 | 747927 | 253419 4 | 34038 | 0 1752.98/1753.48 c 1751s | 20 | 2452080 | 748527 | 253419 4 | 34038 | 0 1755.28/1755.70 c 1753s | 20 | 2454399 | 749127 | 253419 4 | 34038 | 0 1757.38/1757.90 c 1755s | 20 | 2456518 | 749727 | 253419 4 | 34038 | 0 1759.58/1760.02 c 1757s | 20 | 2459067 | 750427 | 253419 4 | 34038 | 0 1761.88/1762.36 c 1760s | 20 | 2461506 | 751027 | 253419 4 | 34038 | 0 1763.98/1764.42 c 1762s | 20 | 2463576 | 751627 | 253419 4 | 34038 | 0 1765.97/1766.49 c 1764s | 20 | 2465755 | 752227 | 253419 4 | 34038 | 0 1768.27/1768.77 c 1766s | 20 | 2468187 | 752927 | 253419 4 | 34038 | 0 1770.58/1771.04 c 1768s | 20 | 2470436 | 753627 | 253419 4 | 34038 | 0 1772.67/1773.13 c 1770s | 20 | 2472127 | 754227 | 253419 4 | 34038 | 0 1774.77/1775.27 c 1772s | 20 | 2474038 | 754827 | 253419 4 | 34038 | 0 1776.87/1777.33 c 1775s | 20 | 2475538 | 755427 | 253419 4 | 34038 | 0 1778.97/1779.48 c 1777s | 20 | 2476878 | 756027 | 253419 4 | 34038 | 0 1781.17/1781.64 c 1779s | 20 | 2479490 | 756827 | 253419 4 | 34038 | 0 1783.27/1783.75 c 1781s | 20 | 2482482 | 757627 | 253419 4 | 34038 | 0 1785.57/1786.01 c 1783s | 20 | 2485196 | 758427 | 253419 4 | 34038 | 0 1787.67/1788.11 c 1785s | 20 | 2487080 | 759127 | 253419 4 | 34038 | 0 1789.77/1790.20 c 1787s | 20 | 2489847 | 759927 | 253419 4 | 34038 | 0 1791.87/1792.38 c 1790s | 20 | 2492436 | 760627 | 253419 4 | 34038 | 0 1793.97/1794.48 c 1792s | 20 | 2494751 | 761227 | 253419 4 | 34038 | 0 1796.27/1796.79 c 1794s | 20 | 2497641 | 761927 | 253419 4 | 34038 | 0 1798.57/1799.01 c 1796s | 20 | 2499628 | 762527 | 253419 4 | 34038 | 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-4100489-1466215149/watcher-4100489-1466215149 -o /tmp/evaluation-result-4100489-1466215149/solver-4100489-1466215149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100489-1466215149.opb pid=2969 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.23 2.17 3/179 2972 /proc/meminfo: memFree=29237884/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=702908 CPUtime=0 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 2616 0 0 0 0 0 0 0 20 0 4 0 23564130 719777792 3489 33554432000 4194304 16246674 140736485680416 140736485679840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 176239 3498 441 2943 0 173133 0 [pid=2972/tid=2973] ppid=2969 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 736555008 3555 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 741797888 3573 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 745992192 3589 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100136 s] /proc/loadavg: 2.22 2.23 2.17 3/179 2972 /proc/meminfo: memFree=29237884/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1300036 CPUtime=0.09 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 26520 0 0 0 6 3 0 0 20 0 4 0 23564130 1331236864 27330 33554432000 4194304 16246674 140736485680416 140736485679728 7377837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 325009 27336 798 2943 0 321903 0 [pid=2972/tid=2973] ppid=2969 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1331236864 27342 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1331236864 27346 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1331236864 27351 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1300036 [startup+0.200538 s] /proc/loadavg: 2.22 2.23 2.17 3/179 2972 /proc/meminfo: memFree=29237884/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1311300 CPUtime=0.19 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 45816 0 0 0 14 5 0 0 20 0 4 0 23564130 1342771200 47137 33554432000 4194304 16246674 140736485680416 140736485679728 7361367 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 327825 47137 801 2943 0 324719 0 [pid=2972/tid=2973] ppid=2969 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1342771200 47137 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1342771200 47137 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1342771200 47137 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300518 s] /proc/loadavg: 2.22 2.23 2.17 3/179 2972 /proc/meminfo: memFree=29237884/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 52225 0 0 0 23 6 0 0 20 0 4 0 23564130 1343819776 53546 33554432000 4194304 16246674 140736485680416 140736485679728 4206597 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 328081 53546 801 2943 0 324975 0 [pid=2972/tid=2973] ppid=2969 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1343819776 53546 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1343819776 53546 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1343819776 53546 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700488 s] /proc/loadavg: 2.22 2.23 2.17 3/179 2972 /proc/meminfo: memFree=29237884/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1323588 CPUtime=0.69 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 63706 0 0 0 61 8 0 0 20 0 4 0 23564130 1355354112 65028 33554432000 4194304 16246674 140736485680416 140736485679592 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 330897 65033 812 2943 0 327791 0 [pid=2972/tid=2973] ppid=2969 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1355354112 65036 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1355354112 65040 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1355354112 65043 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1323588 [startup+1.50038 s] /proc/loadavg: 2.21 2.22 2.17 3/183 2976 /proc/meminfo: memFree=28909548/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1357380 CPUtime=1.49 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 175480 0 0 0 126 23 0 0 20 0 4 0 23564130 1389957120 176801 33554432000 4194304 16246674 140736485680416 140736485662336 6756128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 339345 176813 836 2943 0 336239 0 [pid=2972/tid=2973] ppid=2969 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1389957120 176820 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1389957120 176829 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1389957120 176836 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1357380 [startup+3.10046 s] /proc/loadavg: 2.21 2.22 2.17 3/183 2976 /proc/meminfo: memFree=28120164/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1370692 CPUtime=3.09 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 278536 0 0 0 273 36 0 0 20 0 4 0 23564130 1403588608 279857 33554432000 4194304 16246674 140736485680416 140736485662272 5659692 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 342673 279857 888 2943 0 339567 0 [pid=2972/tid=2973] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 279857 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 279857 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 279857 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1370692 [startup+6.30038 s] /proc/loadavg: 2.21 2.22 2.17 4/183 2976 /proc/meminfo: memFree=28099360/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1370692 CPUtime=6.29 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 283349 0 0 0 593 36 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 140736485662336 5813672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 342673 284670 891 2943 0 339567 0 [pid=2972/tid=2973] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1370692 [startup+12.7004 s] /proc/loadavg: 2.32 2.25 2.18 3/183 2976 /proc/meminfo: memFree=28099484/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1370692 CPUtime=12.69 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 283349 0 0 0 1233 36 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 140736485662336 12875644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 342673 284670 891 2943 0 339567 0 [pid=2972/tid=2973] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284670 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1370692 [startup+25.5005 s] /proc/loadavg: 2.35 2.26 2.18 3/183 2976 /proc/meminfo: memFree=28100132/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1370692 CPUtime=25.48 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 283356 0 0 0 2512 36 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 140736485662336 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 342673 284677 897 2943 0 339567 0 [pid=2972/tid=2973] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1370692 [startup+51.1005 s] /proc/loadavg: 2.23 2.23 2.18 4/183 2976 /proc/meminfo: memFree=28099964/32872528 swapFree=681968/737156 [pid=2972] ppid=2969 vsize=1370692 CPUtime=51.08 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 283356 0 0 0 5072 36 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 140736485662336 5677392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 342673 284677 897 2943 0 339567 0 [pid=2972/tid=2973] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1370692 [startup+102.3 s] /proc/loadavg: 2.39 2.27 2.19 3/184 2980 /proc/meminfo: memFree=28100072/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1370692 CPUtime=102.28 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 283356 0 0 0 10192 36 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 140736485662336 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 342673 284677 897 2943 0 339567 0 [pid=2972/tid=2973] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1403588608 284677 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1370692 ################ # More data... # ################ /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1571360768 325642 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1534532 [startup+1362.3 s] /proc/loadavg: 2.13 2.14 2.14 3/183 3181 /proc/meminfo: memFree=28689380/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1534532 CPUtime=1361.94 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 324605 0 0 0 136144 50 0 0 20 0 4 0 23564130 1571360768 325642 33554432000 4194304 16246674 140736485680416 140736485678080 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 383633 325642 902 2943 0 380527 0 [pid=2972/tid=2973] ppid=2969 vsize=1534532 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1571360768 325642 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1534532 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1571360768 325642 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1534532 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1571360768 325642 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1534532 [startup+1422.3 s] /proc/loadavg: 2.08 2.13 2.14 3/183 3182 /proc/meminfo: memFree=28493264/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1421.94 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 142135 59 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485679592 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1730116 [startup+1482.3 s] /proc/loadavg: 2.14 2.13 2.14 3/183 3183 /proc/meminfo: memFree=28493660/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1481.92 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 148133 59 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5711980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1730116 [startup+1542.31 s] /proc/loadavg: 2.09 2.12 2.13 3/183 3184 /proc/meminfo: memFree=28493856/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1541.91 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 154130 61 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485679728 4220495 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1730116 [startup+1602.3 s] /proc/loadavg: 2.15 2.13 2.13 3/183 3185 /proc/meminfo: memFree=28493652/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1601.9 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 160125 65 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5722295 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1730116 [startup+1662.3 s] /proc/loadavg: 2.10 2.12 2.12 3/183 3187 /proc/meminfo: memFree=28494732/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1661.89 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 166124 65 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1730116 [startup+1722.3 s] /proc/loadavg: 2.03 2.09 2.11 3/183 3188 /proc/meminfo: memFree=28494592/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1721.88 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 172123 65 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5712555 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1730116 [startup+1782.3 s] /proc/loadavg: 2.14 2.10 2.11 3/183 3189 /proc/meminfo: memFree=28494504/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1781.87 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 178122 65 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1730116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.10 2.11 4/183 3189 /proc/meminfo: memFree=28494632/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1800.07 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 179942 65 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1730116 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 2972 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.10 2.11 4/183 3189 /proc/meminfo: memFree=28494632/32872528 swapFree=681964/737152 [pid=2972] ppid=2969 vsize=1730116 CPUtime=1800.07 cores=0,2,4,6 /proc/2972/stat : 2972 (toysat) R 2969 2972 1377 0 -1 4202496 373501 0 0 0 179942 65 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 140736485662336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2972/statm: 432529 374538 902 2943 0 429423 0 [pid=2972/tid=2973] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2973/stat : 2973 (toysat) S 2969 2972 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794329873648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2972/tid=2974] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2974/stat : 2974 (toysat) S 2969 2972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794319383792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2972/tid=2975] ppid=2969 vsize=1730116 CPUtime=0 cores=0,2,4,6 /proc/2972/task/2975/stat : 2975 (toysat) S 2969 2972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564130 1771638784 374538 33554432000 4194304 16246674 140736485680416 139794206158000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1730116 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.1 CPU user time (s): 1799.43 CPU system time (s): 0.675897 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 1730116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.675897 maximum resident set size= 1498152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 373501 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= 518 involuntary context switches= 1949 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5094 second user time and 7.95579 second system time The end
Begin job on node112 at 2016-06-18 03:59:09 IDJOB=4100489 IDBENCH=1623 IDSOLVER=2542 FILE ID=node112/4100489-1466215149 RUNJOBID= node112-1466206100-1394 PBS_JOBID= 19918164 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100489-1466215149/watcher-4100489-1466215149 -o /tmp/evaluation-result-4100489-1466215149/solver-4100489-1466215149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100489-1466215149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cc797868c6f9cb3811b8dc2300ad7f9f RANDOM SEED=421893378 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29238040 kB Buffers: 87932 kB Cached: 119952 kB SwapCached: 1916 kB Active: 2051564 kB Inactive: 109136 kB Active(anon): 1953588 kB Inactive(anon): 1572 kB Active(file): 97976 kB Inactive(file): 107564 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096988 kB Dirty: 19812 kB Writeback: 0 kB AnonPages: 2785372 kB Mapped: 10924 kB Shmem: 0 kB Slab: 600240 kB SReclaimable: 44236 kB SUnreclaim: 556004 kB KernelStack: 1520 kB PageTables: 9736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2832800 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1456128 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= 71676 MiB End job on node112 at 2016-06-18 04:29:10