| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb |
| MD5SUM | 5afe2e688387cc46a3d150d955d27ab1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 393877 |
| Best CPU time to get the best result obtained on this benchmark | 1800.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 294914 |
| Optimality of the best value was proved | NO |
| Number of variables | 6651 |
| Total number of constraints | 721 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 331 |
| Number of constraints which are nor clauses,nor cardinality constraints | 390 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 6651 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 527653 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T03:59: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-4100481-1466215147.opb"] 0.00/0.01 c use --random-gen="1352172672 735571642 1917301748 155483104 553376336 1844429047 1595894441 649051833 34750266 1291290258 3570168324 183175033 1172237147 4051847567 3955185989 1658248693 920664384 1519725853 3732529348 3132922040 2235647104 31571833 1792732085 3443009533 417709513 2026296114 2411303589 2380463377 1043334116 290837771 831720161 672629963 2248985891 120286867 2420901775 4007335414 1840051433 1166474971 843786088 3928629969 4141389882 2218676350 1980831690 2795976300 1663386872 1310858124 280512394 17200961 2214885925 3377893309 4241088843 1896671264 765475238 3800985832 123434484 2556964562 3049502238 4083038227 4292739486 1274311717 111205447 969624245 4263143388 1692482592 1250058305 3550596548 1231697131 2780399980 3494662303 3315569024 262632292 581196061 1056263076 3896508461 2281510370 1392949273 3473141411 1325762208 850627171 1702045917 501487205 1253722343 126505986 4164001505 1700273312 161271245 1124910624 3127043639 3970692144 1456938547 1708709139 3692370073 118629705 2001510765 2669016894 1662668474 2266818690 518362464 2402998963 2426915740 1275317856 3926075600 1681456150 3022273091 1176597058 4097753880 3329677778 3102745209 3882819017 2847662207 2806801440 4180943381 3085938258 2884290736 2669187469 2090152914 1511983687 3040304411 2989080318 4143258400 4274756942 1187127442 1316611549 2545068924 141035710 1893996427 529355991 2484848936 4267482679 3507807087 3467910563 1794217841 2146629267 1709125317 2869357376 2302714192 1844115456 2955969585 3015301788 1993694820 3877081979 4066129826 3089616908 2630307851 4252958440 55861460 3323944068 1938669563 4146614313 3411238788 1789778639 3088283269 1918926661 2473864963 4028000884 2526764489 814942155 1717785487 2146661650 3903670622 1145937506 1749986643 300138856 1642767190 3112192443 783421101 2707828349 1769622176 2788253983 1969108805 2213018041 1972373971 3120910235 1518283829 2962094790 1944400097 3746095762 728244734 4094955976 3988698392 1948792889 1265711111 2840770238 945039203 1016595704 26317025 3642957435 1898247573 3752735238 3709317507 2510678599 874661427 549792791 3854793379 2583034781 1724889593 4197161931 3332462968 3251927077 1010323747 2738400676 1747580385 531734490 3072125784 1467491501 1518341528 2900488876 2879132776 869652206 1109125081 2124622913 4217904782 1216701182 898878779 2083827704 4236574801 1460083898 4006299891 4270742511 4147949284 84830657 2878486918 3349122026 2309091620 2896711813 2028554050 1233045207 965775258 282290302 2149611253 1836576690 1638839997 3773171358 4204974834 3814517194 1512299715 3540408938 1936587054 502357567 3124032817 1366588402 936803314 2352724541 3959055893 1902300017 3222204071 3846564185 1064921455 1891229234 1985983294 2629284630 600230451 1957465839 4169663303 2681071637 1412033785 255 362436" option to reproduce the execution 0.38/0.40 c #vars 6651 0.38/0.40 c #constraints 721 1.09/1.16 c BCD2: Hardening is enabled. 1.09/1.16 c BCD2: BiasedSearch is enabled. 1.09/1.16 c Solving starts ... 1.09/1.16 c ============================[ Search Statistics ]============================ 1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.16 c | | | | Limit GC | Var | Constra 1.09/1.16 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 2457 0 | 0 | 0 3.78/3.80 c 2.6s | 0 | 2715 | 100 | 2457 0 | 0 | 0 3.78/3.85 c 2.7s | 1 | 2715 | 100 | 2457 0 | 0 | 0 10.48/10.51 c 9.4s | 1 | 3984 | 200 | 2703 0 | 0 | 0 14.09/14.13 c 13.0s | 2 | 4064 | 250 | 2703 0 | 0 | 0 20.59/20.69 c 19.5s | 2 | 4526 | 350 | 2974 0 | 0 | 0 25.59/25.61 c 24.4s | 2 | 4813 | 450 | 2974 0 | 0 | 0 26.69/26.79 c 25.6s | 3 | 4885 | 475 | 2974 0 | 0 | 0 31.99/32.09 c 30.9s | 3 | 5222 | 575 | 3272 0 | 0 | 0 35.58/35.61 c 34.5s | 3 | 5614 | 675 | 3272 0 | 0 | 0 39.69/39.74 c 38.6s | 3 | 6280 | 775 | 3272 0 | 0 | 0 41.28/41.34 c 40.2s | 4 | 6406 | 813 | 3272 0 | 0 | 0 46.08/46.19 c 45.0s | 4 | 6726 | 913 | 3600 0 | 0 | 0 50.69/50.73 c 49.6s | 4 | 7178 | 1013 | 3600 0 | 0 | 0 54.58/54.67 c 53.5s | 4 | 7331 | 1113 | 3600 0 | 0 | 0 58.58/58.63 c 57.5s | 4 | 7966 | 1213 | 3600 0 | 0 | 0 62.79/62.89 c 61.7s | 4 | 8223 | 1313 | 3600 0 | 0 | 0 63.18/63.26 c 62.1s | 5 | 8228 | 1320 | 3600 0 | 0 | 0 67.19/67.29 c 66.1s | 5 | 8693 | 1420 | 3961 0 | 0 | 0 70.88/70.94 c 69.8s | 5 | 9113 | 1520 | 3961 0 | 0 | 0 75.08/75.11 c 74.0s | 5 | 9558 | 1620 | 3961 0 | 0 | 0 78.68/78.77 c 77.6s | 5 | 9898 | 1720 | 3961 0 | 0 | 0 82.98/83.07 c 81.9s | 5 | 11301 | 1920 | 3961 0 | 0 | 0 86.68/86.78 c 85.6s | 5 | 11586 | 2020 | 3961 0 | 0 | 0 88.18/88.21 c 87.0s | 6 | 11751 | 2081 | 4358 0 | 0 | 0 91.58/91.62 c 90.5s | 6 | 12316 | 2181 | 4358 0 | 0 | 0 95.68/95.79 c 94.6s | 6 | 12760 | 2281 | 4358 0 | 0 | 0 100.08/100.20 c 99.0s | 6 | 13133 | 2381 | 4358 0 | 0 | 0 103.67/103.71 c 102s | 6 | 13408 | 2481 | 4358 0 | 0 | 0 107.78/107.83 c 106s | 6 | 13969 | 2581 | 4358 0 | 0 | 0 112.87/112.92 c 111s | 6 | 14378 | 2681 | 4358 0 | 0 | 0 116.58/116.70 c 115s | 6 | 15326 | 2781 | 4358 0 | 0 | 0 120.87/120.95 c 119s | 6 | 15871 | 2881 | 4358 0 | 0 | 0 125.48/125.51 c 124s | 6 | 16667 | 2981 | 4358 0 | 0 | 0 130.07/130.14 c 128s | 6 | 17401 | 3081 | 4358 0 | 0 | 0 133.57/133.60 c 132s | 6 | 17595 | 3181 | 4358 0 | 0 | 0 135.57/135.61 c 134s | 7 | 17779 | 3223 | 4794 0 | 0 | 0 139.97/140.03 c 138s | 7 | 18402 | 3323 | 4794 0 | 0 | 0 143.17/143.24 c 142s | 7 | 18840 | 3423 | 4794 0 | 0 | 0 146.27/146.38 c 145s | 7 | 19343 | 3523 | 4794 0 | 0 | 0 149.87/149.97 c 148s | 7 | 19725 | 3623 | 4794 0 | 0 | 0 154.07/154.13 c 152s | 7 | 20531 | 3723 | 4794 0 | 0 | 0 159.47/159.59 c 158s | 7 | 20865 | 3823 | 4794 0 | 0 | 0 162.96/163.06 c 161s | 7 | 22315 | 3923 | 4794 0 | 0 | 0 167.06/167.16 c 166s | 7 | 23342 | 4023 | 4794 0 | 0 | 0 171.57/171.66 c 170s | 7 | 23776 | 4123 | 4794 0 | 0 | 0 174.87/174.98 c 173s | 7 | 24343 | 4223 | 4794 0 | 0 | 0 178.17/178.24 c 177s | 7 | 24666 | 4323 | 4794 0 | 0 | 0 181.57/181.64 c 180s | 7 | 24974 | 4423 | 4794 0 | 0 | 0 186.46/186.55 c 185s | 7 | 25149 | 4523 | 4794 0 | 0 | 0 190.06/190.17 c 189s | 7 | 25452 | 4623 | 4794 0 | 0 | 0 193.86/193.96 c 192s | 7 | 25806 | 4723 | 4794 0 | 0 | 0 196.26/196.36 c 195s | 7 | 26034 | 4823 | 4794 0 | 0 | 0 199.95/200.04 c 198s | 7 | 26294 | 4923 | 5274 0 | 0 | 0 200.75/200.81 c 199s | 8 | 26316 | 4936 | 5274 0 | 0 | 0 204.56/204.66 c 203s | 8 | 26611 | 5036 | 5274 0 | 0 | 0 210.45/210.50 c 209s | 8 | 27042 | 5136 | 5274 0 | 0 | 0 214.46/214.56 c 213s | 8 | 27329 | 5236 | 5274 0 | 0 | 0 218.55/218.66 c 217s | 8 | 28137 | 5336 | 5274 0 | 0 | 0 220.75/220.86 c 219s | 8 | 28329 | 5436 | 5274 0 | 0 | 0 224.36/224.43 c 223s | 8 | 28900 | 5536 | 5274 0 | 0 | 0 227.95/228.03 c 226s | 8 | 29228 | 5636 | 5274 0 | 0 | 0 231.15/231.21 c 230s | 8 | 29504 | 5736 | 5274 0 | 0 | 0 234.85/234.93 c 233s | 8 | 29641 | 5836 | 5274 0 | 0 | 0 237.65/237.77 c 236s | 8 | 29929 | 5936 | 5274 0 | 0 | 0 241.64/241.76 c 240s | 8 | 30304 | 6136 | 5274 0 | 0 | 0 244.25/244.34 c 243s | 8 | 30575 | 6236 | 5274 0 | 0 | 0 246.74/246.83 c 245s | 8 | 30789 | 6336 | 5274 0 | 0 | 0 249.65/249.71 c 248s | 8 | 31116 | 6436 | 5274 0 | 0 | 0 254.64/254.77 c 253s | 8 | 31408 | 6536 | 5274 0 | 0 | 0 258.34/258.48 c 257s | 8 | 31599 | 6636 | 5274 0 | 0 | 0 262.04/262.14 c 260s | 8 | 31893 | 6736 | 5274 0 | 0 | 0 265.74/265.85 c 264s | 8 | 32468 | 6836 | 5274 0 | 0 | 0 270.34/270.49 c 269s | 8 | 32707 | 6936 | 5274 0 | 0 | 0 273.84/273.92 c 272s | 8 | 33057 | 7036 | 5274 0 | 0 | 0 278.34/278.44 c 277s | 8 | 34122 | 7136 | 5274 0 | 0 | 0 282.13/282.20 c 281s | 8 | 34490 | 7236 | 5274 0 | 0 | 0 285.33/285.42 c 284s | 8 | 35065 | 7336 | 5274 0 | 0 | 0 290.03/290.12 c 288s | 8 | 35258 | 7436 | 5274 0 | 0 | 0 292.03/292.15 c 290s | 9 | 35614 | 7506 | 5802 0 | 0 | 0 297.04/297.16 c 296s | 9 | 36232 | 7606 | 5802 1 | 0 | 0 301.33/301.41 c 300s | 9 | 36631 | 7706 | 5802 1 | 0 | 0 305.33/305.44 c 304s | 9 | 36935 | 7806 | 5802 1 | 0 | 0 308.13/308.22 c 307s | 9 | 37849 | 7906 | 5802 1 | 0 | 0 312.12/312.28 c 311s | 9 | 38132 | 8006 | 5802 1 | 0 | 0 316.92/317.04 c 315s | 9 | 38874 | 8106 | 5802 1 | 0 | 0 321.13/321.23 c 320s | 9 | 39322 | 8206 | 5802 1 | 0 | 0 325.42/325.52 c 324s | 9 | 40044 | 8306 | 5802 1 | 0 | 0 329.82/329.96 c 328s | 9 | 40768 | 8406 | 5802 1 | 0 | 0 334.22/334.31 c 333s | 9 | 41301 | 8506 | 5802 1 | 0 | 0 338.92/339.00 c 337s | 9 | 41554 | 8606 | 5802 1 | 0 | 0 343.32/343.50 c 342s | 9 | 42044 | 8706 | 5802 1 | 0 | 0 347.22/347.33 c 346s | 9 | 42186 | 8806 | 5802 1 | 0 | 0 351.71/351.81 c 350s | 9 | 42509 | 8906 | 5802 1 | 0 | 0 355.32/355.42 c 354s | 9 | 42767 | 9006 | 5802 1 | 0 | 0 360.31/360.42 c 359s | 9 | 43313 | 9106 | 5802 1 | 0 | 0 363.71/363.86 c 362s | 9 | 43636 | 9206 | 5802 1 | 0 | 0 367.91/368.07 c 366s | 9 | 44037 | 9306 | 5802 1 | 0 | 0 371.61/371.76 c 370s | 9 | 44603 | 9406 | 5802 1 | 0 | 0 376.31/376.41 c 375s | 9 | 45127 | 9506 | 5802 1 | 0 | 0 380.11/380.21 c 379s | 9 | 45481 | 9606 | 5802 1 | 0 | 0 383.51/383.62 c 382s | 9 | 45707 | 9706 | 5802 1 | 0 | 0 386.91/387.08 c 385s | 9 | 46090 | 9806 | 5802 1 | 0 | 0 391.40/391.58 c 390s | 9 | 47010 | 9906 | 5802 1 | 0 | 0 395.20/395.32 c 394s | 9 | 47487 | 10006 | 5802 1 | 0 | 0 398.90/399.02 c 397s | 9 | 47651 | 10106 | 5802 1 | 0 | 0 402.20/402.32 c 401s | 9 | 47879 | 10206 | 5802 1 | 0 | 0 406.20/406.39 c 405s | 9 | 48152 | 10306 | 5802 1 | 0 | 0 410.00/410.10 c 408s | 9 | 48494 | 10406 | 5802 1 | 0 | 0 414.20/414.31 c 413s | 9 | 48648 | 10506 | 5802 1 | 0 | 0 418.09/418.22 c 417s | 9 | 49705 | 10606 | 5802 1 | 0 | 0 422.19/422.39 c 421s | 9 | 50057 | 10706 | 5802 1 | 0 | 0 425.70/425.83 c 424s | 9 | 50977 | 10806 | 5802 1 | 0 | 0 429.29/429.47 c 428s | 9 | 51936 | 10906 | 5802 1 | 0 | 0 432.30/432.45 c 431s | 9 | 52238 | 11006 | 5802 1 | 0 | 0 435.50/435.64 c 434s | 9 | 52903 | 11106 | 5802 1 | 0 | 0 440.49/440.63 c 439s | 9 | 53252 | 11206 | 5802 1 | 0 | 0 444.59/444.77 c 443s | 9 | 53768 | 11306 | 6383 1 | 0 | 0 446.89/447.09 c 445s | 10 | 54095 | 11361 | 6383 1 | 0 | 0 451.79/451.91 c 450s | 10 | 54415 | 11461 | 6383 2 | 0 | 0 456.39/456.50 c 455s | 10 | 54837 | 11561 | 6383 2 | 0 | 0 460.89/461.04 c 459s | 10 | 55034 | 11661 | 6383 2 | 0 | 0 463.88/464.00 c 462s | 10 | 55262 | 11761 | 6383 2 | 0 | 0 468.38/468.60 c 467s | 10 | 55534 | 11861 | 6383 2 | 0 | 0 473.38/473.56 c 472s | 10 | 56074 | 11961 | 6383 2 | 0 | 0 478.58/478.76 c 477s | 10 | 56426 | 12061 | 6383 2 | 0 | 0 482.38/482.56 c 481s | 10 | 57040 | 12261 | 6383 2 | 0 | 0 484.78/484.97 c 483s | 10 | 57479 | 12361 | 6383 2 | 0 | 0 489.08/489.21 c 488s | 10 | 57744 | 12461 | 6383 2 | 0 | 0 492.88/493.06 c 491s | 10 | 58223 | 12561 | 6383 2 | 0 | 0 498.18/498.35 c 497s | 10 | 58362 | 12661 | 6383 2 | 0 | 0 502.37/502.54 c 501s | 10 | 58731 | 12761 | 6383 2 | 0 | 0 506.47/506.69 c 505s | 10 | 59036 | 12861 | 6383 2 | 0 | 0 510.97/511.10 c 509s | 10 | 59551 | 12961 | 6383 2 | 0 | 0 515.17/515.38 c 514s | 10 | 59755 | 13061 | 6383 2 | 0 | 0 518.57/518.72 c 517s | 10 | 60158 | 13161 | 6383 2 | 0 | 0 521.77/521.99 c 520s | 10 | 60353 | 13261 | 6383 2 | 0 | 0 524.77/524.92 c 523s | 10 | 60807 | 13361 | 6383 2 | 0 | 0 528.47/528.62 c 527s | 10 | 61176 | 13461 | 6383 2 | 0 | 0 532.57/532.76 c 531s | 10 | 61497 | 13561 | 6383 2 | 0 | 0 535.17/535.38 c 534s | 10 | 62187 | 13661 | 6383 2 | 0 | 0 538.97/539.14 c 537s | 10 | 62729 | 13761 | 6383 2 | 0 | 0 542.56/542.76 c 541s | 10 | 63403 | 13861 | 6383 2 | 0 | 0 546.86/547.04 c 545s | 10 | 63824 | 13961 | 6383 2 | 0 | 0 551.36/551.50 c 550s | 10 | 64277 | 14061 | 6383 2 | 0 | 0 554.37/554.52 c 553s | 10 | 64662 | 14161 | 6383 2 | 0 | 0 558.36/558.58 c 557s | 10 | 65204 | 14261 | 6383 2 | 0 | 0 561.06/561.26 c 560s | 10 | 65711 | 14361 | 6383 2 | 0 | 0 564.17/564.31 c 563s | 10 | 65997 | 14461 | 6383 2 | 0 | 0 567.86/568.05 c 566s | 10 | 66205 | 14561 | 6383 2 | 0 | 0 571.86/572.01 c 570s | 10 | 66586 | 14661 | 6383 2 | 0 | 0 575.05/575.24 c 574s | 10 | 66879 | 14761 | 6383 2 | 0 | 0 578.56/578.78 c 577s | 10 | 67044 | 14861 | 6383 2 | 0 | 0 582.45/582.61 c 581s | 10 | 67664 | 14961 | 6383 2 | 0 | 0 587.05/587.29 c 586s | 10 | 67807 | 15061 | 6383 2 | 0 | 0 590.56/590.77 c 589s | 10 | 68243 | 15161 | 6383 2 | 0 | 0 595.45/595.66 c 594s | 10 | 68533 | 15261 | 6383 2 | 0 | 0 600.85/601.06 c 599s | 10 | 69001 | 15361 | 6383 2 | 0 | 0 605.35/605.56 c 604s | 10 | 69398 | 15461 | 6383 2 | 0 | 0 608.15/608.32 c 607s | 10 | 69608 | 15561 | 6383 2 | 0 | 0 612.05/612.29 c 611s | 10 | 69777 | 15661 | 6383 2 | 0 | 0 617.14/617.30 c 616s | 10 | 69971 | 15761 | 6383 2 | 0 | 0 621.64/621.80 c 620s | 10 | 70442 | 15861 | 6383 2 | 0 | 0 624.94/625.13 c 623s | 10 | 70579 | 15961 | 6383 2 | 0 | 0 630.15/630.40 c 629s | 10 | 71000 | 16061 | 6383 2 | 0 | 0 633.64/633.80 c 632s | 10 | 71650 | 16161 | 6383 2 | 0 | 0 636.14/636.33 c 635s | 10 | 72088 | 16261 | 6383 2 | 0 | 0 641.74/641.91 c 640s | 10 | 72395 | 16361 | 6383 2 | 0 | 0 644.54/644.75 c 643s | 10 | 72767 | 16461 | 6383 2 | 0 | 0 646.94/647.16 c 646s | 10 | 73499 | 16561 | 6383 2 | 0 | 0 650.13/650.36 c 649s | 10 | 73658 | 16661 | 6383 2 | 0 | 0 654.63/654.84 c 653s | 10 | 74799 | 16761 | 6383 2 | 0 | 0 660.43/660.66 c 659s | 10 | 75233 | 16861 | 6383 2 | 0 | 0 665.34/665.55 c 664s | 10 | 75604 | 16961 | 6383 2 | 0 | 0 668.52/668.79 c 667s | 10 | 75798 | 17061 | 7022 2 | 0 | 0 672.12/672.33 c 671s | 11 | 76153 | 17144 | 7022 2 | 0 | 0 676.43/676.65 c 675s | 11 | 76520 | 17244 | 7022 3 | 0 | 0 680.62/680.89 c 679s | 11 | 76783 | 17344 | 7022 3 | 0 | 0 685.23/685.45 c 684s | 11 | 77074 | 17444 | 7022 3 | 0 | 0 689.92/690.13 c 688s | 11 | 77323 | 17544 | 7022 3 | 0 | 0 694.22/694.47 c 693s | 11 | 77631 | 17644 | 7022 3 | 0 | 0 697.12/697.33 c 696s | 11 | 77874 | 17744 | 7022 3 | 0 | 0 701.31/701.50 c 700s | 11 | 78083 | 17844 | 7022 3 | 0 | 0 704.71/704.93 c 703s | 11 | 78417 | 17944 | 7022 3 | 0 | 0 709.61/709.84 c 708s | 11 | 78721 | 18044 | 7022 3 | 0 | 0 713.71/714.00 c 712s | 11 | 79049 | 18144 | 7022 3 | 0 | 0 718.30/718.54 c 717s | 11 | 79617 | 18244 | 7022 3 | 0 | 0 722.51/722.75 c 721s | 11 | 80245 | 18344 | 7022 3 | 0 | 0 727.50/727.79 c 726s | 11 | 80957 | 18544 | 7022 3 | 0 | 0 730.60/730.81 c 729s | 11 | 81251 | 18644 | 7022 3 | 0 | 0 734.20/734.40 c 733s | 11 | 81674 | 18744 | 7022 3 | 0 | 0 737.50/737.77 c 736s | 11 | 81841 | 18844 | 7022 3 | 0 | 0 741.20/741.49 c 740s | 11 | 82118 | 18944 | 7022 3 | 0 | 0 743.79/744.06 c 742s | 11 | 82647 | 19044 | 7022 3 | 0 | 0 747.59/747.83 c 746s | 11 | 82914 | 19144 | 7022 3 | 0 | 0 750.59/750.84 c 749s | 11 | 83257 | 19244 | 7022 3 | 0 | 0 754.09/754.30 c 753s | 11 | 83864 | 19344 | 7022 3 | 0 | 0 756.89/757.18 c 756s | 11 | 84124 | 19444 | 7022 3 | 0 | 0 759.68/759.97 c 758s | 11 | 84371 | 19544 | 7022 3 | 0 | 0 762.78/763.04 c 761s | 11 | 84878 | 19644 | 7022 3 | 0 | 0 765.68/765.93 c 764s | 11 | 84996 | 19744 | 7022 3 | 0 | 0 768.97/769.23 c 768s | 11 | 85125 | 19844 | 7022 3 | 0 | 0 773.97/774.24 c 773s | 11 | 85453 | 19944 | 7022 3 | 0 | 0 778.37/778.64 c 777s | 11 | 85905 | 20044 | 7022 3 | 0 | 0 783.37/783.60 c 782s | 11 | 86208 | 20144 | 7022 3 | 0 | 0 788.06/788.37 c 787s | 11 | 86434 | 20244 | 7022 3 | 0 | 0 792.56/792.89 c 791s | 11 | 87385 | 20344 | 7022 3 | 0 | 0 796.56/796.84 c 795s | 11 | 87596 | 20444 | 7022 3 | 0 | 0 800.95/801.29 c 800s | 11 | 87862 | 20544 | 7022 3 | 0 | 0 805.95/806.26 c 805s | 11 | 88115 | 20644 | 7022 3 | 0 | 0 810.35/810.66 c 809s | 11 | 88362 | 20744 | 7022 3 | 0 | 0 816.05/816.39 c 815s | 11 | 89082 | 20944 | 7022 3 | 0 | 0 821.05/821.35 c 820s | 11 | 89327 | 21044 | 7022 3 | 0 | 0 825.45/825.71 c 824s | 11 | 89829 | 21144 | 7022 3 | 0 | 0 830.15/830.49 c 829s | 11 | 90702 | 21244 | 7022 3 | 0 | 0 834.45/834.79 c 833s | 11 | 91074 | 21344 | 7022 3 | 0 | 0 839.15/839.41 c 838s | 11 | 91459 | 21444 | 7022 3 | 0 | 0 844.55/844.82 c 843s | 11 | 91835 | 21544 | 7022 3 | 0 | 0 850.44/850.76 c 849s | 11 | 92300 | 21644 | 7022 3 | 0 | 0 855.34/855.65 c 854s | 11 | 92736 | 21744 | 7022 3 | 0 | 0 859.84/860.17 c 859s | 11 | 93081 | 21844 | 7022 3 | 0 | 0 863.94/864.26 c 863s | 11 | 93325 | 21944 | 7022 3 | 0 | 0 867.75/868.05 c 866s | 11 | 93588 | 22044 | 7022 3 | 0 | 0 872.54/872.86 c 871s | 11 | 94027 | 22144 | 7022 3 | 0 | 0 876.04/876.39 c 875s | 11 | 94153 | 22244 | 7022 3 | 0 | 0 880.34/880.67 c 879s | 11 | 94706 | 22344 | 7022 3 | 0 | 0 884.44/884.74 c 883s | 11 | 95469 | 22444 | 7022 3 | 0 | 0 888.24/888.56 c 887s | 11 | 95963 | 22544 | 7022 3 | 0 | 0 891.14/891.44 c 890s | 11 | 96363 | 22644 | 7022 3 | 0 | 0 893.24/893.50 c 892s | 11 | 96559 | 22744 | 7022 3 | 0 | 0 896.54/896.84 c 895s | 11 | 96711 | 22844 | 7022 3 | 0 | 0 899.74/900.03 c 898s | 11 | 97059 | 22944 | 7022 3 | 0 | 0 903.73/904.08 c 902s | 11 | 97533 | 23044 | 7022 3 | 0 | 0 906.24/906.59 c 905s | 11 | 97727 | 23144 | 7022 3 | 0 | 0 909.23/909.50 c 908s | 11 | 97883 | 23244 | 7022 3 | 0 | 0 914.03/914.32 c 913s | 11 | 98200 | 23344 | 7022 3 | 0 | 0 917.53/917.83 c 916s | 11 | 98447 | 23444 | 7022 3 | 0 | 0 921.23/921.53 c 920s | 11 | 98706 | 23544 | 7022 3 | 0 | 0 924.23/924.55 c 923s | 11 | 99097 | 23644 | 7022 3 | 0 | 0 928.53/928.84 c 927s | 11 | 99290 | 23744 | 7022 3 | 0 | 0 932.83/933.18 c 932s | 11 | 99558 | 23844 | 7022 3 | 0 | 0 936.53/936.82 c 935s | 11 | 99806 | 23944 | 7022 3 | 0 | 0 940.24/940.58 c 939s | 11 | 100077 | 24044 | 7022 3 | 0 | 0 944.23/944.54 c 943s | 11 | 100340 | 24144 | 7022 3 | 0 | 0 947.53/947.82 c 946s | 11 | 100711 | 24244 | 7022 3 | 0 | 0 952.03/952.37 c 951s | 11 | 101019 | 24344 | 7022 3 | 0 | 0 956.03/956.35 c 955s | 11 | 101266 | 24444 | 7022 3 | 0 | 0 960.33/960.65 c 959s | 11 | 101739 | 24544 | 7022 3 | 0 | 0 963.13/963.49 c 962s | 11 | 102119 | 24644 | 7022 4 | 0 | 0 966.83/967.15 c 965s | 11 | 102661 | 24744 | 7022 4 | 0 | 0 970.12/970.40 c 969s | 11 | 102965 | 24844 | 7022 4 | 0 | 0 974.52/974.81 c 973s | 11 | 103166 | 24944 | 7022 4 | 0 | 0 979.32/979.63 c 978s | 11 | 103605 | 25044 | 7022 4 | 0 | 0 984.23/984.60 c 983s | 11 | 104116 | 25144 | 7022 4 | 0 | 0 989.52/989.86 c 988s | 11 | 104490 | 25244 | 7022 4 | 0 | 0 994.23/994.59 c 993s | 11 | 105186 | 25344 | 7022 4 | 0 | 0 999.32/999.64 c 998s | 11 | 105490 | 25444 | 7022 4 | 0 | 0 1003.62/1003.97 c 1002s | 11 | 105831 | 25544 | 7022 4 | 0 | 0 1007.72/1008.04 c 1006s | 11 | 106426 | 25644 | 7022 4 | 0 | 0 1013.32/1013.64 c 1012s | 11 | 106740 | 25744 | 7725 4 | 0 | 0 1015.92/1016.20 c 1015s | 12 | 107000 | 25819 | 7725 4 | 0 | 0 1019.52/1019.88 c 1018s | 12 | 107383 | 25919 | 7725 4 | 0 | 0 1022.42/1022.76 c 1021s | 12 | 107799 | 26019 | 7725 4 | 0 | 0 1025.22/1025.57 c 1024s | 12 | 108377 | 26119 | 7725 4 | 0 | 0 1027.82/1028.12 c 1026s | 12 | 108523 | 26219 | 7725 4 | 0 | 0 1031.42/1031.79 c 1030s | 12 | 109060 | 26319 | 7725 4 | 0 | 0 1035.81/1036.17 c 1035s | 12 | 109413 | 26419 | 7725 4 | 0 | 0 1038.91/1039.24 c 1038s | 12 | 110136 | 26519 | 7725 4 | 0 | 0 1043.21/1043.58 c 1042s | 12 | 111060 | 26619 | 7725 4 | 0 | 0 1047.31/1047.67 c 1046s | 12 | 111871 | 26719 | 7725 4 | 0 | 0 1050.71/1051.05 c 1049s | 12 | 112475 | 26819 | 7725 4 | 0 | 0 1054.11/1054.48 c 1053s | 12 | 112871 | 26919 | 7725 4 | 0 | 0 1057.51/1057.89 c 1056s | 12 | 113515 | 27019 | 7725 4 | 0 | 0 1061.22/1061.56 c 1060s | 12 | 113874 | 27119 | 7725 4 | 0 | 0 1067.01/1067.38 c 1066s | 12 | 114840 | 27219 | 7725 4 | 0 | 0 1071.41/1071.77 c 1070s | 12 | 115291 | 27319 | 7725 4 | 0 | 0 1075.31/1075.64 c 1074s | 12 | 115656 | 27419 | 7725 4 | 0 | 0 1078.21/1078.54 c 1077s | 12 | 116482 | 27519 | 7725 4 | 0 | 0 1082.61/1082.91 c 1081s | 12 | 117340 | 27619 | 7725 4 | 0 | 0 1088.01/1088.33 c 1087s | 12 | 118543 | 27719 | 7725 4 | 0 | 0 1093.71/1094.04 c 1092s | 12 | 118871 | 27819 | 7725 4 | 0 | 0 1098.41/1098.77 c 1097s | 12 | 119438 | 27919 | 7725 4 | 0 | 0 1104.30/1104.68 c 1103s | 12 | 120775 | 28019 | 7725 4 | 0 | 0 1110.00/1110.30 c 1109s | 12 | 121406 | 28119 | 7725 4 | 0 | 0 1116.21/1116.58 c 1115s | 12 | 122324 | 28219 | 7725 4 | 0 | 0 1121.00/1121.33 c 1120s | 12 | 123214 | 28319 | 7725 4 | 0 | 0 1126.90/1127.26 c 1126s | 12 | 123680 | 28419 | 7725 4 | 0 | 0 1132.10/1132.47 c 1131s | 12 | 124069 | 28519 | 7725 4 | 0 | 0 1137.70/1138.01 c 1136s | 12 | 124479 | 28619 | 7725 4 | 0 | 0 1142.71/1143.08 c 1141s | 12 | 124696 | 28719 | 7725 4 | 0 | 0 1149.20/1149.55 c 1148s | 12 | 125214 | 28819 | 7725 4 | 0 | 0 1155.30/1155.63 c 1154s | 12 | 125494 | 28919 | 7725 4 | 0 | 0 1161.00/1161.35 c 1160s | 12 | 125676 | 29019 | 7725 4 | 0 | 0 1166.09/1166.46 c 1165s | 12 | 125976 | 29119 | 7725 4 | 0 | 0 1170.10/1170.45 c 1169s | 12 | 126583 | 29219 | 7725 4 | 0 | 0 1175.09/1175.49 c 1174s | 12 | 127112 | 29319 | 7725 4 | 0 | 0 1180.99/1181.35 c 1180s | 12 | 128004 | 29419 | 7725 4 | 0 | 0 1185.89/1186.25 c 1185s | 12 | 128489 | 29519 | 7725 4 | 0 | 0 1190.29/1190.60 c 1189s | 12 | 128881 | 29619 | 7725 4 | 0 | 0 1194.30/1194.64 c 1193s | 12 | 131013 | 29719 | 7725 4 | 0 | 0 1201.49/1201.87 c 1200s | 12 | 131277 | 29819 | 7725 4 | 0 | 0 1206.59/1206.99 c 1205s | 12 | 131642 | 29919 | 7725 4 | 0 | 0 1211.49/1211.85 c 1210s | 12 | 131945 | 30019 | 7725 4 | 0 | 0 1215.99/1216.31 c 1215s | 12 | 132524 | 30119 | 7725 4 | 0 | 0 1218.89/1219.24 c 1218s | 12 | 132874 | 30219 | 7725 4 | 0 | 0 1223.39/1223.77 c 1222s | 12 | 133182 | 30319 | 7725 4 | 0 | 0 1229.68/1230.02 c 1228s | 12 | 133469 | 30419 | 7725 4 | 0 | 0 1234.28/1234.63 c 1233s | 12 | 133955 | 30519 | 7725 4 | 0 | 0 1237.98/1238.32 c 1237s | 12 | 134433 | 30619 | 7725 4 | 0 | 0 1241.98/1242.39 c 1241s | 12 | 135696 | 30719 | 7725 4 | 0 | 0 1245.68/1246.00 c 1244s | 12 | 136268 | 30819 | 7725 4 | 0 | 0 1249.48/1249.80 c 1248s | 12 | 136386 | 30919 | 7725 4 | 0 | 0 1255.68/1256.00 c 1254s | 12 | 136549 | 31019 | 7725 4 | 0 | 0 1260.29/1260.69 c 1259s | 12 | 136849 | 31119 | 7725 4 | 0 | 0 1263.38/1263.71 c 1262s | 12 | 137024 | 31219 | 7725 4 | 0 | 0 1267.88/1268.24 c 1267s | 12 | 137369 | 31319 | 7725 5 | 0 | 0 1271.58/1271.99 c 1270s | 12 | 138225 | 31419 | 7725 5 | 0 | 0 1276.88/1277.22 c 1276s | 12 | 138480 | 31519 | 7725 5 | 0 | 0 1281.38/1281.79 c 1280s | 12 | 139061 | 31619 | 7725 5 | 0 | 0 1285.58/1285.93 c 1284s | 12 | 139393 | 31719 | 7725 5 | 0 | 0 1289.07/1289.44 c 1288s | 12 | 139655 | 31819 | 7725 5 | 0 | 0 1292.87/1293.29 c 1292s | 12 | 140130 | 31919 | 7725 5 | 0 | 0 1297.17/1297.52 c 1296s | 12 | 140810 | 32019 | 7725 5 | 0 | 0 1302.18/1302.57 c 1301s | 12 | 141103 | 32119 | 7725 5 | 0 | 0 1306.87/1307.27 c 1306s | 12 | 141393 | 32219 | 7725 5 | 0 | 0 1309.67/1310.08 c 1308s | 12 | 141947 | 32319 | 7725 5 | 0 | 0 1314.77/1315.15 c 1313s | 12 | 142218 | 32419 | 7725 5 | 0 | 0 1319.17/1319.52 c 1318s | 12 | 142588 | 32519 | 7725 5 | 0 | 0 1323.67/1324.09 c 1322s | 12 | 143209 | 32619 | 7725 5 | 0 | 0 1328.37/1328.73 c 1327s | 12 | 143564 | 32719 | 7725 5 | 0 | 0 1332.87/1333.23 c 1332s | 12 | 144401 | 32819 | 7725 5 | 0 | 0 1338.27/1338.66 c 1337s | 12 | 144696 | 32919 | 7725 5 | 0 | 0 1343.07/1343.44 c 1342s | 12 | 145276 | 33019 | 7725 5 | 0 | 0 1346.57/1346.96 c 1345s | 12 | 145958 | 33119 | 7725 5 | 0 | 0 1350.16/1350.56 c 1349s | 12 | 146114 | 33219 | 7725 5 | 0 | 0 1355.46/1355.89 c 1354s | 12 | 146518 | 33319 | 7725 5 | 0 | 0 1361.36/1361.75 c 1360s | 12 | 147162 | 33419 | 7725 5 | 0 | 0 1365.26/1365.69 c 1364s | 12 | 147525 | 33519 | 7725 5 | 0 | 0 1369.56/1369.93 c 1368s | 12 | 147981 | 33619 | 7725 5 | 0 | 0 1374.26/1374.64 c 1373s | 12 | 148583 | 33719 | 7725 5 | 0 | 0 1377.46/1377.85 c 1376s | 12 | 149274 | 33819 | 7725 5 | 0 | 0 1380.66/1381.01 c 1379s | 12 | 149932 | 33919 | 7725 5 | 0 | 0 1384.16/1384.55 c 1383s | 12 | 150616 | 34019 | 7725 5 | 0 | 0 1388.26/1388.68 c 1387s | 12 | 151190 | 34119 | 7725 5 | 0 | 0 1394.06/1394.44 c 1393s | 12 | 151507 | 34219 | 7725 5 | 0 | 0 1397.26/1397.63 c 1396s | 12 | 151755 | 34319 | 7725 5 | 0 | 0 1401.96/1402.38 c 1401s | 12 | 152808 | 34419 | 7725 5 | 0 | 0 1406.06/1406.49 c 1405s | 12 | 152941 | 34519 | 7725 5 | 0 | 0 1411.06/1411.49 c 1410s | 12 | 153303 | 34619 | 7725 5 | 0 | 0 1415.85/1416.26 c 1415s | 12 | 154031 | 34719 | 7725 5 | 0 | 0 1421.55/1421.98 c 1420s | 12 | 154375 | 34819 | 7725 5 | 0 | 0 1426.55/1426.96 c 1425s | 12 | 155240 | 34919 | 7725 5 | 0 | 0 1430.25/1430.63 c 1429s | 12 | 155418 | 35019 | 7725 5 | 0 | 0 1435.05/1435.40 c 1434s | 12 | 156467 | 35119 | 7725 5 | 0 | 0 1439.95/1440.32 c 1439s | 12 | 157985 | 35219 | 7725 5 | 0 | 0 1446.16/1446.56 c 1445s | 12 | 158863 | 35319 | 7725 5 | 0 | 0 1450.85/1451.27 c 1450s | 12 | 159027 | 35419 | 7725 5 | 0 | 0 1456.35/1456.71 c 1455s | 12 | 159247 | 35519 | 7725 5 | 0 | 0 1461.15/1461.56 c 1460s | 12 | 159542 | 35619 | 7725 5 | 0 | 0 1465.05/1465.45 c 1464s | 12 | 160002 | 35719 | 7725 5 | 0 | 0 1468.75/1469.17 c 1468s | 12 | 160495 | 35819 | 7725 5 | 0 | 0 1472.85/1473.26 c 1472s | 12 | 160670 | 35919 | 7725 5 | 0 | 0 1477.94/1478.36 c 1477s | 12 | 161335 | 36019 | 7725 5 | 0 | 0 1481.94/1482.37 c 1481s | 12 | 161814 | 36119 | 7725 5 | 0 | 0 1485.85/1486.29 c 1485s | 12 | 162082 | 36219 | 7725 5 | 0 | 0 1489.64/1490.04 c 1488s | 12 | 162860 | 36319 | 7725 5 | 0 | 0 1494.74/1495.17 c 1494s | 12 | 163523 | 36419 | 7725 5 | 0 | 0 1499.64/1500.08 c 1498s | 12 | 163800 | 36519 | 7725 5 | 0 | 0 1504.94/1505.36 c 1504s | 12 | 164654 | 36619 | 7725 5 | 0 | 0 1509.24/1509.68 c 1508s | 12 | 165073 | 36719 | 7725 5 | 0 | 0 1514.94/1515.36 c 1514s | 12 | 165440 | 36819 | 7725 6 | 0 | 0 1519.74/1520.12 c 1518s | 12 | 165690 | 36919 | 7725 6 | 0 | 0 1524.74/1525.13 c 1523s | 12 | 166117 | 37019 | 7725 6 | 0 | 0 1529.44/1529.85 c 1528s | 12 | 166403 | 37119 | 7725 6 | 0 | 0 1534.44/1534.81 c 1533s | 12 | 166881 | 37219 | 7725 6 | 0 | 0 1540.13/1540.53 c 1539s | 12 | 167126 | 37319 | 7725 6 | 0 | 0 1544.33/1544.75 c 1543s | 12 | 167810 | 37419 | 7725 6 | 0 | 0 1547.63/1548.08 c 1546s | 12 | 168069 | 37519 | 7725 6 | 0 | 0 1552.23/1552.63 c 1551s | 12 | 168401 | 37619 | 7725 6 | 0 | 0 1556.43/1556.88 c 1555s | 12 | 168614 | 37719 | 7725 6 | 0 | 0 1561.33/1561.70 c 1560s | 12 | 169242 | 37819 | 7725 6 | 0 | 0 1566.04/1566.44 c 1565s | 12 | 169549 | 37919 | 7725 6 | 0 | 0 1572.43/1572.82 c 1571s | 12 | 170401 | 38019 | 7725 6 | 0 | 0 1576.33/1576.71 c 1575s | 12 | 170949 | 38119 | 7725 6 | 0 | 0 1581.33/1581.75 c 1580s | 12 | 171831 | 38219 | 7725 6 | 0 | 0 1584.13/1584.56 c 1583s | 12 | 172107 | 38319 | 7725 6 | 0 | 0 1589.03/1589.48 c 1588s | 12 | 172693 | 38419 | 7725 6 | 0 | 0 1594.23/1594.62 c 1593s | 12 | 173160 | 38519 | 7725 6 | 0 | 0 1599.42/1599.85 c 1598s | 12 | 173517 | 38619 | 8498 6 | 0 | 0 1605.12/1605.54 c 1604s | 12 | 173785 | 38719 | 8498 6 | 0 | 0 1610.42/1610.82 c 1609s | 12 | 174157 | 38819 | 8498 6 | 0 | 0 1611.02/1611.45 c 1610s | 13 | 174179 | 38832 | 8498 6 | 0 | 0 1615.42/1615.86 c 1614s | 13 | 174495 | 38932 | 8498 6 | 0 | 0 1620.52/1620.91 c 1619s | 13 | 174913 | 39032 | 8498 6 | 0 | 0 1625.72/1626.12 c 1624s | 13 | 175627 | 39132 | 8498 6 | 0 | 0 1629.52/1629.99 c 1628s | 13 | 176769 | 39232 | 8498 6 | 0 | 0 1635.62/1636.07 c 1634s | 13 | 177104 | 39332 | 8498 6 | 0 | 0 1641.32/1641.73 c 1640s | 13 | 177632 | 39432 | 8498 6 | 0 | 0 1644.32/1644.79 c 1643s | 13 | 178423 | 39532 | 8498 6 | 0 | 0 1648.92/1649.39 c 1648s | 13 | 179321 | 39632 | 8498 6 | 0 | 0 1653.22/1653.63 c 1652s | 13 | 179656 | 39732 | 8498 6 | 0 | 0 1657.72/1658.12 c 1656s | 13 | 180210 | 39832 | 8498 6 | 0 | 0 1662.52/1662.91 c 1661s | 13 | 180795 | 39932 | 8498 6 | 0 | 0 1666.51/1666.92 c 1665s | 13 | 181182 | 40032 | 8498 6 | 0 | 0 1672.31/1672.71 c 1671s | 13 | 181370 | 40132 | 8498 6 | 0 | 0 1678.01/1678.46 c 1677s | 13 | 181645 | 40232 | 8498 6 | 0 | 0 1683.01/1683.47 c 1682s | 13 | 182054 | 40332 | 8498 6 | 0 | 0 1686.71/1687.12 c 1685s | 13 | 182468 | 40432 | 8498 6 | 0 | 0 1691.81/1692.28 c 1691s | 13 | 182710 | 40532 | 8498 6 | 0 | 0 1697.31/1697.71 c 1696s | 13 | 183494 | 40632 | 8498 6 | 0 | 0 1702.42/1702.84 c 1701s | 13 | 183999 | 40732 | 8498 6 | 0 | 0 1707.61/1708.05 c 1706s | 13 | 184389 | 40832 | 8498 6 | 0 | 0 1711.11/1711.52 c 1710s | 13 | 184563 | 40932 | 8498 6 | 0 | 0 1715.01/1715.44 c 1714s | 13 | 184943 | 41032 | 8498 6 | 0 | 0 1718.51/1718.99 c 1717s | 13 | 185298 | 41132 | 8498 6 | 0 | 0 1723.51/1723.96 c 1722s | 13 | 185691 | 41232 | 8498 6 | 0 | 0 1727.51/1727.97 c 1726s | 13 | 186121 | 41332 | 8498 6 | 0 | 0 1732.80/1733.21 c 1732s | 13 | 186725 | 41432 | 8498 6 | 0 | 0 1738.50/1738.97 c 1737s | 13 | 186968 | 41532 | 8498 6 | 0 | 0 1744.00/1744.41 c 1743s | 13 | 187598 | 41632 | 8498 6 | 0 | 0 1748.90/1749.33 c 1748s | 13 | 188392 | 41732 | 8498 6 | 0 | 0 1754.50/1754.97 c 1753s | 13 | 188774 | 41832 | 8498 6 | 0 | 0 1758.00/1758.49 c 1757s | 13 | 189353 | 41932 | 8498 6 | 0 | 0 1762.91/1763.39 c 1762s | 13 | 189586 | 42032 | 8498 6 | 0 | 0 1768.00/1768.44 c 1767s | 13 | 190630 | 42132 | 8498 6 | 0 | 0 1772.70/1773.17 c 1772s | 13 | 190871 | 42232 | 8498 6 | 0 | 0 1776.30/1776.74 c 1775s | 13 | 191763 | 42332 | 8498 6 | 0 | 0 1780.90/1781.33 c 1780s | 13 | 192300 | 42432 | 8498 6 | 0 | 0 1786.10/1786.51 c 1785s | 13 | 193106 | 42532 | 8498 6 | 0 | 0 1791.60/1792.06 c 1790s | 13 | 193926 | 42632 | 8498 6 | 0 | 0 1797.10/1797.51 c 1796s | 13 | 194777 | 42732 | 8498 6 | 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-4100481-1466215147/watcher-4100481-1466215147 -o /tmp/evaluation-result-4100481-1466215147/solver-4100481-1466215147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100481-1466215147.opb pid=14824 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.23 2.25 2.25 3/179 14827 /proc/meminfo: memFree=29401540/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=404924 CPUtime=0 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 1457 0 0 0 0 0 0 0 20 0 4 0 23561512 414642176 1306 33554432000 4194304 16246674 140734816095136 140734816094560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14827/statm: 101999 1314 441 2943 0 98893 0 [pid=14827/tid=14828] ppid=14824 vsize=422332 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 432467968 1371 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=425404 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 435613696 1386 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=429500 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561513 439808000 1400 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.23 2.25 2.25 3/179 14827 /proc/meminfo: memFree=29401540/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 26144 0 0 0 5 3 0 0 20 0 4 0 23561512 1333334016 25932 33554432000 4194304 16246674 140734816095136 140734816094448 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14827/statm: 325521 25947 799 2943 0 322415 0 [pid=14827/tid=14828] ppid=14824 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1333334016 25958 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1333334016 25970 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1333334016 25980 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200514 s] /proc/loadavg: 2.23 2.25 2.25 3/179 14827 /proc/meminfo: memFree=29401540/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1312324 CPUtime=0.18 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 47125 0 0 0 12 6 0 0 20 0 4 0 23561512 1343819776 47423 33554432000 4194304 16246674 140734816095136 140734816094448 7439484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14827/statm: 328081 47423 800 2943 0 324975 0 [pid=14827/tid=14828] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 47423 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 47423 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 47423 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1312324 [startup+0.300491 s] /proc/loadavg: 2.23 2.25 2.25 3/179 14827 /proc/meminfo: memFree=29401540/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1312324 CPUtime=0.28 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 57291 0 0 0 21 7 0 0 20 0 4 0 23561512 1343819776 57589 33554432000 4194304 16246674 140734816095136 140734816094448 7361489 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14827/statm: 328081 57589 800 2943 0 324975 0 [pid=14827/tid=14828] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57589 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57589 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57589 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1312324 [startup+0.700413 s] /proc/loadavg: 2.23 2.25 2.25 3/179 14827 /proc/meminfo: memFree=29401540/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1312324 CPUtime=0.68 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 57622 0 0 0 61 7 0 0 20 0 4 0 23561512 1343819776 57920 33554432000 4194304 16246674 140734816095136 140734816077056 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 328081 57920 843 2943 0 324975 0 [pid=14827/tid=14828] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57920 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57920 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57920 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1312324 [startup+1.5004 s] /proc/loadavg: 2.23 2.25 2.25 3/183 14831 /proc/meminfo: memFree=29171284/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1312324 CPUtime=1.48 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 57670 0 0 0 141 7 0 0 20 0 4 0 23561512 1343819776 57968 33554432000 4194304 16246674 140734816095136 140734816077056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 328081 57968 890 2943 0 324975 0 [pid=14827/tid=14828] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57968 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57968 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1343819776 57968 33554432000 4194304 16246674 140734816095136 140661538933936 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) 1312324 [startup+3.1004 s] /proc/loadavg: 2.21 2.25 2.25 3/183 14831 /proc/meminfo: memFree=29106564/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1317444 CPUtime=3.09 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 82196 0 0 0 298 11 0 0 20 0 4 0 23561512 1349062656 82494 33554432000 4194304 16246674 140734816095136 140734816077056 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329361 82494 893 2943 0 326255 0 [pid=14827/tid=14828] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 82494 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 82494 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 82494 33554432000 4194304 16246674 140734816095136 140661538933936 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) 1317444 [startup+6.30035 s] /proc/loadavg: 2.21 2.25 2.25 4/183 14831 /proc/meminfo: memFree=29046612/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1317444 CPUtime=6.28 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 112369 0 0 0 613 15 0 0 20 0 4 0 23561512 1349062656 112667 33554432000 4194304 16246674 140734816095136 140734816077056 13780501 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329361 112668 893 2943 0 326255 0 [pid=14827/tid=14828] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 112668 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 112668 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 112668 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1317444 [startup+12.7004 s] /proc/loadavg: 2.33 2.27 2.26 3/183 14831 /proc/meminfo: memFree=28445000/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1317444 CPUtime=12.68 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 252288 0 0 0 1233 35 0 0 20 0 4 0 23561512 1349062656 252586 33554432000 4194304 16246674 140734816095136 140734816077056 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329361 252586 893 2943 0 326255 0 [pid=14827/tid=14828] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 252586 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 252586 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 252587 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1317444 [startup+25.5005 s] /proc/loadavg: 2.28 2.26 2.25 3/183 14831 /proc/meminfo: memFree=28324988/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1317444 CPUtime=25.49 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 269798 0 0 0 2510 39 0 0 20 0 4 0 23561512 1349062656 270096 33554432000 4194304 16246674 140734816095136 140734816077056 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329361 270096 893 2943 0 326255 0 [pid=14827/tid=14828] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270096 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270096 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270096 33554432000 4194304 16246674 140734816095136 140661538933936 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) 1317444 [startup+51.1005 s] /proc/loadavg: 2.18 2.24 2.25 4/183 14831 /proc/meminfo: memFree=28324396/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1317444 CPUtime=51.08 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 269798 0 0 0 5069 39 0 0 20 0 4 0 23561512 1349062656 270096 33554432000 4194304 16246674 140734816095136 140734816077056 5600331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329361 270096 893 2943 0 326255 0 [pid=14827/tid=14828] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270096 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270096 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270096 33554432000 4194304 16246674 140734816095136 140661538933936 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) 1317444 [startup+102.3 s] /proc/loadavg: 2.22 2.24 2.25 3/184 14835 /proc/meminfo: memFree=28324316/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1317444 CPUtime=102.28 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270043 0 0 0 10189 39 0 0 20 0 4 0 23561512 1349062656 270341 33554432000 4194304 16246674 140734816095136 140734816077056 5600804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329361 270341 893 2943 0 326255 0 [pid=14827/tid=14828] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270341 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270341 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1349062656 270341 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1318468 [startup+1362.3 s] /proc/loadavg: 2.11 2.14 2.17 4/183 14939 /proc/meminfo: memFree=28331920/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1361.96 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270481 0 0 0 136157 39 0 0 20 0 4 0 23561512 1350111232 270862 33554432000 4194304 16246674 140734816095136 140734816077056 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270862 902 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1318468 [startup+1422.3 s] /proc/loadavg: 2.18 2.16 2.17 3/183 14940 /proc/meminfo: memFree=28331708/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1421.96 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270481 0 0 0 142157 39 0 0 20 0 4 0 23561512 1350111232 270862 33554432000 4194304 16246674 140734816095136 140734816077056 5712619 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270862 902 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.21 2.16 2.17 3/183 14941 /proc/meminfo: memFree=28330380/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1481.94 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270481 0 0 0 148155 39 0 0 20 0 4 0 23561512 1350111232 270862 33554432000 4194304 16246674 140734816095136 140734816077056 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270862 902 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.19 2.16 2.17 4/183 14942 /proc/meminfo: memFree=28330248/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1541.94 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270481 0 0 0 154155 39 0 0 20 0 4 0 23561512 1350111232 270862 33554432000 4194304 16246674 140734816095136 140734816077056 13774460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270862 902 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.25 2.18 2.18 3/183 14943 /proc/meminfo: memFree=28330128/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1601.92 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270481 0 0 0 160153 39 0 0 20 0 4 0 23561512 1350111232 270862 33554432000 4194304 16246674 140734816095136 140734816077056 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270862 902 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270862 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.14 2.16 2.17 3/183 14945 /proc/meminfo: memFree=28330028/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1661.92 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270482 0 0 0 166153 39 0 0 20 0 4 0 23561512 1350111232 270863 33554432000 4194304 16246674 140734816095136 140734816077056 5712536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270863 903 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1318468 [startup+1722.3 s] /proc/loadavg: 2.09 2.15 2.17 4/183 14946 /proc/meminfo: memFree=28330104/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1721.91 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270482 0 0 0 172152 39 0 0 20 0 4 0 23561512 1350111232 270863 33554432000 4194304 16246674 140734816095136 140734816077056 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270863 903 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1318468 [startup+1782.3 s] /proc/loadavg: 2.07 2.13 2.16 3/183 14947 /proc/meminfo: memFree=28330108/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1781.9 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270482 0 0 0 178151 39 0 0 20 0 4 0 23561512 1350111232 270863 33554432000 4194304 16246674 140734816095136 140734816077056 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270863 903 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.12 2.14 2.16 3/183 14947 /proc/meminfo: memFree=28330232/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1800.09 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270482 0 0 0 179970 39 0 0 20 0 4 0 23561512 1350111232 270863 33554432000 4194304 16246674 140734816095136 140734816077056 5711956 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270863 903 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1318468 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 14827 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.12 2.14 2.16 3/183 14947 /proc/meminfo: memFree=28330232/32872528 swapFree=1286400/1433568 [pid=14827] ppid=14824 vsize=1318468 CPUtime=1800.09 cores=0,2,4,6 /proc/14827/stat : 14827 (toysat) R 14824 14827 12983 0 -1 4202496 270482 0 0 0 179970 39 0 0 20 0 4 0 23561512 1350111232 270863 33554432000 4194304 16246674 140734816095136 140734816077056 5711956 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14827/statm: 329617 270863 903 2943 0 326511 0 [pid=14827/tid=14828] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14828/stat : 14828 (toysat) S 14824 14827 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661559897328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14827/tid=14829] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14829/stat : 14829 (toysat) S 14824 14827 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661549407472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14827/tid=14830] ppid=14824 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/14827/task/14830/stat : 14830 (toysat) S 14824 14827 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23561513 1350111232 270863 33554432000 4194304 16246674 140734816095136 140661538933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1318468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1799.71 CPU system time (s): 0.397939 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.397939 maximum resident set size= 1083452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270482 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= 188 involuntary context switches= 1866 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.73828 second user time and 6.74198 second system time The end
Begin job on node130 at 2016-06-18 03:59:07 IDJOB=4100481 IDBENCH=1622 IDSOLVER=2542 FILE ID=node130/4100481-1466215147 RUNJOBID= node130-1466206066-12999 PBS_JOBID= 19918147 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100481-1466215147/watcher-4100481-1466215147 -o /tmp/evaluation-result-4100481-1466215147/solver-4100481-1466215147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100481-1466215147.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5afe2e688387cc46a3d150d955d27ab1 RANDOM SEED=1482282810 node130.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.365 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 : 5332.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.365 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 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.365 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.365 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.53 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.365 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.56 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.365 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: 29401448 kB Buffers: 88908 kB Cached: 121652 kB SwapCached: 1804 kB Active: 1181924 kB Inactive: 113944 kB Active(anon): 1085952 kB Inactive(anon): 1604 kB Active(file): 95972 kB Inactive(file): 112340 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099028 kB Dirty: 18268 kB Writeback: 0 kB AnonPages: 2517556 kB Mapped: 10712 kB Shmem: 0 kB Slab: 601556 kB SReclaimable: 45268 kB SUnreclaim: 556288 kB KernelStack: 1520 kB PageTables: 9180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2661600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 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= 71716 MiB End job on node130 at 2016-06-18 04:29:08