| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.64 | 1800.99 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-180.opb |
| MD5SUM | 8c3fe83338b70253b33b876e52e7c579 |
| 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 | 311827 |
| Total number of constraints | 7317246 |
| Number of constraints which are clauses | 6573583 |
| Number of constraints which are cardinality constraints (but not clauses) | 22922 |
| Number of constraints which are nor clauses,nor cardinality constraints | 720741 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2457 |
| 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 | 2458 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-07T06:58:19+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-4078862-1465275491.opb"] 0.00/0.01 c use --random-gen="2026189830 1475360016 3265443949 2321105896 182350063 917782388 1800376175 608710583 1438153151 74819359 3044305562 377368954 2890964381 4180733136 2609603643 1393009457 3602609 1876197919 638093815 2602334864 794928764 323037025 3033222540 288549445 180457061 1532657965 2404849672 210584206 926731071 2259790810 330928360 2277366585 3209324772 795684683 814336312 3371400277 529590641 3766580581 2981608529 3496744039 2570468829 1297606457 3254985272 1530405712 3470151765 2123225141 689301026 1984286477 3289240788 2475298357 3586519614 2623960547 1444908411 1433095607 894212029 1082663829 4205925068 3697053741 91747281 2189385600 3422008898 1029846054 524970564 3722928708 827918233 512505192 3740803094 1409007244 2748486864 1093755182 2817918649 1236265447 3173051895 2881779639 3913095178 3429329511 1519466217 4291642181 380841360 3285054831 1085131764 1973211186 2487257278 3928325109 219336259 3062896871 786957175 1728921239 4091661450 3693850003 2728164214 3987822317 3556040562 2723623872 2440026212 805668551 581478635 893321198 4280056627 3358559176 287176805 2535908250 241018780 4042804417 2201434159 1683201732 633876703 2743520694 2141961963 3903667116 3563113456 1844292433 108459823 3863642942 3625842360 2798944679 3071564935 746582922 1428902369 220549108 1197909303 4226248388 2325574151 3632715354 1200888790 1776197469 4123894973 1126167848 3938394610 17844579 1006103871 1687644398 1212865574 123378236 3446439355 3354478267 4174384486 1181557214 2794220085 3462958821 2706354048 1200425493 4202198109 4180548952 2233114873 1529546378 237242294 3980229094 3592870082 2459269317 138810461 2255142592 877314022 2477568586 2106362475 3294400558 2354458347 294337968 3787104017 2771343088 3131924461 4257927181 1321858062 4229976679 3130541661 3514232075 1438148776 3501110790 3616486132 4196402079 1877626215 3266306547 2049027334 4067199656 3425236126 2700272201 905934508 1852613116 414485897 701372540 1944735281 2692559719 1018591184 3214946202 4028862450 244117763 1481219386 4072197888 1863020656 1294092974 189388817 796993778 2676439257 704034252 2515572089 1546332061 1022900071 708521552 3020866506 823304925 1555915308 2871612355 428064407 2254493333 1179790307 2201092979 147894227 2078957329 1112408351 807310979 3509897993 3332637219 1153299563 2840809103 2864621914 1091853887 300035349 1000650028 3316003351 3367914358 2125200551 2618614223 1209845225 29564512 3449727794 1746952547 2566100477 751157144 1165314630 772229764 2596286596 1408220566 3071586148 3931179082 3661240843 1412614130 3277668075 388230428 3530744531 3632872259 1355664082 1589997068 2399661644 4209006571 2283763839 1347704999 2584856920 674779810 1543750962 410171503 2241497310 1619396347 1197752488 2810201064 3676517360 2803589855 255 362436" option to reproduce the execution 54.68/54.76 c #vars 311827 54.68/54.76 c #constraints 7317246 199.85/199.91 c Solving starts ... 199.85/199.91 c ============================[ Search Statistics ]============================ 199.85/199.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 199.85/199.91 c | | | | Limit GC | Var | Constra 199.85/199.91 c ============================================================================= 199.95/200.00 c 0.0s | 0 | 0 | 0 | 2546851 0 | 0 | 0 231.04/231.15 c 31.2s | 0 | 177 | 100 | 2546851 0 | 0 | 0 231.04/231.19 c 31.3s | 1 | 177 | 100 | 2546851 0 | 0 | 0 238.74/238.81 c 38.9s | 1 | 4170 | 200 | 2801537 0 | 0 | 0 239.64/239.72 c 39.8s | 2 | 4220 | 250 | 2801537 0 | 0 | 0 245.14/245.28 c 45.4s | 2 | 5088 | 350 | 3081691 0 | 0 | 0 247.44/247.51 c 47.6s | 3 | 5230 | 475 | 3081691 0 | 0 | 0 252.23/252.32 c 52.4s | 3 | 6136 | 575 | 3389861 0 | 0 | 0 263.73/263.84 c 63.9s | 3 | 22104 | 775 | 3389861 0 | 0 | 0 264.63/264.74 c 64.8s | 4 | 22154 | 813 | 3389861 0 | 0 | 0 270.33/270.46 c 70.6s | 4 | 23833 | 913 | 3728848 0 | 0 | 0 274.03/274.12 c 74.2s | 4 | 24073 | 1113 | 3728848 0 | 0 | 0 277.12/277.28 c 77.4s | 4 | 27673 | 1213 | 3728848 0 | 0 | 0 279.13/279.23 c 79.3s | 5 | 27796 | 1320 | 3728848 0 | 0 | 0 284.43/284.54 c 84.6s | 5 | 29119 | 1420 | 4101733 0 | 0 | 0 288.43/288.53 c 88.6s | 5 | 29426 | 1620 | 4101733 0 | 0 | 0 292.73/292.89 c 93.0s | 5 | 30444 | 1820 | 4101733 0 | 0 | 0 296.23/296.31 c 96.4s | 5 | 30691 | 1920 | 4101733 0 | 0 | 0 307.52/307.67 c 107s | 5 | 30840 | 2020 | 4101733 0 | 0 | 0 309.22/309.34 c 109s | 6 | 31101 | 2081 | 4511907 0 | 0 | 0 314.52/314.64 c 114s | 6 | 31969 | 2181 | 4511907 0 | 0 | 0 317.53/317.68 c 117s | 6 | 32221 | 2381 | 4511907 0 | 0 | 0 320.22/320.36 c 120s | 6 | 32606 | 2581 | 4511907 0 | 0 | 0 323.42/323.60 c 123s | 6 | 32832 | 2781 | 4511907 0 | 0 | 0 325.62/325.79 c 125s | 6 | 32954 | 2881 | 4511907 0 | 0 | 0 329.22/329.33 c 129s | 6 | 33195 | 3081 | 4511907 0 | 0 | 0 331.22/331.39 c 131s | 6 | 33317 | 3181 | 4511907 0 | 0 | 0 332.12/332.22 c 132s | 7 | 33381 | 3223 | 4963098 0 | 0 | 0 337.61/337.75 c 137s | 7 | 34392 | 3323 | 4963098 0 | 0 | 0 341.71/341.88 c 141s | 7 | 34767 | 3523 | 4963098 0 | 0 | 0 345.32/345.46 c 145s | 7 | 34914 | 3623 | 4963098 0 | 0 | 0 347.42/347.54 c 147s | 7 | 35032 | 3723 | 4963098 0 | 0 | 0 349.71/349.88 c 149s | 7 | 35256 | 3923 | 4963098 0 | 0 | 0 352.31/352.42 c 152s | 7 | 35529 | 4123 | 4963098 0 | 0 | 0 355.12/355.23 c 155s | 7 | 35702 | 4223 | 4963098 0 | 0 | 0 357.82/357.95 c 158s | 7 | 35935 | 4423 | 4963098 0 | 0 | 0 361.62/361.78 c 161s | 7 | 36162 | 4623 | 4963098 0 | 0 | 0 363.82/363.91 c 164s | 7 | 36275 | 4723 | 4963098 0 | 0 | 0 365.91/366.08 c 166s | 7 | 36395 | 4823 | 4963098 0 | 0 | 0 369.22/369.39 c 169s | 7 | 36518 | 4923 | 5459408 0 | 0 | 0 369.92/370.01 c 170s | 8 | 36533 | 4936 | 5459408 0 | 0 | 0 376.01/376.13 c 176s | 8 | 38462 | 5036 | 5459408 0 | 0 | 0 386.01/386.19 c 186s | 8 | 38717 | 5136 | 5459408 0 | 0 | 0 389.21/389.30 c 189s | 8 | 38959 | 5336 | 5459408 0 | 0 | 0 392.70/392.82 c 192s | 8 | 39209 | 5536 | 5459408 0 | 0 | 0 395.61/395.75 c 195s | 8 | 39445 | 5736 | 5459408 0 | 0 | 0 398.50/398.65 c 198s | 8 | 39675 | 5936 | 5459408 0 | 0 | 0 401.41/401.58 c 201s | 8 | 39882 | 6136 | 5459408 0 | 0 | 0 405.21/405.36 c 205s | 8 | 40124 | 6336 | 5459408 0 | 0 | 0 408.90/409.07 c 209s | 8 | 40349 | 6536 | 5459408 0 | 0 | 0 412.41/412.53 c 212s | 8 | 40567 | 6736 | 5459408 0 | 0 | 0 416.21/416.32 c 216s | 8 | 40776 | 6936 | 5459408 0 | 0 | 0 418.21/418.34 c 218s | 8 | 40963 | 7036 | 5459408 0 | 0 | 0 421.50/421.64 c 221s | 8 | 41192 | 7236 | 5459408 0 | 0 | 0 424.60/424.71 c 224s | 8 | 41409 | 7436 | 5459408 0 | 0 | 0 425.71/425.82 c 225s | 9 | 41487 | 7506 | 6005349 0 | 0 | 0 437.90/438.08 c 238s | 9 | 56044 | 7606 | 6005349 0 | 0 | 0 463.70/463.87 c 263s | 9 | 97900 | 7706 | 6005349 0 | 0 | 0 466.60/466.71 c 266s | 9 | 99608 | 7806 | 6005349 0 | 0 | 0 469.19/469.39 c 269s | 9 | 101425 | 7906 | 6005349 0 | 0 | 0 471.70/471.81 c 271s | 9 | 101630 | 8006 | 6005349 0 | 0 | 0 474.40/474.60 c 274s | 9 | 103385 | 8106 | 6005349 0 | 0 | 0 477.59/477.77 c 277s | 9 | 104575 | 8306 | 6005349 0 | 0 | 0 480.19/480.35 c 280s | 9 | 104803 | 8506 | 6005349 0 | 0 | 0 483.69/483.81 c 283s | 9 | 105046 | 8706 | 6005349 0 | 0 | 0 486.99/487.19 c 287s | 9 | 105267 | 8906 | 6005349 0 | 0 | 0 490.00/490.13 c 290s | 9 | 105509 | 9106 | 6005349 0 | 0 | 0 492.50/492.66 c 292s | 9 | 105750 | 9306 | 6005349 0 | 0 | 0 494.69/494.80 c 294s | 9 | 106406 | 9406 | 6005349 0 | 0 | 0 497.39/497.55 c 297s | 9 | 106649 | 9606 | 6005349 0 | 0 | 0 500.79/500.90 c 300s | 9 | 106908 | 9806 | 6005349 0 | 0 | 0 503.39/503.59 c 303s | 9 | 107373 | 10006 | 6005349 0 | 0 | 0 506.49/506.68 c 306s | 9 | 107646 | 10206 | 6005349 0 | 0 | 0 508.60/508.72 c 308s | 9 | 107762 | 10306 | 6005349 0 | 0 | 0 511.59/511.78 c 311s | 9 | 108014 | 10506 | 6005349 0 | 0 | 0 514.59/514.79 c 314s | 9 | 108264 | 10706 | 6005349 0 | 0 | 0 517.69/517.82 c 317s | 9 | 108565 | 10906 | 6005349 0 | 0 | 0 521.29/521.48 c 321s | 9 | 108855 | 11106 | 6005349 0 | 0 | 0 524.99/525.15 c 325s | 9 | 109069 | 11306 | 6605884 0 | 0 | 0 525.78/525.97 c 326s | 10 | 109124 | 11361 | 6605884 0 | 0 | 0 530.99/531.18 c 331s | 10 | 110029 | 11461 | 6605884 0 | 0 | 0 534.18/534.36 c 334s | 10 | 110585 | 11661 | 6605884 0 | 0 | 0 536.20/536.37 c 336s | 10 | 110975 | 11761 | 6605884 0 | 0 | 0 548.09/548.28 c 348s | 10 | 111304 | 11961 | 6605884 0 | 0 | 0 552.08/552.25 c 352s | 10 | 111532 | 12161 | 6605884 0 | 0 | 0 555.48/555.69 c 355s | 10 | 111841 | 12361 | 6605884 0 | 0 | 0 558.68/558.81 c 358s | 10 | 112080 | 12561 | 6605884 0 | 0 | 0 561.49/561.69 c 361s | 10 | 112304 | 12761 | 6605884 0 | 0 | 0 564.38/564.57 c 364s | 10 | 112534 | 12961 | 6605884 0 | 0 | 0 567.08/567.26 c 367s | 10 | 112768 | 13161 | 6605884 0 | 0 | 0 570.19/570.35 c 370s | 10 | 113002 | 13361 | 6605884 0 | 0 | 0 573.18/573.30 c 373s | 10 | 113291 | 13561 | 6605884 0 | 0 | 0 576.08/576.28 c 376s | 10 | 113527 | 13761 | 6605884 0 | 0 | 0 578.88/579.06 c 379s | 10 | 113736 | 13961 | 6605884 0 | 0 | 0 582.08/582.20 c 382s | 10 | 113955 | 14161 | 6605884 0 | 0 | 0 584.49/584.70 c 384s | 10 | 114176 | 14361 | 6605884 0 | 0 | 0 586.88/587.10 c 387s | 10 | 114398 | 14561 | 6605884 0 | 0 | 0 590.58/590.77 c 390s | 10 | 115138 | 14761 | 6605884 0 | 0 | 0 592.68/592.81 c 392s | 10 | 115338 | 14861 | 6605884 0 | 0 | 0 594.98/595.13 c 395s | 10 | 115465 | 14961 | 6605884 0 | 0 | 0 597.27/597.42 c 397s | 10 | 115600 | 15061 | 6605884 0 | 0 | 0 599.38/599.60 c 399s | 10 | 115740 | 15161 | 6605884 0 | 0 | 0 601.57/601.78 c 401s | 10 | 115877 | 15261 | 6605884 0 | 0 | 0 603.88/604.00 c 404s | 10 | 115993 | 15361 | 6605884 0 | 0 | 0 606.07/606.29 c 406s | 10 | 116136 | 15461 | 6605884 0 | 0 | 0 608.27/608.45 c 408s | 10 | 116241 | 15561 | 6605884 0 | 0 | 0 610.48/610.62 c 410s | 10 | 116365 | 15661 | 6605884 0 | 0 | 0 614.97/615.14 c 415s | 10 | 116598 | 15861 | 6605884 0 | 0 | 0 617.28/617.49 c 417s | 10 | 116700 | 15961 | 6605884 0 | 0 | 0 627.58/627.72 c 427s | 10 | 116826 | 16061 | 6605884 0 | 0 | 0 629.68/629.88 c 429s | 10 | 116953 | 16161 | 6605884 0 | 0 | 0 631.78/631.95 c 432s | 10 | 117060 | 16261 | 6605884 0 | 0 | 0 635.67/635.81 c 435s | 10 | 117294 | 16461 | 6605884 0 | 0 | 0 637.87/638.03 c 438s | 10 | 117812 | 16561 | 6605884 0 | 0 | 0 640.07/640.27 c 440s | 10 | 118061 | 16661 | 6605884 0 | 0 | 0 642.17/642.37 c 442s | 10 | 118182 | 16761 | 6605884 0 | 0 | 0 645.67/645.83 c 445s | 10 | 118475 | 16961 | 6605884 0 | 0 | 0 647.67/647.84 c 447s | 10 | 118601 | 17061 | 7266473 0 | 0 | 0 649.38/649.57 c 449s | 11 | 118682 | 17144 | 7266473 0 | 0 | 0 655.27/655.48 c 455s | 11 | 119445 | 17244 | 7266473 0 | 0 | 0 657.47/657.70 c 457s | 11 | 119565 | 17344 | 7266473 0 | 0 | 0 661.17/661.32 c 461s | 11 | 119790 | 17544 | 7266473 0 | 0 | 0 663.36/663.53 c 463s | 11 | 119905 | 17644 | 7266473 0 | 0 | 0 665.57/665.77 c 465s | 11 | 120029 | 17744 | 7266473 0 | 0 | 0 667.67/667.86 c 467s | 11 | 120174 | 17844 | 7266473 0 | 0 | 0 670.37/670.54 c 470s | 11 | 120299 | 17944 | 7266473 0 | 0 | 0 672.47/672.64 c 472s | 11 | 120420 | 18044 | 7266473 0 | 0 | 0 674.56/674.80 c 474s | 11 | 120547 | 18144 | 7266473 0 | 0 | 0 678.07/678.22 c 478s | 11 | 120813 | 18344 | 7266473 0 | 0 | 0 680.77/680.97 c 481s | 11 | 120935 | 18444 | 7266473 0 | 0 | 0 682.87/683.02 c 483s | 11 | 121059 | 18544 | 7266473 0 | 0 | 0 685.46/685.67 c 485s | 11 | 121188 | 18644 | 7266473 0 | 0 | 0 687.76/687.94 c 488s | 11 | 121295 | 18744 | 7266473 0 | 0 | 0 699.16/699.33 c 499s | 11 | 121548 | 18944 | 7266473 0 | 0 | 0 702.66/702.84 c 502s | 11 | 121802 | 19144 | 7266473 0 | 0 | 0 706.46/706.70 c 506s | 11 | 122023 | 19344 | 7266473 0 | 0 | 0 708.56/708.78 c 508s | 11 | 122119 | 19444 | 7266473 0 | 0 | 0 711.95/712.16 c 512s | 11 | 122373 | 19644 | 7266473 0 | 0 | 0 714.26/714.43 c 514s | 11 | 122500 | 19744 | 7266473 0 | 0 | 0 716.36/716.56 c 516s | 11 | 122629 | 19844 | 7266473 0 | 0 | 0 720.66/720.83 c 520s | 11 | 122875 | 20044 | 7266473 0 | 0 | 0 724.26/724.41 c 524s | 11 | 123102 | 20244 | 7266473 0 | 0 | 0 727.75/727.92 c 528s | 11 | 123344 | 20444 | 7266473 0 | 0 | 0 731.05/731.25 c 531s | 11 | 123615 | 20644 | 7266473 0 | 0 | 0 734.96/735.15 c 535s | 11 | 123860 | 20844 | 7266473 0 | 0 | 0 737.85/738.09 c 538s | 11 | 124114 | 21044 | 7266473 0 | 0 | 0 741.45/741.67 c 541s | 11 | 124346 | 21244 | 7266473 0 | 0 | 0 745.16/745.33 c 545s | 11 | 124567 | 21444 | 7266473 0 | 0 | 0 747.36/747.56 c 547s | 11 | 124682 | 21544 | 7266473 0 | 0 | 0 749.85/750.01 c 550s | 11 | 124811 | 21644 | 7266473 0 | 0 | 0 751.96/752.15 c 552s | 11 | 124918 | 21744 | 7266473 0 | 0 | 0 754.05/754.25 c 554s | 11 | 125042 | 21844 | 7266473 0 | 0 | 0 756.06/756.27 c 556s | 11 | 125158 | 21944 | 7266473 0 | 0 | 0 759.75/759.93 c 560s | 11 | 125417 | 22144 | 7266473 0 | 0 | 0 762.15/762.35 c 562s | 11 | 125659 | 22344 | 7266473 0 | 0 | 0 765.55/765.71 c 565s | 11 | 125878 | 22544 | 7266473 0 | 0 | 0 776.95/777.12 c 577s | 11 | 126142 | 22744 | 7266473 0 | 0 | 0 779.45/779.66 c 579s | 11 | 126369 | 22944 | 7266473 0 | 0 | 0 782.14/782.37 c 582s | 11 | 126598 | 23144 | 7266473 0 | 0 | 0 785.15/785.39 c 585s | 11 | 126844 | 23344 | 7266473 0 | 0 | 0 788.54/788.78 c 588s | 11 | 127087 | 23544 | 7266473 0 | 0 | 0 791.75/791.93 c 592s | 11 | 127308 | 23744 | 7266473 0 | 0 | 0 794.94/795.12 c 595s | 11 | 127527 | 23944 | 7266473 0 | 0 | 0 797.75/797.95 c 598s | 11 | 127766 | 24144 | 7266473 0 | 0 | 0 800.74/800.98 c 601s | 11 | 127990 | 24344 | 7266473 0 | 0 | 0 803.54/803.73 c 603s | 11 | 128229 | 24544 | 7266473 0 | 0 | 0 809.05/809.27 c 609s | 11 | 138089 | 24644 | 7266473 0 | 0 | 0 811.15/811.33 c 611s | 11 | 138659 | 24744 | 7266473 0 | 0 | 0 813.65/813.88 c 613s | 11 | 138779 | 24844 | 7266473 0 | 0 | 0 817.44/817.69 c 617s | 11 | 139050 | 25044 | 7266473 0 | 0 | 0 819.54/819.77 c 619s | 11 | 139191 | 25144 | 7266473 0 | 0 | 0 822.34/822.53 c 622s | 11 | 139303 | 25244 | 7266473 0 | 0 | 0 824.74/824.90 c 624s | 11 | 139429 | 25344 | 7266473 0 | 0 | 0 828.64/828.88 c 628s | 11 | 139663 | 25544 | 7266473 0 | 0 | 0 832.53/832.71 c 632s | 11 | 139901 | 25744 | 7993121 0 | 0 | 0 833.84/834.07 c 634s | 12 | 139995 | 25819 | 7993121 0 | 0 | 0 843.24/843.44 c 643s | 12 | 147454 | 25919 | 7993121 0 | 0 | 0 846.53/846.74 c 646s | 12 | 147686 | 26119 | 7993121 0 | 0 | 0 856.14/856.40 c 656s | 12 | 147797 | 26219 | 7993121 0 | 0 | 0 859.33/859.60 c 659s | 12 | 148520 | 26419 | 7993121 0 | 0 | 0 862.53/862.76 c 662s | 12 | 148779 | 26619 | 7993121 0 | 0 | 0 865.64/865.86 c 665s | 12 | 149071 | 26819 | 7993121 0 | 0 | 0 868.53/868.79 c 668s | 12 | 149394 | 27019 | 7993121 0 | 0 | 0 871.63/871.83 c 671s | 12 | 149726 | 27219 | 7993121 0 | 0 | 0 874.94/875.16 c 675s | 12 | 149954 | 27419 | 7993121 0 | 0 | 0 878.03/878.30 c 678s | 12 | 150193 | 27619 | 7993121 0 | 0 | 0 881.93/882.17 c 682s | 12 | 150424 | 27819 | 7993121 0 | 0 | 0 885.33/885.54 c 685s | 12 | 150647 | 28019 | 7993121 0 | 0 | 0 888.63/888.87 c 688s | 12 | 150858 | 28219 | 7993121 0 | 0 | 0 891.82/892.09 c 692s | 12 | 151083 | 28419 | 7993121 0 | 0 | 0 895.03/895.22 c 695s | 12 | 151295 | 28619 | 7993121 0 | 0 | 0 898.33/898.57 c 698s | 12 | 151519 | 28819 | 7993121 0 | 0 | 0 901.62/901.87 c 701s | 12 | 151739 | 29019 | 7993121 0 | 0 | 0 904.63/904.88 c 704s | 12 | 151969 | 29219 | 7993121 0 | 0 | 0 907.73/907.99 c 708s | 12 | 152196 | 29419 | 7993121 0 | 0 | 0 910.72/910.99 c 711s | 12 | 152402 | 29619 | 7993121 0 | 0 | 0 914.23/914.48 c 714s | 12 | 152634 | 29819 | 7993121 0 | 0 | 0 917.83/918.05 c 718s | 12 | 152848 | 30019 | 7993121 0 | 0 | 0 919.83/920.07 c 720s | 12 | 152949 | 30119 | 7993121 0 | 0 | 0 922.02/922.21 c 722s | 12 | 153069 | 30219 | 7993121 0 | 0 | 0 925.62/925.82 c 725s | 12 | 153296 | 30419 | 7993121 0 | 0 | 0 928.12/928.32 c 728s | 12 | 153518 | 30619 | 7993121 0 | 0 | 0 931.22/931.43 c 731s | 12 | 153745 | 30819 | 7993121 0 | 0 | 0 934.41/934.69 c 734s | 12 | 153959 | 31019 | 7993121 0 | 0 | 0 938.42/938.67 c 738s | 12 | 162794 | 31219 | 7993121 0 | 0 | 0 949.72/949.97 c 750s | 12 | 209789 | 31319 | 7993121 0 | 0 | 0 953.42/953.61 c 753s | 12 | 218153 | 31419 | 7993121 0 | 0 | 0 960.02/960.24 c 760s | 12 | 245193 | 31519 | 7993121 0 | 0 | 0 962.01/962.24 c 762s | 12 | 246555 | 31619 | 7993121 0 | 0 | 0 964.71/964.92 c 765s | 12 | 247062 | 31719 | 7993121 0 | 0 | 0 966.91/967.18 c 767s | 12 | 247179 | 31819 | 7993121 0 | 0 | 0 969.11/969.35 c 769s | 12 | 247297 | 31919 | 7993121 0 | 0 | 0 992.91/993.18 c 793s | 12 | 247422 | 32019 | 7993121 0 | 0 | 0 995.11/995.38 c 795s | 12 | 247535 | 32119 | 7993121 0 | 0 | 0 997.41/997.63 c 797s | 12 | 247634 | 32219 | 7993121 0 | 0 | 0 999.60/999.83 c 799s | 12 | 247754 | 32319 | 7993121 0 | 0 | 0 1001.61/1001.89 c 801s | 12 | 247876 | 32419 | 7993121 0 | 0 | 0 1005.51/1005.78 c 805s | 12 | 248103 | 32619 | 7993121 0 | 0 | 0 1009.40/1009.69 c 809s | 12 | 248323 | 32819 | 7993121 0 | 0 | 0 1011.71/1011.91 c 811s | 12 | 248448 | 32919 | 7993121 0 | 0 | 0 1015.81/1016.02 c 816s | 12 | 248677 | 33119 | 7993121 0 | 0 | 0 1018.40/1018.69 c 818s | 12 | 248798 | 33219 | 7993121 0 | 0 | 0 1020.80/1021.06 c 821s | 12 | 248920 | 33319 | 7993121 0 | 0 | 0 1023.31/1023.52 c 823s | 12 | 249028 | 33419 | 7993121 0 | 0 | 0 1025.51/1025.80 c 825s | 12 | 249143 | 33519 | 7993121 0 | 0 | 0 1027.60/1027.84 c 827s | 12 | 249258 | 33619 | 7993121 0 | 0 | 0 1030.01/1030.29 c 830s | 12 | 249378 | 33719 | 7993121 0 | 0 | 0 1034.00/1034.21 c 834s | 12 | 249600 | 33919 | 7993121 0 | 0 | 0 1038.20/1038.40 c 838s | 12 | 249827 | 34119 | 7993121 0 | 0 | 0 1042.01/1042.24 c 842s | 12 | 250053 | 34319 | 7993121 0 | 0 | 0 1045.80/1046.03 c 846s | 12 | 250284 | 34519 | 7993121 0 | 0 | 0 1047.90/1048.11 c 848s | 12 | 250401 | 34619 | 7993121 0 | 0 | 0 1051.50/1051.79 c 851s | 12 | 250640 | 34819 | 7993121 0 | 0 | 0 1054.80/1055.08 c 855s | 12 | 250871 | 35019 | 7993121 0 | 0 | 0 1058.20/1058.44 c 858s | 12 | 251095 | 35219 | 7993121 0 | 0 | 0 1061.60/1061.85 c 861s | 12 | 251326 | 35419 | 7993121 0 | 0 | 0 1063.69/1063.92 c 864s | 12 | 251441 | 35519 | 7993121 0 | 0 | 0 1067.70/1067.94 c 868s | 12 | 251672 | 35719 | 7993121 0 | 0 | 0 1071.39/1071.60 c 871s | 12 | 251904 | 35919 | 7993121 0 | 0 | 0 1075.20/1075.45 c 875s | 12 | 252125 | 36119 | 7993121 0 | 0 | 0 1078.59/1078.86 c 878s | 12 | 252344 | 36319 | 7993121 0 | 0 | 0 1081.99/1082.20 c 882s | 12 | 252574 | 36519 | 7993121 0 | 0 | 0 1084.00/1084.21 c 884s | 12 | 252674 | 36619 | 7993121 0 | 0 | 0 1087.29/1087.58 c 887s | 12 | 252909 | 36819 | 7993121 0 | 0 | 0 1090.59/1090.83 c 890s | 12 | 253133 | 37019 | 7993121 0 | 0 | 0 1093.80/1094.03 c 894s | 12 | 253354 | 37219 | 7993121 0 | 0 | 0 1096.79/1097.06 c 897s | 12 | 253579 | 37419 | 7993121 0 | 0 | 0 1099.69/1099.99 c 900s | 12 | 253803 | 37619 | 7993121 0 | 0 | 0 1102.29/1102.57 c 902s | 12 | 254038 | 37819 | 7993121 0 | 0 | 0 1104.79/1105.05 c 905s | 12 | 254257 | 38019 | 7993121 0 | 0 | 0 1108.00/1108.24 c 908s | 12 | 254505 | 38219 | 7993121 0 | 0 | 0 1110.08/1110.36 c 910s | 12 | 254621 | 38319 | 7993121 0 | 0 | 0 1113.79/1114.08 c 914s | 12 | 254846 | 38519 | 7993121 0 | 0 | 0 1150.37/1150.62 c 950s | 12 | 292343 | 38619 | 8792434 0 | 0 | 0 1150.57/1150.80 c 950s | 13 | 292657 | 38832 | 8792434 0 | 0 | 0 1157.58/1157.84 c 957s | 13 | 295383 | 38932 | 8792434 0 | 0 | 0 1160.98/1161.22 c 961s | 13 | 295623 | 39132 | 8792434 0 | 0 | 0 1164.78/1165.02 c 965s | 13 | 295855 | 39332 | 8792434 0 | 0 | 0 1167.17/1167.43 c 967s | 13 | 295960 | 39432 | 8792434 0 | 0 | 0 1169.28/1169.50 c 969s | 13 | 296069 | 39532 | 8792434 0 | 0 | 0 1172.67/1172.91 c 973s | 13 | 296296 | 39732 | 8792434 0 | 0 | 0 1176.58/1176.80 c 976s | 13 | 296535 | 39932 | 8792434 0 | 0 | 0 1180.17/1180.43 c 980s | 13 | 296762 | 40132 | 8792434 0 | 0 | 0 1183.57/1183.83 c 983s | 13 | 296995 | 40332 | 8792434 0 | 0 | 0 1186.57/1186.87 c 986s | 13 | 297216 | 40532 | 8792434 0 | 0 | 0 1189.87/1190.11 c 990s | 13 | 297435 | 40732 | 8792434 0 | 0 | 0 1192.97/1193.26 c 993s | 13 | 297672 | 40932 | 8792434 0 | 0 | 0 1196.77/1197.06 c 997s | 13 | 297901 | 41132 | 8792434 0 | 0 | 0 1200.47/1200.77 c 1000s | 13 | 298113 | 41332 | 8792434 0 | 0 | 0 1203.86/1204.10 c 1004s | 13 | 298339 | 41532 | 8792434 0 | 0 | 0 1207.07/1207.34 c 1007s | 13 | 298566 | 41732 | 8792434 0 | 0 | 0 1210.17/1210.44 c 1010s | 13 | 298793 | 41932 | 8792434 0 | 0 | 0 1213.76/1214.08 c 1014s | 13 | 299019 | 42132 | 8792434 0 | 0 | 0 1217.36/1217.63 c 1017s | 13 | 299238 | 42332 | 8792434 0 | 0 | 0 1220.56/1220.83 c 1020s | 13 | 299466 | 42532 | 8792434 0 | 0 | 0 1223.86/1224.18 c 1024s | 13 | 299685 | 42732 | 8792434 0 | 0 | 0 1227.36/1227.60 c 1027s | 13 | 299889 | 42932 | 8792434 0 | 0 | 0 1230.96/1231.26 c 1031s | 13 | 300119 | 43132 | 8792434 0 | 0 | 0 1234.75/1235.02 c 1035s | 13 | 300331 | 43332 | 8792434 0 | 0 | 0 1237.56/1237.83 c 1037s | 13 | 300541 | 43532 | 8792434 0 | 0 | 0 1240.85/1241.20 c 1041s | 13 | 300765 | 43732 | 8792434 0 | 0 | 0 1244.36/1244.65 c 1044s | 13 | 300979 | 43932 | 8792434 0 | 0 | 0 1247.76/1248.07 c 1048s | 13 | 301216 | 44132 | 8792434 0 | 0 | 0 1251.56/1251.87 c 1051s | 13 | 301432 | 44332 | 8792434 0 | 0 | 0 1253.65/1253.97 c 1054s | 13 | 301883 | 44432 | 8792434 0 | 0 | 0 1255.95/1256.21 c 1056s | 13 | 302331 | 44532 | 8792434 0 | 0 | 0 1258.35/1258.69 c 1058s | 13 | 302434 | 44632 | 8792434 0 | 0 | 0 1283.75/1284.09 c 1084s | 13 | 302566 | 44732 | 8792434 0 | 0 | 0 1286.95/1287.24 c 1087s | 13 | 302693 | 44832 | 8792434 0 | 0 | 0 1289.95/1290.27 c 1090s | 13 | 302806 | 44932 | 8792434 0 | 0 | 0 1292.76/1293.05 c 1093s | 13 | 302908 | 45032 | 8792434 0 | 0 | 0 1295.74/1296.06 c 1096s | 13 | 303025 | 45132 | 8792434 0 | 0 | 0 1298.75/1299.04 c 1099s | 13 | 303430 | 45232 | 8792434 0 | 0 | 0 1301.44/1301.78 c 1101s | 13 | 303641 | 45332 | 8792434 0 | 0 | 0 1304.45/1304.74 c 1104s | 13 | 303751 | 45432 | 8792434 0 | 0 | 0 1307.24/1307.59 c 1107s | 13 | 303863 | 45532 | 8792434 0 | 0 | 0 1310.24/1310.50 c 1110s | 13 | 304011 | 45632 | 8792434 0 | 0 | 0 1312.94/1313.25 c 1113s | 13 | 304334 | 45732 | 8792434 0 | 0 | 0 1315.35/1315.67 c 1115s | 13 | 304527 | 45832 | 8792434 0 | 0 | 0 1318.05/1318.36 c 1118s | 13 | 304691 | 45932 | 8792434 0 | 0 | 0 1321.24/1321.60 c 1121s | 13 | 304812 | 46032 | 8792434 0 | 0 | 0 1324.65/1324.97 c 1125s | 13 | 304958 | 46132 | 8792434 0 | 0 | 0 1327.04/1327.39 c 1127s | 13 | 305260 | 46232 | 8792434 0 | 0 | 0 1330.15/1330.41 c 1130s | 13 | 305582 | 46332 | 8792434 0 | 0 | 0 1333.04/1333.37 c 1133s | 13 | 305755 | 46432 | 8792434 0 | 0 | 0 1335.84/1336.10 c 1136s | 13 | 305850 | 46532 | 8792434 0 | 0 | 0 1339.04/1339.32 c 1139s | 13 | 305962 | 46632 | 8792434 0 | 0 | 0 1341.83/1342.13 c 1142s | 13 | 306118 | 46732 | 8792434 0 | 0 | 0 1344.44/1344.74 c 1144s | 13 | 306270 | 46832 | 8792434 0 | 0 | 0 1347.53/1347.86 c 1147s | 13 | 306373 | 46932 | 8792434 0 | 0 | 0 1350.54/1350.82 c 1150s | 13 | 306520 | 47032 | 8792434 0 | 0 | 0 1353.34/1353.70 c 1153s | 13 | 306696 | 47132 | 8792434 0 | 0 | 0 1356.43/1356.71 c 1156s | 13 | 306847 | 47232 | 8792434 0 | 0 | 0 1359.33/1359.61 c 1159s | 13 | 307001 | 47332 | 8792434 0 | 0 | 0 1362.34/1362.68 c 1162s | 13 | 307133 | 47432 | 8792434 0 | 0 | 0 1364.83/1365.18 c 1165s | 13 | 307286 | 47532 | 8792434 0 | 0 | 0 1367.03/1367.39 c 1167s | 13 | 307451 | 47632 | 8792434 0 | 0 | 0 1369.74/1370.08 c 1170s | 13 | 307630 | 47732 | 8792434 0 | 0 | 0 1372.53/1372.85 c 1172s | 13 | 307811 | 47832 | 8792434 0 | 0 | 0 1375.63/1375.98 c 1176s | 13 | 307963 | 47932 | 8792434 0 | 0 | 0 1378.93/1379.20 c 1179s | 13 | 308103 | 48032 | 8792434 0 | 0 | 0 1382.13/1382.45 c 1182s | 13 | 308229 | 48132 | 8792434 0 | 0 | 0 1385.03/1385.36 c 1185s | 13 | 308397 | 48232 | 8792434 0 | 0 | 0 1388.03/1388.30 c 1188s | 13 | 308888 | 48332 | 8792434 0 | 0 | 0 1390.53/1390.85 c 1190s | 13 | 309029 | 48432 | 8792434 0 | 0 | 0 1393.13/1393.47 c 1193s | 13 | 309182 | 48532 | 8792434 0 | 0 | 0 1395.33/1395.64 c 1195s | 13 | 309317 | 48632 | 8792434 0 | 0 | 0 1398.53/1398.87 c 1198s | 13 | 309461 | 48732 | 8792434 0 | 0 | 0 1401.83/1402.11 c 1202s | 13 | 309583 | 48832 | 8792434 0 | 0 | 0 1404.73/1405.07 c 1205s | 13 | 309706 | 48932 | 8792434 0 | 0 | 0 1430.72/1431.08 c 1231s | 13 | 309819 | 49032 | 8792434 0 | 0 | 0 1433.42/1433.75 c 1233s | 13 | 309939 | 49132 | 8792434 0 | 0 | 0 1435.92/1436.21 c 1236s | 13 | 310071 | 49232 | 8792434 0 | 0 | 0 1438.92/1439.23 c 1239s | 13 | 310218 | 49332 | 8792434 0 | 0 | 0 1442.12/1442.41 c 1242s | 13 | 310375 | 49432 | 8792434 0 | 0 | 0 1445.32/1445.62 c 1245s | 13 | 310525 | 49532 | 8792434 0 | 0 | 0 1448.32/1448.60 c 1248s | 13 | 310634 | 49632 | 8792434 0 | 0 | 0 1450.72/1451.09 c 1251s | 13 | 310813 | 49732 | 8792434 0 | 0 | 0 1453.52/1453.84 c 1253s | 13 | 310951 | 49832 | 8792434 0 | 0 | 0 1456.52/1456.82 c 1256s | 13 | 311120 | 49932 | 8792434 0 | 0 | 0 1459.11/1459.49 c 1259s | 13 | 311277 | 50032 | 8792434 0 | 0 | 0 1461.91/1462.24 c 1262s | 13 | 311455 | 50132 | 8792434 0 | 0 | 0 1464.52/1464.86 c 1264s | 13 | 311609 | 50232 | 8792434 0 | 0 | 0 1467.52/1467.82 c 1267s | 13 | 311722 | 50332 | 8792434 0 | 0 | 0 1470.12/1470.49 c 1270s | 13 | 311896 | 50432 | 8792434 0 | 0 | 0 1472.61/1472.91 c 1273s | 13 | 311999 | 50532 | 8792434 0 | 0 | 0 1475.62/1475.94 c 1276s | 13 | 313412 | 50632 | 8792434 0 | 0 | 0 1478.51/1478.85 c 1278s | 13 | 315666 | 50732 | 8792434 0 | 0 | 0 1481.62/1481.90 c 1281s | 13 | 317623 | 50832 | 8792434 0 | 0 | 0 1483.91/1484.26 c 1284s | 13 | 317752 | 50932 | 8792434 0 | 0 | 0 1486.42/1486.72 c 1286s | 13 | 317868 | 51032 | 8792434 0 | 0 | 0 1489.31/1489.69 c 1289s | 13 | 317985 | 51132 | 8792434 0 | 0 | 0 1492.11/1492.41 c 1292s | 13 | 318087 | 51232 | 8792434 0 | 0 | 0 1494.41/1494.75 c 1294s | 13 | 318196 | 51332 | 8792434 0 | 0 | 0 1496.91/1497.21 c 1297s | 13 | 318316 | 51432 | 8792434 0 | 0 | 0 1499.82/1500.11 c 1300s | 13 | 318429 | 51532 | 8792434 0 | 0 | 0 1502.51/1502.82 c 1302s | 13 | 318540 | 51632 | 8792434 0 | 0 | 0 1505.21/1505.50 c 1305s | 13 | 318649 | 51732 | 8792434 0 | 0 | 0 1508.01/1508.36 c 1308s | 13 | 318778 | 51832 | 8792434 0 | 0 | 0 1510.41/1510.75 c 1310s | 13 | 318902 | 51932 | 8792434 0 | 0 | 0 1512.91/1513.22 c 1313s | 13 | 319012 | 52032 | 8792434 0 | 0 | 0 1516.81/1517.11 c 1317s | 13 | 319245 | 52232 | 8792434 0 | 0 | 0 1519.61/1519.99 c 1320s | 13 | 319348 | 52332 | 8792434 0 | 0 | 0 1522.31/1522.60 c 1322s | 13 | 319477 | 52432 | 8792434 0 | 0 | 0 1525.30/1525.62 c 1325s | 13 | 319579 | 52532 | 8792434 0 | 0 | 0 1527.91/1528.21 c 1328s | 13 | 319681 | 52632 | 8792434 0 | 0 | 0 1530.90/1531.21 c 1331s | 13 | 319788 | 52732 | 8792434 0 | 0 | 0 1533.62/1533.92 c 1334s | 13 | 319894 | 52832 | 8792434 0 | 0 | 0 1536.31/1536.61 c 1336s | 13 | 320006 | 52932 | 8792434 0 | 0 | 0 1539.11/1539.41 c 1339s | 13 | 320134 | 53032 | 8792434 0 | 0 | 0 1541.81/1542.13 c 1342s | 13 | 320246 | 53132 | 8792434 0 | 0 | 0 1544.50/1544.80 c 1344s | 13 | 320349 | 53232 | 8792434 0 | 0 | 0 1570.10/1570.48 c 1370s | 13 | 320457 | 53332 | 8792434 0 | 0 | 0 1573.31/1573.63 c 1373s | 13 | 320570 | 53432 | 8792434 0 | 0 | 0 1575.60/1575.99 c 1376s | 13 | 320679 | 53532 | 8792434 0 | 0 | 0 1578.30/1578.62 c 1378s | 13 | 320793 | 53632 | 8792434 0 | 0 | 0 1580.91/1581.28 c 1381s | 13 | 320897 | 53732 | 8792434 0 | 0 | 0 1584.20/1584.52 c 1384s | 13 | 321009 | 53832 | 8792434 0 | 0 | 0 1586.40/1586.75 c 1386s | 13 | 321134 | 53932 | 8792434 0 | 0 | 0 1588.39/1588.77 c 1388s | 13 | 321263 | 54032 | 8792434 0 | 0 | 0 1592.59/1592.96 c 1393s | 13 | 321479 | 54232 | 8792434 0 | 0 | 0 1595.09/1595.45 c 1395s | 13 | 321583 | 54332 | 8792434 0 | 0 | 0 1599.10/1599.40 c 1399s | 13 | 321802 | 54532 | 8792434 0 | 0 | 0 1602.69/1603.06 c 1403s | 13 | 322015 | 54732 | 8792434 0 | 0 | 0 1606.99/1607.30 c 1407s | 13 | 322249 | 54932 | 8792434 0 | 0 | 0 1609.59/1609.92 c 1410s | 13 | 322374 | 55032 | 8792434 0 | 0 | 0 1611.99/1612.39 c 1412s | 13 | 322482 | 55132 | 8792434 0 | 0 | 0 1615.09/1615.44 c 1415s | 13 | 322602 | 55232 | 8792434 0 | 0 | 0 1617.99/1618.35 c 1418s | 13 | 322717 | 55332 | 8792434 0 | 0 | 0 1620.69/1621.08 c 1421s | 13 | 322832 | 55432 | 8792434 0 | 0 | 0 1623.18/1623.57 c 1423s | 13 | 322934 | 55532 | 8792434 0 | 0 | 0 1625.68/1626.02 c 1426s | 13 | 323043 | 55632 | 8792434 0 | 0 | 0 1628.09/1628.49 c 1428s | 13 | 323154 | 55732 | 8792434 0 | 0 | 0 1631.08/1631.48 c 1431s | 13 | 323260 | 55832 | 8792434 0 | 0 | 0 1633.69/1634.01 c 1434s | 13 | 323375 | 55932 | 8792434 0 | 0 | 0 1636.28/1636.60 c 1436s | 13 | 323485 | 56032 | 8792434 0 | 0 | 0 1638.68/1639.08 c 1439s | 13 | 323605 | 56132 | 8792434 0 | 0 | 0 1640.98/1641.37 c 1441s | 13 | 323711 | 56232 | 8792434 0 | 0 | 0 1643.68/1644.07 c 1444s | 13 | 323823 | 56332 | 8792434 0 | 0 | 0 1646.48/1646.89 c 1446s | 13 | 323930 | 56432 | 8792434 0 | 0 | 0 1649.38/1649.71 c 1449s | 13 | 324032 | 56532 | 8792434 0 | 0 | 0 1651.78/1652.14 c 1452s | 13 | 324158 | 56632 | 8792434 0 | 0 | 0 1654.37/1654.73 c 1454s | 13 | 324273 | 56732 | 8792434 0 | 0 | 0 1656.89/1657.26 c 1457s | 13 | 324379 | 56832 | 8792434 0 | 0 | 0 1659.57/1659.96 c 1460s | 13 | 324474 | 56932 | 8792434 0 | 0 | 0 1661.88/1662.28 c 1462s | 13 | 324580 | 57032 | 8792434 0 | 0 | 0 1664.37/1664.77 c 1464s | 13 | 324694 | 57132 | 8792434 0 | 0 | 0 1666.88/1667.21 c 1467s | 13 | 324810 | 57232 | 8792434 0 | 0 | 0 1669.17/1669.58 c 1469s | 13 | 324913 | 57332 | 8792434 0 | 0 | 0 1671.37/1671.77 c 1471s | 13 | 325021 | 57432 | 8792434 0 | 0 | 0 1673.98/1674.32 c 1474s | 13 | 325135 | 57532 | 8792434 0 | 0 | 0 1676.48/1676.88 c 1476s | 13 | 325234 | 57632 | 8792434 0 | 0 | 0 1678.78/1679.12 c 1479s | 13 | 325352 | 57732 | 8792434 0 | 0 | 0 1681.18/1681.55 c 1481s | 13 | 325459 | 57832 | 8792434 0 | 0 | 0 1683.68/1684.04 c 1484s | 13 | 325564 | 57932 | 8792434 0 | 0 | 0 1686.27/1686.61 c 1486s | 13 | 325668 | 58032 | 9671678 0 | 0 | 0 1689.07/1689.49 c 1489s | 13 | 325808 | 58132 | 9671678 0 | 0 | 0 1692.37/1692.71 c 1492s | 13 | 325942 | 58232 | 9671678 0 | 0 | 0 1695.57/1695.97 c 1496s | 13 | 326052 | 58332 | 9671678 0 | 0 | 0 1696.17/1696.59 c 1496s | 14 | 326077 | 58352 | 9671678 0 | 0 | 0 1732.26/1732.67 c 1532s | 14 | 335772 | 58452 | 9671678 0 | 0 | 0 1734.97/1735.33 c 1535s | 14 | 335917 | 58552 | 9671678 0 | 0 | 0 1737.26/1737.66 c 1537s | 14 | 336142 | 58652 | 9671678 0 | 0 | 0 1741.26/1741.69 c 1541s | 14 | 336447 | 58852 | 9671678 0 | 0 | 0 1745.36/1745.78 c 1545s | 14 | 336721 | 59052 | 9671678 0 | 0 | 0 1748.56/1748.95 c 1549s | 14 | 336848 | 59152 | 9671678 0 | 0 | 0 1751.66/1752.02 c 1552s | 14 | 336969 | 59252 | 9671678 0 | 0 | 0 1753.75/1754.15 c 1554s | 14 | 337078 | 59352 | 9671678 0 | 0 | 0 1757.85/1758.26 c 1558s | 14 | 337312 | 59552 | 9671678 0 | 0 | 0 1760.06/1760.46 c 1560s | 14 | 337424 | 59652 | 9671678 0 | 0 | 0 1762.56/1762.98 c 1563s | 14 | 337553 | 59752 | 9671678 0 | 0 | 0 1766.56/1766.96 c 1567s | 14 | 337772 | 59952 | 9671678 0 | 0 | 0 1770.56/1770.95 c 1571s | 14 | 337983 | 60152 | 9671678 0 | 0 | 0 1772.55/1772.97 c 1573s | 14 | 338104 | 60252 | 9671678 0 | 0 | 0 1774.66/1775.04 c 1575s | 14 | 338217 | 60352 | 9671678 0 | 0 | 0 1776.76/1777.16 c 1577s | 14 | 338346 | 60452 | 9671678 0 | 0 | 0 1779.05/1779.49 c 1579s | 14 | 338463 | 60552 | 9671678 0 | 0 | 0 1781.16/1781.50 c 1581s | 14 | 338572 | 60652 | 9671678 0 | 0 | 0 1784.56/1784.90 c 1584s | 14 | 338799 | 60852 | 9671678 0 | 0 | 0 1787.95/1788.36 c 1588s | 14 | 339026 | 61052 | 9671678 0 | 0 | 0 1790.55/1790.93 c 1591s | 14 | 339142 | 61152 | 9671678 0 | 0 | 0 1792.66/1793.09 c 1593s | 14 | 339256 | 61252 | 9671678 0 | 0 | 0 1795.05/1795.42 c 1595s | 14 | 339358 | 61352 | 9671678 0 | 0 | 0 1797.25/1797.62 c 1597s | 14 | 339488 | 61452 | 9671678 0 | 0 | 0 1799.26/1799.64 c 1599s | 14 | 339596 | 61552 | 9671678 0 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078862-1465275491/watcher-4078862-1465275491 -o /tmp/evaluation-result-4078862-1465275491/solver-4078862-1465275491 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078862-1465275491.opb pid=17800 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.23 2.18 3/179 17803 /proc/meminfo: memFree=28879144/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=796092 CPUtime=0 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 2981 0 0 0 0 0 0 0 20 0 4 0 109481863 815198208 3342 33554432000 4194304 16246674 140736855180624 140736855180048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 199535 3353 441 2943 0 196429 0 [pid=17803/tid=17804] ppid=17800 vsize=814524 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 834072576 3417 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=818620 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 838266880 3433 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=823740 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109481864 843509760 3450 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100147 s] /proc/loadavg: 2.23 2.23 2.18 3/179 17803 /proc/meminfo: memFree=28879144/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 29921 0 0 0 5 4 0 0 20 0 4 0 109481863 1249447936 30220 33554432000 4194304 16246674 140736855180624 140736855163616 4220507 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 305041 30220 801 2943 0 301935 0 [pid=17803/tid=17804] ppid=17800 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1249447936 30220 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1249447936 30220 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1249447936 30220 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200436 s] /proc/loadavg: 2.23 2.23 2.18 3/179 17803 /proc/meminfo: memFree=28879144/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 52029 0 0 0 13 6 0 0 20 0 4 0 109481863 1342771200 52839 33554432000 4194304 16246674 140736855180624 140736855163616 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 327825 52845 801 2943 0 324719 0 [pid=17803/tid=17804] ppid=17800 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1342771200 52849 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1342771200 52854 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1342771200 52858 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300488 s] /proc/loadavg: 2.23 2.23 2.18 3/179 17803 /proc/meminfo: memFree=28879144/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 60763 0 0 0 22 7 0 0 20 0 4 0 109481863 1344868352 61573 33554432000 4194304 16246674 140736855180624 140736855163616 7853032 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 328337 61573 801 2943 0 325231 0 [pid=17803/tid=17804] ppid=17800 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1344868352 61573 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1344868352 61573 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1344868352 61573 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700428 s] /proc/loadavg: 2.23 2.23 2.18 3/179 17803 /proc/meminfo: memFree=28879144/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 70004 0 0 0 61 8 0 0 20 0 4 0 109481863 1344868352 70814 33554432000 4194304 16246674 140736855180624 140736855163616 7440024 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 328337 70814 801 2943 0 325231 0 [pid=17803/tid=17804] ppid=17800 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1344868352 70814 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1344868352 70814 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1344868352 70814 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.21 2.23 2.18 3/183 17807 /proc/meminfo: memFree=28556940/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1325636 CPUtime=1.49 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 104060 0 0 0 135 14 0 0 20 0 4 0 109481863 1357451264 106914 33554432000 4194304 16246674 140736855180624 140736855178432 7371366 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 331409 106914 802 2943 0 328303 0 [pid=17803/tid=17804] ppid=17800 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1357451264 106914 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1357451264 106914 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1357451264 106914 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1325636 [startup+3.10043 s] /proc/loadavg: 2.21 2.23 2.18 3/183 17807 /proc/meminfo: memFree=28444212/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1350212 CPUtime=3.09 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 145392 0 0 0 288 21 0 0 20 0 4 0 109481863 1382617088 153356 33554432000 4194304 16246674 140736855180624 140736855162496 4220491 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 337553 153356 802 2943 0 334447 0 [pid=17803/tid=17804] ppid=17800 vsize=1350212 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1382617088 153356 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1350212 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1382617088 153356 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1350212 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1382617088 153356 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1350212 [startup+6.30044 s] /proc/loadavg: 2.19 2.22 2.18 3/183 17807 /proc/meminfo: memFree=27969144/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1399364 CPUtime=6.29 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 210241 0 0 0 598 31 0 0 20 0 4 0 109481863 1432948736 228936 33554432000 4194304 16246674 140736855180624 140736855163616 7378032 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 349841 228936 802 2943 0 346735 0 [pid=17803/tid=17804] ppid=17800 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1432948736 228936 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1432948736 228936 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1432948736 228936 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1399364 [startup+12.7075 s] /proc/loadavg: 2.18 2.22 2.18 3/183 17807 /proc/meminfo: memFree=27462152/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=1683012 CPUtime=12.69 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 315331 0 0 0 1221 48 0 0 20 0 4 0 109481863 1723404288 355488 33554432000 4194304 16246674 140736855180624 140736855178432 13780510 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17803/statm: 420753 355488 802 2943 0 417647 0 [pid=17803/tid=17804] ppid=17800 vsize=1683012 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 1723404288 355488 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=1683012 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 1723404288 355488 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=1683012 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 1723404288 355488 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1683012 [startup+25.5004 s] /proc/loadavg: 2.15 2.21 2.18 3/183 17807 /proc/meminfo: memFree=26035248/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=3127876 CPUtime=25.48 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 627486 0 0 0 2445 103 0 0 20 0 4 0 109481863 3202945024 713122 33554432000 4194304 16246674 140736855180624 140736855179800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 781969 713122 803 2943 0 778863 0 [pid=17803/tid=17804] ppid=17800 vsize=3127876 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 3202945024 713122 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=3127876 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 3202945024 713122 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=3127876 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 3202945024 713122 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 3127876 [startup+51.1004 s] /proc/loadavg: 2.26 2.23 2.19 3/183 17807 /proc/meminfo: memFree=23346520/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=5830212 CPUtime=51.08 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 1204944 0 0 0 4901 207 0 0 20 0 4 0 109481863 5970137088 1382049 33554432000 4194304 16246674 140736855180624 140736855179800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 1457553 1382049 803 2943 0 1454447 0 [pid=17803/tid=17804] ppid=17800 vsize=5830212 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 5970137088 1382049 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=5830212 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 5970137088 1382049 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=5830212 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 5970137088 1382049 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 5830212 [startup+102.3 s] /proc/loadavg: 2.37 2.27 2.20 3/183 17808 /proc/meminfo: memFree=18751348/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=10393156 CPUtime=102.27 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 2345751 0 0 0 9849 378 0 0 20 0 4 0 109481863 10642591744 2528475 33554432000 4194304 16246674 140736855180624 140736855179720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 2598289 2528475 850 2943 0 2595183 0 [pid=17803/tid=17804] ppid=17800 vsize=10393156 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 10642591744 2528475 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=10393156 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 10642591744 2528475 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=10393156 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 10642591744 2528475 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10393156 ################ # More data... # ################ [pid=17803] ppid=17800 vsize=14133828 CPUtime=1362.04 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281045 0 0 0 135451 753 0 0 20 0 4 0 109481863 14473039872 3474956 33554432000 4194304 16246674 140736855180624 140736855179800 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474956 897 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474956 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474956 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474956 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 14133828 [startup+1422.3 s] /proc/loadavg: 2.21 2.29 2.23 3/183 17916 /proc/meminfo: memFree=14670300/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1422.02 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281046 0 0 0 141442 760 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855178432 14006601 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 14133828 [startup+1482.31 s] /proc/loadavg: 2.32 2.30 2.23 3/183 17917 /proc/meminfo: memFree=14670016/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1482.02 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281046 0 0 0 147429 773 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855179800 13898432 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 14133828 [startup+1542.3 s] /proc/loadavg: 2.31 2.30 2.23 3/183 17918 /proc/meminfo: memFree=14670068/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1542.01 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281046 0 0 0 153419 782 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855179720 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 14133828 [startup+1602.3 s] /proc/loadavg: 2.28 2.30 2.24 3/183 17919 /proc/meminfo: memFree=14669992/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1601.99 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281056 0 0 0 159410 789 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855179800 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 14133828 [startup+1662.3 s] /proc/loadavg: 2.38 2.32 2.25 3/183 17921 /proc/meminfo: memFree=14669804/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1661.98 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281065 0 0 0 165395 803 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855179800 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 14133828 [startup+1722.3 s] /proc/loadavg: 2.33 2.32 2.25 4/183 17922 /proc/meminfo: memFree=14670188/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1721.96 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281073 0 0 0 171385 811 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855178560 14016654 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 14133828 [startup+1782.3 s] /proc/loadavg: 2.33 2.32 2.26 3/183 17923 /proc/meminfo: memFree=14670004/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1781.95 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281074 0 0 0 177372 823 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855179720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 14133828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.34 2.32 2.26 4/183 17923 /proc/meminfo: memFree=14670032/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=14133828 CPUtime=1800.05 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) R 17800 17803 13546 0 -1 4202496 3281074 0 0 0 179179 826 0 0 20 0 4 0 109481863 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140736855179800 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 3533457 3474957 898 2943 0 3530351 0 [pid=17803/tid=17804] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17804/stat : 17804 (toysat) S 17800 17803 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335216831728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17803/tid=17805] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17805/stat : 17805 (toysat) S 17800 17803 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335206341872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=14133828 CPUtime=0 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) S 17800 17803 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109481864 14473039872 3474957 33554432000 4194304 16246674 140736855180624 140335195868336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 14133828 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 17803 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.34 2.32 2.26 4/183 17923 /proc/meminfo: memFree=14670032/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=0 CPUtime=1800.16 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) Z 17800 17803 13546 0 -1 4203532 3281074 0 0 0 179180 836 0 0 20 0 2 0 109481863 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 0 0 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=0 CPUtime=0.08 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) R 17800 17803 13546 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 109481864 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 2.34 2.32 2.26 4/183 17923 /proc/meminfo: memFree=14670032/32872528 swapFree=17452/1581112 [pid=17803] ppid=17800 vsize=0 CPUtime=1800.55 cores=1,3,5,7 /proc/17803/stat : 17803 (toysat) Z 17800 17803 13546 0 -1 4203532 3281074 0 0 0 179180 875 0 0 20 0 2 0 109481863 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17803/statm: 0 0 0 0 0 0 0 [pid=17803/tid=17806] ppid=17800 vsize=0 CPUtime=0.48 cores=1,3,5,7 /proc/17803/task/17806/stat : 17806 (toysat) R 17800 17803 13546 0 -1 4203588 2 0 0 0 0 48 0 0 20 0 2 0 109481864 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.99 CPU time (s): 1800.64 CPU user time (s): 1791.8 CPU system time (s): 8.83166 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 14133828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.8 system time used= 8.83166 maximum resident set size= 13899828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3281074 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= 164 involuntary context switches= 2269 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.71928 second user time and 6.76597 second system time The end
Begin job on node139 at 2016-06-07 06:58:19 IDJOB=4078862 IDBENCH=89691 IDSOLVER=2542 FILE ID=node139/4078862-1465275491 RUNJOBID= node139-1465254943-13563 PBS_JOBID= 19843273 Free space on /tmp= 71372 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-180.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078862-1465275491/watcher-4078862-1465275491 -o /tmp/evaluation-result-4078862-1465275491/solver-4078862-1465275491 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078862-1465275491.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c3fe83338b70253b33b876e52e7c579 RANDOM SEED=1535602496 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.73 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.868 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.868 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.56 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.868 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.868 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.868 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.868 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.868 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: 28879292 kB Buffers: 64012 kB Cached: 481628 kB SwapCached: 1412 kB Active: 1541952 kB Inactive: 116884 kB Active(anon): 1112012 kB Inactive(anon): 3684 kB Active(file): 429940 kB Inactive(file): 113200 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099812 kB Dirty: 364684 kB Writeback: 0 kB AnonPages: 2699588 kB Mapped: 10856 kB Shmem: 0 kB Slab: 613212 kB SReclaimable: 56600 kB SUnreclaim: 556612 kB KernelStack: 1456 kB PageTables: 9428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2838364 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2590720 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= 71336 MiB End job on node139 at 2016-06-07 07:28:20