Trace number 4093082

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.22 1800.51

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo
MD5SUMd915342d89d3c1a99150a18d4b9b72d0
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark162041
Best CPU time to get the best result obtained on this benchmark204.282
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables77106
Total number of constraints218779
Number of soft constraints146522
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 7396999
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7396998
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T13:07:36+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","--wbo","--search=bcd2","HOME/instance-4093082-1466075255.wbo"]
0.00/0.01	c use --random-gen="679266434 4143173009 1284270091 3886976190 3244064472 4233460468 1313916003 1828498646 570513274 2424175321 3534263186 1312320018 1493673410 3445661188 331053697 2598555699 4268588116 1269007026 270384838 439133834 2779723727 1895180249 3335208154 3490445604 1777626383 3170091429 2680210643 3059867426 2714373630 941991801 1500447932 559575326 1957968175 569175842 1409736140 3436824327 1165255442 2972230647 3258451730 2952516487 2866816702 334310294 4097500332 1470058345 684272938 3023482226 3887014442 2868659792 3090443666 3232056093 2711761180 627859672 3032532153 4053371130 3618265837 3026213590 1948773396 3349221107 1760751521 514184124 3902009798 4120473516 2793285073 1635380476 1014064253 1617714617 3756468391 3043903207 3612016607 3404713694 231986525 3737567958 1279130115 2243522204 2490586198 714172417 971889185 3034832291 1241124933 2559013299 2024015446 945929435 4035734904 305540218 1969655473 2904210596 2818606436 4151989136 2472707246 3527917965 2964831364 2673621577 2784881495 2761135666 1357568373 1117028332 4218370977 3344184378 1626826116 3240771345 3701534122 45968696 1820037394 2683372545 533573243 1398579172 245925567 961193305 3072531640 3631898188 1562853760 4222441047 3104750045 21283021 4028018015 2329085283 665551624 3287355663 3194036856 1532267381 3892222642 1770957476 1353592251 3827893224 2530828165 589661878 1004018423 695401334 1572174023 3750559538 3353711462 2891058564 778613881 2219296156 2913007941 3472921869 1478577752 5249732 2641887979 4053023401 3876385815 2629447707 1300815976 3721932992 1484992885 99164714 3218962456 930514805 2202003858 1005779406 642122487 3384094087 2301795494 212848937 1719889139 739732683 2152958946 2356825188 3693243903 1977613378 3825890853 563274789 326848938 958186233 925983629 2461191714 3549043421 2863162436 1610472683 2705151205 2454257777 1351754672 1395495935 257338061 3109824130 3539734538 3102299122 3230279481 2858608486 575626100 473304580 2201025716 1684939845 936410419 4268329864 3861307703 2361860652 4145396413 1147276926 3248309926 2552437595 961417157 3612784125 3019472887 2521018825 4240759447 3082319083 225433155 3235365833 348024823 2431727953 1850813141 2668625320 4270972588 3544649235 1476507707 3627000725 2220331768 2195492636 2976659910 565727840 214007441 1435515601 925792076 4223528128 3415439867 2966644972 3882983512 4081907914 390319193 1959260898 2434971183 3696139843 2872001046 1727992760 2965111451 1453442881 1140795619 1338517385 1466442758 2002532710 3018852556 2959438861 2484027310 998547281 2286069330 3732995878 74650728 2667927176 2990923934 680350052 218762541 548874543 240652969 2604337232 749219869 2891860971 2108394605 1234411472 1508878928 688012942 2214465039 801913425 2929838409 3922435255 244753098 255 362436" option to reproduce the execution
9.89/9.99	c #vars 77106
9.89/9.99	c #constraints 218779
15.49/15.56	c BCD2: Hardening is enabled.
15.49/15.56	c BCD2: BiasedSearch is enabled.
15.49/15.56	c Solving starts ...
15.49/15.56	c ============================[ Search Statistics ]============================
15.49/15.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.49/15.56	c       |         |          |          |    Limit     GC | Var      | Constra 
15.49/15.56	c =============================================================================
15.49/15.60	c  0.0s |       0 |        0 |        0 |   147468      0 |        1 |        0
19.08/19.10	c  3.5s |       0 |  1103157 |      100 |   147468      0 |        1 |        0
19.18/19.20	c  3.6s |       1 |  1103157 |      100 |   147468      0 |        1 |        0
21.38/21.41	c  5.8s |       1 |  1650723 |      126 |   162215      0 |        1 |        0
21.38/21.41	c #cpu_time = 5.636s
21.38/21.41	c #wall_clock_time = 5.651s
21.38/21.41	c #decision = 1650723
21.38/21.41	c #random_decision = 5710
21.38/21.41	c #conflict = 126
21.38/21.41	c #restart = 1
21.38/21.46	o 25688
21.78/21.89	c BCD2: updating upper bound: 7397050 -> 25739
22.88/22.91	c BCD2: 0 <= obj <= 25739
22.88/22.93	c BCD2: #cores=0, #unrelaxed=146523, #relaxed=0, #hardened=0
22.88/22.93	c BCD2: #sat=1 #unsat=1 bias=1/2
22.88/22.95	c Solving starts ...
22.88/22.95	c ============================[ Search Statistics ]============================
22.88/22.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.88/22.95	c       |         |          |          |    Limit     GC | Var      | Constra 
22.88/22.95	c =============================================================================
22.88/22.95	c  0.0s |       0 |        0 |        0 |   162215      0 |        1 |        0
23.09/23.17	c  0.2s |       0 |        0 |        0 |   162215      0 |        1 |        0
23.09/23.17	c #cpu_time = 0.221s
23.09/23.17	c #wall_clock_time = 0.222s
23.09/23.17	c #decision = 0
23.09/23.17	c #random_decision = 0
23.09/23.17	c #conflict = 0
23.09/23.17	c #restart = 0
23.09/23.17	c BCD2: found a new core of size 1: cost of the new core is >=52
23.09/23.17	c lower bound updated to 0
23.19/23.23	c BCD2: 52 <= obj <= 25739
23.19/23.23	c BCD2: #cores=1, #unrelaxed=146522, #relaxed=1, #hardened=0
23.19/23.23	c BCD2: #sat=1 #unsat=2 bias=2/3
23.19/23.24	c Solving starts ...
23.19/23.25	c ============================[ Search Statistics ]============================
23.19/23.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.19/23.25	c       |         |          |          |    Limit     GC | Var      | Constra 
23.19/23.25	c =============================================================================
23.19/23.25	c  0.0s |       0 |        0 |        0 |   162215      0 |        1 |        0
23.98/24.07	c  0.8s |       1 |   147154 |      100 |   162215      0 |        1 |        0
25.89/25.97	c  2.7s |       2 |   295363 |      250 |   178437      0 |        1 |        0
28.28/28.30	c  5.1s |       3 |   451742 |      475 |   196281      0 |        1 |        0
30.28/30.38	c  7.1s |       3 |   599004 |      775 |   215910      0 |        1 |        0
30.68/30.75	c  7.5s |       4 |   599203 |      813 |   215910      0 |        1 |        0
32.78/32.83	c  9.6s |       5 |   755828 |     1320 |   237502      0 |        1 |        0
34.98/35.08	c 11.8s |       6 |   903577 |     2081 |   261253      0 |        1 |        0
37.18/37.22	c 14.0s |       6 |  1052598 |     3181 |   287379      0 |        1 |        0
37.28/37.32	c 14.1s |       7 |  1052648 |     3223 |   287379      0 |        1 |        0
39.38/39.44	c 16.2s |       7 |  1199744 |     3523 |   287379      0 |        1 |        0
41.68/41.71	c 18.5s |       7 |  1201260 |     4023 |   287379      0 |        1 |        0
44.18/44.25	c 21.0s |       7 |  1202548 |     4623 |   287379      0 |        1 |        0
45.19/45.23	c 22.0s |       8 |  1203137 |     4936 |   316117      0 |        1 |        0
47.88/47.95	c 24.7s |       8 |  1351842 |     5236 |   316117      0 |        1 |        0
50.08/50.10	c 26.9s |       8 |  1353596 |     5936 |   316117      0 |        1 |        0
52.08/52.17	c 28.9s |       8 |  1354457 |     6436 |   316117      0 |        1 |        0
54.48/54.50	c 31.3s |       8 |  1382566 |     7036 |   316117      0 |        1 |        0
56.28/56.33	c 33.1s |       9 |  1383443 |     7506 |   347729      0 |        1 |        0
58.39/58.42	c 35.2s |       9 |  1530974 |     8006 |   347729      0 |        1 |        0
60.88/60.96	c 37.7s |       9 |  1532453 |     8706 |   347729      0 |        1 |        0
62.98/63.03	c 39.8s |       9 |  1535943 |     9806 |   347729      0 |        1 |        0
65.08/65.16	c 41.9s |       9 |  1539383 |    10906 |   347729      0 |        1 |        0
66.78/66.85	c 43.6s |      10 |  1540490 |    11361 |   382502      0 |        1 |        0
68.98/69.03	c 45.8s |      10 |  1689034 |    11661 |   382502      0 |        1 |        0
71.58/71.63	c 48.4s |      10 |  1691370 |    12161 |   382502      0 |        1 |        0
73.68/73.77	c 50.5s |      10 |  1693779 |    12961 |   382502      0 |        1 |        0
75.78/75.84	c 52.6s |      10 |  1695111 |    13561 |   382502      0 |        1 |        0
77.97/78.00	c 54.8s |      10 |  1696103 |    13961 |   382502      0 |        1 |        0
80.08/80.15	c 56.9s |      10 |  1697067 |    14361 |   382502      0 |        1 |        0
82.18/82.24	c 59.0s |      10 |  1698599 |    14961 |   382502      0 |        1 |        0
84.38/84.44	c 61.2s |      10 |  1699951 |    15661 |   382502      0 |        1 |        0
86.37/86.49	c 63.2s |      10 |  1701100 |    16261 |   382502      0 |        1 |        0
88.77/88.80	c 65.6s |      10 |  1702430 |    16961 |   420753      0 |        1 |        0
89.37/89.47	c 66.2s |      11 |  1702745 |    17144 |   420753      0 |        1 |        0
91.38/91.48	c 68.2s |      11 |  1850811 |    17844 |   420753      0 |        1 |        0
94.27/94.33	c 71.1s |      11 |  1853706 |    18344 |   420753      0 |        1 |        0
96.79/96.83	c 73.6s |      11 |  1854606 |    18644 |   420753      0 |        1 |        0
98.88/98.95	c 75.7s |      11 |  1856011 |    19244 |   420753      0 |        1 |        0
101.18/101.26	c 78.0s |      11 |  1856653 |    19544 |   420753      0 |        1 |        0
103.78/103.88	c 80.6s |      11 |  1857630 |    19944 |   420753      0 |        1 |        0
105.88/105.99	c 82.7s |      11 |  1858221 |    20244 |   420753      0 |        1 |        0
107.98/108.02	c 84.8s |      11 |  1858616 |    20444 |   420753      0 |        1 |        0
110.18/110.26	c 87.0s |      11 |  1859198 |    20744 |   420753      0 |        1 |        0
112.47/112.59	c 89.3s |      11 |  1859808 |    21044 |   420753      0 |        1 |        0
114.67/114.73	c 91.5s |      11 |  1861018 |    21444 |   420753      0 |        1 |        0
116.97/117.03	c 93.8s |      11 |  1861907 |    21844 |   420753      0 |        1 |        0
119.27/119.34	c 96.1s |      11 |  1862775 |    22344 |   420753      0 |        1 |        0
121.37/121.44	c 98.2s |      11 |  1863472 |    22644 |   420753      0 |        1 |        0
123.37/123.49	c  100s |      11 |  1866504 |    23844 |   420753      0 |        1 |        0
125.48/125.51	c  102s |      11 |  1868409 |    24644 |   420753      0 |        1 |        0
127.47/127.57	c  104s |      11 |  1870642 |    25344 |   420753      0 |        1 |        0
129.47/129.55	c  106s |      12 |  1871551 |    25819 |   462829      0 |        1 |        0
132.27/132.35	c  109s |      12 |  2018992 |    26019 |   462829      0 |        1 |        0
134.37/134.40	c  111s |      12 |  2020882 |    26619 |   462829      0 |        1 |        0
136.57/136.67	c  113s |      12 |  2022801 |    27719 |   462829      0 |        1 |        0
139.07/139.16	c  115s |      12 |  2023866 |    28219 |   462829      0 |        1 |        0
141.37/141.44	c  118s |      12 |  2024807 |    28619 |   462829      0 |        1 |        0
143.47/143.54	c  120s |      12 |  2026468 |    28919 |   462829      0 |        1 |        0
145.97/146.07	c  122s |      12 |  2028181 |    29319 |   462829      0 |        1 |        0
147.96/148.09	c  124s |      12 |  2029474 |    29619 |   462829      0 |        1 |        0
151.06/151.14	c  127s |      12 |  2030881 |    29919 |   462829      0 |        1 |        0
153.67/153.75	c  130s |      12 |  2032513 |    30219 |   462829      0 |        1 |        0
155.77/155.82	c  132s |      12 |  2032939 |    30319 |   462829      0 |        1 |        0
158.17/158.22	c  134s |      12 |  2034667 |    30719 |   462829      0 |        1 |        0
160.27/160.36	c  137s |      12 |  2035848 |    31019 |   462829      0 |        1 |        0
162.47/162.54	c  139s |      12 |  2036972 |    31319 |   462829      0 |        1 |        0
164.87/164.91	c  141s |      12 |  2037967 |    31619 |   462829      0 |        1 |        0
167.36/167.46	c  144s |      12 |  2038319 |    31819 |   462829      0 |        1 |        0
169.66/169.72	c  146s |      12 |  2039323 |    32119 |   462829      0 |        1 |        0
172.06/172.12	c  148s |      12 |  2040111 |    32419 |   462829      0 |        1 |        0
174.66/174.78	c  151s |      12 |  2041279 |    32719 |   462829      0 |        1 |        0
177.36/177.40	c  154s |      12 |  2042252 |    33019 |   462829      0 |        1 |        0
179.37/179.46	c  156s |      12 |  2042725 |    33219 |   462829      0 |        1 |        0
181.47/181.53	c  158s |      12 |  2043405 |    33519 |   462829      0 |        1 |        0
184.06/184.19	c  160s |      12 |  2044101 |    33819 |   462829      0 |        1 |        0
187.26/187.38	c  164s |      12 |  2044841 |    34119 |   462829      0 |        1 |        0
189.56/189.63	c  166s |      12 |  2045213 |    34319 |   462829      0 |        1 |        0
192.05/192.11	c  168s |      12 |  2045736 |    34519 |   462829      0 |        1 |        0
195.36/195.45	c  172s |      12 |  2046481 |    34819 |   462829      0 |        1 |        0
197.86/198.00	c  174s |      12 |  2047133 |    35019 |   462829      0 |        1 |        0
200.35/200.40	c  177s |      12 |  2048300 |    35419 |   462829      0 |        1 |        0
202.75/202.80	c  179s |      12 |  2049356 |    35719 |   462829      0 |        1 |        0
204.75/204.87	c  181s |      12 |  2050248 |    36019 |   462829      0 |        1 |        0
207.06/207.16	c  183s |      12 |  2051263 |    36319 |   462829      0 |        1 |        0
209.46/209.50	c  186s |      12 |  2052177 |    36619 |   462829      0 |        1 |        0
212.05/212.14	c  188s |      12 |  2053153 |    36919 |   462829      0 |        1 |        0
214.95/215.01	c  191s |      12 |  2053910 |    37219 |   462829      0 |        1 |        0
218.05/218.13	c  194s |      12 |  2054867 |    37519 |   462829      0 |        1 |        0
220.15/220.25	c  197s |      12 |  2055351 |    37719 |   462829      0 |        1 |        0
223.05/223.19	c  199s |      12 |  2055884 |    37919 |   462829      0 |        1 |        0
225.75/225.82	c  202s |      12 |  2056228 |    38119 |   462829      0 |        1 |        0
228.05/228.18	c  204s |      12 |  2057078 |    38419 |   462829      0 |        1 |        0
230.45/230.58	c  207s |      12 |  2058272 |    38719 |   509112      0 |        1 |        0
231.35/231.44	c  208s |      13 |  2058604 |    38832 |   509112      0 |        1 |        0
233.55/233.66	c  210s |      13 |  2205800 |    38932 |   509112      0 |        1 |        0
235.85/235.99	c  212s |      13 |  2207416 |    39232 |   509112      0 |        1 |        0
238.05/238.10	c  214s |      13 |  2209224 |    39832 |   509112      0 |        1 |        0
240.05/240.12	c  216s |      13 |  2211060 |    40532 |   509112      0 |        1 |        0
243.05/243.20	c  219s |      13 |  2212863 |    41132 |   509112      0 |        1 |        0
245.15/245.29	c  222s |      13 |  2214171 |    41832 |   509112      0 |        1 |        0
247.15/247.29	c  224s |      13 |  2214987 |    42232 |   509112      0 |        1 |        0
249.35/249.41	c  226s |      13 |  2215548 |    42432 |   509112      0 |        1 |        0
251.64/251.73	c  228s |      13 |  2216165 |    42632 |   509112      0 |        1 |        0
253.85/253.95	c  230s |      13 |  2217419 |    42932 |   509112      0 |        1 |        0
256.85/256.97	c  233s |      13 |  2218122 |    43232 |   509112      0 |        1 |        0
259.45/259.56	c  236s |      13 |  2218739 |    43432 |   509112      0 |        1 |        0
261.55/261.66	c  238s |      13 |  2228685 |    43732 |   509112      0 |        1 |        0
263.85/263.98	c  240s |      13 |  2231275 |    44332 |   509112      0 |        1 |        0
265.95/266.08	c  242s |      13 |  2232303 |    44932 |   509112      0 |        1 |        0
268.46/268.57	c  245s |      13 |  2233434 |    45632 |   509112      0 |        1 |        0
270.56/270.61	c  247s |      13 |  2233985 |    45932 |   509112      0 |        1 |        0
273.25/273.31	c  250s |      13 |  2234606 |    46332 |   509112      0 |        1 |        0
275.35/275.46	c  252s |      13 |  2235391 |    46632 |   509112      0 |        1 |        0
277.84/277.96	c  254s |      13 |  2236076 |    47032 |   509112      0 |        1 |        0
280.15/280.22	c  256s |      13 |  2236612 |    47332 |   509112      0 |        1 |        0
282.35/282.47	c  259s |      13 |  2237368 |    47632 |   509112      0 |        1 |        0
284.44/284.59	c  261s |      13 |  2238036 |    48032 |   509112      0 |        1 |        0
286.85/286.95	c  263s |      13 |  2238876 |    48532 |   509112      0 |        1 |        0
288.95/289.09	c  265s |      13 |  2240152 |    49132 |   509112      0 |        1 |        0
291.24/291.32	c  268s |      13 |  2241178 |    49632 |   509112      0 |        1 |        0
293.24/293.34	c  270s |      13 |  2241954 |    50032 |   509112      0 |        1 |        0
295.44/295.50	c  272s |      13 |  2242949 |    50432 |   509112      0 |        1 |        0
297.44/297.54	c  274s |      13 |  2243640 |    50832 |   509112      0 |        1 |        0
299.54/299.69	c  276s |      13 |  2244823 |    51232 |   509112      0 |        1 |        0
302.14/302.20	c  278s |      13 |  2245402 |    51632 |   509112      0 |        1 |        0
304.14/304.21	c  280s |      13 |  2245813 |    51932 |   509112      0 |        1 |        0
307.14/307.24	c  283s |      13 |  2246323 |    52232 |   509112      0 |        1 |        0
309.44/309.50	c  286s |      13 |  2246718 |    52432 |   509112      0 |        1 |        0
312.04/312.18	c  288s |      13 |  2247697 |    52732 |   509112      0 |        1 |        0
314.44/314.60	c  291s |      13 |  2248379 |    53132 |   509112      0 |        1 |        0
317.04/317.16	c  293s |      13 |  2249213 |    53532 |   509112      0 |        1 |        0
319.53/319.66	c  296s |      13 |  2250078 |    53932 |   509112      0 |        1 |        0
321.84/321.99	c  298s |      13 |  2250965 |    54332 |   509112      0 |        1 |        0
324.64/324.71	c  301s |      13 |  2252004 |    54732 |   509112      0 |        1 |        0
327.14/327.20	c  303s |      13 |  2253060 |    55132 |   509112      0 |        1 |        0
329.54/329.60	c  306s |      13 |  2253964 |    55432 |   509112      0 |        1 |        0
331.53/331.68	c  308s |      13 |  2254446 |    55732 |   509112      0 |        1 |        0
333.74/333.87	c  310s |      13 |  2254898 |    56032 |   509112      0 |        1 |        0
336.04/336.16	c  312s |      13 |  2256158 |    56532 |   509112      0 |        1 |        0
338.04/338.19	c  314s |      13 |  2256931 |    56832 |   509112      0 |        1 |        0
340.63/340.72	c  317s |      13 |  2257772 |    57232 |   509112      0 |        1 |        0
343.33/343.45	c  320s |      13 |  2258668 |    57632 |   509112      0 |        1 |        0
345.44/345.57	c  322s |      13 |  2259250 |    57932 |   560024      0 |        1 |        0
347.65/347.78	c  324s |      13 |  2259916 |    58232 |   560024      0 |        1 |        0
348.54/348.67	c  325s |      14 |  2260108 |    58352 |   560024      0 |        1 |        0
351.23/351.35	c  328s |      14 |  2407532 |    58452 |   560024      0 |        1 |        0
353.23/353.37	c  330s |      14 |  2409081 |    58852 |   560024      0 |        1 |        0
355.44/355.52	c  332s |      14 |  2409814 |    59052 |   560024      0 |        1 |        0
357.54/357.61	c  334s |      14 |  2410893 |    59452 |   560024      0 |        1 |        0
359.54/359.64	c  336s |      14 |  2412154 |    59752 |   560024      0 |        1 |        0
362.33/362.42	c  339s |      14 |  2413685 |    60152 |   560024      0 |        1 |        0
364.43/364.58	c  341s |      14 |  2414518 |    60452 |   560024      0 |        1 |        0
367.13/367.21	c  343s |      14 |  2415740 |    60852 |   560024      0 |        1 |        0
369.73/369.80	c  346s |      14 |  2417093 |    61252 |   560024      0 |        1 |        0
372.03/372.10	c  348s |      14 |  2418349 |    61652 |   560024      0 |        1 |        0
374.04/374.13	c  350s |      14 |  2419257 |    61952 |   560024      0 |        1 |        0
376.42/376.54	c  353s |      14 |  2420449 |    62352 |   560024      0 |        1 |        0
379.13/379.20	c  355s |      14 |  2421150 |    62552 |   560024      0 |        1 |        0
381.93/382.02	c  358s |      14 |  2421944 |    62852 |   560024      0 |        1 |        0
384.33/384.42	c  361s |      14 |  2422812 |    63152 |   560024      0 |        1 |        0
386.83/386.94	c  363s |      14 |  2423862 |    63452 |   560024      0 |        1 |        0
389.23/389.39	c  366s |      14 |  2424551 |    63852 |   560024      0 |        1 |        0
392.33/392.46	c  369s |      14 |  2425141 |    64052 |   560024      0 |        1 |        0
394.53/394.60	c  371s |      14 |  2425505 |    64252 |   560024      0 |        1 |        0
397.32/397.46	c  374s |      14 |  2426828 |    64552 |   560024      0 |        1 |        0
399.62/399.78	c  376s |      14 |  2428061 |    64852 |   560024      0 |        1 |        0
402.32/402.40	c  379s |      14 |  2429149 |    65252 |   560024      0 |        1 |        0
404.83/404.93	c  381s |      14 |  2430066 |    65552 |   560024      0 |        1 |        0
407.23/407.35	c  384s |      14 |  2430781 |    65852 |   560024      0 |        1 |        0
409.82/409.98	c  386s |      14 |  2432096 |    66252 |   560024      0 |        1 |        0
412.22/412.30	c  389s |      14 |  2432819 |    66452 |   560024      0 |        1 |        0
414.73/414.85	c  391s |      14 |  2433510 |    66652 |   560024      0 |        1 |        0
417.32/417.46	c  394s |      14 |  2434068 |    66852 |   560024      0 |        1 |        0
420.24/420.38	c  397s |      14 |  2434640 |    67052 |   560024      0 |        1 |        0
423.02/423.19	c  399s |      14 |  2435192 |    67252 |   560024      0 |        1 |        0
425.12/425.23	c  401s |      14 |  2435471 |    67352 |   560024      0 |        1 |        0
427.62/427.77	c  404s |      14 |  2435996 |    67552 |   560024      0 |        1 |        0
429.72/429.83	c  406s |      14 |  2436217 |    67652 |   560024      0 |        1 |        0
433.32/433.47	c  410s |      14 |  2436736 |    67852 |   560024      0 |        1 |        0
436.32/436.42	c  413s |      14 |  2437305 |    68052 |   560024      0 |        1 |        0
438.62/438.77	c  415s |      14 |  2437762 |    68252 |   560024      0 |        1 |        0
441.22/441.34	c  418s |      14 |  2438248 |    68452 |   560024      0 |        1 |        0
443.62/443.78	c  420s |      14 |  2438650 |    68652 |   560024      0 |        1 |        0
446.42/446.52	c  423s |      14 |  2438885 |    68752 |   560024      0 |        1 |        0
449.42/449.57	c  426s |      14 |  2439220 |    68852 |   560024      0 |        1 |        0
453.62/453.72	c  430s |      14 |  2439439 |    68952 |   560024      0 |        1 |        0
456.91/457.01	c  433s |      14 |  2439665 |    69052 |   560024      0 |        1 |        0
459.31/459.49	c  436s |      14 |  2439855 |    69152 |   560024      0 |        1 |        0
463.81/463.93	c  440s |      14 |  2440382 |    69352 |   560024      0 |        1 |        0
466.42/466.57	c  443s |      14 |  2440873 |    69552 |   560024      0 |        1 |        0
469.02/469.14	c  445s |      14 |  2441689 |    69852 |   560024      0 |        1 |        0
471.01/471.15	c  447s |      14 |  2441878 |    69952 |   560024      0 |        1 |        0
474.21/474.31	c  451s |      14 |  2442221 |    70152 |   560024      0 |        1 |        0
476.22/476.33	c  453s |      14 |  2442645 |    70252 |   560024      0 |        1 |        0
480.41/480.52	c  457s |      14 |  2443138 |    70452 |   560024      0 |        1 |        0
482.41/482.54	c  459s |      14 |  2443667 |    70552 |   560024      0 |        1 |        0
486.41/486.51	c  463s |      14 |  2443973 |    70752 |   560024      0 |        1 |        0
489.71/489.80	c  466s |      14 |  2444310 |    70852 |   560024      0 |        1 |        0
492.01/492.15	c  468s |      14 |  2445386 |    71152 |   560024      0 |        1 |        0
494.41/494.52	c  471s |      14 |  2447055 |    71452 |   560024      0 |        1 |        0
496.51/496.67	c  473s |      14 |  2447946 |    71752 |   560024      0 |        1 |        0
498.71/498.83	c  475s |      14 |  2448580 |    72052 |   560024      0 |        1 |        0
501.81/501.95	c  478s |      14 |  2449588 |    72352 |   560024      0 |        1 |        0
505.01/505.19	c  481s |      14 |  2450116 |    72552 |   560024      0 |        1 |        0
507.21/507.33	c  484s |      14 |  2450800 |    72752 |   560024      0 |        1 |        0
510.31/510.43	c  487s |      14 |  2451377 |    72952 |   560024      0 |        1 |        0
513.01/513.15	c  489s |      14 |  2452197 |    73252 |   560024      0 |        1 |        0
516.31/516.45	c  493s |      14 |  2453252 |    73552 |   560024      0 |        1 |        0
518.80/518.94	c  495s |      14 |  2453885 |    73752 |   560024      0 |        1 |        0
523.00/523.11	c  499s |      14 |  2454464 |    73952 |   560024      0 |        1 |        0
525.41/525.59	c  502s |      14 |  2454988 |    74152 |   560024      0 |        1 |        0
527.71/527.81	c  504s |      14 |  2455554 |    74352 |   560024      0 |        1 |        0
531.32/531.42	c  508s |      14 |  2456674 |    74652 |   560024      0 |        1 |        0
533.41/533.60	c  510s |      14 |  2457213 |    74852 |   560024      0 |        1 |        0
536.71/536.84	c  513s |      14 |  2457666 |    75052 |   560024      0 |        1 |        0
541.21/541.36	c  518s |      14 |  2457867 |    75152 |   560024      0 |        1 |        0
545.80/545.94	c  522s |      14 |  2457983 |    75252 |   560024      0 |        1 |        0
549.50/549.60	c  526s |      14 |  2458160 |    75352 |   560024      0 |        1 |        0
552.40/552.58	c  529s |      14 |  2458430 |    75452 |   560024      0 |        1 |        0
556.20/556.33	c  533s |      14 |  2458877 |    75652 |   560024      0 |        1 |        0
559.20/559.34	c  536s |      14 |  2459119 |    75752 |   560024      0 |        1 |        0
562.90/563.03	c  539s |      14 |  2459265 |    75852 |   560024      0 |        1 |        0
567.60/567.76	c  544s |      14 |  2459402 |    75952 |   560024      0 |        1 |        0
570.80/570.95	c  547s |      14 |  2459603 |    76052 |   560024      0 |        1 |        0
573.20/573.38	c  550s |      14 |  2459933 |    76152 |   560024      0 |        1 |        0
575.89/576.09	c  552s |      14 |  2460313 |    76252 |   560024      0 |        1 |        0
579.61/579.75	c  556s |      14 |  2460584 |    76352 |   560024      0 |        1 |        0
582.20/582.36	c  559s |      14 |  2460993 |    76452 |   560024      0 |        1 |        0
584.70/584.88	c  561s |      14 |  2461250 |    76552 |   560024      0 |        1 |        0
587.60/587.78	c  564s |      14 |  2461786 |    76852 |   560024      0 |        1 |        0
590.49/590.66	c  567s |      14 |  2462480 |    77052 |   560024      0 |        1 |        0
592.80/592.91	c  569s |      14 |  2463240 |    77252 |   560024      0 |        1 |        0
595.20/595.34	c  572s |      14 |  2464095 |    77452 |   560024      0 |        1 |        0
597.39/597.57	c  574s |      14 |  2465262 |    77752 |   560024      0 |        1 |        0
599.80/599.99	c  576s |      14 |  2466612 |    78052 |   560024      0 |        1 |        0
602.59/602.79	c  579s |      14 |  2468079 |    78352 |   560024      0 |        1 |        0
605.29/605.40	c  582s |      14 |  2468977 |    78652 |   560024      0 |        1 |        0
608.09/608.22	c  584s |      14 |  2470100 |    78952 |   560024      0 |        1 |        0
610.69/610.86	c  587s |      14 |  2471080 |    79252 |   560024      0 |        1 |        0
613.09/613.29	c  590s |      14 |  2471758 |    79452 |   560024      0 |        1 |        0
616.50/616.63	c  593s |      14 |  2472259 |    79652 |   560024      0 |        1 |        0
619.09/619.28	c  596s |      14 |  2472767 |    79852 |   560024      0 |        1 |        0
622.09/622.24	c  598s |      14 |  2473438 |    80152 |   560024      0 |        1 |        0
625.49/625.63	c  602s |      14 |  2474192 |    80352 |   560024      0 |        1 |        0
628.69/628.84	c  605s |      14 |  2475239 |    80552 |   560024      0 |        1 |        0
631.30/631.48	c  608s |      14 |  2476124 |    80752 |   560024      0 |        1 |        0
633.89/634.08	c  610s |      14 |  2476466 |    80852 |   560024      0 |        1 |        0
636.99/637.19	c  613s |      14 |  2477082 |    81052 |   560024      0 |        1 |        0
640.29/640.42	c  617s |      14 |  2477705 |    81252 |   560024      0 |        1 |        0
642.59/642.76	c  619s |      14 |  2478501 |    81452 |   560024      0 |        1 |        0
645.49/645.62	c  622s |      14 |  2479162 |    81652 |   560024      0 |        1 |        0
648.09/648.28	c  625s |      14 |  2479722 |    81852 |   560024      0 |        1 |        0
651.58/651.74	c  628s |      14 |  2480733 |    82052 |   560024      0 |        1 |        0
653.98/654.11	c  630s |      14 |  2481372 |    82252 |   560024      0 |        1 |        0
656.59/656.78	c  633s |      14 |  2482165 |    82452 |   560024      0 |        1 |        0
659.28/659.40	c  636s |      14 |  2482865 |    82652 |   560024      0 |        1 |        0
663.38/663.58	c  640s |      14 |  2483683 |    82852 |   560024      0 |        1 |        0
666.49/666.70	c  643s |      14 |  2484104 |    82952 |   560024      0 |        1 |        0
669.08/669.26	c  646s |      14 |  2484399 |    83052 |   560024      0 |        1 |        0
672.00/672.12	c  648s |      14 |  2485090 |    83252 |   560024      0 |        1 |        0
674.48/674.64	c  651s |      14 |  2485816 |    83452 |   560024      0 |        1 |        0
677.98/678.15	c  654s |      14 |  2486586 |    83652 |   560024      0 |        1 |        0
681.38/681.57	c  658s |      14 |  2487087 |    83852 |   560024      0 |        1 |        0
684.39/684.50	c  661s |      14 |  2487667 |    84052 |   560024      0 |        1 |        0
688.08/688.28	c  665s |      14 |  2488254 |    84252 |   560024      0 |        1 |        0
690.18/690.35	c  667s |      14 |  2488500 |    84352 |   560024      0 |        1 |        0
692.28/692.44	c  669s |      14 |  2488762 |    84452 |   560024      0 |        1 |        0
694.28/694.46	c  671s |      14 |  2488985 |    84552 |   560024      0 |        1 |        0
696.98/697.19	c  673s |      14 |  2489292 |    84652 |   560024      0 |        1 |        0
699.18/699.32	c  676s |      14 |  2489542 |    84752 |   560024      0 |        1 |        0
702.08/702.25	c  679s |      14 |  2490109 |    84852 |   560024      0 |        1 |        0
705.98/706.16	c  682s |      14 |  2623246 |    85052 |   560024      0 |        1 |        0
708.29/708.49	c  685s |      14 |  2623535 |    85152 |   560024      0 |        1 |        0
710.68/710.85	c  687s |      14 |  2623750 |    85252 |   560024      0 |        1 |        0
714.18/714.34	c  691s |      14 |  2623982 |    85352 |   560024      0 |        1 |        0
716.58/716.75	c  693s |      14 |  2624907 |    85552 |   560024      0 |        1 |        0
719.48/719.69	c  696s |      14 |  2625635 |    85852 |   560024      0 |        1 |        0
722.17/722.31	c  699s |      14 |  2626817 |    86152 |   560024      0 |        1 |        0
724.58/724.70	c  701s |      14 |  2627882 |    86452 |   560024      0 |        1 |        0
727.08/727.26	c  704s |      14 |  2628972 |    86752 |   560024      0 |        1 |        0
729.88/730.03	c  706s |      14 |  2629424 |    86952 |   616027      0 |        1 |        0
732.68/732.90	c  709s |      14 |  2629970 |    87152 |   616027      0 |        1 |        0
735.27/735.49	c  712s |      14 |  2631127 |    87452 |   616027      0 |        1 |        0
737.37/737.54	c  714s |      15 |  2631889 |    87632 |   616027      0 |        1 |        0
742.98/743.16	c  719s |      15 |  2779004 |    87732 |   616027      0 |        1 |        0
745.78/745.96	c  722s |      15 |  2779665 |    87932 |   616027      0 |        1 |        0
747.98/748.17	c  724s |      15 |  2780332 |    88132 |   616027      0 |        1 |        0
751.37/751.55	c  728s |      15 |  2780901 |    88332 |   616027      0 |        1 |        0
753.38/753.56	c  730s |      15 |  2781485 |    88532 |   616027      0 |        1 |        0
755.68/755.83	c  732s |      15 |  2782214 |    88732 |   616027      0 |        1 |        0
758.57/758.75	c  735s |      15 |  2782968 |    88932 |   616027      0 |        1 |        0
761.77/761.95	c  738s |      15 |  2784050 |    89232 |   616027      0 |        1 |        0
763.88/764.08	c  740s |      15 |  2784369 |    89332 |   616027      0 |        1 |        0
766.58/766.75	c  743s |      15 |  2785047 |    89532 |   616027      0 |        1 |        0
769.77/769.92	c  746s |      15 |  2785822 |    89732 |   616027      0 |        1 |        0
772.96/773.10	c  749s |      15 |  2786688 |    89932 |   616027      0 |        1 |        0
774.97/775.12	c  751s |      15 |  2787437 |    90132 |   616027      0 |        1 |        0
777.47/777.62	c  754s |      15 |  2788086 |    90332 |   616027      0 |        1 |        0
780.47/780.63	c  757s |      15 |  2788737 |    90532 |   616027      0 |        1 |        0
783.77/783.91	c  760s |      15 |  2789256 |    90732 |   616027      0 |        1 |        0
785.77/785.98	c  762s |      15 |  2790375 |    90932 |   616027      0 |        1 |        0
787.86/788.04	c  764s |      15 |  2791098 |    91132 |   616027      0 |        1 |        0
791.27/791.47	c  768s |      15 |  2791610 |    91232 |   616027      0 |        1 |        0
793.46/793.64	c  770s |      15 |  2792244 |    91332 |   616027      0 |        1 |        0
795.77/795.90	c  772s |      15 |  2792703 |    91432 |   616027      0 |        1 |        0
798.57/798.75	c  775s |      15 |  2793619 |    91632 |   616027      0 |        1 |        0
800.77/800.91	c  777s |      15 |  2794584 |    91832 |   616027      0 |        1 |        0
803.76/803.99	c  780s |      15 |  2795683 |    92132 |   616027      0 |        1 |        0
805.86/806.03	c  782s |      15 |  2796233 |    92332 |   616027      0 |        1 |        0
808.96/809.19	c  785s |      15 |  2796749 |    92532 |   616027      0 |        1 |        0
811.06/811.29	c  788s |      15 |  2797410 |    92732 |   616027      0 |        1 |        0
813.27/813.40	c  790s |      15 |  2797994 |    92932 |   616027      0 |        1 |        0
815.56/815.70	c  792s |      15 |  2798527 |    93132 |   616027      0 |        1 |        0
817.86/818.05	c  794s |      15 |  2799173 |    93332 |   616027      0 |        1 |        0
820.26/820.49	c  797s |      15 |  2799675 |    93532 |   616027      0 |        1 |        0
823.56/823.75	c  800s |      15 |  2800207 |    93732 |   616027      0 |        1 |        0
827.56/827.70	c  804s |      15 |  2800780 |    93932 |   616027      0 |        1 |        0
830.37/830.57	c  807s |      15 |  2801422 |    94132 |   616027      0 |        1 |        0
832.86/833.01	c  809s |      15 |  2801871 |    94332 |   616027      0 |        1 |        0
834.87/835.09	c  811s |      15 |  2802292 |    94532 |   616027      0 |        1 |        0
838.56/838.74	c  815s |      15 |  2802883 |    94732 |   616027      0 |        1 |        0
841.26/841.44	c  818s |      15 |  2803529 |    94932 |   616027      0 |        1 |        0
844.86/845.08	c  821s |      15 |  2804459 |    95132 |   616027      0 |        1 |        0
847.66/847.87	c  824s |      15 |  2805283 |    95332 |   616027      0 |        1 |        0
850.96/851.10	c  827s |      15 |  2805983 |    95532 |   616027      0 |        1 |        0
853.76/853.90	c  830s |      15 |  2806681 |    95732 |   616027      0 |        1 |        0
856.16/856.34	c  833s |      15 |  2807390 |    95932 |   616027      0 |        1 |        0
859.35/859.59	c  836s |      15 |  2808143 |    96132 |   616027      0 |        1 |        0
863.06/863.27	c  840s |      15 |  2808568 |    96332 |   616027      0 |        1 |        0
865.16/865.33	c  842s |      15 |  2809119 |    96432 |   616027      0 |        1 |        0
869.05/869.24	c  845s |      15 |  2809917 |    96632 |   616027      0 |        1 |        0
871.26/871.40	c  848s |      15 |  2810160 |    96732 |   616027      0 |        1 |        0
873.56/873.78	c  850s |      15 |  2810426 |    96832 |   616027      0 |        1 |        0
877.96/878.16	c  854s |      15 |  2811404 |    97032 |   616027      0 |        1 |        0
881.46/881.66	c  858s |      15 |  2812264 |    97232 |   616027      0 |        1 |        0
884.15/884.30	c  861s |      15 |  2812692 |    97532 |   616027      0 |        1 |        0
886.15/886.33	c  863s |      15 |  2813008 |    97732 |   616027      0 |        1 |        0
888.66/888.87	c  865s |      15 |  2814361 |    98232 |   616027      0 |        1 |        0
891.05/891.24	c  867s |      15 |  2815290 |    98532 |   616027      0 |        1 |        0
893.45/893.66	c  870s |      15 |  2816164 |    98832 |   616027      0 |        1 |        0
895.76/895.98	c  872s |      15 |  2816985 |    99132 |   616027      0 |        1 |        0
898.85/899.03	c  875s |      15 |  2817814 |    99432 |   616027      0 |        1 |        0
901.65/901.89	c  878s |      15 |  2818643 |    99732 |   616027      0 |        1 |        0
903.95/904.16	c  880s |      15 |  2819524 |   100032 |   616027      0 |        1 |        0
906.75/906.92	c  883s |      15 |  2820614 |   100432 |   616027      0 |        1 |        0
908.95/909.13	c  885s |      15 |  2821468 |   100732 |   616027      0 |        1 |        0
911.25/911.46	c  888s |      15 |  2822352 |   101032 |   616027      0 |        1 |        0
914.25/914.47	c  891s |      15 |  2822919 |   101332 |   616027      0 |        1 |        0
917.25/917.46	c  894s |      15 |  2823151 |   101532 |   616027      0 |        1 |        0
920.25/920.46	c  897s |      15 |  2823364 |   101732 |   616027      0 |        1 |        0
923.05/923.25	c  900s |      15 |  2823609 |   101932 |   616027      0 |        1 |        0
926.05/926.23	c  902s |      15 |  2823821 |   102132 |   616027      0 |        1 |        0
929.46/929.62	c  906s |      15 |  2824034 |   102332 |   616027      0 |        1 |        0
932.05/932.26	c  909s |      15 |  2824454 |   102532 |   616027      0 |        1 |        0
934.55/934.70	c  911s |      15 |  2825074 |   102832 |   616027      0 |        1 |        0
937.55/937.70	c  914s |      15 |  2825396 |   103032 |   616027      0 |        1 |        0
939.75/939.96	c  916s |      15 |  2826127 |   103232 |   616027      0 |        1 |        0
942.45/942.64	c  919s |      15 |  2826454 |   103432 |   616027      0 |        1 |        0
945.55/945.72	c  922s |      15 |  2826800 |   103632 |   616027      0 |        1 |        0
948.55/948.73	c  925s |      15 |  2827376 |   103832 |   616027      0 |        1 |        0
950.64/950.84	c  927s |      15 |  2827822 |   104032 |   616027      0 |        1 |        0
953.34/953.56	c  930s |      15 |  2828478 |   104332 |   616027      0 |        1 |        0
956.64/956.87	c  933s |      15 |  2829216 |   104632 |   616027      0 |        1 |        0
960.04/960.21	c  936s |      15 |  2829656 |   104832 |   616027      0 |        1 |        0
962.54/962.79	c  939s |      15 |  2830101 |   105032 |   616027      0 |        1 |        0
965.44/965.68	c  942s |      15 |  2830584 |   105232 |   616027      0 |        1 |        0
967.64/967.83	c  944s |      15 |  2831120 |   105432 |   616027      0 |        1 |        0
970.14/970.38	c  947s |      15 |  2831727 |   105632 |   616027      0 |        1 |        0
972.64/972.85	c  949s |      15 |  2832184 |   105832 |   616027      0 |        1 |        0
974.94/975.11	c  951s |      15 |  2832777 |   106032 |   616027      0 |        1 |        0
977.54/977.77	c  954s |      15 |  2833127 |   106232 |   616027      0 |        1 |        0
980.54/980.77	c  957s |      15 |  2833733 |   106432 |   616027      0 |        1 |        0
982.94/983.12	c  959s |      15 |  2834219 |   106632 |   616027      0 |        1 |        0
985.55/985.75	c  962s |      15 |  2834766 |   106832 |   616027      0 |        1 |        0
988.13/988.35	c  965s |      15 |  2835520 |   107132 |   616027      0 |        1 |        0
991.64/991.82	c  968s |      15 |  2835938 |   107332 |   616027      0 |        1 |        0
995.24/995.42	c  972s |      15 |  2836339 |   107532 |   616027      0 |        1 |        0
998.33/998.52	c  975s |      15 |  2836727 |   107732 |   616027      0 |        1 |        0
1000.34/1000.54	c  977s |      15 |  2836872 |   107832 |   616027      0 |        1 |        0
1002.53/1002.79	c  979s |      15 |  2837021 |   107932 |   616027      0 |        1 |        0
1005.13/1005.35	c  982s |      15 |  2837478 |   108132 |   616027      0 |        1 |        0
1008.44/1008.66	c  985s |      15 |  2837822 |   108332 |   616027      0 |        1 |        0
1011.43/1011.67	c  988s |      15 |  2838222 |   108532 |   616027      0 |        1 |        0
1014.44/1014.68	c  991s |      15 |  2838543 |   108732 |   616027      0 |        1 |        0
1018.33/1018.54	c  995s |      15 |  2838857 |   108932 |   616027      0 |        1 |        0
1022.14/1022.34	c  999s |      15 |  2839215 |   109132 |   616027      0 |        1 |        0
1025.73/1025.97	c 1002s |      15 |  2839508 |   109332 |   616027      0 |        1 |        0
1029.33/1029.58	c 1006s |      15 |  2839810 |   109532 |   616027      0 |        1 |        0
1033.94/1034.14	c 1010s |      15 |  2840138 |   109732 |   616027      0 |        1 |        0
1037.43/1037.68	c 1014s |      15 |  2840469 |   109932 |   616027      0 |        1 |        0
1040.33/1040.56	c 1017s |      15 |  2840827 |   110132 |   616027      0 |        1 |        0
1044.03/1044.26	c 1021s |      15 |  2841117 |   110332 |   616027      0 |        1 |        0
1046.33/1046.58	c 1023s |      15 |  2841571 |   110532 |   616027      0 |        1 |        0
1049.63/1049.89	c 1026s |      15 |  2842045 |   110732 |   616027      0 |        1 |        0
1053.23/1053.40	c 1030s |      15 |  2842393 |   110932 |   616027      0 |        1 |        0
1057.03/1057.22	c 1033s |      15 |  2842759 |   111132 |   616027      0 |        1 |        0
1060.43/1060.61	c 1037s |      15 |  2843092 |   111332 |   616027      0 |        1 |        0
1063.33/1063.58	c 1040s |      15 |  2843426 |   111532 |   616027      0 |        1 |        0
1065.62/1065.88	c 1042s |      15 |  2843626 |   111632 |   616027      0 |        1 |        0
1068.72/1068.92	c 1045s |      15 |  2843999 |   111832 |   616027      0 |        1 |        0
1071.82/1072.08	c 1048s |      15 |  2844966 |   112032 |   616027      0 |        1 |        0
1073.92/1074.17	c 1050s |      15 |  2845250 |   112132 |   616027      0 |        1 |        0
1077.02/1077.29	c 1054s |      15 |  2846027 |   112332 |   616027      0 |        1 |        0
1079.92/1080.18	c 1056s |      15 |  2846369 |   112532 |   616027      0 |        1 |        0
1082.72/1082.98	c 1059s |      15 |  2847073 |   112732 |   616027      0 |        1 |        0
1085.12/1085.33	c 1062s |      15 |  2847315 |   112832 |   616027      0 |        1 |        0
1087.83/1088.01	c 1064s |      15 |  2847914 |   113032 |   616027      0 |        1 |        0
1091.52/1091.79	c 1068s |      15 |  2848465 |   113232 |   616027      0 |        1 |        0
1094.02/1094.27	c 1071s |      15 |  2848780 |   113432 |   616027      0 |        1 |        0
1097.62/1097.87	c 1074s |      15 |  2849166 |   113632 |   616027      0 |        1 |        0
1100.42/1100.66	c 1077s |      15 |  2849907 |   113832 |   616027      0 |        1 |        0
1103.81/1104.07	c 1080s |      15 |  2850502 |   114132 |   616027      0 |        1 |        0
1107.22/1107.41	c 1084s |      15 |  2850771 |   114332 |   616027      0 |        1 |        0
1109.32/1109.52	c 1086s |      15 |  2850911 |   114432 |   616027      0 |        1 |        0
1112.32/1112.51	c 1089s |      15 |  2851247 |   114632 |   616027      0 |        1 |        0
1114.32/1114.51	c 1091s |      15 |  2851421 |   114732 |   616027      0 |        1 |        0
1116.82/1117.04	c 1093s |      15 |  2851618 |   114832 |   616027      0 |        1 |        0
1118.91/1119.20	c 1095s |      15 |  2851803 |   114932 |   616027      0 |        1 |        0
1121.51/1121.73	c 1098s |      15 |  2851952 |   115032 |   616027      0 |        1 |        0
1124.62/1124.86	c 1101s |      15 |  2852230 |   115232 |   616027      0 |        1 |        0
1127.22/1127.48	c 1104s |      15 |  2852651 |   115432 |   616027      0 |        1 |        0
1130.21/1130.42	c 1107s |      15 |  2852998 |   115632 |   616027      0 |        1 |        0
1132.41/1132.69	c 1109s |      15 |  2853176 |   115732 |   616027      0 |        1 |        0
1135.31/1135.57	c 1112s |      15 |  2853453 |   115932 |   616027      0 |        1 |        0
1138.01/1138.27	c 1115s |      15 |  2853889 |   116132 |   616027      0 |        1 |        0
1140.81/1141.08	c 1117s |      15 |  2854192 |   116332 |   616027      0 |        1 |        0
1144.11/1144.39	c 1121s |      15 |  2854734 |   116532 |   616027      0 |        1 |        0
1147.22/1147.43	c 1124s |      15 |  2855631 |   116732 |   616027      0 |        1 |        0
1151.01/1151.20	c 1127s |      15 |  2856422 |   116932 |   616027      0 |        1 |        0
1154.41/1154.64	c 1131s |      15 |  2856811 |   117132 |   616027      0 |        1 |        0
1156.91/1157.17	c 1133s |      15 |  2857197 |   117332 |   616027      0 |        1 |        0
1160.02/1160.29	c 1137s |      15 |  2857569 |   117532 |   616027      0 |        1 |        0
1163.01/1163.20	c 1139s |      15 |  2858115 |   117732 |   616027      0 |        1 |        0
1165.71/1165.90	c 1142s |      15 |  2858546 |   117932 |   616027      0 |        1 |        0
1169.51/1169.76	c 1146s |      15 |  2859057 |   118132 |   616027      0 |        1 |        0
1171.71/1171.98	c 1148s |      15 |  2859208 |   118232 |   616027      0 |        1 |        0
1175.10/1175.35	c 1152s |      15 |  2859495 |   118432 |   616027      0 |        1 |        0
1178.41/1178.68	c 1155s |      15 |  2860755 |   118632 |   616027      0 |        1 |        0
1180.61/1180.89	c 1157s |      15 |  2861402 |   118932 |   616027      0 |        1 |        0
1183.71/1183.97	c 1160s |      15 |  2861836 |   119132 |   616027      0 |        1 |        0
1186.41/1186.64	c 1163s |      15 |  2862190 |   119332 |   616027      0 |        1 |        0
1189.11/1189.36	c 1166s |      15 |  2862496 |   119532 |   616027      0 |        1 |        0
1192.70/1192.94	c 1169s |      15 |  2862811 |   119732 |   616027      0 |        1 |        0
1197.01/1197.21	c 1173s |      15 |  2863205 |   119932 |   616027      0 |        1 |        0
1199.11/1199.31	c 1176s |      15 |  2863311 |   120032 |   616027      0 |        1 |        0
1202.00/1202.24	c 1178s |      15 |  2863429 |   120132 |   616027      0 |        1 |        0
1204.21/1204.46	c 1181s |      15 |  2863523 |   120232 |   616027      0 |        1 |        0
1209.71/1209.93	c 1186s |      15 |  2863761 |   120332 |   616027      0 |        1 |        0
1218.62/1218.87	c 1195s |      15 |  2863967 |   120432 |   616027      0 |        1 |        0
1226.21/1226.40	c 1203s |      15 |  2864062 |   120532 |   616027      0 |        1 |        0
1235.30/1235.56	c 1212s |      15 |  2864165 |   120632 |   616027      0 |        1 |        0
1242.39/1242.68	c 1219s |      15 |  2864284 |   120732 |   616027      0 |        1 |        0
1250.10/1250.34	c 1227s |      15 |  2864385 |   120832 |   616027      0 |        1 |        0
1254.70/1254.96	c 1231s |      15 |  2864539 |   120932 |   616027      0 |        1 |        0
1259.80/1260.04	c 1236s |      15 |  2864735 |   121032 |   616027      0 |        1 |        0
1268.10/1268.32	c 1245s |      15 |  2864833 |   121132 |   616027      0 |        1 |        0
1276.80/1277.07	c 1253s |      15 |  2864979 |   121232 |   616027      0 |        1 |        0
1285.19/1285.41	c 1262s |      15 |  2865110 |   121332 |   616027      0 |        1 |        0
1295.19/1295.42	c 1272s |      15 |  2865247 |   121432 |   616027      0 |        1 |        0
1302.99/1303.28	c 1280s |      15 |  2865370 |   121532 |   616027      0 |        1 |        0
1310.38/1310.69	c 1287s |      15 |  2865499 |   121632 |   616027      0 |        1 |        0
1317.38/1317.68	c 1294s |      15 |  2865629 |   121732 |   616027      0 |        1 |        0
1324.09/1324.39	c 1301s |      15 |  2865738 |   121832 |   616027      0 |        1 |        0
1331.89/1332.19	c 1308s |      15 |  2865841 |   121932 |   616027      0 |        1 |        0
1335.49/1335.77	c 1312s |      15 |  2865946 |   122032 |   616027      0 |        1 |        0
1342.08/1342.31	c 1319s |      15 |  2866077 |   122132 |   616027      0 |        1 |        0
1350.28/1350.53	c 1327s |      15 |  2866203 |   122232 |   616027      0 |        1 |        0
1356.08/1356.35	c 1333s |      15 |  2866335 |   122332 |   616027      0 |        1 |        0
1362.48/1362.77	c 1339s |      15 |  2866461 |   122432 |   616027      0 |        1 |        0
1368.58/1368.81	c 1345s |      15 |  2866564 |   122532 |   616027      0 |        1 |        0
1370.68/1370.93	c 1347s |      15 |  2997216 |   122632 |   616027      0 |        1 |        0
1372.98/1373.23	c 1349s |      15 |  2998205 |   123232 |   616027      0 |        1 |        0
1376.18/1376.42	c 1353s |      15 |  2999005 |   123432 |   616027      0 |        1 |        0
1379.68/1379.98	c 1356s |      15 |  2999655 |   123632 |   616027      0 |        1 |        0
1382.28/1382.52	c 1359s |      15 |  3000222 |   123832 |   616027      0 |        1 |        0
1386.18/1386.44	c 1363s |      15 |  3000748 |   124032 |   616027      0 |        1 |        0
1388.48/1388.76	c 1365s |      15 |  3000957 |   124132 |   616027      0 |        1 |        0
1391.39/1391.65	c 1368s |      15 |  3001438 |   124332 |   616027      0 |        1 |        0
1395.87/1396.18	c 1372s |      15 |  3001785 |   124532 |   616027      0 |        1 |        0
1399.57/1399.88	c 1376s |      15 |  3002143 |   124732 |   616027      0 |        1 |        0
1402.48/1402.72	c 1379s |      15 |  3002822 |   124932 |   616027      0 |        1 |        0
1405.17/1405.40	c 1382s |      15 |  3003464 |   125132 |   616027      0 |        1 |        0
1409.57/1409.83	c 1386s |      15 |  3004063 |   125332 |   616027      0 |        1 |        0
1412.97/1413.28	c 1390s |      15 |  3004673 |   125532 |   616027      0 |        1 |        0
1416.48/1416.77	c 1393s |      15 |  3005237 |   125732 |   616027      0 |        1 |        0
1419.27/1419.53	c 1396s |      15 |  3005796 |   125932 |   616027      0 |        1 |        0
1422.67/1422.91	c 1399s |      15 |  3006467 |   126132 |   616027      0 |        1 |        0
1426.17/1426.46	c 1403s |      15 |  3007108 |   126332 |   616027      0 |        1 |        0
1429.47/1429.70	c 1406s |      15 |  3007716 |   126532 |   616027      0 |        1 |        0
1431.67/1431.98	c 1408s |      15 |  3007987 |   126632 |   616027      0 |        1 |        0
1434.57/1434.89	c 1411s |      15 |  3008991 |   126832 |   616027      0 |        1 |        0
1436.77/1437.01	c 1413s |      15 |  3009609 |   127232 |   616027      0 |        1 |        0
1438.87/1439.16	c 1415s |      15 |  3010586 |   127532 |   616027      0 |        1 |        0
1440.88/1441.19	c 1417s |      15 |  3011756 |   127832 |   616027      0 |        1 |        0
1443.67/1443.98	c 1420s |      15 |  3012815 |   128132 |   616027      0 |        1 |        0
1446.06/1446.31	c 1423s |      15 |  3013821 |   128432 |   616027      0 |        1 |        0
1448.16/1448.46	c 1425s |      15 |  3014355 |   128632 |   616027      0 |        1 |        0
1450.36/1450.63	c 1427s |      15 |  3015061 |   128832 |   616027      0 |        1 |        0
1454.37/1454.63	c 1431s |      15 |  3015797 |   129032 |   616027      0 |        1 |        0
1456.66/1456.94	c 1433s |      15 |  3016346 |   129232 |   616027      0 |        1 |        0
1458.77/1459.02	c 1435s |      15 |  3016574 |   129332 |   616027      0 |        1 |        0
1462.56/1462.83	c 1439s |      15 |  3017163 |   129532 |   616027      0 |        1 |        0
1465.07/1465.39	c 1442s |      15 |  3017386 |   129632 |   616027      0 |        1 |        0
1467.18/1467.44	c 1444s |      15 |  3018206 |   129832 |   616027      0 |        1 |        0
1469.77/1470.05	c 1446s |      15 |  3018873 |   130132 |   616027      0 |        1 |        0
1471.97/1472.21	c 1448s |      15 |  3019599 |   130432 |   616027      0 |        1 |        0
1474.36/1474.62	c 1451s |      15 |  3020100 |   130632 |   677630      0 |        1 |        0
1476.77/1477.05	c 1453s |      15 |  3020821 |   130832 |   677630      0 |        1 |        0
1478.96/1479.24	c 1455s |      15 |  3021449 |   131032 |   677630      0 |        1 |        0
1481.57/1481.89	c 1458s |      15 |  3022184 |   131332 |   677630      0 |        1 |        0
1483.96/1484.28	c 1461s |      15 |  3022783 |   131532 |   677630      0 |        1 |        0
1484.26/1484.57	c 1461s |      16 |  3022868 |   131552 |   677630      0 |        1 |        0
1494.16/1494.44	c 1471s |      16 |  3169695 |   131652 |   677630      0 |        1 |        0
1496.56/1496.82	c 1473s |      16 |  3170309 |   131852 |   677630      0 |        1 |        0
1499.07/1499.36	c 1476s |      16 |  3170857 |   132152 |   677630      0 |        1 |        0
1501.66/1501.96	c 1478s |      16 |  3171354 |   132452 |   677630      0 |        1 |        0
1504.67/1504.94	c 1481s |      16 |  3171927 |   132752 |   677630      0 |        1 |        0
1507.56/1507.88	c 1484s |      16 |  3172617 |   133052 |   677630      0 |        1 |        0
1510.66/1510.91	c 1487s |      16 |  3173104 |   133352 |   677630      0 |        1 |        0
1513.56/1513.89	c 1490s |      16 |  3173722 |   133652 |   677630      0 |        1 |        0
1516.26/1516.56	c 1493s |      16 |  3174384 |   133952 |   677630      0 |        1 |        0
1518.36/1518.66	c 1495s |      16 |  3174962 |   134152 |   677630      0 |        1 |        0
1520.65/1520.95	c 1497s |      16 |  3175509 |   134452 |   677630      0 |        1 |        0
1523.26/1523.54	c 1500s |      16 |  3176200 |   134752 |   677630      0 |        1 |        0
1525.85/1526.14	c 1502s |      16 |  3176916 |   135052 |   677630      0 |        1 |        0
1528.46/1528.77	c 1505s |      16 |  3177592 |   135352 |   677630      0 |        1 |        0
1531.16/1531.45	c 1508s |      16 |  3178250 |   135652 |   677630      0 |        1 |        0
1533.75/1534.03	c 1510s |      16 |  3178895 |   135952 |   677630      0 |        1 |        0
1536.05/1536.38	c 1513s |      16 |  3179496 |   136152 |   677630      0 |        1 |        0
1538.96/1539.24	c 1515s |      16 |  3180450 |   136452 |   677630      0 |        1 |        0
1541.96/1542.30	c 1519s |      16 |  3181194 |   136652 |   677630      0 |        1 |        0
1544.26/1544.59	c 1521s |      16 |  3181514 |   136752 |   677630      0 |        1 |        0
1546.96/1547.21	c 1523s |      16 |  3182090 |   136952 |   677630      0 |        1 |        0
1549.45/1549.78	c 1526s |      16 |  3183241 |   137252 |   677630      0 |        1 |        0
1552.05/1552.37	c 1529s |      16 |  3184149 |   137452 |   677630      0 |        1 |        0
1554.65/1554.91	c 1531s |      16 |  3184964 |   137652 |   677630      0 |        1 |        0
1556.65/1556.98	c 1533s |      16 |  3185743 |   137852 |   677630      0 |        1 |        0
1558.95/1559.26	c 1536s |      16 |  3186640 |   138052 |   677630      0 |        1 |        0
1561.65/1562.00	c 1538s |      16 |  3187681 |   138252 |   677630      0 |        1 |        0
1564.75/1565.05	c 1541s |      16 |  3188119 |   138452 |   677630      0 |        1 |        0
1566.95/1567.29	c 1544s |      16 |  3188729 |   138652 |   677630      0 |        1 |        0
1570.05/1570.35	c 1547s |      16 |  3189603 |   138852 |   677630      0 |        1 |        0
1572.54/1572.85	c 1549s |      16 |  3190264 |   139052 |   677630      0 |        1 |        0
1575.25/1575.50	c 1552s |      16 |  3191038 |   139252 |   677630      0 |        1 |        0
1577.65/1577.98	c 1554s |      16 |  3191625 |   139452 |   677630      0 |        1 |        0
1579.95/1580.22	c 1556s |      16 |  3192059 |   139652 |   677630      0 |        1 |        0
1582.85/1583.12	c 1559s |      16 |  3192748 |   139852 |   677630      0 |        1 |        0
1586.35/1586.65	c 1563s |      16 |  3193245 |   140052 |   677630      0 |        1 |        0
1589.45/1589.73	c 1566s |      16 |  3193938 |   140252 |   677630      0 |        1 |        0
1592.05/1592.31	c 1569s |      16 |  3194528 |   140452 |   677630      0 |        1 |        0
1594.55/1594.86	c 1571s |      16 |  3195063 |   140652 |   677630      0 |        1 |        0
1597.35/1597.63	c 1574s |      16 |  3195624 |   140852 |   677630      0 |        1 |        0
1600.45/1600.72	c 1577s |      16 |  3195953 |   141052 |   677630      0 |        1 |        0
1606.95/1607.23	c 1583s |      16 |  3196309 |   141252 |   677630      0 |        1 |        0
1610.74/1611.03	c 1587s |      16 |  3196449 |   141352 |   677630      0 |        1 |        0
1614.84/1615.16	c 1591s |      16 |  3196584 |   141452 |   677630      0 |        1 |        0
1619.64/1619.98	c 1596s |      16 |  3196706 |   141552 |   677630      0 |        1 |        0
1624.24/1624.57	c 1601s |      16 |  3196809 |   141652 |   677630      0 |        1 |        0
1628.54/1628.82	c 1605s |      16 |  3196956 |   141752 |   677630      0 |        1 |        0
1634.44/1634.73	c 1611s |      16 |  3197068 |   141852 |   677630      0 |        1 |        0
1637.04/1637.36	c 1614s |      16 |  3197474 |   141952 |   677630      0 |        1 |        0
1639.44/1639.70	c 1616s |      16 |  3197713 |   142052 |   677630      0 |        1 |        0
1641.64/1641.92	c 1618s |      16 |  3198014 |   142152 |   677630      0 |        1 |        0
1644.44/1644.73	c 1621s |      16 |  3198196 |   142252 |   677630      0 |        1 |        0
1647.65/1647.95	c 1624s |      16 |  3198557 |   142352 |   677630      0 |        1 |        0
1649.85/1650.17	c 1626s |      16 |  3198855 |   142452 |   677630      0 |        1 |        0
1652.53/1652.80	c 1629s |      16 |  3199186 |   142552 |   677630      0 |        1 |        0
1655.14/1655.45	c 1632s |      16 |  3199513 |   142652 |   677630      0 |        1 |        0
1657.34/1657.67	c 1634s |      16 |  3199855 |   142752 |   677630      0 |        1 |        0
1660.13/1660.49	c 1637s |      16 |  3200085 |   142852 |   677630      0 |        1 |        0
1663.23/1663.54	c 1640s |      16 |  3200351 |   142952 |   677630      0 |        1 |        0
1665.73/1666.05	c 1642s |      16 |  3200627 |   143052 |   677630      0 |        1 |        0
1668.73/1669.00	c 1645s |      16 |  3200977 |   143152 |   677630      0 |        1 |        0
1671.63/1671.96	c 1648s |      16 |  3201317 |   143252 |   677630      0 |        1 |        0
1673.73/1674.07	c 1650s |      16 |  3201537 |   143352 |   677630      0 |        1 |        0
1677.43/1677.72	c 1654s |      16 |  3201698 |   143452 |   677630      0 |        1 |        0
1681.93/1682.26	c 1659s |      16 |  3202047 |   143652 |   677630      0 |        1 |        0
1684.03/1684.39	c 1661s |      16 |  3202167 |   143752 |   677630      0 |        1 |        0
1689.03/1689.39	c 1666s |      16 |  3202490 |   143952 |   677630      0 |        1 |        0
1691.43/1691.72	c 1668s |      16 |  3202707 |   144052 |   677630      0 |        1 |        0
1693.63/1693.94	c 1670s |      16 |  3202856 |   144152 |   677630      0 |        1 |        0
1695.63/1695.97	c 1672s |      16 |  3203060 |   144252 |   677630      0 |        1 |        0
1697.83/1698.16	c 1674s |      16 |  3203226 |   144352 |   677630      0 |        1 |        0
1701.13/1701.48	c 1678s |      16 |  3203339 |   144452 |   677630      0 |        1 |        0
1703.74/1704.06	c 1680s |      16 |  3203475 |   144552 |   677630      0 |        1 |        0
1707.73/1708.04	c 1684s |      16 |  3203589 |   144652 |   677630      0 |        1 |        0
1710.92/1711.29	c 1688s |      16 |  3203801 |   144752 |   677630      0 |        1 |        0
1713.23/1713.51	c 1690s |      16 |  3203936 |   144852 |   677630      0 |        1 |        0
1715.52/1715.84	c 1692s |      16 |  3204068 |   144952 |   677630      0 |        1 |        0
1717.82/1718.11	c 1694s |      16 |  3204194 |   145052 |   677630      0 |        1 |        0
1720.14/1720.47	c 1697s |      16 |  3204323 |   145152 |   677630      0 |        1 |        0
1723.63/1723.93	c 1700s |      16 |  3204467 |   145252 |   677630      0 |        1 |        0
1726.42/1726.70	c 1703s |      16 |  3204636 |   145352 |   677630      0 |        1 |        0
1729.52/1729.89	c 1706s |      16 |  3204760 |   145452 |   677630      0 |        1 |        0
1732.82/1733.17	c 1709s |      16 |  3204888 |   145552 |   677630      0 |        1 |        0
1735.92/1736.20	c 1712s |      16 |  3205156 |   145652 |   677630      0 |        1 |        0
1738.72/1739.10	c 1715s |      16 |  3205312 |   145752 |   677630      0 |        1 |        0
1742.53/1742.81	c 1719s |      16 |  3205422 |   145852 |   677630      0 |        1 |        0
1745.62/1745.97	c 1722s |      16 |  3205669 |   146052 |   677630      0 |        1 |        0
1748.22/1748.51	c 1725s |      16 |  3205895 |   146252 |   677630      0 |        1 |        0
1750.52/1750.86	c 1727s |      16 |  3206102 |   146452 |   677630      0 |        1 |        0
1753.23/1753.53	c 1730s |      16 |  3206331 |   146652 |   677630      0 |        1 |        0
1756.02/1756.38	c 1733s |      16 |  3206487 |   146752 |   677630      0 |        1 |        0
1758.82/1759.19	c 1735s |      16 |  3206612 |   146852 |   677630      0 |        1 |        0
1761.52/1761.80	c 1738s |      16 |  3206736 |   146952 |   677630      0 |        1 |        0
1764.23/1764.55	c 1741s |      16 |  3206871 |   147052 |   677630      0 |        1 |        0
1768.72/1769.06	c 1745s |      16 |  3207326 |   147352 |   677630      0 |        1 |        0
1771.22/1771.55	c 1748s |      16 |  3207670 |   147552 |   677630      0 |        1 |        0
1773.52/1773.81	c 1750s |      16 |  3207949 |   147752 |   677630      0 |        1 |        0
1776.32/1776.69	c 1753s |      16 |  3208299 |   147952 |   677630      0 |        1 |        0
1778.53/1778.82	c 1755s |      16 |  3208512 |   148052 |   677630      0 |        1 |        0
1782.32/1782.62	c 1759s |      16 |  3208982 |   148252 |   677630      0 |        1 |        0
1785.02/1785.32	c 1762s |      16 |  3209190 |   148352 |   677630      0 |        1 |        0
1788.82/1789.10	c 1765s |      16 |  3209685 |   148552 |   677630      0 |        1 |        0
1792.51/1792.80	c 1769s |      16 |  3210097 |   148752 |   677630      0 |        1 |        0
1796.41/1796.75	c 1773s |      16 |  3210495 |   148952 |   677630      0 |        1 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4093082-1466075255/watcher-4093082-1466075255 -o /tmp/evaluation-result-4093082-1466075255/solver-4093082-1466075255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093082-1466075255.wbo 

pid=16294
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: 1.62 1.62 1.93 3/180 16297
/proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 2785 0 0 0 0 0 0 0 20 0 4 0 9571496 763817984 3656 33554432000 4194304 16246674 140736221215296 140736221214720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 187247 3668 441 2943 0 184141 0
[pid=16297/tid=16298] ppid=16294 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 782692352 3726 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 786886656 3742 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 791080960 3760 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 1.62 1.62 1.93 3/180 16297
/proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 24840 0 0 0 6 2 0 0 20 0 4 0 9571496 1333334016 25652 33554432000 4194304 16246674 140736221215296 140736221214608 7402890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 325521 25667 800 2943 0 322415 0
[pid=16297/tid=16298] ppid=16294 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1333334016 25678 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1333334016 25689 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1333334016 25699 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.20059 s]
/proc/loadavg: 1.62 1.62 1.93 3/180 16297
/proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 45800 0 0 0 13 5 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140736221214608 8055451 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 328337 47122 801 2943 0 325231 0
[pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300518 s]
/proc/loadavg: 1.62 1.62 1.93 3/180 16297
/proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 60643 0 0 0 22 7 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140736221214608 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 328337 61965 801 2943 0 325231 0
[pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700439 s]
/proc/loadavg: 1.62 1.62 1.93 3/180 16297
/proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 65581 0 0 0 61 8 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140736221214608 7439436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 328337 66903 801 2943 0 325231 0
[pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 1.62 1.62 1.93 3/185 16302
/proc/meminfo: memFree=29735928/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 80313 0 0 0 139 10 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140736221213184 7361381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 328337 81635 802 2943 0 325231 0
[pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 1.62 1.62 1.93 3/185 16302
/proc/meminfo: memFree=29670828/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 97231 0 0 0 296 12 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140736221197184 6168673 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 328337 98553 834 2943 0 325231 0
[pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 1.73 1.65 1.94 4/185 16302
/proc/meminfo: memFree=29260492/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 175171 0 0 0 605 24 0 0 20 0 4 0 9571496 1344868352 176493 33554432000 4194304 16246674 140736221215296 140736221197184 9616021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 328337 176505 834 2943 0 325231 0
[pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 176511 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 176519 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 176526 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.75 1.65 1.94 3/185 16302
/proc/meminfo: memFree=28010576/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1401412 CPUtime=12.68 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 290993 0 0 0 1227 41 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140736221197184 6757192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 350353 292315 859 2943 0 347247 0
[pid=16297/tid=16298] ppid=16294 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1401412

[startup+25.5005 s]
/proc/loadavg: 1.88 1.68 1.94 3/185 16302
/proc/meminfo: memFree=27643384/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1611332 CPUtime=25.49 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 343483 0 0 0 2501 48 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140736221214608 13950688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 402833 344805 932 2943 0 399727 0
[pid=16297/tid=16298] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1611332

[startup+51.1005 s]
/proc/loadavg: 1.98 1.72 1.95 3/185 16302
/proc/meminfo: memFree=27595120/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1611332 CPUtime=51.08 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 343546 0 0 0 5060 48 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140736221197184 12415760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 402833 344868 932 2943 0 399727 0
[pid=16297/tid=16298] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1611332

[startup+102.301 s]
/proc/loadavg: 2.17 1.81 1.96 4/185 16303
/proc/meminfo: memFree=27594660/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=1611332 CPUtime=102.29 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 343546 0 0 0 10179 50 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140736221197184 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 402833 344868 932 2943 0 399727 0
[pid=16297/tid=16298] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1611332


################
# More data... #
################

[pid=16297] ppid=16294 vsize=3298884 CPUtime=1362.09 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 765234 0 0 0 135769 440 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140736221214392 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 824721 766556 935 2943 0 821615 0
[pid=16297/tid=16298] ppid=16294 vsize=3298884 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3298884 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3298884 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3298884

[startup+1422.3 s]
/proc/loadavg: 2.21 2.23 2.16 3/185 16339
/proc/meminfo: memFree=23966184/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3337796 CPUtime=1422.08 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 775071 0 0 0 141752 456 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140736221214472 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 834449 776393 935 2943 0 831343 0
[pid=16297/tid=16298] ppid=16294 vsize=3337796 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3337796 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3337796 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3337796

[startup+1482.3 s]
/proc/loadavg: 2.22 2.23 2.16 3/185 16340
/proc/meminfo: memFree=23839492/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3415620 CPUtime=1482.06 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 794622 0 0 0 147729 477 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140736221214392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 853905 795944 935 2943 0 850799 0
[pid=16297/tid=16298] ppid=16294 vsize=3415620 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3415620 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3415620 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3415620

[startup+1542.31 s]
/proc/loadavg: 2.20 2.22 2.16 3/185 16342
/proc/meminfo: memFree=23647692/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3473988 CPUtime=1542.06 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 809214 0 0 0 153703 503 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140736221214472 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 868497 810536 935 2943 0 865391 0
[pid=16297/tid=16298] ppid=16294 vsize=3473988 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3473988 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3473988 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3473988

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.16 3/185 16343
/proc/meminfo: memFree=23465192/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3587652 CPUtime=1602.04 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 837630 0 0 0 159681 523 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140736221214472 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 896913 838952 935 2943 0 893807 0
[pid=16297/tid=16298] ppid=16294 vsize=3587652 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3587652 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3587652 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3587652

[startup+1662.3 s]
/proc/loadavg: 2.32 2.25 2.18 3/185 16344
/proc/meminfo: memFree=23253184/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3677764 CPUtime=1662.03 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 860158 0 0 0 165650 553 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140736221214472 4226538 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 919441 861480 935 2943 0 916335 0
[pid=16297/tid=16298] ppid=16294 vsize=3677764 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3677764 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140288446143504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3677764 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3677764

[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/185 16345
/proc/meminfo: memFree=23024192/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3803716 CPUtime=1722.03 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 891618 0 0 0 171629 574 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140736221214472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 950929 892940 935 2943 0 947823 0
[pid=16297/tid=16298] ppid=16294 vsize=3803716 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3803716 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3803716 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3803716

[startup+1782.3 s]
/proc/loadavg: 2.23 2.23 2.18 4/185 16346
/proc/meminfo: memFree=22808296/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3885636 CPUtime=1782.02 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 912126 0 0 0 177603 599 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140736221214472 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 971409 913448 935 2943 0 968303 0
[pid=16297/tid=16298] ppid=16294 vsize=3885636 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3885636 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3885636 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3885636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/185 16346
/proc/meminfo: memFree=22766108/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=3899972 CPUtime=1800.01 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 915710 0 0 0 179395 606 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140736221214392 4220552 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 974993 917032 935 2943 0 971887 0
[pid=16297/tid=16298] ppid=16294 vsize=3899972 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=3899972 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16297/tid=16300] ppid=16294 vsize=3899972 CPUtime=0 cores=1,3,5,7
/proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3899972

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 16297 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 2.31 2.25 2.19 3/185 16346
/proc/meminfo: memFree=22766108/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) Z 16294 16297 12407 0 -1 4203532 915710 0 0 0 179396 616 0 0 20 0 2 0 9571496 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 0 0 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) R 16294 16297 12407 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 9571496 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.12
Current children cumulated vsize (KiB) 0

[startup+1800.5 s]
/proc/loadavg: 2.31 2.25 2.19 3/185 16346
/proc/meminfo: memFree=22766108/32872528 swapFree=1504664/1684536
[pid=16297] ppid=16294 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/16297/stat : 16297 (toysat) Z 16294 16297 12407 0 -1 4203532 915710 0 0 0 179396 626 0 0 20 0 2 0 9571496 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16297/statm: 0 0 0 0 0 0 0
[pid=16297/tid=16299] ppid=16294 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/16297/task/16299/stat : 16299 (toysat) R 16294 16297 12407 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 9571496 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.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.22
CPU user time (s): 1793.96
CPU system time (s): 6.26405
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3899972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 6.26405
maximum resident set size= 3668128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915710
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= 371
involuntary context switches= 1809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6204 second user time and 15.1237 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-16 13:07:36
IDJOB=4093082
IDBENCH=78615
IDSOLVER=2553
FILE ID=node135/4093082-1466075255
RUNJOBID= node135-1466075236-16167
PBS_JOBID= 19904004
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093082-1466075255/watcher-4093082-1466075255 -o /tmp/evaluation-result-4093082-1466075255/solver-4093082-1466075255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093082-1466075255.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d915342d89d3c1a99150a18d4b9b72d0
RANDOM SEED=980321637

node135.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		: 2667.004
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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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		: 2667.004
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.57
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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:        30258824 kB
Buffers:           17384 kB
Cached:           117820 kB
SwapCached:         2276 kB
Active:           181700 kB
Inactive:          42812 kB
Active(anon):      89952 kB
Inactive(anon):     1492 kB
Active(file):      91748 kB
Inactive(file):    41320 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099236 kB
Dirty:             49816 kB
Writeback:             0 kB
AnonPages:       1774836 kB
Mapped:            10140 kB
Shmem:                 0 kB
Slab:             567848 kB
SReclaimable:      11432 kB
SUnreclaim:       556416 kB
KernelStack:        1416 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2815040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 71688 MiB
End job on node135 at 2016-06-16 13:37:36