Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.52 |
Name | /DEC-SMALLINT-LIN/lopes/ normalized-91.opb |
MD5SUM | 0d52a3bd95f65144c5f8bf26bef42f13 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10086 |
Total number of constraints | 226240 |
Number of constraints which are clauses | 203302 |
Number of constraints which are cardinality constraints (but not clauses) | 720 |
Number of constraints which are nor clauses,nor cardinality constraints | 22218 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 232 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 2016-06-07T07:01:07+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-4078873-1465275667.opb"] 0.00/0.01 c use --random-gen="2767399038 604790330 2407945322 2195704711 284741643 3881208096 3497503142 2374487155 1388345873 872806514 502256294 1190950803 375809791 1943216498 4140193407 1264381530 2649340895 394715383 570434289 2123070749 2482755522 3805266133 1832071952 3577113713 3651589332 1430072944 124087006 200562549 1215194057 3938158111 3558439494 4040631932 747346959 514615720 1722347025 2064055787 1051556440 1336317509 4134402054 2194706994 3267267829 2487664960 803538429 768525218 3597547782 1448556522 2232078465 2144346275 1272034923 2119316899 3053750821 3961204095 958609667 1898887019 2269097828 1217817795 434426366 1804275185 1729170182 2118850855 2543980428 747228987 3313108146 3786071587 2352405912 2265424814 637860664 1751150761 2275412144 3506514223 2920917349 2759047320 989309361 2296383592 3720756295 3409201108 1939247441 1521644455 1816887742 3009321382 3038468420 2704949115 3609953027 2813153940 1390903025 3767688431 3045317411 2769266770 1245335121 3654124100 2049951237 1131420667 3966337927 3403116890 3739269444 97535955 1736062806 1335278391 2084918005 932286333 3371560222 1722523029 327403041 3191136527 2342020996 299726410 3991457863 857170550 3279503960 1774061523 1383022846 2742361415 644027981 2524040284 1041562965 447392902 3590165419 2473762735 2011008664 3645392066 2881497420 3680243517 2786959615 1707383686 1627341914 791866519 111724664 2167414315 3854202212 1989109588 3112619031 56140579 356495731 2639453294 1587748159 2846581487 2997098150 2501787099 1575859742 2736822939 544259969 3991979976 515510003 1544250424 532879138 344654789 4168860544 3496886943 2824825581 4258867711 2023390266 1402214148 3396024518 4044821000 402600150 3759503191 479334111 3585490900 2999707418 1051776738 558774970 1694656582 257833264 3373246269 3322361837 2216465409 3430688 2258250490 3980945465 3474332572 1174594049 4096963972 689038625 3289101621 1003507416 1313842891 2708746763 1344942333 359085132 4098416409 1007095089 2790878555 2334309231 4028752694 1411795492 3724805594 786172753 880084590 572048769 913585893 717009961 4148897516 2053975387 2808989135 2184505055 2848767162 2346398923 4175809797 3806362895 1368560013 2498153274 4230328426 250663878 3886877042 4206216728 1535655549 1660235393 1701534237 153108110 2014437226 3550575904 3301012183 839864459 758654633 1126781054 1942694208 4189444258 3798757713 2289561688 2822972749 1502448344 2726956423 1608711156 2009438032 1634551934 1153458849 971673101 1603840144 1779848169 952600279 2841387267 3469266409 413015097 372441518 3076429597 3592049765 230341717 2608078776 3943812332 1312192832 2367681205 613648508 987590386 1797478096 729321415 3612289204 352402208 1893999974 397052851 3585820173 4148134332 1497420365 2577355595 4267597352 3974148261 827460825 255 362436" option to reproduce the execution 1.79/1.82 c #vars 10086 1.79/1.82 c #constraints 226240 5.69/5.79 c Solving starts ... 5.69/5.79 c ============================[ Search Statistics ]============================ 5.69/5.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.79 c | | | | Limit GC | Var | Constra 5.69/5.79 c ============================================================================= 5.89/5.94 c 0.0s | 0 | 0 | 0 | 78898 0 | 0 | 0 5.99/6.01 c 0.2s | 1 | 130 | 100 | 78898 0 | 0 | 0 6.99/7.10 c 1.3s | 2 | 8991 | 250 | 86788 0 | 0 | 0 8.90/8.95 c 3.2s | 3 | 31378 | 475 | 95467 0 | 0 | 0 9.59/9.63 c 3.8s | 4 | 32790 | 813 | 105014 0 | 0 | 0 11.99/12.10 c 6.3s | 4 | 64233 | 1213 | 115516 0 | 0 | 0 12.39/12.47 c 6.7s | 5 | 67754 | 1320 | 115516 0 | 0 | 0 14.49/14.52 c 8.7s | 6 | 86513 | 2081 | 139775 0 | 0 | 0 16.59/16.64 c 10.8s | 6 | 107334 | 2981 | 139775 0 | 0 | 0 17.19/17.21 c 11.4s | 7 | 110055 | 3223 | 153753 0 | 0 | 0 19.19/19.21 c 13.4s | 7 | 118055 | 4423 | 153753 0 | 0 | 0 20.09/20.11 c 14.3s | 8 | 122190 | 4936 | 169129 0 | 0 | 0 22.09/22.15 c 16.4s | 8 | 124274 | 6336 | 169129 0 | 0 | 0 23.69/23.70 c 17.9s | 9 | 126137 | 7506 | 186042 0 | 0 | 0 25.79/25.83 c 20.0s | 9 | 155908 | 8706 | 186042 0 | 0 | 0 27.79/27.86 c 22.1s | 9 | 186713 | 9606 | 186042 0 | 0 | 0 29.89/29.99 c 24.2s | 9 | 191477 | 11006 | 186042 0 | 0 | 0 30.49/30.59 c 24.8s | 10 | 194357 | 11361 | 204647 0 | 0 | 0 32.58/32.64 c 26.8s | 10 | 223501 | 11761 | 204647 0 | 0 | 0 34.78/34.80 c 29.0s | 10 | 256199 | 12661 | 204647 0 | 0 | 0 36.98/37.04 c 31.3s | 10 | 294963 | 13861 | 204647 0 | 0 | 0 39.08/39.10 c 33.3s | 10 | 296011 | 14761 | 204647 0 | 0 | 0 41.18/41.24 c 35.4s | 10 | 297345 | 15961 | 204647 0 | 0 | 0 42.99/43.06 c 37.3s | 11 | 298635 | 17144 | 225112 0 | 0 | 0 45.09/45.11 c 39.3s | 11 | 331964 | 18544 | 225112 0 | 0 | 0 47.18/47.25 c 41.5s | 11 | 341005 | 20044 | 225112 0 | 0 | 0 49.18/49.29 c 43.5s | 11 | 347216 | 21344 | 225112 0 | 0 | 0 51.28/51.38 c 45.6s | 11 | 354064 | 22444 | 225112 0 | 0 | 0 53.38/53.42 c 47.6s | 11 | 357812 | 23544 | 225112 0 | 0 | 0 55.48/55.53 c 49.7s | 11 | 367808 | 25344 | 225112 0 | 0 | 0 56.38/56.40 c 50.6s | 12 | 368862 | 25819 | 247624 0 | 0 | 0 58.39/58.49 c 52.7s | 12 | 399601 | 26819 | 247624 0 | 0 | 0 60.49/60.56 c 54.8s | 12 | 408779 | 27819 | 247624 0 | 0 | 0 62.58/62.67 c 56.9s | 12 | 410103 | 28919 | 247624 0 | 0 | 0 64.78/64.86 c 59.1s | 12 | 411507 | 30019 | 247624 0 | 0 | 0 66.78/66.87 c 61.1s | 12 | 412538 | 30919 | 247624 0 | 0 | 0 68.88/68.97 c 63.2s | 12 | 413634 | 31919 | 247624 0 | 0 | 0 71.07/71.12 c 65.3s | 12 | 414865 | 33019 | 247624 0 | 0 | 0 73.17/73.26 c 67.5s | 12 | 415863 | 33919 | 247624 0 | 0 | 0 75.27/75.30 c 69.5s | 12 | 416873 | 34819 | 247624 0 | 0 | 0 77.37/77.42 c 71.6s | 12 | 418063 | 35919 | 247624 0 | 0 | 0 79.57/79.68 c 73.9s | 12 | 419290 | 37019 | 247624 0 | 0 | 0 81.67/81.73 c 75.9s | 12 | 420154 | 37819 | 247624 0 | 0 | 0 83.87/83.97 c 78.2s | 12 | 421266 | 38819 | 272387 0 | 0 | 0 83.87/83.99 c 78.2s | 13 | 421286 | 38832 | 272387 0 | 0 | 0 86.07/86.14 c 80.3s | 13 | 453226 | 39732 | 272387 0 | 1 | 12 88.17/88.26 c 82.5s | 13 | 463880 | 40332 | 272387 0 | 1 | 12 90.47/90.51 c 84.7s | 13 | 475214 | 40932 | 272387 0 | 1 | 12 92.67/92.73 c 86.9s | 13 | 476096 | 41732 | 272387 0 | 1 | 12 94.77/94.80 c 89.0s | 13 | 476977 | 42532 | 272387 0 | 1 | 12 96.88/96.99 c 91.2s | 13 | 477759 | 43232 | 272387 0 | 1 | 12 99.07/99.15 c 93.4s | 13 | 478429 | 43832 | 272387 0 | 1 | 12 101.17/101.22 c 95.4s | 13 | 479213 | 44532 | 272387 0 | 1 | 12 103.17/103.25 c 97.5s | 13 | 479891 | 45132 | 272387 0 | 1 | 12 105.47/105.51 c 99.7s | 13 | 480657 | 45832 | 272387 0 | 1 | 12 107.66/107.77 c 101s | 13 | 481528 | 46632 | 272387 0 | 1 | 12 109.97/110.06 c 104s | 13 | 482411 | 47432 | 272387 0 | 1 | 12 112.17/112.28 c 106s | 13 | 483401 | 48332 | 272387 0 | 1 | 12 114.26/114.39 c 108s | 13 | 484258 | 49132 | 272387 0 | 1 | 12 116.36/116.48 c 110s | 13 | 485003 | 49832 | 272387 0 | 1 | 12 118.46/118.59 c 112s | 13 | 485748 | 50432 | 272387 0 | 1 | 12 120.76/120.81 c 115s | 13 | 486415 | 51032 | 272387 0 | 1 | 12 122.86/122.93 c 117s | 13 | 487177 | 51732 | 272387 0 | 1 | 12 125.06/125.18 c 119s | 13 | 488054 | 52532 | 272387 0 | 1 | 12 127.16/127.22 c 121s | 13 | 488817 | 53232 | 272387 0 | 1 | 12 129.36/129.40 c 123s | 13 | 489696 | 54032 | 272387 0 | 1 | 12 131.46/131.55 c 125s | 13 | 490444 | 54732 | 272387 0 | 1 | 12 133.56/133.65 c 127s | 13 | 491196 | 55432 | 272387 0 | 1 | 12 135.66/135.78 c 129s | 13 | 491856 | 56032 | 272387 0 | 1 | 12 138.06/138.14 c 132s | 13 | 492398 | 56532 | 272387 0 | 1 | 12 140.26/140.38 c 134s | 13 | 492956 | 57032 | 272387 0 | 1 | 12 142.36/142.43 c 136s | 13 | 493480 | 57532 | 272387 0 | 1 | 12 144.36/144.46 c 138s | 13 | 494123 | 58132 | 299626 0 | 1 | 12 145.35/145.41 c 139s | 14 | 494348 | 58352 | 299626 0 | 1 | 12 147.95/148.08 c 142s | 14 | 504940 | 58752 | 299626 0 | 2 | 24 150.45/150.51 c 144s | 14 | 505516 | 59252 | 299626 0 | 2 | 24 152.65/152.76 c 146s | 14 | 506171 | 59852 | 299626 0 | 2 | 24 154.85/154.99 c 149s | 14 | 506857 | 60452 | 299626 0 | 2 | 24 157.15/157.21 c 151s | 14 | 507567 | 61052 | 299626 0 | 2 | 24 159.35/159.49 c 153s | 14 | 508239 | 61652 | 299626 0 | 2 | 24 161.76/161.87 c 156s | 14 | 509445 | 62352 | 299626 0 | 2 | 24 164.05/164.11 c 158s | 14 | 509910 | 62752 | 299626 0 | 2 | 24 166.25/166.39 c 160s | 14 | 510345 | 63152 | 299626 0 | 2 | 24 168.36/168.40 c 162s | 14 | 510783 | 63552 | 299626 0 | 2 | 24 170.75/170.81 c 165s | 14 | 511343 | 64052 | 299626 0 | 2 | 24 172.75/172.88 c 167s | 14 | 511799 | 64452 | 299626 0 | 2 | 24 175.25/175.32 c 169s | 14 | 512354 | 64952 | 299626 0 | 2 | 24 177.55/177.69 c 171s | 14 | 512908 | 65452 | 299626 0 | 2 | 24 179.65/179.73 c 173s | 14 | 513452 | 65952 | 299626 0 | 2 | 24 181.84/181.97 c 176s | 14 | 514011 | 66452 | 299626 0 | 2 | 24 183.84/183.97 c 178s | 14 | 514553 | 66952 | 299626 0 | 2 | 24 186.24/186.30 c 180s | 14 | 515205 | 67552 | 299626 0 | 2 | 24 188.34/188.41 c 182s | 14 | 515856 | 68152 | 299626 0 | 2 | 24 190.54/190.63 c 184s | 14 | 516386 | 68652 | 299626 0 | 2 | 24 192.84/192.92 c 187s | 14 | 516831 | 69052 | 299626 0 | 2 | 24 195.04/195.11 c 189s | 14 | 517258 | 69452 | 299626 0 | 2 | 24 197.14/197.24 c 191s | 14 | 517675 | 69852 | 299626 0 | 2 | 24 199.14/199.24 c 193s | 14 | 518120 | 70252 | 299626 0 | 2 | 24 201.54/201.64 c 195s | 14 | 518780 | 70852 | 299626 0 | 2 | 24 203.83/203.93 c 198s | 14 | 519337 | 71352 | 299626 0 | 2 | 24 206.13/206.26 c 200s | 14 | 519888 | 71852 | 299626 0 | 2 | 24 208.63/208.74 c 202s | 14 | 520436 | 72352 | 299626 0 | 2 | 24 211.03/211.12 c 205s | 14 | 520963 | 72852 | 299626 0 | 2 | 24 213.34/213.47 c 207s | 14 | 521653 | 73452 | 299626 0 | 2 | 24 215.54/215.70 c 209s | 14 | 522181 | 73952 | 299626 0 | 2 | 24 217.93/218.06 c 212s | 14 | 522927 | 74452 | 299626 0 | 2 | 24 220.04/220.16 c 214s | 14 | 523573 | 75052 | 299626 0 | 2 | 24 222.03/222.18 c 216s | 14 | 524213 | 75652 | 299626 0 | 2 | 24 224.53/224.63 c 218s | 14 | 524801 | 76152 | 299626 0 | 2 | 24 226.53/226.68 c 220s | 14 | 525236 | 76552 | 299626 0 | 2 | 24 228.93/229.05 c 223s | 14 | 525766 | 77052 | 299626 0 | 2 | 24 231.12/231.24 c 225s | 14 | 526300 | 77552 | 299626 0 | 2 | 24 233.32/233.42 c 227s | 14 | 526945 | 78152 | 299626 0 | 2 | 24 235.43/235.58 c 229s | 14 | 527493 | 78652 | 299626 0 | 2 | 24 237.53/237.63 c 231s | 14 | 528039 | 79152 | 299626 0 | 2 | 24 239.52/239.67 c 233s | 14 | 528591 | 79652 | 299626 0 | 2 | 24 241.52/241.67 c 235s | 14 | 529132 | 80152 | 299626 0 | 2 | 24 243.82/243.91 c 238s | 14 | 529795 | 80752 | 299626 0 | 2 | 24 245.82/245.95 c 240s | 14 | 530348 | 81252 | 299626 0 | 2 | 24 248.02/248.13 c 242s | 14 | 530963 | 81652 | 299626 0 | 2 | 24 250.02/250.17 c 244s | 14 | 531247 | 81852 | 299626 0 | 2 | 24 252.72/252.83 c 247s | 14 | 531574 | 82152 | 299626 0 | 2 | 24 255.02/255.18 c 249s | 14 | 531914 | 82452 | 299626 0 | 2 | 24 257.42/257.55 c 251s | 14 | 532272 | 82752 | 299626 0 | 2 | 24 260.11/260.29 c 254s | 14 | 532606 | 83052 | 299626 0 | 2 | 24 262.31/262.43 c 256s | 14 | 532941 | 83352 | 299626 0 | 2 | 24 264.81/264.92 c 259s | 14 | 533394 | 83752 | 299626 0 | 2 | 24 267.41/267.54 c 261s | 14 | 533767 | 84052 | 299626 0 | 2 | 24 269.52/269.69 c 263s | 14 | 534106 | 84352 | 299626 0 | 2 | 24 272.11/272.28 c 266s | 14 | 534555 | 84752 | 299626 0 | 2 | 24 274.61/274.77 c 268s | 14 | 534901 | 85052 | 299626 0 | 2 | 24 276.71/276.81 c 271s | 14 | 535236 | 85352 | 299626 0 | 2 | 24 279.01/279.16 c 273s | 14 | 535573 | 85652 | 299626 0 | 2 | 24 281.41/281.56 c 275s | 14 | 536012 | 86052 | 299626 0 | 2 | 24 283.71/283.90 c 278s | 14 | 536357 | 86352 | 299626 0 | 2 | 24 286.20/286.37 c 280s | 14 | 536838 | 86752 | 299626 0 | 2 | 24 288.50/288.65 c 282s | 14 | 537316 | 87152 | 329589 0 | 2 | 24 290.60/290.71 c 284s | 14 | 537646 | 87452 | 329589 0 | 2 | 24 291.70/291.83 c 286s | 15 | 537852 | 87632 | 329589 0 | 2 | 24 293.91/294.05 c 288s | 15 | 548388 | 88932 | 329589 0 | 3 | 36 296.01/296.15 c 290s | 15 | 563528 | 90232 | 329589 0 | 3 | 36 298.11/298.22 c 292s | 15 | 572551 | 91232 | 329589 0 | 3 | 36 300.21/300.32 c 294s | 15 | 584520 | 92832 | 329589 0 | 3 | 36 302.20/302.33 c 296s | 15 | 587578 | 93432 | 329589 0 | 3 | 36 304.40/304.59 c 298s | 15 | 591500 | 94432 | 329589 0 | 3 | 36 306.81/306.93 c 301s | 15 | 598579 | 95432 | 329589 0 | 3 | 36 309.60/309.71 c 303s | 15 | 599016 | 95832 | 329589 0 | 3 | 36 312.09/312.21 c 306s | 15 | 599356 | 96132 | 329589 0 | 3 | 36 314.29/314.41 c 308s | 15 | 599723 | 96432 | 329589 0 | 3 | 36 316.49/316.69 c 310s | 15 | 600044 | 96732 | 329589 0 | 3 | 36 319.19/319.37 c 313s | 15 | 600482 | 97132 | 329589 0 | 3 | 36 321.69/321.80 c 316s | 15 | 600827 | 97432 | 329589 0 | 3 | 36 324.40/324.56 c 318s | 15 | 601186 | 97732 | 329589 0 | 3 | 36 326.39/326.56 c 320s | 15 | 601536 | 98032 | 329589 0 | 3 | 36 328.69/328.80 c 323s | 15 | 601874 | 98332 | 329589 0 | 3 | 36 331.29/331.43 c 325s | 15 | 602323 | 98732 | 329589 0 | 3 | 36 333.49/333.61 c 327s | 15 | 602672 | 99032 | 329589 0 | 3 | 36 335.79/335.96 c 330s | 15 | 603133 | 99432 | 329589 0 | 3 | 36 338.18/338.37 c 332s | 15 | 603593 | 99832 | 329589 0 | 3 | 36 340.28/340.41 c 334s | 15 | 604027 | 100232 | 329589 0 | 3 | 36 342.48/342.61 c 336s | 15 | 604362 | 100532 | 329589 0 | 3 | 36 344.68/344.84 c 339s | 15 | 604805 | 100932 | 329589 0 | 3 | 36 346.78/346.96 c 341s | 15 | 605256 | 101332 | 329589 0 | 3 | 36 348.78/348.96 c 343s | 15 | 605702 | 101732 | 329589 0 | 3 | 36 351.18/351.36 c 345s | 15 | 606136 | 102132 | 329589 0 | 3 | 36 353.48/353.65 c 347s | 15 | 606469 | 102432 | 329589 0 | 3 | 36 355.78/355.96 c 350s | 15 | 606903 | 102832 | 329589 0 | 3 | 36 357.88/358.08 c 352s | 15 | 607340 | 103232 | 329589 0 | 3 | 36 360.18/360.33 c 354s | 15 | 608018 | 103732 | 329589 0 | 3 | 36 362.27/362.40 c 356s | 15 | 608409 | 104032 | 329589 0 | 3 | 36 364.77/364.95 c 359s | 15 | 608995 | 104532 | 329589 0 | 3 | 36 367.17/367.37 c 361s | 15 | 609430 | 104932 | 329589 0 | 3 | 36 369.37/369.52 c 363s | 15 | 609753 | 105232 | 329589 0 | 3 | 36 371.36/371.54 c 365s | 15 | 610096 | 105532 | 329589 0 | 3 | 36 373.46/373.66 c 367s | 15 | 610439 | 105832 | 329589 0 | 3 | 36 375.96/376.13 c 370s | 15 | 610989 | 106332 | 329589 0 | 3 | 36 378.06/378.26 c 372s | 15 | 611438 | 106732 | 329589 0 | 3 | 36 380.16/380.38 c 374s | 15 | 611882 | 107132 | 329589 0 | 3 | 36 382.26/382.41 c 376s | 15 | 612326 | 107532 | 329589 0 | 3 | 36 384.26/384.46 c 378s | 15 | 612756 | 107932 | 329589 0 | 3 | 36 386.96/387.14 c 381s | 15 | 613212 | 108332 | 329589 0 | 3 | 36 389.37/389.54 c 383s | 15 | 613548 | 108632 | 329589 0 | 3 | 36 391.86/392.04 c 386s | 15 | 613996 | 109032 | 329589 0 | 3 | 36 394.36/394.54 c 388s | 15 | 614444 | 109432 | 329589 0 | 3 | 36 396.86/397.08 c 391s | 15 | 614890 | 109832 | 329589 0 | 3 | 36 399.56/399.71 c 393s | 15 | 615318 | 110232 | 329589 0 | 3 | 36 401.55/401.74 c 395s | 15 | 615658 | 110532 | 329589 0 | 3 | 36 404.05/404.25 c 398s | 15 | 616111 | 110932 | 329589 0 | 3 | 36 406.75/406.93 c 401s | 15 | 616564 | 111332 | 329589 0 | 3 | 36 408.85/409.05 c 403s | 15 | 616876 | 111632 | 329589 0 | 3 | 36 411.35/411.54 c 405s | 15 | 617307 | 112032 | 329589 0 | 3 | 36 413.85/414.08 c 408s | 15 | 617748 | 112432 | 329589 0 | 3 | 36 416.35/416.51 c 410s | 15 | 618188 | 112832 | 329589 0 | 3 | 36 418.35/418.54 c 412s | 15 | 618638 | 113232 | 329589 0 | 3 | 36 420.45/420.65 c 414s | 15 | 619094 | 113632 | 329589 0 | 3 | 36 422.74/422.91 c 417s | 15 | 619439 | 113932 | 329589 0 | 3 | 36 424.74/424.92 c 419s | 15 | 619760 | 114232 | 329589 0 | 3 | 36 427.14/427.32 c 421s | 15 | 620186 | 114632 | 329589 0 | 3 | 36 429.84/430.02 c 424s | 15 | 620616 | 115032 | 329589 0 | 3 | 36 431.84/432.02 c 426s | 15 | 621051 | 115432 | 329589 0 | 3 | 36 434.04/434.24 c 428s | 15 | 621591 | 115932 | 329589 0 | 3 | 36 436.24/436.44 c 430s | 15 | 622022 | 116332 | 329589 0 | 3 | 36 438.44/438.61 c 432s | 15 | 622348 | 116632 | 329589 0 | 3 | 36 441.23/441.42 c 435s | 15 | 622656 | 116932 | 329589 0 | 3 | 36 443.24/443.43 c 437s | 15 | 622997 | 117232 | 329589 0 | 3 | 36 445.34/445.60 c 439s | 15 | 623318 | 117532 | 329589 0 | 3 | 36 447.93/448.19 c 442s | 15 | 623764 | 117932 | 329589 0 | 3 | 36 450.13/450.39 c 444s | 15 | 624098 | 118232 | 329589 0 | 3 | 36 452.53/452.72 c 446s | 15 | 624531 | 118632 | 329589 0 | 3 | 36 454.83/455.03 c 449s | 15 | 624968 | 119032 | 329589 0 | 3 | 36 457.23/457.41 c 451s | 15 | 625395 | 119432 | 329589 0 | 3 | 36 459.63/459.83 c 454s | 15 | 625828 | 119832 | 329589 0 | 3 | 36 462.02/462.23 c 456s | 15 | 626264 | 120232 | 329589 0 | 3 | 36 464.52/464.76 c 458s | 15 | 626619 | 120532 | 329589 0 | 3 | 36 466.82/467.06 c 461s | 15 | 626958 | 120832 | 329589 0 | 3 | 36 469.42/469.70 c 463s | 15 | 627281 | 121132 | 329589 0 | 3 | 36 471.52/471.77 c 465s | 15 | 627598 | 121432 | 329589 0 | 3 | 36 473.72/473.96 c 468s | 15 | 627933 | 121732 | 329589 0 | 3 | 36 476.22/476.45 c 470s | 15 | 628375 | 122132 | 329589 0 | 3 | 36 478.22/478.47 c 472s | 15 | 628701 | 122432 | 329589 0 | 3 | 36 480.42/480.66 c 474s | 15 | 629030 | 122732 | 329589 0 | 3 | 36 482.61/482.82 c 477s | 15 | 629357 | 123032 | 329589 0 | 3 | 36 485.02/485.22 c 479s | 15 | 629766 | 123432 | 329589 0 | 3 | 36 487.12/487.32 c 481s | 15 | 630097 | 123732 | 329589 0 | 3 | 36 489.61/489.82 c 484s | 15 | 630428 | 124032 | 329589 0 | 3 | 36 491.61/491.86 c 486s | 15 | 630756 | 124332 | 329589 0 | 3 | 36 493.81/494.03 c 488s | 15 | 631080 | 124632 | 329589 0 | 3 | 36 496.41/496.61 c 490s | 15 | 631510 | 125032 | 329589 0 | 3 | 36 498.61/498.82 c 493s | 15 | 631944 | 125432 | 329589 0 | 3 | 36 500.91/501.13 c 495s | 15 | 632381 | 125832 | 329589 0 | 3 | 36 503.30/503.59 c 497s | 15 | 632809 | 126232 | 329589 0 | 3 | 36 505.70/505.98 c 500s | 15 | 633149 | 126532 | 329589 0 | 3 | 36 508.11/508.31 c 502s | 15 | 633473 | 126832 | 329589 0 | 3 | 36 510.10/510.36 c 504s | 15 | 633814 | 127132 | 329589 0 | 3 | 36 512.41/512.65 c 506s | 15 | 634235 | 127532 | 329589 0 | 3 | 36 514.81/515.03 c 509s | 15 | 634674 | 127932 | 329589 0 | 3 | 36 517.01/517.25 c 511s | 15 | 635116 | 128332 | 329589 0 | 3 | 36 520.21/520.45 c 514s | 15 | 635454 | 128632 | 329589 0 | 3 | 36 522.31/522.60 c 516s | 15 | 635698 | 128832 | 329589 0 | 3 | 36 524.90/525.17 c 519s | 15 | 636033 | 129132 | 329589 0 | 3 | 36 527.30/527.58 c 521s | 15 | 636371 | 129432 | 329589 0 | 3 | 36 529.80/530.03 c 524s | 15 | 636703 | 129732 | 329589 0 | 3 | 36 532.31/532.58 c 526s | 15 | 637151 | 130132 | 329589 0 | 3 | 36 534.51/534.74 c 528s | 15 | 637586 | 130532 | 329589 0 | 3 | 36 536.80/537.00 c 531s | 15 | 637932 | 130832 | 362548 0 | 3 | 36 539.40/539.62 c 533s | 15 | 638389 | 131232 | 362548 0 | 3 | 36 541.29/541.56 c 535s | 16 | 638737 | 131552 | 362548 0 | 3 | 36 543.39/543.63 c 537s | 16 | 639734 | 132052 | 362548 0 | 3 | 36 545.40/545.67 c 539s | 16 | 644623 | 135552 | 362548 0 | 3 | 36 547.39/547.67 c 541s | 16 | 648477 | 138352 | 362548 0 | 3 | 36 549.49/549.76 c 543s | 16 | 657547 | 139452 | 362548 0 | 3 | 36 551.59/551.85 c 546s | 16 | 661922 | 140252 | 362548 0 | 3 | 36 553.69/553.95 c 548s | 16 | 664825 | 141052 | 362548 0 | 3 | 36 555.89/556.18 c 550s | 16 | 665776 | 141252 | 362548 0 | 5 | 60 558.79/559.02 c 553s | 16 | 666891 | 141452 | 362548 0 | 6 | 72 561.90/562.18 c 556s | 16 | 667625 | 141652 | 362548 0 | 7 | 84 565.09/565.31 c 559s | 16 | 667844 | 141852 | 362548 0 | 7 | 84 567.69/567.99 c 562s | 16 | 668058 | 142052 | 362548 0 | 7 | 84 570.49/570.72 c 564s | 16 | 668285 | 142252 | 362548 0 | 7 | 84 573.29/573.50 c 567s | 16 | 668514 | 142452 | 362548 0 | 7 | 84 576.29/576.57 c 570s | 16 | 670581 | 142752 | 362548 0 | 8 | 96 578.89/579.16 c 573s | 16 | 670797 | 142952 | 362548 0 | 8 | 96 581.39/581.65 c 575s | 16 | 671021 | 143152 | 362548 0 | 8 | 96 584.29/584.57 c 578s | 16 | 671998 | 143452 | 362548 0 | 8 | 96 586.89/587.19 c 581s | 16 | 672742 | 143752 | 362548 0 | 8 | 96 589.18/589.41 c 583s | 16 | 676391 | 144652 | 362548 0 | 8 | 96 591.18/591.42 c 585s | 16 | 692035 | 146552 | 362548 0 | 8 | 96 593.18/593.45 c 587s | 16 | 697129 | 148652 | 362548 0 | 8 | 96 595.28/595.53 c 589s | 16 | 704427 | 149352 | 362548 0 | 8 | 96 597.38/597.64 c 591s | 16 | 709183 | 150852 | 362548 0 | 8 | 96 599.48/599.76 c 593s | 16 | 711760 | 152452 | 362548 0 | 8 | 96 601.58/601.83 c 596s | 16 | 714907 | 153852 | 362548 0 | 8 | 96 603.78/604.08 c 598s | 16 | 719592 | 154952 | 362548 0 | 8 | 96 606.07/606.35 c 600s | 16 | 720118 | 155152 | 362548 0 | 8 | 96 608.67/608.98 c 603s | 16 | 720346 | 155352 | 362548 0 | 8 | 96 611.07/611.32 c 605s | 16 | 720665 | 155552 | 362548 0 | 8 | 96 614.07/614.38 c 608s | 16 | 721574 | 155852 | 362548 0 | 8 | 96 616.47/616.76 c 610s | 16 | 724178 | 156652 | 362548 0 | 8 | 96 618.67/618.94 c 613s | 16 | 725950 | 157652 | 362548 0 | 8 | 96 620.67/620.97 c 615s | 16 | 727053 | 158052 | 362548 0 | 8 | 96 622.76/623.01 c 617s | 16 | 728897 | 159252 | 362548 0 | 8 | 96 624.86/625.10 c 619s | 16 | 731143 | 160652 | 362548 0 | 8 | 96 626.96/627.22 c 621s | 16 | 732795 | 161752 | 362548 0 | 8 | 96 629.16/629.45 c 623s | 16 | 734364 | 162752 | 362548 0 | 8 | 96 631.27/631.58 c 625s | 16 | 736770 | 164552 | 362548 0 | 8 | 96 633.37/633.68 c 627s | 16 | 738357 | 165652 | 362548 0 | 8 | 96 635.67/635.92 c 630s | 16 | 739370 | 166052 | 362548 0 | 8 | 96 638.16/638.42 c 632s | 16 | 739969 | 166452 | 362548 0 | 8 | 96 640.16/640.48 c 634s | 16 | 740755 | 166752 | 362548 0 | 9 | 108 642.76/643.08 c 637s | 16 | 741115 | 167052 | 362548 0 | 9 | 108 645.06/645.31 c 639s | 16 | 741352 | 167252 | 362548 0 | 9 | 108 647.36/647.64 c 641s | 16 | 741906 | 167552 | 362548 0 | 9 | 108 649.86/650.12 c 644s | 16 | 744620 | 167952 | 362548 0 | 9 | 108 651.95/652.22 c 646s | 16 | 746449 | 168252 | 362548 0 | 9 | 108 653.95/654.24 c 648s | 16 | 749046 | 168952 | 362548 0 | 9 | 108 656.05/656.34 c 650s | 16 | 749276 | 169152 | 362548 0 | 9 | 108 658.85/659.18 c 653s | 16 | 749602 | 169452 | 362548 0 | 9 | 108 660.96/661.26 c 655s | 16 | 749819 | 169652 | 362548 0 | 9 | 108 663.85/664.16 c 658s | 16 | 750230 | 169952 | 362548 0 | 9 | 108 666.15/666.47 c 660s | 16 | 756206 | 171052 | 362548 0 | 9 | 108 668.25/668.57 c 662s | 16 | 756664 | 171252 | 362548 0 | 9 | 108 670.35/670.68 c 664s | 16 | 757035 | 171452 | 362548 0 | 9 | 108 673.25/673.55 c 667s | 16 | 757297 | 171652 | 362548 0 | 9 | 108 676.05/676.38 c 670s | 16 | 757546 | 171852 | 362548 0 | 9 | 108 678.75/679.05 c 673s | 16 | 757791 | 172052 | 362548 0 | 9 | 108 681.05/681.38 c 675s | 16 | 758030 | 172252 | 362548 0 | 9 | 108 683.55/683.81 c 678s | 16 | 758242 | 172452 | 362548 0 | 9 | 108 686.05/686.34 c 680s | 16 | 758473 | 172652 | 362548 0 | 9 | 108 688.35/688.62 c 682s | 16 | 758694 | 172852 | 362548 0 | 9 | 108 690.75/691.09 c 685s | 16 | 758922 | 173052 | 362548 0 | 9 | 108 692.85/693.16 c 687s | 16 | 759197 | 173252 | 362548 0 | 9 | 108 695.54/695.80 c 690s | 16 | 761007 | 173652 | 362548 0 | 9 | 108 697.54/697.81 c 692s | 16 | 761225 | 173852 | 362548 0 | 9 | 108 699.54/699.82 c 694s | 16 | 761447 | 174052 | 362548 0 | 9 | 108 701.65/701.91 c 696s | 16 | 761758 | 174252 | 362548 0 | 9 | 108 703.75/704.07 c 698s | 16 | 762200 | 174552 | 362548 0 | 9 | 108 705.95/706.28 c 700s | 16 | 762419 | 174752 | 362548 0 | 9 | 108 708.64/708.96 c 703s | 16 | 762752 | 175052 | 362548 0 | 9 | 108 710.84/711.13 c 705s | 16 | 762995 | 175252 | 362548 0 | 9 | 108 713.34/713.61 c 707s | 16 | 763336 | 175552 | 362548 0 | 9 | 108 715.84/716.19 c 710s | 16 | 763673 | 175852 | 362548 0 | 9 | 108 717.94/718.24 c 712s | 16 | 763884 | 176052 | 362548 0 | 9 | 108 720.04/720.36 c 714s | 16 | 764096 | 176252 | 362548 0 | 9 | 108 722.44/722.71 c 716s | 16 | 764318 | 176452 | 362548 0 | 9 | 108 724.83/725.13 c 719s | 16 | 764514 | 176652 | 362548 0 | 9 | 108 726.94/727.27 c 721s | 16 | 764741 | 176852 | 362548 0 | 9 | 108 729.04/729.32 c 723s | 16 | 764965 | 177052 | 362548 0 | 9 | 108 731.24/731.58 c 725s | 16 | 765190 | 177252 | 362548 0 | 9 | 108 733.44/733.71 c 727s | 16 | 765411 | 177452 | 362548 0 | 9 | 108 735.64/735.99 c 730s | 16 | 765645 | 177652 | 362548 0 | 9 | 108 737.94/738.29 c 732s | 16 | 765866 | 177852 | 362548 0 | 9 | 108 740.04/740.38 c 734s | 16 | 766083 | 178052 | 362548 0 | 9 | 108 743.03/743.34 c 737s | 16 | 766405 | 178352 | 362548 0 | 9 | 108 745.64/745.97 c 740s | 16 | 766731 | 178652 | 362548 0 | 9 | 108 748.63/748.97 c 743s | 16 | 767116 | 178952 | 362548 0 | 9 | 108 750.83/751.10 c 745s | 16 | 767325 | 179152 | 362548 0 | 9 | 108 753.13/753.47 c 747s | 16 | 770395 | 179552 | 362548 0 | 9 | 108 755.83/756.16 c 750s | 16 | 770824 | 179752 | 362548 0 | 9 | 108 758.43/758.73 c 752s | 16 | 771094 | 179952 | 362548 0 | 9 | 108 760.94/761.23 c 755s | 16 | 788059 | 181152 | 362548 0 | 9 | 108 763.03/763.37 c 757s | 16 | 788666 | 181552 | 362548 0 | 9 | 108 765.23/765.51 c 759s | 16 | 790341 | 182852 | 362548 0 | 9 | 108 767.43/767.70 c 761s | 16 | 796438 | 183352 | 362548 0 | 9 | 108 769.83/770.12 c 764s | 16 | 796682 | 183552 | 362548 0 | 9 | 108 772.13/772.45 c 766s | 16 | 796893 | 183752 | 362548 0 | 9 | 108 775.13/775.45 c 769s | 16 | 797115 | 183952 | 362548 0 | 9 | 108 777.63/777.93 c 772s | 16 | 797334 | 184152 | 362548 0 | 9 | 108 779.83/780.17 c 774s | 16 | 797553 | 184352 | 362548 0 | 9 | 108 782.03/782.39 c 776s | 16 | 797758 | 184552 | 362548 0 | 9 | 108 784.82/785.15 c 779s | 16 | 801602 | 185252 | 362548 0 | 9 | 108 787.62/787.94 c 782s | 16 | 801976 | 185552 | 362548 0 | 9 | 108 790.02/790.30 c 784s | 16 | 802195 | 185752 | 362548 0 | 9 | 108 792.93/793.26 c 787s | 16 | 802509 | 186052 | 362548 0 | 9 | 108 795.32/795.65 c 789s | 16 | 803027 | 186352 | 362548 0 | 9 | 108 797.52/797.81 c 792s | 16 | 804811 | 187352 | 362548 0 | 9 | 108 799.82/800.16 c 794s | 16 | 806423 | 188252 | 362548 0 | 9 | 108 802.02/802.39 c 796s | 16 | 806691 | 188452 | 362548 0 | 9 | 108 804.22/804.51 c 798s | 16 | 807737 | 188952 | 362548 0 | 9 | 108 806.82/807.20 c 801s | 16 | 809226 | 189752 | 362548 0 | 9 | 108 809.43/809.71 c 803s | 16 | 809630 | 190052 | 362548 0 | 9 | 108 811.92/812.24 c 806s | 16 | 809994 | 190352 | 362548 0 | 9 | 108 814.12/814.50 c 808s | 16 | 810683 | 190652 | 362548 0 | 9 | 108 816.22/816.57 c 810s | 16 | 810912 | 190852 | 362548 0 | 9 | 108 818.23/818.57 c 812s | 16 | 811127 | 191052 | 362548 0 | 9 | 108 820.52/820.84 c 815s | 16 | 811324 | 191252 | 362548 0 | 9 | 108 822.82/823.10 c 817s | 16 | 812208 | 191552 | 362548 0 | 9 | 108 825.83/826.18 c 820s | 16 | 813353 | 191852 | 362548 0 | 9 | 108 829.02/829.30 c 823s | 16 | 813565 | 192052 | 362548 0 | 9 | 108 831.02/831.32 c 825s | 16 | 814206 | 192252 | 362548 0 | 9 | 108 833.42/833.71 c 827s | 16 | 815342 | 192652 | 362548 0 | 9 | 108 835.52/835.86 c 830s | 16 | 816274 | 192852 | 362548 0 | 9 | 108 837.62/837.94 c 832s | 16 | 817904 | 193452 | 362548 0 | 9 | 108 840.12/840.49 c 834s | 16 | 818515 | 193852 | 362548 0 | 9 | 108 842.92/843.25 c 837s | 16 | 821799 | 194152 | 362548 0 | 9 | 108 845.42/845.72 c 839s | 16 | 822403 | 194452 | 362548 0 | 9 | 108 848.42/848.74 c 842s | 16 | 822746 | 194752 | 362548 0 | 9 | 108 850.41/850.78 c 844s | 16 | 822970 | 194952 | 362548 0 | 9 | 108 853.32/853.61 c 847s | 16 | 823298 | 195252 | 362548 0 | 9 | 108 855.41/855.76 c 849s | 16 | 823519 | 195452 | 362548 0 | 9 | 108 858.01/858.33 c 852s | 16 | 824612 | 195752 | 362548 0 | 9 | 108 860.41/860.73 c 854s | 16 | 826422 | 196052 | 362548 0 | 9 | 108 863.32/863.62 c 857s | 16 | 828557 | 196352 | 398803 0 | 9 | 108 865.91/866.27 c 860s | 16 | 828775 | 196552 | 398803 0 | 9 | 108 868.91/869.28 c 863s | 16 | 830359 | 196852 | 398803 0 | 9 | 108 871.31/871.63 c 865s | 16 | 833532 | 197152 | 398803 0 | 9 | 108 873.81/874.10 c 868s | 17 | 835781 | 197432 | 398803 0 | 9 | 108 875.81/876.18 c 870s | 17 | 843859 | 198532 | 398803 0 | 9 | 108 878.11/878.47 c 872s | 17 | 862344 | 199532 | 398803 0 | 9 | 108 880.31/880.62 c 874s | 17 | 878939 | 200132 | 398803 0 | 9 | 108 882.41/882.73 c 876s | 17 | 889424 | 200732 | 398803 0 | 9 | 108 884.51/884.87 c 879s | 17 | 899437 | 201532 | 398803 0 | 9 | 108 886.61/886.97 c 881s | 17 | 902550 | 202532 | 398803 0 | 9 | 108 888.71/889.01 c 883s | 17 | 922553 | 203932 | 398803 0 | 9 | 108 890.72/891.02 c 885s | 17 | 927755 | 204932 | 398803 0 | 9 | 108 892.92/893.29 c 887s | 17 | 930859 | 205932 | 398803 0 | 9 | 108 895.01/895.32 c 889s | 17 | 934938 | 206932 | 398803 0 | 9 | 108 897.01/897.34 c 891s | 17 | 938467 | 207732 | 398803 0 | 9 | 108 899.11/899.49 c 893s | 17 | 940787 | 208632 | 398803 0 | 9 | 108 901.31/901.60 c 895s | 17 | 944569 | 209632 | 398803 0 | 9 | 108 903.41/903.73 c 897s | 17 | 952757 | 210432 | 398803 0 | 9 | 108 905.41/905.76 c 899s | 17 | 972210 | 212332 | 398803 0 | 9 | 108 907.61/907.97 c 902s | 17 | 986128 | 213632 | 398803 0 | 9 | 108 910.01/910.31 c 904s | 17 | 992584 | 215432 | 398803 0 | 9 | 108 912.01/912.37 c 906s | 17 | 1008447 | 216732 | 398803 0 | 9 | 108 914.71/915.03 c 909s | 17 | 1010738 | 217232 | 398803 0 | 9 | 108 917.00/917.32 c 911s | 17 | 1013676 | 218032 | 398803 0 | 9 | 108 919.50/919.84 c 914s | 17 | 1015601 | 218832 | 398803 0 | 9 | 108 921.80/922.15 c 916s | 17 | 1016524 | 219332 | 398803 0 | 9 | 108 923.90/924.23 c 918s | 17 | 1019219 | 220132 | 398803 0 | 9 | 108 926.01/926.34 c 920s | 17 | 1021272 | 221032 | 398803 0 | 9 | 108 928.00/928.35 c 922s | 17 | 1024084 | 221732 | 398803 0 | 9 | 108 930.20/930.51 c 924s | 17 | 1026333 | 222432 | 398803 0 | 9 | 108 932.20/932.55 c 926s | 17 | 1030184 | 223232 | 398803 0 | 9 | 108 934.30/934.67 c 928s | 17 | 1038252 | 224632 | 398803 0 | 9 | 108 936.60/936.90 c 931s | 17 | 1051563 | 225132 | 398803 0 | 9 | 108 938.60/938.99 c 933s | 17 | 1054856 | 225432 | 398803 0 | 9 | 108 941.41/941.75 c 935s | 17 | 1061223 | 225932 | 398803 0 | 9 | 108 943.61/943.94 c 938s | 17 | 1062775 | 226532 | 398803 0 | 9 | 108 946.00/946.34 c 940s | 17 | 1064480 | 226932 | 398803 0 | 9 | 108 948.30/948.64 c 942s | 17 | 1066215 | 227332 | 398803 0 | 9 | 108 950.80/951.11 c 945s | 17 | 1068949 | 227732 | 398803 0 | 9 | 108 952.90/953.26 c 947s | 17 | 1075061 | 228032 | 398803 0 | 9 | 108 955.40/955.71 c 949s | 17 | 1085066 | 228532 | 398803 0 | 9 | 108 957.70/958.06 c 952s | 17 | 1090071 | 229132 | 398803 0 | 9 | 108 960.00/960.38 c 954s | 17 | 1102935 | 229732 | 398803 0 | 9 | 108 962.30/962.64 c 956s | 17 | 1111524 | 230332 | 398803 0 | 9 | 108 964.30/964.67 c 958s | 17 | 1115023 | 230932 | 398803 0 | 9 | 108 966.60/966.96 c 961s | 17 | 1119396 | 231432 | 398803 0 | 9 | 108 969.00/969.37 c 963s | 17 | 1130286 | 231932 | 398803 0 | 9 | 108 971.10/971.41 c 965s | 17 | 1136884 | 232332 | 398803 0 | 9 | 108 973.60/973.92 c 968s | 17 | 1146786 | 232932 | 398803 0 | 9 | 108 975.79/976.12 c 970s | 17 | 1159604 | 233632 | 398803 0 | 9 | 108 977.89/978.29 c 972s | 17 | 1165416 | 234232 | 398803 0 | 9 | 108 980.39/980.76 c 974s | 17 | 1175379 | 235032 | 398803 0 | 9 | 108 982.79/983.16 c 977s | 17 | 1181461 | 235832 | 398803 0 | 9 | 108 985.09/985.49 c 979s | 17 | 1184003 | 236432 | 398803 0 | 9 | 108 987.39/987.79 c 982s | 17 | 1189526 | 236932 | 398803 0 | 9 | 108 989.49/989.89 c 984s | 17 | 1199612 | 237432 | 398803 0 | 9 | 108 992.00/992.36 c 986s | 17 | 1202872 | 237932 | 398803 0 | 9 | 108 994.69/995.06 c 989s | 17 | 1205686 | 238332 | 398803 0 | 9 | 108 996.69/997.08 c 991s | 17 | 1215111 | 239132 | 398803 0 | 9 | 108 998.89/999.28 c 993s | 17 | 1230627 | 240232 | 398803 0 | 9 | 108 1000.99/1001.36 c 995s | 17 | 1235872 | 241232 | 398803 0 | 9 | 108 1003.09/1003.46 c 997s | 17 | 1245987 | 242432 | 398803 0 | 9 | 108 1005.20/1005.57 c 999s | 17 | 1252148 | 243932 | 398803 0 | 9 | 108 1007.30/1007.69 c 1001s | 17 | 1256584 | 244932 | 398803 0 | 9 | 108 1009.50/1009.84 c 1004s | 17 | 1260045 | 246032 | 398803 0 | 9 | 108 1011.70/1012.02 c 1006s | 17 | 1261969 | 246932 | 398803 0 | 9 | 108 1013.90/1014.22 c 1008s | 17 | 1264113 | 247832 | 398803 0 | 9 | 108 1015.89/1016.24 c 1010s | 17 | 1266690 | 248632 | 398803 0 | 9 | 108 1018.09/1018.46 c 1012s | 17 | 1268593 | 249232 | 398803 0 | 9 | 108 1020.29/1020.68 c 1014s | 17 | 1270033 | 249932 | 398803 0 | 9 | 108 1022.39/1022.79 c 1017s | 17 | 1270985 | 250532 | 398803 0 | 9 | 108 1024.49/1024.85 c 1019s | 17 | 1272096 | 251132 | 398803 0 | 9 | 108 1026.59/1026.90 c 1021s | 17 | 1273359 | 251832 | 398803 0 | 9 | 108 1028.59/1028.96 c 1023s | 17 | 1274327 | 252432 | 398803 0 | 9 | 108 1030.79/1031.14 c 1025s | 17 | 1276015 | 253132 | 398803 0 | 9 | 108 1032.89/1033.22 c 1027s | 17 | 1280602 | 254232 | 398803 0 | 9 | 108 1034.89/1035.26 c 1029s | 17 | 1284372 | 255532 | 398803 0 | 9 | 108 1036.99/1037.40 c 1031s | 17 | 1286409 | 256232 | 398803 0 | 9 | 108 1039.29/1039.66 c 1033s | 17 | 1288908 | 257132 | 398803 0 | 9 | 108 1041.28/1041.68 c 1035s | 17 | 1289872 | 257632 | 398803 0 | 9 | 108 1043.59/1044.00 c 1038s | 17 | 1291594 | 258232 | 398803 0 | 9 | 108 1045.68/1046.06 c 1040s | 17 | 1294567 | 259032 | 398803 0 | 9 | 108 1047.88/1048.25 c 1042s | 17 | 1296651 | 259932 | 398803 0 | 9 | 108 1049.88/1050.26 c 1044s | 17 | 1300081 | 261332 | 398803 0 | 9 | 108 1052.18/1052.50 c 1046s | 17 | 1301686 | 262132 | 398803 0 | 9 | 108 1054.18/1054.52 c 1048s | 17 | 1302991 | 262732 | 398803 0 | 9 | 108 1056.18/1056.58 c 1050s | 17 | 1304612 | 263332 | 398803 0 | 9 | 108 1058.28/1058.64 c 1052s | 17 | 1305884 | 263932 | 398803 0 | 9 | 108 1060.48/1060.88 c 1055s | 17 | 1306968 | 264532 | 398803 0 | 9 | 108 1062.58/1062.93 c 1057s | 17 | 1308154 | 265132 | 398803 0 | 9 | 108 1064.68/1065.08 c 1059s | 17 | 1309569 | 265732 | 398803 0 | 9 | 108 1067.18/1067.56 c 1061s | 17 | 1311155 | 266432 | 398803 0 | 9 | 108 1069.18/1069.57 c 1063s | 17 | 1312306 | 267032 | 398803 0 | 9 | 108 1071.58/1071.91 c 1066s | 17 | 1313767 | 267632 | 398803 0 | 9 | 108 1073.68/1074.00 c 1068s | 17 | 1315291 | 267932 | 398803 0 | 9 | 108 1076.38/1076.74 c 1070s | 17 | 1316126 | 268332 | 398803 0 | 9 | 108 1079.18/1079.55 c 1073s | 17 | 1316496 | 268632 | 398803 0 | 9 | 108 1081.18/1081.56 c 1075s | 17 | 1317169 | 268932 | 398803 0 | 9 | 108 1083.38/1083.73 c 1077s | 17 | 1318480 | 269432 | 398803 0 | 9 | 108 1085.38/1085.78 c 1079s | 17 | 1319154 | 269732 | 398803 0 | 9 | 108 1087.58/1087.94 c 1082s | 17 | 1321355 | 270432 | 398803 0 | 9 | 108 1089.58/1089.98 c 1084s | 17 | 1329013 | 271532 | 398803 0 | 9 | 108 1091.98/1092.31 c 1086s | 17 | 1343861 | 273132 | 398803 0 | 9 | 108 1094.07/1094.50 c 1088s | 17 | 1345330 | 273832 | 398803 0 | 9 | 108 1096.57/1096.94 c 1091s | 17 | 1346854 | 274432 | 398803 0 | 9 | 108 1098.58/1098.97 c 1093s | 17 | 1348143 | 275232 | 398803 0 | 9 | 108 1100.97/1101.36 c 1095s | 17 | 1349238 | 275832 | 398803 0 | 9 | 108 1103.27/1103.68 c 1097s | 17 | 1350148 | 276332 | 398803 0 | 9 | 108 1105.47/1105.81 c 1100s | 17 | 1351662 | 277132 | 398803 0 | 9 | 108 1108.07/1108.40 c 1102s | 17 | 1353463 | 278132 | 398803 0 | 9 | 108 1110.07/1110.43 c 1104s | 17 | 1357809 | 278832 | 398803 0 | 9 | 108 1112.27/1112.60 c 1106s | 17 | 1365106 | 280132 | 398803 0 | 9 | 108 1114.37/1114.75 c 1108s | 17 | 1368023 | 280632 | 398803 0 | 9 | 108 1116.87/1117.26 c 1111s | 17 | 1372343 | 281732 | 398803 0 | 9 | 108 1119.67/1120.06 c 1114s | 17 | 1373071 | 282132 | 398803 0 | 9 | 108 1122.17/1122.53 c 1116s | 17 | 1373549 | 282432 | 398803 0 | 9 | 108 1124.37/1124.76 c 1118s | 17 | 1382391 | 283532 | 398803 0 | 9 | 108 1126.67/1127.02 c 1121s | 17 | 1386689 | 284532 | 398803 0 | 9 | 108 1129.17/1129.50 c 1123s | 17 | 1389993 | 285332 | 398803 0 | 9 | 108 1131.37/1131.70 c 1125s | 17 | 1392042 | 286132 | 398803 0 | 9 | 108 1133.37/1133.74 c 1127s | 17 | 1392960 | 286732 | 398803 0 | 9 | 108 1135.67/1136.03 c 1130s | 17 | 1396228 | 287632 | 398803 0 | 9 | 108 1137.67/1138.04 c 1132s | 17 | 1402508 | 288832 | 398803 0 | 9 | 108 1139.87/1140.24 c 1134s | 17 | 1423738 | 290432 | 398803 0 | 9 | 108 1141.97/1142.33 c 1136s | 17 | 1434441 | 290832 | 398803 0 | 9 | 108 1144.17/1144.53 c 1138s | 17 | 1439479 | 291232 | 398803 0 | 9 | 108 1146.27/1146.60 c 1140s | 17 | 1443077 | 291632 | 398803 0 | 9 | 108 1148.57/1148.91 c 1143s | 17 | 1446637 | 292032 | 398803 0 | 9 | 108 1150.57/1150.94 c 1145s | 17 | 1456603 | 292632 | 398803 0 | 9 | 108 1152.97/1153.39 c 1147s | 17 | 1474545 | 293232 | 398803 0 | 9 | 108 1155.37/1155.78 c 1149s | 17 | 1488313 | 293832 | 398803 0 | 9 | 108 1157.67/1158.09 c 1152s | 17 | 1501123 | 294532 | 438684 0 | 9 | 108 1159.96/1160.31 c 1154s | 17 | 1509291 | 295132 | 438684 0 | 9 | 108 1162.16/1162.56 c 1156s | 17 | 1523466 | 295932 | 438684 0 | 9 | 108 1163.36/1163.75 c 1157s | 18 | 1527869 | 296252 | 438684 0 | 9 | 108 1165.47/1165.89 c 1160s | 18 | 1529232 | 296352 | 438684 0 | 9 | 108 1167.57/1167.95 c 1162s | 18 | 1535950 | 296652 | 438684 0 | 9 | 108 1170.67/1171.09 c 1165s | 18 | 1542769 | 297252 | 438684 0 | 9 | 108 1173.07/1173.47 c 1167s | 18 | 1548174 | 298052 | 438684 0 | 9 | 108 1176.57/1176.97 c 1171s | 18 | 1553689 | 298452 | 438684 0 | 9 | 108 1179.37/1179.75 c 1173s | 18 | 1553916 | 298652 | 438684 0 | 9 | 108 1182.47/1182.88 c 1177s | 18 | 1554149 | 298852 | 438684 0 | 9 | 108 1185.87/1186.26 c 1180s | 18 | 1554364 | 299052 | 438684 0 | 9 | 108 1188.88/1189.27 c 1183s | 18 | 1554592 | 299252 | 438684 0 | 9 | 108 1191.57/1191.98 c 1186s | 18 | 1554799 | 299452 | 438684 0 | 9 | 108 1193.97/1194.32 c 1188s | 18 | 1555035 | 299652 | 438684 0 | 9 | 108 1197.37/1197.74 c 1191s | 18 | 1555254 | 299852 | 438684 0 | 9 | 108 1200.27/1200.69 c 1194s | 18 | 1555478 | 300052 | 438684 0 | 9 | 108 1203.07/1203.41 c 1197s | 18 | 1555692 | 300252 | 438684 0 | 9 | 108 1205.27/1205.70 c 1199s | 18 | 1555909 | 300452 | 438684 0 | 9 | 108 1207.97/1208.39 c 1202s | 18 | 1556132 | 300652 | 438684 0 | 9 | 108 1210.57/1210.91 c 1205s | 18 | 1556343 | 300852 | 438684 0 | 9 | 108 1213.56/1213.91 c 1208s | 18 | 1560540 | 301052 | 438684 0 | 10 | 120 1215.96/1216.39 c 1210s | 18 | 1572585 | 301652 | 438684 0 | 10 | 120 1218.16/1218.57 c 1212s | 18 | 1576474 | 302252 | 438684 0 | 10 | 120 1220.56/1220.91 c 1215s | 18 | 1587991 | 302852 | 438684 0 | 10 | 120 1222.87/1223.25 c 1217s | 18 | 1591669 | 303252 | 438684 0 | 10 | 120 1225.36/1225.70 c 1219s | 18 | 1596185 | 303652 | 438684 0 | 10 | 120 1227.76/1228.10 c 1222s | 18 | 1599685 | 304052 | 438684 0 | 10 | 120 1229.86/1230.20 c 1224s | 18 | 1603559 | 304552 | 438684 0 | 10 | 120 1232.06/1232.42 c 1226s | 18 | 1615703 | 305252 | 438684 0 | 10 | 120 1234.26/1234.64 c 1228s | 18 | 1626336 | 306052 | 438684 0 | 10 | 120 1236.76/1237.14 c 1231s | 18 | 1629186 | 306752 | 438684 0 | 10 | 120 1239.26/1239.63 c 1233s | 18 | 1630809 | 307252 | 438684 0 | 10 | 120 1241.36/1241.79 c 1236s | 18 | 1641971 | 307852 | 438684 0 | 10 | 120 1243.46/1243.85 c 1238s | 18 | 1643556 | 308252 | 438684 0 | 10 | 120 1245.56/1245.99 c 1240s | 18 | 1644974 | 308752 | 438684 0 | 10 | 120 1247.76/1248.15 c 1242s | 18 | 1646352 | 309152 | 438684 0 | 10 | 120 1250.16/1250.55 c 1244s | 18 | 1647936 | 309552 | 438684 0 | 10 | 120 1252.46/1252.85 c 1247s | 18 | 1652937 | 310052 | 438684 0 | 10 | 120 1254.96/1255.31 c 1249s | 18 | 1654165 | 310452 | 438684 0 | 10 | 120 1257.16/1257.52 c 1251s | 18 | 1655945 | 310952 | 438684 0 | 10 | 120 1259.16/1259.55 c 1253s | 18 | 1657402 | 311452 | 438684 0 | 10 | 120 1261.56/1261.98 c 1256s | 18 | 1662173 | 312152 | 438684 0 | 10 | 120 1263.75/1264.17 c 1258s | 18 | 1668595 | 312652 | 438684 0 | 10 | 120 1266.05/1266.42 c 1260s | 18 | 1677871 | 313352 | 438684 0 | 10 | 120 1268.06/1268.44 c 1262s | 18 | 1688623 | 314052 | 438684 0 | 10 | 120 1270.16/1270.51 c 1264s | 18 | 1692873 | 314652 | 438684 0 | 10 | 120 1272.25/1272.62 c 1266s | 18 | 1695384 | 315252 | 438684 0 | 10 | 120 1274.35/1274.73 c 1268s | 18 | 1699179 | 315852 | 438684 0 | 10 | 120 1276.55/1276.97 c 1271s | 18 | 1703556 | 316552 | 438684 0 | 10 | 120 1278.96/1279.32 c 1273s | 18 | 1708762 | 317252 | 438684 0 | 10 | 120 1281.05/1281.45 c 1275s | 18 | 1715476 | 318052 | 438684 0 | 10 | 120 1283.55/1283.97 c 1278s | 18 | 1718268 | 318952 | 438684 0 | 10 | 120 1286.05/1286.40 c 1280s | 18 | 1719660 | 319452 | 438684 0 | 10 | 120 1288.45/1288.87 c 1283s | 18 | 1720899 | 319852 | 438684 0 | 10 | 120 1291.25/1291.64 c 1285s | 18 | 1721811 | 320252 | 438684 0 | 10 | 120 1293.45/1293.89 c 1288s | 18 | 1722667 | 320652 | 438684 0 | 10 | 120 1295.56/1295.97 c 1290s | 18 | 1723228 | 320952 | 438684 0 | 10 | 120 1297.95/1298.33 c 1292s | 18 | 1724861 | 321552 | 438684 0 | 10 | 120 1300.45/1300.82 c 1295s | 18 | 1726882 | 322052 | 438684 0 | 10 | 120 1302.75/1303.13 c 1297s | 18 | 1727562 | 322352 | 438684 0 | 10 | 120 1305.15/1305.59 c 1299s | 18 | 1728091 | 322652 | 438684 0 | 10 | 120 1307.66/1308.09 c 1302s | 18 | 1728878 | 323052 | 438684 0 | 10 | 120 1309.75/1310.17 c 1304s | 18 | 1729412 | 323352 | 438684 0 | 10 | 120 1312.35/1312.79 c 1306s | 18 | 1729894 | 323652 | 438684 0 | 10 | 120 1314.75/1315.13 c 1309s | 18 | 1730551 | 324052 | 438684 0 | 10 | 120 1316.75/1317.16 c 1311s | 18 | 1732253 | 324552 | 438684 0 | 10 | 120 1318.75/1319.19 c 1313s | 18 | 1733952 | 325252 | 438684 0 | 10 | 120 1320.75/1321.20 c 1315s | 18 | 1735058 | 325752 | 438684 0 | 10 | 120 1323.05/1323.41 c 1317s | 18 | 1735825 | 326152 | 438684 0 | 10 | 120 1325.54/1325.94 c 1320s | 18 | 1736862 | 326652 | 438684 0 | 10 | 120 1327.64/1328.04 c 1322s | 18 | 1737463 | 327052 | 438684 0 | 10 | 120 1330.04/1330.45 c 1324s | 18 | 1738216 | 327552 | 438684 0 | 10 | 120 1332.74/1333.19 c 1327s | 18 | 1738744 | 327952 | 438684 0 | 10 | 120 1334.94/1335.33 c 1329s | 18 | 1739430 | 328352 | 438684 0 | 10 | 120 1336.94/1337.38 c 1331s | 18 | 1739970 | 328652 | 438684 0 | 10 | 120 1338.94/1339.39 c 1333s | 18 | 1740547 | 328952 | 438684 0 | 10 | 120 1341.34/1341.71 c 1335s | 18 | 1741259 | 329352 | 438684 0 | 10 | 120 1343.74/1344.19 c 1338s | 18 | 1742402 | 329752 | 438684 0 | 10 | 120 1346.05/1346.41 c 1340s | 18 | 1752258 | 330852 | 438684 0 | 10 | 120 1348.25/1348.63 c 1342s | 18 | 1754624 | 331552 | 438684 0 | 10 | 120 1350.64/1351.02 c 1345s | 18 | 1756614 | 332252 | 438684 0 | 10 | 120 1352.75/1353.15 c 1347s | 18 | 1759512 | 332952 | 438684 0 | 10 | 120 1355.04/1355.41 c 1349s | 18 | 1764088 | 334052 | 438684 0 | 10 | 120 1357.05/1357.49 c 1351s | 18 | 1766085 | 334752 | 438684 0 | 10 | 120 1359.74/1360.16 c 1354s | 18 | 1768986 | 335552 | 438684 0 | 10 | 120 1361.74/1362.17 c 1356s | 18 | 1782207 | 337052 | 438684 0 | 10 | 120 1363.94/1364.34 c 1358s | 18 | 1787729 | 337952 | 438684 0 | 10 | 120 1366.14/1366.59 c 1360s | 18 | 1789593 | 338652 | 438684 0 | 10 | 120 1368.24/1368.62 c 1362s | 18 | 1792899 | 339452 | 438684 0 | 10 | 120 1370.44/1370.89 c 1365s | 18 | 1795344 | 339952 | 438684 0 | 10 | 120 1372.74/1373.18 c 1367s | 18 | 1796367 | 340452 | 438684 0 | 10 | 120 1374.94/1375.39 c 1369s | 18 | 1798812 | 341152 | 438684 0 | 10 | 120 1377.04/1377.42 c 1371s | 18 | 1800412 | 341852 | 438684 0 | 10 | 120 1379.04/1379.43 c 1373s | 18 | 1825337 | 343052 | 438684 0 | 10 | 120 1381.13/1381.51 c 1375s | 18 | 1872404 | 345552 | 438684 0 | 10 | 120 1383.33/1383.71 c 1377s | 18 | 1881014 | 346452 | 438684 0 | 10 | 120 1385.33/1385.73 c 1379s | 18 | 1895040 | 347452 | 438684 0 | 10 | 120 1387.33/1387.78 c 1381s | 18 | 1898912 | 347952 | 438684 0 | 10 | 120 1389.43/1389.80 c 1384s | 18 | 1913669 | 348752 | 438684 0 | 10 | 120 1391.63/1392.00 c 1386s | 18 | 1917449 | 349352 | 438684 0 | 10 | 120 1393.73/1394.17 c 1388s | 18 | 1919938 | 349952 | 438684 0 | 10 | 120 1395.83/1396.28 c 1390s | 18 | 1921587 | 350452 | 438684 0 | 10 | 120 1398.33/1398.71 c 1392s | 18 | 1922209 | 350852 | 438684 0 | 10 | 120 1400.53/1400.90 c 1395s | 18 | 1924739 | 351452 | 438684 0 | 10 | 120 1402.63/1403.06 c 1397s | 18 | 1925587 | 351952 | 438684 0 | 10 | 120 1404.73/1405.18 c 1399s | 18 | 1928250 | 352552 | 438684 0 | 10 | 120 1407.03/1407.43 c 1401s | 18 | 1929037 | 353052 | 438684 0 | 10 | 120 1409.53/1409.92 c 1404s | 18 | 1930871 | 353652 | 438684 0 | 10 | 120 1411.73/1412.17 c 1406s | 18 | 1932540 | 354252 | 438684 0 | 10 | 120 1413.93/1414.34 c 1408s | 18 | 1934355 | 354952 | 438684 0 | 10 | 120 1416.13/1416.56 c 1410s | 18 | 1935719 | 355652 | 438684 0 | 10 | 120 1418.63/1419.01 c 1413s | 18 | 1937377 | 356352 | 438684 0 | 10 | 120 1421.03/1421.44 c 1415s | 18 | 1938447 | 356852 | 438684 0 | 10 | 120 1423.23/1423.60 c 1417s | 18 | 1939681 | 357452 | 438684 0 | 10 | 120 1425.53/1425.95 c 1420s | 18 | 1940763 | 358052 | 438684 0 | 10 | 120 1427.83/1428.25 c 1422s | 18 | 1942185 | 358852 | 438684 0 | 10 | 120 1429.93/1430.38 c 1424s | 18 | 1943493 | 359352 | 438684 0 | 10 | 120 1432.03/1432.42 c 1426s | 18 | 1944462 | 359852 | 438684 0 | 10 | 120 1434.13/1434.59 c 1428s | 18 | 1945858 | 360452 | 438684 0 | 10 | 120 1436.33/1436.79 c 1431s | 18 | 1946975 | 361052 | 438684 0 | 10 | 120 1438.82/1439.23 c 1433s | 18 | 1956786 | 361752 | 438684 0 | 10 | 120 1441.02/1441.45 c 1435s | 18 | 1962718 | 362352 | 438684 0 | 10 | 120 1443.02/1443.46 c 1437s | 18 | 1965064 | 362852 | 438684 0 | 10 | 120 1445.32/1445.76 c 1439s | 18 | 1973396 | 363452 | 438684 0 | 10 | 120 1447.72/1448.12 c 1442s | 18 | 1974349 | 363952 | 438684 0 | 10 | 120 1450.32/1450.72 c 1444s | 18 | 1976748 | 364452 | 438684 0 | 10 | 120 1452.52/1452.94 c 1447s | 18 | 1977124 | 364752 | 438684 0 | 10 | 120 1454.93/1455.34 c 1449s | 18 | 1978778 | 365252 | 438684 0 | 10 | 120 1457.02/1457.41 c 1451s | 18 | 1982711 | 365852 | 438684 0 | 10 | 120 1459.12/1459.51 c 1453s | 18 | 1992183 | 366752 | 438684 0 | 10 | 120 1461.12/1461.53 c 1455s | 18 | 1993934 | 367152 | 438684 0 | 10 | 120 1463.42/1463.81 c 1458s | 18 | 1996067 | 367552 | 438684 0 | 10 | 120 1465.62/1466.03 c 1460s | 18 | 1998028 | 368152 | 438684 0 | 10 | 120 1467.72/1468.14 c 1462s | 18 | 1998785 | 368552 | 438684 0 | 10 | 120 1469.82/1470.21 c 1464s | 18 | 2002072 | 369252 | 438684 0 | 10 | 120 1472.22/1472.69 c 1466s | 18 | 2003464 | 369852 | 438684 0 | 10 | 120 1474.73/1475.12 c 1469s | 18 | 2004630 | 370352 | 438684 0 | 10 | 120 1476.93/1477.32 c 1471s | 18 | 2011549 | 371652 | 438684 0 | 10 | 120 1479.13/1479.53 c 1473s | 18 | 2012122 | 372052 | 438684 0 | 10 | 120 1481.42/1481.87 c 1476s | 18 | 2012689 | 372452 | 438684 0 | 10 | 120 1483.52/1483.92 c 1478s | 18 | 2013555 | 372852 | 438684 0 | 10 | 120 1485.62/1486.09 c 1480s | 18 | 2014065 | 373152 | 438684 0 | 10 | 120 1488.22/1488.66 c 1482s | 18 | 2014990 | 373552 | 438684 0 | 10 | 120 1490.42/1490.85 c 1485s | 18 | 2015646 | 373952 | 438684 0 | 10 | 120 1493.02/1493.44 c 1487s | 18 | 2016307 | 374352 | 438684 0 | 10 | 120 1495.12/1495.50 c 1489s | 18 | 2016801 | 374652 | 438684 0 | 10 | 120 1497.12/1497.56 c 1491s | 18 | 2017193 | 374952 | 438684 0 | 10 | 120 1499.52/1499.97 c 1494s | 18 | 2017843 | 375352 | 438684 0 | 10 | 120 1501.61/1502.03 c 1496s | 18 | 2018307 | 375652 | 438684 0 | 10 | 120 1504.31/1504.73 c 1498s | 18 | 2019177 | 376052 | 438684 0 | 10 | 120 1507.11/1507.50 c 1501s | 18 | 2019606 | 376352 | 438684 0 | 10 | 120 1509.21/1509.65 c 1503s | 18 | 2020113 | 376652 | 438684 0 | 10 | 120 1511.91/1512.35 c 1506s | 18 | 2020546 | 376952 | 438684 0 | 10 | 120 1514.32/1514.73 c 1508s | 18 | 2020771 | 377152 | 438684 0 | 10 | 120 1516.52/1516.98 c 1511s | 18 | 2021049 | 377352 | 438684 0 | 10 | 120 1518.91/1519.31 c 1513s | 18 | 2021307 | 377552 | 438684 0 | 10 | 120 1521.21/1521.61 c 1515s | 18 | 2026321 | 378752 | 438684 0 | 10 | 120 1523.41/1523.87 c 1518s | 18 | 2026560 | 378952 | 438684 0 | 10 | 120 1525.51/1525.92 c 1520s | 18 | 2026795 | 379152 | 438684 0 | 10 | 120 1527.62/1528.06 c 1522s | 18 | 2027391 | 379452 | 438684 0 | 10 | 120 1529.91/1530.34 c 1524s | 18 | 2027789 | 379752 | 438684 0 | 10 | 120 1532.02/1532.42 c 1526s | 18 | 2031592 | 380852 | 438684 0 | 10 | 120 1534.01/1534.49 c 1528s | 18 | 2041651 | 381752 | 438684 0 | 10 | 120 1536.21/1536.64 c 1530s | 18 | 2046593 | 384052 | 438684 0 | 10 | 120 1538.31/1538.79 c 1532s | 18 | 2047671 | 384652 | 438684 0 | 10 | 120 1540.71/1541.14 c 1535s | 18 | 2048623 | 385152 | 438684 0 | 10 | 120 1542.81/1543.27 c 1537s | 18 | 2049050 | 385452 | 438684 0 | 10 | 120 1545.11/1545.60 c 1539s | 18 | 2049676 | 385852 | 438684 0 | 10 | 120 1547.41/1547.82 c 1542s | 18 | 2050121 | 386152 | 438684 0 | 10 | 120 1549.61/1550.02 c 1544s | 18 | 2050916 | 386552 | 438684 0 | 10 | 120 1551.91/1552.30 c 1546s | 18 | 2051421 | 386852 | 438684 0 | 10 | 120 1554.01/1554.41 c 1548s | 18 | 2051841 | 387152 | 438684 0 | 10 | 120 1556.41/1556.84 c 1551s | 18 | 2052206 | 387452 | 438684 0 | 10 | 120 1558.91/1559.39 c 1553s | 18 | 2052832 | 387852 | 438684 0 | 10 | 120 1561.00/1561.43 c 1555s | 18 | 2053461 | 388252 | 438684 0 | 10 | 120 1563.30/1563.77 c 1557s | 18 | 2053847 | 388552 | 438684 0 | 10 | 120 1565.80/1566.25 c 1560s | 18 | 2054572 | 389052 | 438684 0 | 10 | 120 1568.00/1568.43 c 1562s | 18 | 2055067 | 389452 | 438684 0 | 10 | 120 1570.41/1570.85 c 1565s | 18 | 2055594 | 389852 | 438684 0 | 10 | 120 1573.10/1573.53 c 1567s | 18 | 2056083 | 390252 | 438684 0 | 10 | 120 1575.70/1576.19 c 1570s | 18 | 2056857 | 390652 | 438684 0 | 10 | 120 1578.00/1578.47 c 1572s | 18 | 2057214 | 390952 | 438684 0 | 10 | 120 1580.60/1581.06 c 1575s | 18 | 2057572 | 391252 | 438684 0 | 10 | 120 1583.50/1583.98 c 1578s | 18 | 2057921 | 391552 | 438684 0 | 10 | 120 1586.30/1586.74 c 1580s | 18 | 2058256 | 391852 | 438684 0 | 10 | 120 1589.30/1589.70 c 1583s | 18 | 2058699 | 392152 | 438684 0 | 10 | 120 1592.30/1592.74 c 1586s | 18 | 2059043 | 392452 | 438684 0 | 10 | 120 1595.20/1595.67 c 1589s | 18 | 2059380 | 392752 | 438684 0 | 10 | 120 1597.91/1598.34 c 1592s | 18 | 2059839 | 393052 | 438684 0 | 10 | 120 1599.90/1600.38 c 1594s | 18 | 2062943 | 393552 | 438684 0 | 10 | 120 1602.00/1602.42 c 1596s | 18 | 2064958 | 394452 | 438684 0 | 10 | 120 1604.20/1604.68 c 1598s | 18 | 2068108 | 395152 | 438684 0 | 10 | 120 1606.90/1607.30 c 1601s | 18 | 2068917 | 395552 | 438684 0 | 10 | 120 1609.70/1610.12 c 1604s | 18 | 2069545 | 395952 | 438684 0 | 10 | 120 1612.30/1612.72 c 1606s | 18 | 2069912 | 396252 | 438684 0 | 10 | 120 1615.20/1615.62 c 1609s | 18 | 2070297 | 396552 | 438684 0 | 10 | 120 1617.20/1617.63 c 1611s | 18 | 2070521 | 396752 | 438684 0 | 10 | 120 1620.09/1620.53 c 1614s | 18 | 2070858 | 397052 | 438684 0 | 10 | 120 1622.10/1622.53 c 1616s | 18 | 2071077 | 397252 | 438684 0 | 10 | 120 1624.89/1625.34 c 1619s | 18 | 2071435 | 397552 | 438684 0 | 10 | 120 1627.39/1627.83 c 1622s | 18 | 2071801 | 397852 | 438684 0 | 10 | 120 1630.39/1630.81 c 1625s | 18 | 2072132 | 398152 | 438684 0 | 10 | 120 1632.39/1632.82 c 1627s | 18 | 2072350 | 398352 | 438684 0 | 10 | 120 1634.99/1635.45 c 1629s | 18 | 2072708 | 398652 | 438684 0 | 10 | 120 1637.69/1638.15 c 1632s | 18 | 2073108 | 398952 | 438684 0 | 10 | 120 1640.49/1640.97 c 1635s | 18 | 2073436 | 399252 | 438684 0 | 10 | 120 1642.59/1643.01 c 1637s | 18 | 2073668 | 399452 | 438684 0 | 10 | 120 1645.20/1645.67 c 1639s | 18 | 2073977 | 399752 | 438684 0 | 10 | 120 1647.79/1648.22 c 1642s | 18 | 2074348 | 400052 | 438684 0 | 10 | 120 1649.90/1650.31 c 1644s | 18 | 2074793 | 400252 | 438684 0 | 10 | 120 1652.30/1652.77 c 1646s | 18 | 2075191 | 400552 | 438684 0 | 10 | 120 1655.30/1655.72 c 1649s | 18 | 2075585 | 400852 | 438684 0 | 10 | 120 1657.30/1657.74 c 1651s | 18 | 2075847 | 401052 | 438684 0 | 10 | 120 1659.60/1660.04 c 1654s | 18 | 2076062 | 401252 | 438684 0 | 10 | 120 1661.70/1662.14 c 1656s | 18 | 2076294 | 401452 | 438684 0 | 10 | 120 1664.70/1665.11 c 1659s | 18 | 2076679 | 401752 | 438684 0 | 10 | 120 1667.30/1667.77 c 1661s | 18 | 2077020 | 402052 | 438684 0 | 10 | 120 1669.40/1669.81 c 1664s | 18 | 2077405 | 402352 | 438684 0 | 10 | 120 1671.79/1672.23 c 1666s | 18 | 2077798 | 402652 | 438684 0 | 10 | 120 1674.19/1674.68 c 1668s | 18 | 2078253 | 402952 | 438684 0 | 10 | 120 1676.89/1677.35 c 1671s | 18 | 2078700 | 403252 | 438684 0 | 10 | 120 1679.19/1679.67 c 1673s | 18 | 2079193 | 403552 | 438684 0 | 10 | 120 1682.09/1682.59 c 1676s | 18 | 2079556 | 403852 | 438684 0 | 10 | 120 1685.19/1685.67 c 1679s | 18 | 2079924 | 404152 | 438684 0 | 10 | 120 1687.59/1688.04 c 1682s | 18 | 2080283 | 404452 | 438684 0 | 10 | 120 1689.99/1690.40 c 1684s | 18 | 2080619 | 404752 | 438684 0 | 10 | 120 1692.09/1692.51 c 1686s | 18 | 2081187 | 405152 | 438684 0 | 10 | 120 1694.19/1694.65 c 1688s | 18 | 2081610 | 405452 | 438684 0 | 10 | 120 1696.29/1696.79 c 1691s | 18 | 2081994 | 405752 | 438684 0 | 10 | 120 1699.10/1699.52 c 1693s | 18 | 2082482 | 406152 | 438684 0 | 10 | 120 1701.99/1702.41 c 1696s | 18 | 2082833 | 406452 | 438684 0 | 10 | 120 1704.09/1704.59 c 1698s | 18 | 2083358 | 406752 | 438684 0 | 10 | 120 1707.09/1707.56 c 1701s | 18 | 2083669 | 407052 | 438684 0 | 10 | 120 1710.09/1710.58 c 1704s | 18 | 2083997 | 407352 | 438684 0 | 10 | 120 1712.69/1713.17 c 1707s | 18 | 2084369 | 407652 | 438684 0 | 10 | 120 1715.69/1716.16 c 1710s | 18 | 2084740 | 407952 | 438684 0 | 10 | 120 1717.89/1718.34 c 1712s | 18 | 2084947 | 408152 | 438684 0 | 10 | 120 1719.99/1720.46 c 1714s | 18 | 2085158 | 408352 | 438684 0 | 10 | 120 1722.09/1722.54 c 1716s | 18 | 2091611 | 408752 | 438684 0 | 10 | 120 1724.08/1724.59 c 1718s | 18 | 2105211 | 409852 | 438684 0 | 10 | 120 1727.18/1727.65 c 1721s | 18 | 2108131 | 410552 | 438684 0 | 10 | 120 1729.78/1730.29 c 1724s | 18 | 2108797 | 410852 | 438684 0 | 10 | 120 1731.98/1732.49 c 1726s | 18 | 2109251 | 411152 | 438684 0 | 10 | 120 1734.08/1734.59 c 1728s | 18 | 2110131 | 411752 | 438684 0 | 10 | 120 1736.59/1737.08 c 1731s | 18 | 2110749 | 412152 | 438684 0 | 10 | 120 1739.18/1739.63 c 1733s | 18 | 2111412 | 412552 | 438684 0 | 10 | 120 1741.68/1742.12 c 1736s | 18 | 2111829 | 412852 | 438684 0 | 10 | 120 1743.98/1744.44 c 1738s | 18 | 2116859 | 413152 | 438684 0 | 10 | 120 1746.78/1747.24 c 1741s | 18 | 2123946 | 413552 | 438684 0 | 10 | 120 1748.78/1749.28 c 1743s | 18 | 2132734 | 413952 | 438684 0 | 10 | 120 1751.18/1751.64 c 1745s | 18 | 2134584 | 414252 | 438684 0 | 10 | 120 1754.09/1754.51 c 1748s | 18 | 2136174 | 414552 | 438684 0 | 10 | 120 1756.68/1757.18 c 1751s | 18 | 2137238 | 414852 | 438684 0 | 10 | 120 1758.78/1759.30 c 1753s | 18 | 2137777 | 415052 | 438684 0 | 10 | 120 1761.08/1761.59 c 1755s | 18 | 2138738 | 415452 | 438684 0 | 10 | 120 1763.28/1763.79 c 1758s | 18 | 2142309 | 415852 | 438684 0 | 10 | 120 1765.48/1765.93 c 1760s | 18 | 2143751 | 416252 | 438684 0 | 10 | 120 1767.98/1768.44 c 1762s | 18 | 2144409 | 416752 | 438684 0 | 10 | 120 1770.48/1770.95 c 1765s | 18 | 2145218 | 417252 | 438684 0 | 10 | 120 1772.58/1773.09 c 1767s | 18 | 2146098 | 417752 | 438684 0 | 10 | 120 1774.78/1775.22 c 1769s | 18 | 2150328 | 418252 | 438684 0 | 10 | 120 1776.88/1777.38 c 1771s | 18 | 2153738 | 418752 | 438684 0 | 10 | 120 1779.48/1779.95 c 1774s | 18 | 2154190 | 419052 | 438684 0 | 10 | 120 1781.68/1782.13 c 1776s | 18 | 2154646 | 419352 | 438684 0 | 10 | 120 1783.78/1784.29 c 1778s | 18 | 2155100 | 419652 | 438684 0 | 10 | 120 1786.08/1786.54 c 1780s | 18 | 2155747 | 420052 | 438684 0 | 10 | 120 1788.48/1788.94 c 1783s | 18 | 2156657 | 420552 | 438684 0 | 10 | 120 1790.67/1791.16 c 1785s | 18 | 2157152 | 420852 | 438684 0 | 10 | 120 1793.68/1794.10 c 1788s | 18 | 2157580 | 421152 | 438684 0 | 10 | 120 1795.98/1796.42 c 1790s | 18 | 2158064 | 421452 | 438684 0 | 10 | 120 1798.57/1799.06 c 1793s | 18 | 2158412 | 421752 | 438684 0 | 10 | 120
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-4078873-1465275667/watcher-4078873-1465275667 -o /tmp/evaluation-result-4078873-1465275667/solver-4078873-1465275667 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465272064-10617 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078873-1465275667.opb pid=10941 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.25 2.23 2.23 2/173 10944 /proc/meminfo: memFree=30160272/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=712260 CPUtime=0 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 2657 0 0 0 0 0 0 0 20 0 4 0 109500252 729354240 3528 33554432000 4194304 16246674 140734144832560 140734144831984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 178833 3538 442 2943 0 175727 0 [pid=10944/tid=10945] ppid=10941 vsize=730692 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 748228608 3597 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=734788 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 752422912 3613 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=738884 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109500252 756617216 3629 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100158 s] /proc/loadavg: 2.25 2.23 2.23 2/173 10944 /proc/meminfo: memFree=30160272/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 30011 0 0 0 5 4 0 0 20 0 4 0 109500252 1249447936 30820 33554432000 4194304 16246674 140734144832560 140734144831872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 305041 30820 802 2943 0 301935 0 [pid=10944/tid=10945] ppid=10941 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1249447936 30820 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1249447936 30820 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1249447936 30820 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200454 s] /proc/loadavg: 2.25 2.23 2.23 2/173 10944 /proc/meminfo: memFree=30160272/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1308228 CPUtime=0.19 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 51395 0 0 0 11 8 0 0 20 0 4 0 109500252 1339625472 52715 33554432000 4194304 16246674 140734144832560 140734144815552 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 327057 52718 802 2943 0 323951 0 [pid=10944/tid=10945] ppid=10941 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1339625472 52720 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1339625472 52723 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1339625472 52725 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1308228 [startup+0.300432 s] /proc/loadavg: 2.25 2.23 2.23 2/173 10944 /proc/meminfo: memFree=30160272/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 57945 0 0 0 20 9 0 0 20 0 4 0 109500252 1345916928 59265 33554432000 4194304 16246674 140734144832560 140734144815552 8058274 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 328593 59265 802 2943 0 325487 0 [pid=10944/tid=10945] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 59265 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 59265 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 59265 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700388 s] /proc/loadavg: 2.25 2.23 2.23 2/173 10944 /proc/meminfo: memFree=30160272/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 69782 0 0 0 59 10 0 0 20 0 4 0 109500252 1345916928 71102 33554432000 4194304 16246674 140734144832560 140734144815552 8057301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 328593 71102 802 2943 0 325487 0 [pid=10944/tid=10945] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 71102 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 71102 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 71102 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50037 s] /proc/loadavg: 2.25 2.23 2.23 3/184 10962 /proc/meminfo: memFree=29493156/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 83783 0 0 0 136 12 0 0 20 0 4 0 109500252 1345916928 85103 33554432000 4194304 16246674 140734144832560 140734144830464 7440126 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 328593 85103 803 2943 0 325487 0 [pid=10944/tid=10945] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 85103 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 85103 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1345916928 85103 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 2.31 2.25 2.23 3/184 10962 /proc/meminfo: memFree=28924236/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=3.09 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 277721 0 0 0 269 40 0 0 20 0 4 0 109500252 1381568512 279041 33554432000 4194304 16246674 140734144832560 140734144814464 5595681 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279041 848 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279041 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279041 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279041 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.3004 s] /proc/loadavg: 2.31 2.25 2.23 3/184 10962 /proc/meminfo: memFree=27914996/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=6.29 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 277968 0 0 0 589 40 0 0 20 0 4 0 109500252 1381568512 279288 33554432000 4194304 16246674 140734144832560 140734144830464 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279288 887 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279288 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279288 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279288 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.42 2.27 2.24 3/184 10962 /proc/meminfo: memFree=27917108/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=12.69 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 277969 0 0 0 1229 40 0 0 20 0 4 0 109500252 1381568512 279289 33554432000 4194304 16246674 140734144832560 140734144814464 5824851 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279289 887 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279289 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279289 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279289 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5005 s] /proc/loadavg: 2.35 2.26 2.24 3/184 10962 /proc/meminfo: memFree=27918104/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=25.49 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 277971 0 0 0 2509 40 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140734144814464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279294 887 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349188 [startup+51.1005 s] /proc/loadavg: 2.23 2.24 2.23 3/184 10962 /proc/meminfo: memFree=27918200/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=51.08 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 277975 0 0 0 5068 40 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140734144814464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279294 887 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279294 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 2.34 2.26 2.24 3/183 10964 /proc/meminfo: memFree=27918232/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=102.27 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 277999 0 0 0 10187 40 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140734144814464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279302 894 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.43 2.30 2.25 3/183 10995 /proc/meminfo: memFree=27915136/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=1361.94 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 278285 0 0 0 136151 43 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140734144815552 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279302 894 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.24 2.27 2.24 3/183 10996 /proc/meminfo: memFree=27915072/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=1421.93 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 278285 0 0 0 142150 43 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140734144814464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279302 894 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.27 2.27 2.24 3/183 10997 /proc/meminfo: memFree=27914964/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=1481.92 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 278285 0 0 0 148149 43 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140734144814464 5677422 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279302 894 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1349188 [startup+1542.31 s] /proc/loadavg: 2.26 2.27 2.24 3/183 10998 /proc/meminfo: memFree=27915084/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=1541.91 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 278285 0 0 0 154148 43 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140734144814464 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279302 894 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 2.27 2.27 2.24 4/183 10999 /proc/meminfo: memFree=27915212/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1349188 CPUtime=1601.9 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 278285 0 0 0 160147 43 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140734144814464 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 337297 279302 894 2943 0 334191 0 [pid=10944/tid=10945] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1381568512 279302 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1349188 [startup+1662.3 s] /proc/loadavg: 2.27 2.26 2.24 3/183 11001 /proc/meminfo: memFree=27799272/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1465924 CPUtime=1661.9 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 307327 0 0 0 166142 48 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140734144814464 5823037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 366481 308344 894 2943 0 363375 0 [pid=10944/tid=10945] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1465924 [startup+1722.3 s] /proc/loadavg: 2.21 2.25 2.24 3/183 11002 /proc/meminfo: memFree=27799152/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1465924 CPUtime=1721.89 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 307327 0 0 0 172141 48 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140734144814464 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 366481 308344 894 2943 0 363375 0 [pid=10944/tid=10945] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1465924 [startup+1782.3 s] /proc/loadavg: 2.25 2.24 2.23 3/184 11006 /proc/meminfo: memFree=27798324/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1465924 CPUtime=1781.88 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 307327 0 0 0 178140 48 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140734144814464 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 366481 308344 894 2943 0 363375 0 [pid=10944/tid=10945] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1465924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.25 2.23 4/183 11006 /proc/meminfo: memFree=27799076/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1465924 CPUtime=1800.07 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 307327 0 0 0 179959 48 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140734144814464 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 366481 308344 894 2943 0 363375 0 [pid=10944/tid=10945] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1465924 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 10944 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.25 2.23 4/183 11006 /proc/meminfo: memFree=27799076/32872528 swapFree=16080/1655368 [pid=10944] ppid=10941 vsize=1465924 CPUtime=1800.07 cores=0,2,4,6 /proc/10944/stat : 10944 (toysat) R 10941 10944 3593 0 -1 4202496 307327 0 0 0 179959 48 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140734144814464 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10944/statm: 366481 308344 894 2943 0 363375 0 [pid=10944/tid=10945] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10945/stat : 10945 (toysat) S 10941 10944 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397871344880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10944/tid=10946] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10946/stat : 10946 (toysat) S 10941 10944 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397783264496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10944/tid=10947] ppid=10941 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/10944/task/10947/stat : 10947 (toysat) S 10941 10944 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109500252 1501106176 308344 33554432000 4194304 16246674 140734144832560 140397772790960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1465924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.09 CPU user time (s): 1799.6 CPU system time (s): 0.481926 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 1465924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.481926 maximum resident set size= 1233376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 307327 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= 343 involuntary context switches= 1927 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.80612 second user time and 7.8608 second system time The end
Begin job on node122 at 2016-06-07 07:01:07 IDJOB=4078873 IDBENCH=89703 IDSOLVER=2542 FILE ID=node122/4078873-1465275667 RUNJOBID= node122-1465272064-10617 PBS_JOBID= 19843267 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-91.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078873-1465275667/watcher-4078873-1465275667 -o /tmp/evaluation-result-4078873-1465275667/solver-4078873-1465275667 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465272064-10617 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078873-1465275667.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d52a3bd95f65144c5f8bf26bef42f13 RANDOM SEED=292251678 node122.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.898 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.79 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.898 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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 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.898 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.898 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30161660 kB Buffers: 127888 kB Cached: 184956 kB SwapCached: 860 kB Active: 116236 kB Inactive: 203244 kB Active(anon): 7688 kB Inactive(anon): 1632 kB Active(file): 108548 kB Inactive(file): 201612 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099512 kB Dirty: 32624 kB Writeback: 0 kB AnonPages: 1747228 kB Mapped: 6704 kB Shmem: 0 kB Slab: 601352 kB SReclaimable: 45260 kB SUnreclaim: 556092 kB KernelStack: 1528 kB PageTables: 7168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1756704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1728512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node122 at 2016-06-07 07:31:07