Trace number 4079311

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_1.opb
MD5SUMed2892e0d2f6125119f9653dabb34672
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5230471
Best CPU time to get the best result obtained on this benchmark1800.73
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 150568768
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 133404724421
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 150568768
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 133404724421
Number of bits of the biggest sum of numbers37
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-07T23:16:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079311-1465334212.opb"]
0.00/0.01	c use --random-gen="3281622658 131925312 3915200035 683130650 2482175544 3531420045 2768096300 3616429156 3107492402 35700620 3163224138 2467108024 502309474 1566309677 2595837555 3279535640 1881504595 870590143 1188883773 2133579393 3191325457 3378172588 419079967 548373806 24226536 1316821210 2336436614 2455270026 3791606233 258227126 3591571340 2328365501 3584495440 3025771006 3328832178 693321528 2468654864 3006606612 3671416388 1020581809 3852635702 384629449 3897337279 2833241303 3034980769 217812956 1877150624 2822251757 881149772 46901205 439868612 3397541143 294815576 1850858170 2736473056 2081909757 2422770394 2309687609 2483902901 3755941409 4109338922 428439385 4205037791 808487163 2260331020 1894784040 650322097 4116113688 132103337 3228068440 3631242385 2305292151 1590667761 1497944789 1355324118 412465854 955878390 2450095545 1941237817 3790655385 3652912363 515911858 1997554039 883051075 2735010382 435885320 3320824924 2209195625 3244859869 4235656056 283988001 1567596876 489536197 471470888 4268642363 285285408 4272473309 3167776787 4119031081 3400161549 1061924432 2579470646 1035720760 177865981 1799620671 1698745558 564920857 3976440415 2760761756 2320454598 1188505088 898620544 3223891067 3179820534 947210014 9948108 2032835150 4015000146 2698222764 2002616043 1263079438 200111237 843840099 2256948339 2422046172 1598166678 3597817755 1353941687 1395893777 2474287050 3173950923 4071447676 2076268310 971896453 1789218103 1774139363 4138343934 2075626864 1680478086 1003827492 803748727 3229051878 2313814279 525450826 4285493146 3480237421 1491014366 1508822629 1934699825 1708810417 3917858519 413456675 2969996669 673972029 884667606 1075425096 140911389 146925630 4203728348 3299226742 2418842511 1971151058 821039997 48659402 2931830041 3039424419 272709283 954143345 1419796901 2891587784 3419334881 4187094838 3268352044 2227803727 3276796330 3045113262 938769303 133500090 517601025 1422734664 3843247281 469812873 3823120979 2244852652 2138354672 1145760571 3674104197 1148660345 133269442 1939171949 1775160841 594660243 3924653253 1778303744 3202619560 950311527 3225083191 1747470979 240689772 3087137962 3109066419 82873439 518825913 2019151074 4040962440 4017834862 1534649345 3387206348 722051807 2538840552 3309739998 3691390094 314906269 3076308193 952400939 227408956 4252528950 182333708 3786382702 2925971856 2622747793 436517788 2108530087 2829931295 717802073 1347513161 2123109593 1520030635 228123513 3322094802 3892638508 2253009749 1119900180 2024355664 2626617197 3774249389 2052608982 979926962 3874233349 700427821 2255487206 1311986403 1784172919 3741035172 1739736744 1982765319 3688154981 1024353553 2139388129 1670559038 157291575 3533455099 2976023355 805719911 1532142042 4154841154 255 362436" option to reproduce the execution
0.19/0.23	c #vars 14620
0.19/0.23	c #constraints 21851
0.99/1.02	c BCD2: Hardening is enabled.
0.99/1.02	c BCD2: BiasedSearch is enabled.
0.99/1.02	c Solving starts ...
0.99/1.02	c ============================[ Search Statistics ]============================
0.99/1.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.02	c =============================================================================
0.99/1.02	c  0.0s |       0 |        0 |        0 |    16917      0 |      170 |        0
1.39/1.47	c  0.4s |       1 |      171 |      100 |    16917      0 |      170 |        0
3.79/3.86	c  2.8s |       1 |      410 |      200 |    18609      0 |      170 |        0
4.99/5.04	c  4.0s |       2 |      486 |      250 |    18609      0 |      170 |        0
6.99/7.04	c  6.0s |       2 |      659 |      350 |    20470      0 |      170 |        0
8.90/8.94	c  7.9s |       3 |      815 |      475 |    20470      0 |      170 |        0
10.99/11.05	c 10.0s |       3 |     1117 |      675 |    22517      0 |      170 |        0
13.30/13.37	c 12.3s |       4 |     1296 |      813 |    22517      0 |      170 |        0
16.39/16.46	c 15.4s |       4 |     1604 |     1013 |    24769      0 |      170 |        0
19.09/19.15	c 18.1s |       4 |     1821 |     1213 |    24769      0 |      170 |        0
20.00/20.05	c 19.0s |       5 |     1934 |     1320 |    24769      0 |      170 |        0
22.99/23.04	c 22.0s |       5 |     2264 |     1520 |    27246      0 |      170 |        0
26.29/26.37	c 25.3s |       5 |     2590 |     1720 |    27246      0 |      170 |        0
29.39/29.43	c 28.4s |       5 |     2848 |     1920 |    27246      0 |      170 |        0
31.49/31.55	c 30.5s |       6 |     3015 |     2081 |    29971      0 |      170 |        0
33.59/33.68	c 32.7s |       6 |     3410 |     2281 |    29971      0 |      170 |        0
36.39/36.49	c 35.5s |       6 |     3688 |     2481 |    29971      0 |      170 |        0
39.19/39.24	c 38.2s |       6 |     3889 |     2681 |    29971      0 |      170 |        0
42.09/42.19	c 41.2s |       6 |     4118 |     2881 |    29971      0 |      170 |        0
44.19/44.21	c 43.2s |       6 |     4366 |     3081 |    29971      0 |      170 |        0
44.99/45.04	c 44.0s |       7 |     4521 |     3223 |    32969      0 |      170 |        0
47.98/48.06	c 47.0s |       7 |     5012 |     3523 |    32969      0 |      170 |        0
50.28/50.32	c 49.3s |       7 |     5249 |     3723 |    32969      0 |      170 |        0
53.28/53.30	c 52.3s |       7 |     5460 |     3923 |    32969      0 |      170 |        0
56.58/56.65	c 55.6s |       7 |     5704 |     4123 |    32969      0 |      170 |        0
59.49/59.58	c 58.6s |       7 |     5973 |     4323 |    32969      0 |      170 |        0
62.79/62.84	c 61.8s |       7 |     6209 |     4523 |    32969      0 |      170 |        0
66.28/66.30	c 65.3s |       7 |     6406 |     4723 |    32969      0 |      170 |        0
68.29/68.32	c 67.3s |       7 |     6518 |     4823 |    32969      0 |      170 |        0
69.68/69.79	c 68.8s |       8 |     6763 |     4936 |    36266      0 |      170 |        0
72.38/72.43	c 71.4s |       8 |     7072 |     5136 |    36266      0 |      170 |        0
74.38/74.48	c 73.5s |       8 |     7166 |     5236 |    36266      0 |      170 |        0
76.78/76.86	c 75.8s |       8 |     7270 |     5336 |    36266      0 |      170 |        0
78.88/78.91	c 77.9s |       8 |     7404 |     5436 |    36266      0 |      170 |        0
81.28/81.32	c 80.3s |       8 |     7526 |     5536 |    36266      0 |      170 |        0
83.38/83.47	c 82.5s |       8 |     7599 |     5636 |    36266      0 |      170 |        0
86.38/86.45	c 85.4s |       8 |     7825 |     5836 |    36266      0 |      170 |        0
88.38/88.49	c 87.5s |       8 |     8027 |     6036 |    36266      0 |      170 |        0
90.88/90.91	c 89.9s |       8 |     8320 |     6336 |    36266      0 |      170 |        0
93.58/93.69	c 92.7s |       8 |     8784 |     6736 |    36266      0 |      170 |        0
96.88/96.99	c 96.0s |       8 |     9124 |     7036 |    36266      0 |      170 |        0
99.57/99.62	c 98.6s |       8 |     9528 |     7336 |    36266      0 |      170 |        0
100.67/100.72	c 99.7s |       9 |     9701 |     7506 |    39893      0 |      170 |        0
103.07/103.13	c  102s |       9 |    10127 |     7806 |    39893      0 |      170 |        0
105.87/105.98	c  104s |       9 |    10505 |     8106 |    39893      0 |      170 |        0
109.08/109.12	c  108s |       9 |    10939 |     8406 |    39893      0 |      170 |        0
111.07/111.15	c  110s |       9 |    11133 |     8606 |    39893      0 |      170 |        0
113.87/113.94	c  112s |       9 |    11358 |     8806 |    39893      0 |      170 |        0
117.17/117.24	c  116s |       9 |    11689 |     9106 |    39893      0 |      170 |        0
119.47/119.54	c  118s |       9 |    11901 |     9306 |    39893      0 |      170 |        0
122.77/122.80	c  121s |       9 |    12231 |     9606 |    39893      0 |      170 |        0
125.17/125.22	c  124s |       9 |    12458 |     9806 |    39893      0 |      170 |        0
128.07/128.17	c  127s |       9 |    12778 |    10106 |    39893      0 |      170 |        0
130.57/130.63	c  129s |       9 |    12999 |    10306 |    39893      0 |      170 |        0
133.47/133.57	c  132s |       9 |    13250 |    10506 |    39893      0 |      170 |        0
135.97/136.08	c  135s |       9 |    13468 |    10706 |    39893      0 |      170 |        0
138.97/139.01	c  137s |       9 |    13797 |    11006 |    39893      0 |      170 |        0
141.87/142.00	c  140s |       9 |    13997 |    11206 |    39893      0 |      170 |        0
143.57/143.67	c  142s |      10 |    14170 |    11361 |    43883      0 |      170 |        0
146.66/146.73	c  145s |      10 |    14513 |    11561 |    43883      0 |      170 |        0
148.67/148.75	c  147s |      10 |    14609 |    11661 |    43883      0 |      170 |        0
151.06/151.16	c  150s |      10 |    14812 |    11861 |    43883      0 |      170 |        0
153.56/153.64	c  152s |      10 |    15152 |    12161 |    43883      0 |      170 |        0
156.56/156.69	c  155s |      10 |    15388 |    12361 |    43883      0 |      170 |        0
159.16/159.20	c  158s |      10 |    15605 |    12561 |    43883      0 |      170 |        0
162.36/162.40	c  161s |      10 |    15797 |    12761 |    43883      0 |      170 |        0
165.46/165.53	c  164s |      10 |    16130 |    13061 |    43883      0 |      170 |        0
167.96/168.05	c  167s |      10 |    16376 |    13261 |    43883      0 |      170 |        0
170.76/170.82	c  169s |      10 |    16612 |    13461 |    43883      0 |      170 |        0
174.06/174.10	c  173s |      10 |    16816 |    13661 |    43883      0 |      170 |        0
176.17/176.29	c  175s |      10 |    17023 |    13861 |    43883      0 |      170 |        0
179.46/179.53	c  178s |      10 |    17242 |    14061 |    43883      0 |      170 |        0
181.57/181.65	c  180s |      10 |    17468 |    14261 |    43883      0 |      170 |        0
184.56/184.65	c  183s |      10 |    17680 |    14461 |    43883      0 |      170 |        0
187.06/187.16	c  186s |      10 |    17973 |    14661 |    43883      0 |      170 |        0
189.56/189.63	c  188s |      10 |    18175 |    14861 |    43883      0 |      170 |        0
192.56/192.61	c  191s |      10 |    18473 |    15161 |    43883      0 |      170 |        0
195.06/195.15	c  194s |      10 |    18693 |    15361 |    43883      0 |      170 |        0
197.65/197.78	c  196s |      10 |    19045 |    15661 |    43883      0 |      170 |        0
199.85/199.91	c  198s |      10 |    19260 |    15861 |    43883      0 |      170 |        0
202.65/202.79	c  201s |      10 |    19593 |    16161 |    43883      0 |      170 |        0
205.95/206.07	c  205s |      10 |    19906 |    16461 |    43883      0 |      170 |        0
209.06/209.15	c  208s |      10 |    20280 |    16761 |    43883      0 |      170 |        0
212.15/212.29	c  211s |      10 |    20473 |    16961 |    43883      0 |      170 |        0
214.45/214.54	c  213s |      11 |    20692 |    17144 |    48272      0 |      170 |        0
217.35/217.44	c  216s |      11 |    20999 |    17344 |    48272      0 |      170 |        0
220.06/220.14	c  219s |      11 |    21191 |    17544 |    48272      0 |      170 |        0
222.95/223.02	c  222s |      11 |    21432 |    17744 |    48272      0 |      170 |        0
225.96/226.01	c  224s |      11 |    21734 |    18044 |    48272      0 |      170 |        0
228.56/228.69	c  227s |      11 |    21943 |    18244 |    48272      0 |      170 |        0
232.36/232.46	c  231s |      11 |    22144 |    18444 |    48272      0 |      170 |        0
235.16/235.22	c  234s |      11 |    22357 |    18644 |    48272      0 |      170 |        0
238.16/238.28	c  237s |      11 |    22711 |    18944 |    48272      0 |      170 |        0
241.46/241.57	c  240s |      11 |    22928 |    19144 |    48272      0 |      170 |        0
244.65/244.77	c  243s |      11 |    23156 |    19344 |    48272      0 |      170 |        0
247.95/248.09	c  247s |      11 |    23404 |    19544 |    48272      0 |      170 |        0
251.15/251.24	c  250s |      11 |    23637 |    19744 |    48272      0 |      170 |        0
254.26/254.35	c  253s |      11 |    23837 |    19944 |    48272      0 |      170 |        0
256.65/256.72	c  255s |      11 |    24046 |    20144 |    48272      0 |      170 |        0
259.15/259.25	c  258s |      11 |    24339 |    20444 |    48272      0 |      170 |        0
262.45/262.59	c  261s |      11 |    24557 |    20644 |    48272      0 |      170 |        0
265.16/265.27	c  264s |      11 |    24842 |    20844 |    48272      0 |      170 |        0
268.15/268.25	c  267s |      11 |    25065 |    21044 |    48272      0 |      170 |        0
270.66/270.78	c  269s |      11 |    25283 |    21244 |    48272      0 |      170 |        0
273.45/273.59	c  272s |      11 |    25501 |    21444 |    48272      0 |      170 |        0
276.16/276.24	c  275s |      11 |    25741 |    21644 |    48272      0 |      170 |        0
278.85/278.96	c  277s |      11 |    26037 |    21944 |    48272      0 |      170 |        0
281.35/281.47	c  280s |      11 |    26268 |    22144 |    48272      0 |      170 |        0
284.15/284.28	c  283s |      11 |    26499 |    22344 |    48272      0 |      170 |        0
287.05/287.20	c  286s |      11 |    26728 |    22544 |    48272      0 |      170 |        0
289.25/289.30	c  288s |      11 |    26823 |    22644 |    48272      0 |      170 |        0
293.15/293.20	c  292s |      11 |    27039 |    22844 |    48272      0 |      170 |        0
295.85/295.91	c  294s |      11 |    27237 |    23044 |    48272      0 |      170 |        0
298.74/298.80	c  297s |      11 |    27436 |    23244 |    48272      0 |      170 |        0
300.84/300.94	c  299s |      11 |    27563 |    23344 |    48272      0 |      170 |        0
302.84/302.95	c  301s |      11 |    27654 |    23444 |    48272      0 |      170 |        0
306.34/306.47	c  305s |      11 |    27881 |    23644 |    48272      0 |      170 |        0
309.04/309.13	c  308s |      11 |    28079 |    23844 |    48272      0 |      170 |        0
312.34/312.49	c  311s |      11 |    28302 |    24044 |    48272      0 |      170 |        0
314.75/314.81	c  313s |      11 |    28505 |    24244 |    48272      0 |      170 |        0
317.04/317.10	c  316s |      11 |    28839 |    24544 |    48272      0 |      170 |        0
319.54/319.63	c  318s |      11 |    29061 |    24744 |    48272      0 |      170 |        0
321.64/321.71	c  320s |      11 |    29160 |    24844 |    48272      0 |      170 |        0
324.54/324.69	c  323s |      11 |    29395 |    25044 |    48272      0 |      170 |        0
326.64/326.79	c  325s |      11 |    29593 |    25244 |    48272      0 |      170 |        0
330.24/330.39	c  329s |      11 |    29790 |    25444 |    48272      0 |      170 |        0
332.74/332.89	c  331s |      11 |    30120 |    25744 |    53100      0 |      170 |        0
333.64/333.73	c  332s |      12 |    30192 |    25819 |    53100      0 |      170 |        0
335.74/335.81	c  334s |      12 |    30367 |    25919 |    53100      0 |      170 |        0
338.23/338.32	c  337s |      12 |    30611 |    26119 |    53100      0 |      170 |        0
342.24/342.36	c  341s |      12 |    30819 |    26319 |    53100      0 |      170 |        0
344.44/344.57	c  343s |      12 |    30977 |    26419 |    53100      0 |      170 |        0
347.93/348.06	c  347s |      12 |    31156 |    26619 |    53100      0 |      170 |        0
350.63/350.70	c  349s |      12 |    31409 |    26819 |    53100      0 |      170 |        0
352.83/352.91	c  351s |      12 |    31616 |    27019 |    53100      0 |      170 |        0
356.33/356.44	c  355s |      12 |    31827 |    27219 |    53100      0 |      170 |        0
358.74/358.87	c  357s |      12 |    32035 |    27419 |    53100      0 |      170 |        0
361.14/361.23	c  360s |      12 |    32322 |    27719 |    53100      0 |      170 |        0
364.14/364.22	c  363s |      12 |    32656 |    28019 |    53100      0 |      170 |        0
367.24/367.37	c  366s |      12 |    32855 |    28219 |    53100      0 |      170 |        0
370.44/370.57	c  369s |      12 |    33124 |    28419 |    53100      0 |      170 |        0
372.94/373.01	c  371s |      12 |    33429 |    28719 |    53100      0 |      170 |        0
375.94/376.07	c  375s |      12 |    33753 |    29019 |    53100      0 |      170 |        0
378.14/378.25	c  377s |      12 |    34039 |    29219 |    53100      0 |      170 |        0
380.24/380.35	c  379s |      12 |    34253 |    29419 |    53100      0 |      170 |        0
382.63/382.71	c  381s |      12 |    34577 |    29719 |    53100      0 |      170 |        0
385.63/385.74	c  384s |      12 |    34923 |    30019 |    53100      0 |      170 |        0
387.73/387.87	c  386s |      12 |    35134 |    30219 |    53100      0 |      170 |        0
390.33/390.49	c  389s |      12 |    35388 |    30419 |    53100      0 |      170 |        0
393.13/393.21	c  392s |      12 |    35626 |    30619 |    53100      0 |      170 |        0
396.04/396.11	c  395s |      12 |    35835 |    30819 |    53100      0 |      170 |        0
398.24/398.39	c  397s |      12 |    36043 |    31019 |    53100      0 |      170 |        0
400.54/400.69	c  399s |      12 |    36265 |    31219 |    53100      0 |      170 |        0
402.93/403.05	c  402s |      12 |    36486 |    31419 |    53100      0 |      170 |        0
405.73/405.84	c  404s |      12 |    36715 |    31619 |    53100      0 |      170 |        0
409.93/410.02	c  409s |      12 |    37045 |    31919 |    53100      0 |      170 |        0
412.23/412.39	c  411s |      12 |    37264 |    32119 |    53100      0 |      170 |        0
415.33/415.43	c  414s |      12 |    37479 |    32319 |    53100      0 |      170 |        0
418.23/418.36	c  417s |      12 |    37686 |    32519 |    53100      0 |      170 |        0
420.23/420.38	c  419s |      12 |    37906 |    32719 |    53100      0 |      170 |        0
423.13/423.26	c  422s |      12 |    38239 |    33019 |    53100      0 |      170 |        0
425.83/425.99	c  424s |      12 |    38463 |    33219 |    53100      0 |      170 |        0
429.03/429.19	c  428s |      12 |    38788 |    33519 |    53100      0 |      170 |        0
431.42/431.59	c  430s |      12 |    39123 |    33819 |    53100      0 |      170 |        0
433.72/433.84	c  432s |      12 |    39436 |    34119 |    53100      0 |      170 |        0
435.82/435.93	c  434s |      12 |    39757 |    34419 |    53100      0 |      170 |        0
438.32/438.43	c  437s |      12 |    40083 |    34719 |    53100      0 |      170 |        0
441.02/441.19	c  440s |      12 |    40417 |    35019 |    53100      0 |      170 |        0
443.52/443.65	c  442s |      12 |    40836 |    35419 |    53100      0 |      170 |        0
445.92/446.08	c  445s |      12 |    41156 |    35719 |    53100      0 |      170 |        0
448.12/448.24	c  447s |      12 |    41464 |    36019 |    53100      0 |      170 |        0
450.82/450.91	c  449s |      12 |    41805 |    36319 |    53100      0 |      170 |        0
453.12/453.23	c  452s |      12 |    42062 |    36519 |    53100      0 |      170 |        0
455.72/455.80	c  454s |      12 |    42264 |    36719 |    53100      0 |      170 |        0
458.02/458.13	c  457s |      12 |    42468 |    36919 |    53100      0 |      170 |        0
461.03/461.12	c  460s |      12 |    42682 |    37119 |    53100      0 |      170 |        0
463.32/463.40	c  462s |      12 |    42889 |    37319 |    53100      0 |      170 |        0
465.72/465.87	c  464s |      12 |    43097 |    37519 |    53100      0 |      170 |        0
468.42/468.51	c  467s |      12 |    43293 |    37719 |    53100      0 |      170 |        0
470.62/470.76	c  469s |      12 |    43603 |    38019 |    53100      0 |      170 |        0
473.42/473.57	c  472s |      12 |    43828 |    38219 |    53100      0 |      170 |        0
475.72/475.84	c  474s |      12 |    44127 |    38519 |    53100      0 |      170 |        0
478.32/478.41	c  477s |      12 |    44342 |    38719 |    58411      0 |      170 |        0
479.62/479.73	c  478s |      13 |    44452 |    38832 |    58411      0 |      170 |        0
482.21/482.35	c  481s |      13 |    44820 |    39032 |    58411      0 |      170 |        0
486.11/486.25	c  485s |      13 |    45067 |    39232 |    58411      0 |      170 |        0
488.42/488.51	c  487s |      13 |    45145 |    39332 |    58411      0 |      170 |        0
490.41/490.56	c  489s |      13 |    45255 |    39432 |    58411      0 |      170 |        0
492.41/492.58	c  491s |      13 |    45358 |    39532 |    58411      0 |      170 |        0
495.21/495.38	c  494s |      13 |    45568 |    39732 |    58411      0 |      170 |        0
498.32/498.41	c  497s |      13 |    46107 |    39932 |    58411      0 |      170 |        0
500.52/500.69	c  499s |      13 |    46305 |    40132 |    58411      0 |      170 |        0
503.92/504.04	c  503s |      13 |    46655 |    40432 |    58411      0 |      170 |        0
506.61/506.79	c  505s |      13 |    46980 |    40632 |    58411      0 |      170 |        0
509.01/509.13	c  508s |      13 |    47173 |    40832 |    58411      0 |      170 |        0
512.31/512.42	c  511s |      13 |    47483 |    41132 |    58411      0 |      170 |        0
514.81/515.00	c  513s |      13 |    47880 |    41432 |    58411      0 |      170 |        0
517.91/518.03	c  517s |      13 |    48162 |    41632 |    58411      0 |      170 |        0
520.31/520.48	c  519s |      13 |    48403 |    41832 |    58411      0 |      170 |        0
523.21/523.37	c  522s |      13 |    48699 |    42132 |    58411      0 |      170 |        0
526.21/526.33	c  525s |      13 |    48920 |    42332 |    58411      0 |      170 |        0
529.61/529.70	c  528s |      13 |    49191 |    42532 |    58411      0 |      170 |        0
532.61/532.71	c  531s |      13 |    49395 |    42732 |    58411      0 |      170 |        0
535.40/535.59	c  534s |      13 |    49591 |    42932 |    58411      0 |      170 |        0
538.40/538.54	c  537s |      13 |    49895 |    43232 |    58411      0 |      170 |        0
541.10/541.21	c  540s |      13 |    50084 |    43432 |    58411      0 |      170 |        0
543.90/544.03	c  543s |      13 |    50391 |    43732 |    58411      0 |      170 |        0
546.60/546.79	c  545s |      13 |    50598 |    43932 |    58411      0 |      170 |        0
548.80/548.94	c  547s |      13 |    50788 |    44132 |    58411      0 |      170 |        0
551.11/551.29	c  550s |      13 |    50988 |    44332 |    58411      0 |      170 |        0
553.50/553.65	c  552s |      13 |    51104 |    44432 |    58411      0 |      170 |        0
556.90/557.08	c  556s |      13 |    51311 |    44632 |    58411      0 |      170 |        0
559.10/559.20	c  558s |      13 |    51406 |    44732 |    58411      0 |      170 |        0
562.40/562.52	c  561s |      13 |    51619 |    44932 |    58411      0 |      170 |        0
565.80/565.94	c  564s |      13 |    51874 |    45132 |    58411      0 |      170 |        0
569.30/569.43	c  568s |      13 |    52133 |    45332 |    58411      0 |      170 |        0
572.11/572.25	c  571s |      13 |    52238 |    45432 |    58411      0 |      170 |        0
574.61/574.72	c  573s |      13 |    52344 |    45532 |    58411      0 |      170 |        0
577.41/577.59	c  576s |      13 |    52555 |    45732 |    58411      0 |      170 |        0
581.70/581.89	c  580s |      13 |    52830 |    45932 |    58411      0 |      170 |        0
584.90/585.03	c  584s |      13 |    53038 |    46132 |    58411      0 |      170 |        0
587.90/588.04	c  587s |      13 |    53253 |    46332 |    58411      0 |      170 |        0
590.10/590.29	c  589s |      13 |    53448 |    46532 |    58411      0 |      170 |        0
593.60/593.78	c  592s |      13 |    53762 |    46832 |    58411      0 |      170 |        0
595.80/595.92	c  594s |      13 |    53853 |    46932 |    58411      0 |      170 |        0
598.80/598.98	c  597s |      13 |    54076 |    47132 |    58411      0 |      170 |        0
602.10/602.21	c  601s |      13 |    54288 |    47332 |    58411      0 |      170 |        0
604.80/604.96	c  603s |      13 |    54512 |    47532 |    58411      0 |      170 |        0
609.10/609.28	c  608s |      13 |    54732 |    47732 |    58411      0 |      170 |        0
611.10/611.29	c  610s |      13 |    54830 |    47832 |    58411      0 |      170 |        0
614.20/614.34	c  613s |      13 |    55147 |    48132 |    58411      0 |      170 |        0
616.40/616.50	c  615s |      13 |    55255 |    48232 |    58411      0 |      170 |        0
618.70/618.82	c  617s |      13 |    55357 |    48332 |    58411      0 |      170 |        0
622.30/622.44	c  621s |      13 |    55587 |    48532 |    58411      0 |      170 |        0
624.60/624.72	c  623s |      13 |    55705 |    48632 |    58411      0 |      170 |        0
626.80/626.99	c  625s |      13 |    55840 |    48732 |    58411      0 |      170 |        0
629.20/629.38	c  628s |      13 |    56031 |    48932 |    58411      0 |      170 |        0
631.99/632.15	c  631s |      13 |    56358 |    49232 |    58411      0 |      170 |        0
634.19/634.35	c  633s |      13 |    56561 |    49432 |    58411      0 |      170 |        0
636.69/636.87	c  635s |      13 |    56774 |    49632 |    58411      0 |      170 |        0
639.69/639.81	c  638s |      13 |    57110 |    49932 |    58411      0 |      170 |        0
641.69/641.89	c  640s |      13 |    57355 |    50132 |    58411      0 |      170 |        0
644.49/644.63	c  643s |      13 |    57697 |    50432 |    58411      0 |      170 |        0
647.19/647.39	c  646s |      13 |    57973 |    50632 |    58411      0 |      170 |        0
649.49/649.63	c  648s |      13 |    58194 |    50832 |    58411      0 |      170 |        0
651.49/651.64	c  650s |      13 |    58410 |    51032 |    58411      0 |      170 |        0
654.09/654.21	c  653s |      13 |    58680 |    51232 |    58411      0 |      170 |        0
657.09/657.22	c  656s |      13 |    59026 |    51532 |    58411      0 |      170 |        0
659.79/659.96	c  658s |      13 |    59280 |    51732 |    58411      0 |      170 |        0
662.49/662.68	c  661s |      13 |    59545 |    51932 |    58411      0 |      170 |        0
666.48/666.61	c  665s |      13 |    59863 |    52232 |    58411      0 |      170 |        0
669.89/670.04	c  669s |      13 |    60162 |    52532 |    58411      0 |      170 |        0
672.48/672.68	c  671s |      13 |    60394 |    52732 |    58411      0 |      170 |        0
676.08/676.26	c  675s |      13 |    60601 |    52932 |    58411      0 |      170 |        0
678.98/679.15	c  678s |      13 |    60824 |    53132 |    58411      0 |      170 |        0
681.28/681.45	c  680s |      13 |    61025 |    53332 |    58411      0 |      170 |        0
683.78/683.92	c  682s |      13 |    61230 |    53532 |    58411      0 |      170 |        0
686.08/686.22	c  685s |      13 |    61327 |    53632 |    58411      0 |      170 |        0
689.18/689.39	c  688s |      13 |    61540 |    53832 |    58411      0 |      170 |        0
691.78/691.95	c  690s |      13 |    61752 |    54032 |    58411      0 |      170 |        0
695.58/695.77	c  694s |      13 |    62097 |    54332 |    58411      0 |      170 |        0
699.38/699.59	c  698s |      13 |    62300 |    54532 |    58411      0 |      170 |        0
702.38/702.56	c  701s |      13 |    62520 |    54732 |    58411      0 |      170 |        0
704.68/704.82	c  703s |      13 |    62712 |    54932 |    58411      0 |      170 |        0
707.28/707.48	c  706s |      13 |    62932 |    55132 |    58411      0 |      170 |        0
709.38/709.50	c  708s |      13 |    63123 |    55332 |    58411      0 |      170 |        0
711.58/711.71	c  710s |      13 |    63364 |    55532 |    58411      0 |      170 |        0
714.58/714.78	c  713s |      13 |    63596 |    55732 |    58411      0 |      170 |        0
717.67/717.81	c  716s |      13 |    63815 |    55932 |    58411      0 |      170 |        0
720.27/720.47	c  719s |      13 |    64015 |    56132 |    58411      0 |      170 |        0
722.37/722.58	c  721s |      13 |    64208 |    56332 |    58411      0 |      170 |        0
724.57/724.72	c  723s |      13 |    64410 |    56532 |    58411      0 |      170 |        0
727.68/727.86	c  726s |      13 |    64715 |    56832 |    58411      0 |      170 |        0
729.88/730.02	c  728s |      13 |    64905 |    57032 |    58411      0 |      170 |        0
731.88/732.08	c  731s |      13 |    65127 |    57232 |    58411      0 |      170 |        0
734.48/734.63	c  733s |      13 |    65316 |    57432 |    58411      0 |      170 |        0
736.48/736.69	c  735s |      13 |    65425 |    57532 |    58411      0 |      170 |        0
738.88/739.00	c  737s |      13 |    65631 |    57732 |    58411      0 |      170 |        0
741.18/741.37	c  740s |      13 |    65857 |    57932 |    58411      0 |      170 |        0
743.69/743.82	c  742s |      13 |    65963 |    58032 |    64253      0 |      170 |        0
745.79/746.00	c  744s |      13 |    66056 |    58132 |    64253      0 |      170 |        0
748.58/748.75	c  747s |      13 |    66297 |    58332 |    64253      0 |      170 |        0
748.68/748.87	c  747s |      14 |    66338 |    58352 |    64253      0 |      170 |        0
751.39/751.56	c  750s |      14 |    66511 |    58452 |    64253      0 |      170 |        0
754.78/754.97	c  753s |      14 |    66738 |    58652 |    64253      0 |      170 |        0
758.08/758.25	c  757s |      14 |    66959 |    58852 |    64253      0 |      170 |        0
760.38/760.59	c  759s |      14 |    67104 |    58952 |    64253      0 |      170 |        0
764.18/764.38	c  763s |      14 |    67370 |    59152 |    64253      0 |      170 |        0
766.28/766.40	c  765s |      14 |    67472 |    59252 |    64253      0 |      170 |        0
769.58/769.74	c  768s |      14 |    67686 |    59452 |    64253      0 |      170 |        0
772.07/772.24	c  771s |      14 |    67915 |    59652 |    64253      0 |      170 |        0
775.58/775.71	c  774s |      14 |    68172 |    59852 |    64253      0 |      170 |        0
778.27/778.40	c  777s |      14 |    68267 |    59952 |    64253      0 |      170 |        0
780.57/780.72	c  779s |      14 |    68496 |    60152 |    64253      0 |      170 |        0
782.67/782.87	c  781s |      14 |    68710 |    60352 |    64253      0 |      170 |        0
785.27/785.48	c  784s |      14 |    68924 |    60552 |    64253      0 |      170 |        0
787.87/788.06	c  787s |      14 |    69120 |    60752 |    64253      0 |      170 |        0
790.67/790.82	c  789s |      14 |    69435 |    60952 |    64253      0 |      170 |        0
792.87/793.04	c  792s |      14 |    69665 |    61152 |    64253      0 |      170 |        0
795.77/795.94	c  794s |      14 |    70029 |    61452 |    64253      0 |      170 |        0
798.68/798.89	c  797s |      14 |    70280 |    61652 |    64253      0 |      170 |        0
801.17/801.39	c  800s |      14 |    70490 |    61852 |    64253      0 |      170 |        0
804.18/804.35	c  803s |      14 |    70802 |    62152 |    64253      0 |      170 |        0
807.07/807.27	c  806s |      14 |    71048 |    62352 |    64253      0 |      170 |        0
809.57/809.73	c  808s |      14 |    71276 |    62552 |    64253      0 |      170 |        0
811.67/811.87	c  810s |      14 |    71477 |    62752 |    64253      0 |      170 |        0
814.47/814.67	c  813s |      14 |    71691 |    62952 |    64253      0 |      170 |        0
817.67/817.80	c  816s |      14 |    71895 |    63152 |    64253      0 |      170 |        0
820.27/820.45	c  819s |      14 |    71986 |    63252 |    64253      0 |      170 |        0
823.06/823.22	c  822s |      14 |    72273 |    63452 |    64253      0 |      170 |        0
825.46/825.64	c  824s |      14 |    72477 |    63652 |    64253      0 |      170 |        0
828.76/828.95	c  827s |      14 |    72687 |    63852 |    64253      0 |      170 |        0
830.96/831.19	c  830s |      14 |    72981 |    64052 |    64253      0 |      170 |        0
833.26/833.43	c  832s |      14 |    73093 |    64152 |    64253      0 |      170 |        0
836.96/837.17	c  836s |      14 |    73294 |    64352 |    64253      0 |      170 |        0
839.06/839.23	c  838s |      14 |    73444 |    64452 |    64253      0 |      170 |        0
841.16/841.30	c  840s |      14 |    73530 |    64552 |    64253      0 |      170 |        0
843.56/843.74	c  842s |      14 |    73661 |    64652 |    64253      0 |      170 |        0
847.66/847.82	c  846s |      14 |    73878 |    64852 |    64253      0 |      170 |        0
849.76/849.98	c  848s |      14 |    73967 |    64952 |    64253      0 |      170 |        0
852.95/853.15	c  852s |      14 |    74202 |    65152 |    64253      0 |      170 |        0
855.35/855.52	c  854s |      14 |    74390 |    65352 |    64253      0 |      170 |        0
858.35/858.52	c  857s |      14 |    74593 |    65552 |    64253      0 |      170 |        0
861.85/862.09	c  861s |      14 |    74804 |    65752 |    64253      0 |      170 |        0
864.35/864.57	c  863s |      14 |    74902 |    65852 |    64253      0 |      170 |        0
867.05/867.24	c  866s |      14 |    75116 |    66052 |    64253      0 |      170 |        0
869.95/870.20	c  869s |      14 |    75339 |    66252 |    64253      0 |      170 |        0
872.44/872.62	c  871s |      14 |    75562 |    66452 |    64253      0 |      170 |        0
874.84/875.08	c  874s |      14 |    75907 |    66752 |    64253      0 |      170 |        0
877.04/877.26	c  876s |      14 |    76211 |    66952 |    64253      0 |      170 |        0
879.64/879.88	c  878s |      14 |    76411 |    67152 |    64253      0 |      170 |        0
881.64/881.88	c  880s |      14 |    76517 |    67252 |    64253      0 |      170 |        0
884.24/884.46	c  883s |      14 |    76758 |    67452 |    64253      0 |      170 |        0
887.14/887.38	c  886s |      14 |    76960 |    67652 |    64253      0 |      170 |        0
890.24/890.41	c  889s |      14 |    77194 |    67852 |    64253      0 |      170 |        0
894.84/895.07	c  894s |      14 |    77505 |    68152 |    64253      0 |      170 |        0
898.14/898.32	c  897s |      14 |    77724 |    68352 |    64253      0 |      170 |        0
900.64/900.87	c  899s |      14 |    77925 |    68552 |    64253      0 |      170 |        0
903.53/903.75	c  902s |      14 |    78148 |    68752 |    64253      0 |      170 |        0
906.03/906.21	c  905s |      14 |    78392 |    68952 |    64253      0 |      170 |        0
909.23/909.41	c  908s |      14 |    78610 |    69152 |    64253      0 |      170 |        0
911.83/912.09	c  911s |      14 |    78824 |    69352 |    64253      0 |      170 |        0
914.33/914.50	c  913s |      14 |    79052 |    69552 |    64253      0 |      170 |        0
916.73/916.99	c  915s |      14 |    79280 |    69752 |    64253      0 |      170 |        0
919.23/919.43	c  918s |      14 |    79467 |    69952 |    64253      0 |      170 |        0
921.22/921.47	c  920s |      14 |    79766 |    70152 |    64253      0 |      170 |        0
923.32/923.54	c  922s |      14 |    79978 |    70352 |    64253      0 |      170 |        0
925.42/925.63	c  924s |      14 |    80283 |    70652 |    64253      0 |      170 |        0
927.52/927.72	c  926s |      14 |    80588 |    70952 |    64253      0 |      170 |        0
929.92/930.12	c  929s |      14 |    80892 |    71252 |    64253      0 |      170 |        0
931.92/932.19	c  931s |      14 |    81186 |    71552 |    64253      0 |      170 |        0
934.13/934.36	c  933s |      14 |    81491 |    71852 |    64253      0 |      170 |        0
936.63/936.85	c  935s |      14 |    81796 |    72152 |    64253      0 |      170 |        0
939.13/939.38	c  938s |      14 |    82086 |    72452 |    64253      0 |      170 |        0
941.72/941.91	c  940s |      14 |    82383 |    72752 |    64253      0 |      170 |        0
944.32/944.54	c  943s |      14 |    82682 |    73052 |    64253      0 |      170 |        0
949.52/949.71	c  948s |      14 |    82902 |    73252 |    64253      1 |      170 |        0
952.22/952.44	c  951s |      14 |    83112 |    73452 |    64253      1 |      170 |        0
954.82/955.01	c  953s |      14 |    83304 |    73652 |    64253      1 |      170 |        0
956.92/957.19	c  956s |      14 |    83515 |    73852 |    64253      1 |      170 |        0
959.92/960.14	c  959s |      14 |    83936 |    74252 |    64253      1 |      170 |        0
961.91/962.18	c  961s |      14 |    84231 |    74552 |    64253      1 |      170 |        0
964.31/964.55	c  963s |      14 |    84541 |    74852 |    64253      1 |      170 |        0
967.01/967.29	c  966s |      14 |    84828 |    75152 |    64253      1 |      170 |        0
969.21/969.48	c  968s |      14 |    85136 |    75452 |    64253      1 |      170 |        0
971.61/971.82	c  970s |      14 |    85421 |    75752 |    64253      1 |      170 |        0
975.50/975.76	c  974s |      14 |    85525 |    75852 |    64253      1 |      170 |        0
978.91/979.10	c  978s |      14 |    85868 |    76152 |    64253      1 |      170 |        0
981.99/982.22	c  981s |      14 |    86123 |    76352 |    64253      1 |      170 |        0
984.69/984.94	c  983s |      14 |    86450 |    76652 |    64253      1 |      170 |        0
987.09/987.38	c  986s |      14 |    86785 |    76952 |    64253      1 |      170 |        0
989.69/989.99	c  988s |      14 |    87198 |    77352 |    64253      1 |      170 |        0
992.59/992.85	c  991s |      14 |    87501 |    77652 |    64253      1 |      170 |        0
995.50/995.73	c  994s |      14 |    87823 |    77952 |    64253      1 |      170 |        0
997.70/997.93	c  996s |      14 |    88039 |    78152 |    64253      1 |      170 |        0
1000.10/1000.39	c  999s |      14 |    88329 |    78452 |    64253      1 |      170 |        0
1002.69/1002.92	c 1001s |      14 |    88641 |    78752 |    64253      1 |      170 |        0
1004.69/1004.98	c 1003s |      14 |    88949 |    79052 |    64253      1 |      170 |        0
1007.39/1007.64	c 1006s |      14 |    89182 |    79252 |    64253      1 |      170 |        0
1010.19/1010.41	c 1009s |      14 |    89500 |    79552 |    64253      1 |      170 |        0
1012.79/1013.04	c 1012s |      14 |    89826 |    79852 |    64253      1 |      170 |        0
1015.29/1015.60	c 1014s |      14 |    90131 |    80152 |    64253      1 |      170 |        0
1017.59/1017.86	c 1016s |      14 |    90433 |    80452 |    64253      1 |      170 |        0
1019.69/1019.94	c 1018s |      14 |    90650 |    80652 |    64253      1 |      170 |        0
1022.68/1022.99	c 1021s |      14 |    90955 |    80952 |    64253      1 |      170 |        0
1024.98/1025.28	c 1024s |      14 |    91269 |    81252 |    64253      1 |      170 |        0
1027.08/1027.30	c 1026s |      14 |    91483 |    81452 |    64253      1 |      170 |        0
1029.68/1029.92	c 1028s |      14 |    91797 |    81752 |    64253      1 |      170 |        0
1032.08/1032.30	c 1031s |      14 |    92003 |    81952 |    64253      1 |      170 |        0
1034.38/1034.63	c 1033s |      14 |    92305 |    82252 |    64253      1 |      170 |        0
1036.88/1037.17	c 1036s |      14 |    92514 |    82452 |    64253      1 |      170 |        0
1039.18/1039.47	c 1038s |      14 |    92741 |    82652 |    64253      1 |      170 |        0
1041.68/1041.99	c 1040s |      14 |    92930 |    82852 |    64253      1 |      170 |        0
1043.97/1044.27	c 1043s |      14 |    93148 |    83052 |    64253      1 |      170 |        0
1046.08/1046.39	c 1045s |      14 |    93342 |    83252 |    64253      1 |      170 |        0
1048.28/1048.58	c 1047s |      14 |    93662 |    83552 |    64253      1 |      170 |        0
1050.77/1051.04	c 1050s |      14 |    93964 |    83852 |    64253      1 |      170 |        0
1052.96/1053.25	c 1052s |      14 |    94182 |    84052 |    64253      1 |      170 |        0
1055.46/1055.70	c 1054s |      14 |    94486 |    84352 |    64253      1 |      170 |        0
1057.96/1058.22	c 1057s |      14 |    94789 |    84652 |    64253      1 |      170 |        0
1060.56/1060.86	c 1059s |      14 |    95225 |    85052 |    64253      1 |      170 |        0
1063.06/1063.33	c 1062s |      14 |    95539 |    85352 |    64253      1 |      170 |        0
1065.66/1065.92	c 1064s |      14 |    95862 |    85652 |    64253      1 |      170 |        0
1067.86/1068.19	c 1067s |      14 |    96185 |    85952 |    64253      1 |      170 |        0
1070.66/1070.94	c 1069s |      14 |    96494 |    86252 |    64253      1 |      170 |        0
1074.16/1074.41	c 1073s |      14 |    96814 |    86552 |    64253      1 |      170 |        0
1076.86/1077.15	c 1076s |      14 |    97026 |    86752 |    64253      1 |      170 |        0
1079.55/1079.82	c 1078s |      14 |    97236 |    86952 |    64253      1 |      170 |        0
1081.85/1082.18	c 1081s |      14 |    97440 |    87152 |    70679      1 |      170 |        0
1084.75/1085.07	c 1084s |      14 |    97644 |    87352 |    70679      1 |      170 |        0
1087.65/1088.00	c 1086s |      14 |    97862 |    87552 |    70679      1 |      170 |        0
1088.75/1089.01	c 1087s |      15 |    97931 |    87632 |    70679      1 |      170 |        0
1091.25/1091.53	c 1090s |      15 |    98133 |    87732 |    70679      1 |      170 |        0
1094.04/1094.37	c 1093s |      15 |    98261 |    87832 |    70679      1 |      170 |        0
1096.94/1097.25	c 1096s |      15 |    98353 |    87932 |    70679      1 |      170 |        0
1100.04/1100.35	c 1099s |      15 |    98460 |    88032 |    70679      1 |      170 |        0
1103.25/1103.53	c 1102s |      15 |    98579 |    88132 |    70679      1 |      170 |        0
1111.64/1111.98	c 1110s |      15 |    98692 |    88232 |    70679      1 |      170 |        0
1114.24/1114.56	c 1113s |      15 |    98808 |    88332 |    70679      1 |      170 |        0
1118.04/1118.33	c 1117s |      15 |    99011 |    88532 |    70679      1 |      170 |        0
1121.13/1121.45	c 1120s |      15 |    99259 |    88732 |    70679      1 |      170 |        0
1124.63/1124.93	c 1123s |      15 |    99466 |    88932 |    70679      1 |      170 |        0
1127.93/1128.29	c 1127s |      15 |    99670 |    89132 |    70679      1 |      170 |        0
1130.83/1131.14	c 1130s |      15 |    99860 |    89332 |    70679      1 |      170 |        0
1133.13/1133.42	c 1132s |      15 |   100091 |    89532 |    70679      1 |      170 |        0
1135.33/1135.60	c 1134s |      15 |   100198 |    89632 |    70679      1 |      170 |        0
1138.13/1138.42	c 1137s |      15 |   100305 |    89732 |    70679      1 |      170 |        0
1140.73/1141.07	c 1140s |      15 |   100412 |    89832 |    70679      1 |      170 |        0
1143.42/1143.72	c 1142s |      15 |   100527 |    89932 |    70679      1 |      170 |        0
1145.92/1146.30	c 1145s |      15 |   100655 |    90032 |    70679      1 |      170 |        0
1149.43/1149.73	c 1148s |      15 |   100869 |    90232 |    70679      1 |      170 |        0
1153.32/1153.68	c 1152s |      15 |   101103 |    90432 |    70679      1 |      170 |        0
1155.42/1155.76	c 1154s |      15 |   101232 |    90532 |    70679      1 |      170 |        0
1158.82/1159.19	c 1158s |      15 |   101437 |    90732 |    70679      1 |      170 |        0
1161.52/1161.84	c 1160s |      15 |   101628 |    90932 |    70679      1 |      170 |        0
1164.22/1164.51	c 1163s |      15 |   101827 |    91132 |    70679      1 |      170 |        0
1166.52/1166.84	c 1165s |      15 |   101972 |    91232 |    70679      1 |      170 |        0
1168.72/1169.00	c 1167s |      15 |   102088 |    91332 |    70679      1 |      170 |        0
1172.01/1172.36	c 1171s |      15 |   102325 |    91532 |    70679      1 |      170 |        0
1174.11/1174.47	c 1173s |      15 |   102454 |    91632 |    70679      1 |      170 |        0
1176.41/1176.74	c 1175s |      15 |   102548 |    91732 |    70679      1 |      170 |        0
1180.22/1180.51	c 1179s |      15 |   102758 |    91932 |    70679      1 |      170 |        0
1183.52/1183.86	c 1182s |      15 |   102986 |    92132 |    70679      1 |      170 |        0
1186.21/1186.53	c 1185s |      15 |   103290 |    92332 |    70679      1 |      170 |        0
1189.71/1190.07	c 1189s |      15 |   103664 |    92632 |    70679      1 |      170 |        0
1193.42/1193.79	c 1192s |      15 |   103872 |    92832 |    70679      1 |      170 |        0
1197.01/1197.35	c 1196s |      15 |   104089 |    93032 |    70679      1 |      170 |        0
1200.91/1201.30	c 1200s |      15 |   104357 |    93232 |    70679      1 |      170 |        0
1204.21/1204.57	c 1203s |      15 |   104549 |    93432 |    70679      1 |      170 |        0
1206.62/1206.93	c 1205s |      15 |   104755 |    93632 |    70679      1 |      170 |        0
1210.11/1210.45	c 1209s |      15 |   104974 |    93832 |    70679      1 |      170 |        0
1213.61/1213.98	c 1212s |      15 |   105191 |    94032 |    70679      1 |      170 |        0
1216.61/1216.95	c 1215s |      15 |   105416 |    94232 |    70679      1 |      170 |        0
1218.61/1219.00	c 1217s |      15 |   105514 |    94332 |    70679      1 |      170 |        0
1221.00/1221.31	c 1220s |      15 |   105729 |    94532 |    70679      1 |      170 |        0
1223.80/1224.16	c 1223s |      15 |   105938 |    94732 |    70679      1 |      170 |        0
1226.00/1226.33	c 1225s |      15 |   106051 |    94832 |    70679      1 |      170 |        0
1230.00/1230.30	c 1229s |      15 |   106274 |    95032 |    70679      1 |      170 |        0
1233.01/1233.31	c 1232s |      15 |   106486 |    95232 |    70679      1 |      170 |        0
1235.80/1236.17	c 1235s |      15 |   106687 |    95432 |    70679      1 |      170 |        0
1238.80/1239.13	c 1238s |      15 |   106923 |    95632 |    70679      1 |      170 |        0
1241.82/1242.15	c 1241s |      15 |   107137 |    95832 |    70679      1 |      170 |        0
1244.41/1244.77	c 1243s |      15 |   107402 |    96032 |    70679      1 |      170 |        0
1247.11/1247.43	c 1246s |      15 |   107620 |    96232 |    70679      1 |      170 |        0
1250.01/1250.32	c 1249s |      15 |   107992 |    96532 |    70679      1 |      170 |        0
1252.11/1252.48	c 1251s |      15 |   108207 |    96732 |    70679      1 |      170 |        0
1254.51/1254.82	c 1253s |      15 |   108412 |    96932 |    70679      1 |      170 |        0
1256.81/1257.12	c 1256s |      15 |   108621 |    97132 |    70679      1 |      170 |        0
1259.01/1259.30	c 1258s |      15 |   108822 |    97332 |    70679      1 |      170 |        0
1261.90/1262.24	c 1261s |      15 |   109135 |    97632 |    70679      1 |      170 |        0
1264.00/1264.39	c 1263s |      15 |   109378 |    97832 |    70679      1 |      170 |        0
1267.50/1267.84	c 1266s |      15 |   109721 |    98032 |    70679      1 |      170 |        0
1269.80/1270.12	c 1269s |      15 |   109920 |    98232 |    70679      1 |      170 |        0
1272.40/1272.73	c 1271s |      15 |   110190 |    98432 |    70679      1 |      170 |        0
1274.90/1275.26	c 1274s |      15 |   110437 |    98632 |    70679      1 |      170 |        0
1278.50/1278.80	c 1277s |      15 |   110646 |    98832 |    70679      1 |      170 |        0
1282.20/1282.55	c 1281s |      15 |   110958 |    99132 |    70679      1 |      170 |        0
1285.60/1285.94	c 1284s |      15 |   111162 |    99332 |    70679      1 |      170 |        0
1287.80/1288.16	c 1287s |      15 |   111275 |    99432 |    70679      1 |      170 |        0
1291.40/1291.75	c 1290s |      15 |   111472 |    99632 |    70679      1 |      170 |        0
1294.20/1294.53	c 1293s |      15 |   111681 |    99832 |    70679      1 |      170 |        0
1297.70/1298.01	c 1296s |      15 |   111906 |   100032 |    70679      1 |      170 |        0
1300.00/1300.31	c 1299s |      15 |   112004 |   100132 |    70679      1 |      170 |        0
1302.20/1302.57	c 1301s |      15 |   112119 |   100232 |    70679      1 |      170 |        0
1305.40/1305.79	c 1304s |      15 |   112372 |   100432 |    70679      1 |      170 |        0
1307.60/1307.95	c 1306s |      15 |   112474 |   100532 |    70679      1 |      170 |        0
1311.10/1311.49	c 1310s |      15 |   112698 |   100732 |    70679      1 |      170 |        0
1313.30/1313.65	c 1312s |      15 |   112805 |   100832 |    70679      1 |      170 |        0
1316.19/1316.59	c 1315s |      15 |   113001 |   101032 |    70679      1 |      170 |        0
1318.99/1319.33	c 1318s |      15 |   113214 |   101232 |    70679      1 |      170 |        0
1321.29/1321.60	c 1320s |      15 |   113327 |   101332 |    70679      1 |      170 |        0
1323.49/1323.89	c 1322s |      15 |   113444 |   101432 |    70679      1 |      170 |        0
1326.79/1327.13	c 1326s |      15 |   113643 |   101632 |    70679      1 |      170 |        0
1328.79/1329.14	c 1328s |      15 |   113743 |   101732 |    70679      1 |      170 |        0
1331.90/1332.28	c 1331s |      15 |   113952 |   101932 |    70679      1 |      170 |        0
1334.39/1334.74	c 1333s |      15 |   114166 |   102132 |    70679      1 |      170 |        0
1336.79/1337.12	c 1336s |      15 |   114279 |   102232 |    70679      1 |      170 |        0
1339.79/1340.19	c 1339s |      15 |   114485 |   102432 |    70679      1 |      170 |        0
1342.19/1342.55	c 1341s |      15 |   114686 |   102632 |    70679      1 |      170 |        0
1344.49/1344.87	c 1343s |      15 |   114802 |   102732 |    70679      1 |      170 |        0
1346.79/1347.14	c 1346s |      15 |   114904 |   102832 |    70679      1 |      170 |        0
1350.19/1350.59	c 1349s |      15 |   115120 |   103032 |    70679      1 |      170 |        0
1352.59/1352.93	c 1351s |      15 |   115244 |   103132 |    70679      1 |      170 |        0
1354.69/1355.00	c 1353s |      15 |   115353 |   103232 |    70679      1 |      170 |        0
1358.29/1358.62	c 1357s |      15 |   115535 |   103432 |    70679      1 |      170 |        0
1360.89/1361.29	c 1360s |      15 |   115738 |   103632 |    70679      1 |      170 |        0
1363.98/1364.34	c 1363s |      15 |   115943 |   103832 |    70679      1 |      170 |        0
1367.58/1367.98	c 1366s |      15 |   116144 |   104032 |    70679      1 |      170 |        0
1370.28/1370.70	c 1369s |      15 |   116339 |   104232 |    70679      1 |      170 |        0
1373.69/1374.07	c 1373s |      15 |   116548 |   104432 |    70679      1 |      170 |        0
1376.99/1377.39	c 1376s |      15 |   116747 |   104632 |    70679      1 |      170 |        0
1379.58/1379.96	c 1378s |      15 |   116954 |   104832 |    70679      1 |      170 |        0
1383.38/1383.78	c 1382s |      15 |   117163 |   105032 |    70679      1 |      170 |        0
1386.48/1386.84	c 1385s |      15 |   117349 |   105232 |    70679      1 |      170 |        0
1389.38/1389.78	c 1388s |      15 |   117568 |   105432 |    70679      1 |      170 |        0
1391.58/1391.99	c 1390s |      15 |   117671 |   105532 |    70679      1 |      170 |        0
1394.08/1394.49	c 1393s |      15 |   117776 |   105632 |    70679      1 |      170 |        0
1398.68/1399.07	c 1398s |      15 |   117975 |   105832 |    70679      1 |      170 |        0
1401.98/1402.33	c 1401s |      15 |   118092 |   105932 |    70679      1 |      170 |        0
1405.08/1405.43	c 1404s |      15 |   118199 |   106032 |    70679      1 |      170 |        0
1408.88/1409.27	c 1408s |      15 |   118388 |   106232 |    70679      1 |      170 |        0
1412.18/1412.52	c 1411s |      15 |   118583 |   106432 |    70679      1 |      170 |        0
1414.67/1415.07	c 1414s |      15 |   118805 |   106632 |    70679      1 |      170 |        0
1417.07/1417.47	c 1416s |      15 |   119006 |   106832 |    70679      1 |      170 |        0
1420.27/1420.64	c 1419s |      15 |   119299 |   107032 |    70679      1 |      170 |        0
1422.97/1423.38	c 1422s |      15 |   119493 |   107232 |    70679      1 |      170 |        0
1426.37/1426.76	c 1425s |      15 |   119758 |   107432 |    70679      1 |      170 |        0
1429.67/1430.02	c 1429s |      15 |   119979 |   107632 |    70679      1 |      170 |        0
1432.77/1433.15	c 1432s |      15 |   120280 |   107832 |    70679      1 |      170 |        0
1435.28/1435.69	c 1434s |      15 |   120495 |   108032 |    70679      1 |      170 |        0
1437.77/1438.13	c 1437s |      15 |   120751 |   108232 |    70679      1 |      170 |        0
1440.67/1441.01	c 1439s |      15 |   120957 |   108432 |    70679      1 |      170 |        0
1443.08/1443.42	c 1442s |      15 |   121180 |   108632 |    70679      1 |      170 |        0
1445.28/1445.60	c 1444s |      15 |   121393 |   108832 |    70679      1 |      170 |        0
1447.97/1448.31	c 1447s |      15 |   121601 |   109032 |    70679      1 |      170 |        0
1450.57/1450.98	c 1449s |      15 |   121805 |   109232 |    70679      1 |      170 |        0
1453.07/1453.49	c 1452s |      15 |   122071 |   109432 |    70679      1 |      170 |        0
1456.58/1456.92	c 1455s |      15 |   122307 |   109632 |    70679      1 |      170 |        0
1459.08/1459.46	c 1458s |      15 |   122589 |   109832 |    70679      1 |      170 |        0
1462.17/1462.55	c 1461s |      15 |   122881 |   110032 |    70679      1 |      170 |        0
1464.77/1465.17	c 1464s |      15 |   123071 |   110232 |    70679      1 |      170 |        0
1467.37/1467.74	c 1466s |      15 |   123271 |   110432 |    70679      1 |      170 |        0
1469.97/1470.32	c 1469s |      15 |   123475 |   110632 |    70679      1 |      170 |        0
1472.68/1473.10	c 1472s |      15 |   123729 |   110832 |    70679      1 |      170 |        0
1476.08/1476.49	c 1475s |      15 |   123928 |   111032 |    70679      1 |      170 |        0
1478.18/1478.60	c 1477s |      15 |   124046 |   111132 |    70679      1 |      170 |        0
1480.67/1481.00	c 1479s |      15 |   124255 |   111332 |    70679      1 |      170 |        0
1482.68/1483.06	c 1482s |      15 |   124368 |   111432 |    70679      1 |      170 |        0
1486.47/1486.86	c 1485s |      15 |   124559 |   111632 |    70679      1 |      170 |        0
1489.97/1490.35	c 1489s |      15 |   124783 |   111832 |    70679      1 |      170 |        0
1493.87/1494.25	c 1493s |      15 |   124995 |   112032 |    70679      1 |      170 |        0
1497.07/1497.46	c 1496s |      15 |   125196 |   112232 |    70679      1 |      170 |        0
1500.37/1500.75	c 1499s |      15 |   125439 |   112432 |    70679      1 |      170 |        0
1502.57/1502.96	c 1501s |      15 |   125578 |   112532 |    70679      1 |      170 |        0
1504.77/1505.20	c 1504s |      15 |   125679 |   112632 |    70679      1 |      170 |        0
1508.57/1508.90	c 1507s |      15 |   125932 |   112832 |    70679      1 |      170 |        0
1511.27/1511.66	c 1510s |      15 |   126031 |   112932 |    70679      1 |      170 |        0
1514.86/1515.27	c 1514s |      15 |   126232 |   113132 |    70679      1 |      170 |        0
1518.16/1518.56	c 1517s |      15 |   126430 |   113332 |    70679      1 |      170 |        0
1521.36/1521.79	c 1520s |      15 |   126630 |   113532 |    70679      1 |      170 |        0
1523.66/1524.09	c 1523s |      15 |   126750 |   113632 |    70679      1 |      170 |        0
1527.06/1527.49	c 1526s |      15 |   126994 |   113832 |    70679      1 |      170 |        0
1529.16/1529.59	c 1528s |      15 |   127115 |   113932 |    70679      1 |      170 |        0
1532.46/1532.89	c 1531s |      15 |   127322 |   114132 |    70679      1 |      170 |        0
1535.26/1535.64	c 1534s |      15 |   127543 |   114332 |    70679      1 |      170 |        0
1537.76/1538.11	c 1537s |      15 |   127656 |   114432 |    70679      1 |      170 |        0
1539.96/1540.36	c 1539s |      15 |   127751 |   114532 |    70679      1 |      170 |        0
1542.07/1542.43	c 1541s |      15 |   127877 |   114632 |    70679      1 |      170 |        0
1544.36/1544.76	c 1543s |      15 |   127998 |   114732 |    70679      1 |      170 |        0
1548.36/1548.75	c 1547s |      15 |   128193 |   114932 |    70679      1 |      170 |        0
1550.36/1550.78	c 1549s |      15 |   128317 |   115032 |    70679      1 |      170 |        0
1552.66/1553.05	c 1552s |      15 |   128407 |   115132 |    70679      1 |      170 |        0
1555.46/1555.83	c 1554s |      15 |   128601 |   115332 |    70679      1 |      170 |        0
1558.46/1558.87	c 1557s |      15 |   128839 |   115532 |    70679      1 |      170 |        0
1561.86/1562.26	c 1561s |      15 |   129048 |   115732 |    70679      1 |      170 |        0
1566.95/1567.37	c 1566s |      15 |   129142 |   115832 |    70679      2 |      170 |        0
1569.57/1569.94	c 1568s |      15 |   129254 |   115932 |    70679      2 |      170 |        0
1572.66/1573.00	c 1571s |      15 |   129459 |   116132 |    70679      2 |      170 |        0
1574.66/1575.02	c 1573s |      15 |   129653 |   116332 |    70679      2 |      170 |        0
1578.16/1578.57	c 1577s |      15 |   129922 |   116532 |    70679      2 |      170 |        0
1581.86/1582.23	c 1581s |      15 |   130109 |   116732 |    70679      2 |      170 |        0
1585.06/1585.41	c 1584s |      15 |   130314 |   116932 |    70679      2 |      170 |        0
1588.26/1588.63	c 1587s |      15 |   130520 |   117132 |    70679      2 |      170 |        0
1590.25/1590.65	c 1589s |      15 |   130609 |   117232 |    70679      2 |      170 |        0
1593.05/1593.41	c 1592s |      15 |   130727 |   117332 |    70679      2 |      170 |        0
1595.75/1596.13	c 1595s |      15 |   130829 |   117432 |    70679      2 |      170 |        0
1598.55/1598.96	c 1597s |      15 |   131049 |   117632 |    70679      2 |      170 |        0
1600.75/1601.12	c 1600s |      15 |   131141 |   117732 |    70679      2 |      170 |        0
1602.85/1603.26	c 1602s |      15 |   131279 |   117832 |    70679      2 |      170 |        0
1606.25/1606.67	c 1605s |      15 |   131477 |   118032 |    70679      2 |      170 |        0
1608.75/1609.10	c 1608s |      15 |   131673 |   118232 |    70679      2 |      170 |        0
1612.55/1612.96	c 1611s |      15 |   131890 |   118432 |    70679      2 |      170 |        0
1615.55/1615.94	c 1614s |      15 |   132106 |   118632 |    70679      2 |      170 |        0
1617.75/1618.13	c 1617s |      15 |   132200 |   118732 |    70679      2 |      170 |        0
1620.35/1620.75	c 1619s |      15 |   132420 |   118932 |    70679      2 |      170 |        0
1622.45/1622.81	c 1621s |      15 |   132524 |   119032 |    70679      2 |      170 |        0
1624.45/1624.90	c 1623s |      15 |   132643 |   119132 |    70679      2 |      170 |        0
1626.65/1627.05	c 1626s |      15 |   132743 |   119232 |    70679      2 |      170 |        0
1629.84/1630.24	c 1629s |      15 |   132941 |   119432 |    70679      2 |      170 |        0
1632.74/1633.10	c 1632s |      15 |   133049 |   119532 |    70679      2 |      170 |        0
1635.14/1635.52	c 1634s |      15 |   133201 |   119632 |    70679      2 |      170 |        0
1638.24/1638.60	c 1637s |      15 |   133395 |   119832 |    70679      2 |      170 |        0
1640.44/1640.83	c 1639s |      15 |   133587 |   120032 |    70679      2 |      170 |        0
1644.04/1644.42	c 1643s |      15 |   133812 |   120232 |    70679      2 |      170 |        0
1647.55/1647.92	c 1646s |      15 |   134062 |   120432 |    70679      2 |      170 |        0
1652.34/1652.72	c 1651s |      15 |   134278 |   120632 |    70679      2 |      170 |        0
1655.64/1656.02	c 1654s |      15 |   134482 |   120832 |    70679      2 |      170 |        0
1658.24/1658.67	c 1657s |      15 |   134678 |   121032 |    70679      2 |      170 |        0
1660.85/1661.27	c 1660s |      15 |   134921 |   121232 |    70679      2 |      170 |        0
1663.14/1663.58	c 1662s |      15 |   135016 |   121332 |    70679      2 |      170 |        0
1666.74/1667.10	c 1666s |      15 |   135209 |   121532 |    70679      2 |      170 |        0
1669.14/1669.55	c 1668s |      15 |   135412 |   121732 |    70679      2 |      170 |        0
1673.04/1673.43	c 1672s |      15 |   135632 |   121932 |    70679      2 |      170 |        0
1676.54/1676.91	c 1675s |      15 |   135864 |   122132 |    70679      2 |      170 |        0
1679.84/1680.29	c 1679s |      15 |   136070 |   122332 |    70679      2 |      170 |        0
1682.84/1683.27	c 1682s |      15 |   136168 |   122432 |    70679      2 |      170 |        0
1685.53/1685.90	c 1684s |      15 |   136288 |   122532 |    70679      2 |      170 |        0
1687.83/1688.23	c 1687s |      15 |   136426 |   122632 |    70679      2 |      170 |        0
1691.03/1691.43	c 1690s |      15 |   136637 |   122832 |    70679      2 |      170 |        0
1695.53/1695.97	c 1694s |      15 |   136854 |   123032 |    70679      2 |      170 |        0
1699.13/1699.50	c 1698s |      15 |   137048 |   123232 |    70679      2 |      170 |        0
1701.63/1702.07	c 1701s |      15 |   137253 |   123432 |    70679      2 |      170 |        0
1703.83/1704.26	c 1703s |      15 |   137453 |   123632 |    70679      2 |      170 |        0
1707.33/1707.75	c 1706s |      15 |   137658 |   123832 |    70679      2 |      170 |        0
1710.43/1710.84	c 1709s |      15 |   137852 |   124032 |    70679      2 |      170 |        0
1712.73/1713.18	c 1712s |      15 |   138053 |   124232 |    70679      2 |      170 |        0
1715.63/1716.09	c 1715s |      15 |   138260 |   124432 |    70679      2 |      170 |        0
1718.93/1719.32	c 1718s |      15 |   138455 |   124632 |    70679      2 |      170 |        0
1721.53/1721.95	c 1720s |      15 |   138652 |   124832 |    70679      2 |      170 |        0
1724.23/1724.68	c 1723s |      15 |   138869 |   125032 |    70679      2 |      170 |        0
1727.63/1728.01	c 1726s |      15 |   139060 |   125232 |    70679      2 |      170 |        0
1730.33/1730.72	c 1729s |      15 |   139256 |   125432 |    70679      2 |      170 |        0
1733.62/1734.08	c 1733s |      15 |   139489 |   125632 |    70679      2 |      170 |        0
1735.93/1736.39	c 1735s |      15 |   139596 |   125732 |    70679      2 |      170 |        0
1739.23/1739.64	c 1738s |      15 |   139809 |   125932 |    70679      2 |      170 |        0
1741.33/1741.77	c 1740s |      15 |   139916 |   126032 |    70679      2 |      170 |        0
1744.23/1744.66	c 1743s |      15 |   140030 |   126132 |    70679      2 |      170 |        0
1752.52/1752.95	c 1751s |      15 |   140116 |   126232 |    70679      2 |      170 |        0
1754.72/1755.11	c 1754s |      15 |   140236 |   126332 |    70679      2 |      170 |        0
1756.92/1757.33	c 1756s |      15 |   140317 |   126432 |    70679      2 |      170 |        0
1759.32/1759.76	c 1758s |      15 |   140451 |   126532 |    70679      2 |      170 |        0
1762.52/1762.91	c 1761s |      15 |   140732 |   126732 |    70679      2 |      170 |        0
1766.02/1766.40	c 1765s |      15 |   140945 |   126932 |    70679      2 |      170 |        0
1769.22/1769.68	c 1768s |      15 |   141153 |   127132 |    70679      2 |      170 |        0
1771.62/1772.09	c 1771s |      15 |   141347 |   127332 |    70679      2 |      170 |        0
1775.52/1775.90	c 1774s |      15 |   141565 |   127532 |    70679      2 |      170 |        0
1777.92/1778.36	c 1777s |      15 |   141689 |   127632 |    70679      2 |      170 |        0
1780.52/1780.97	c 1779s |      15 |   141784 |   127732 |    70679      2 |      170 |        0
1784.32/1784.72	c 1783s |      15 |   142011 |   127932 |    70679      2 |      170 |        0
1786.52/1786.91	c 1785s |      15 |   142125 |   128032 |    70679      2 |      170 |        0
1789.43/1789.89	c 1788s |      15 |   142230 |   128132 |    70679      2 |      170 |        0
1792.83/1793.25	c 1792s |      15 |   142444 |   128332 |    70679      2 |      170 |        0
1795.32/1795.74	c 1794s |      15 |   142636 |   128532 |    70679      2 |      170 |        0
1798.72/1799.18	c 1798s |      15 |   142869 |   128732 |    70679      2 |      170 |        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-4079311-1465334212/watcher-4079311-1465334212 -o /tmp/evaluation-result-4079311-1465334212/solver-4079311-1465334212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079311-1465334212.opb 

pid=21584
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.18 2.17 3/179 21587
/proc/meminfo: memFree=29253340/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=668092 CPUtime=0 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 2482 0 0 0 0 0 0 0 20 0 4 0 115354044 684126208 3354 33554432000 4194304 16246674 140737133724896 140737133724320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 167791 3363 441 2943 0 164685 0
[pid=21587/tid=21588] ppid=21584 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 701952000 3422 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 706146304 3439 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 711389184 3456 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.20 2.18 2.17 3/179 21587
/proc/meminfo: memFree=29253340/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 30100 0 0 0 5 4 0 0 20 0 4 0 115354044 1334382592 30911 33554432000 4194304 16246674 140737133724896 140737133724208 7372101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 325777 30927 800 2943 0 322671 0
[pid=21587/tid=21588] ppid=21584 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1334382592 30938 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1334382592 30950 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1334382592 30960 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200588 s]
/proc/loadavg: 2.20 2.18 2.17 3/179 21587
/proc/meminfo: memFree=29253340/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 48950 0 0 0 12 7 0 0 20 0 4 0 115354044 1344868352 50271 33554432000 4194304 16246674 140737133724896 140737133724208 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 328337 50271 801 2943 0 325231 0
[pid=21587/tid=21588] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 50271 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 50271 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 50271 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300507 s]
/proc/loadavg: 2.20 2.18 2.17 3/179 21587
/proc/meminfo: memFree=29253340/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 52266 0 0 0 21 8 0 0 20 0 4 0 115354044 1344868352 53587 33554432000 4194304 16246674 140737133724896 140737133722688 13241073 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 328337 53587 838 2943 0 325231 0
[pid=21587/tid=21588] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 53587 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 53587 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 53587 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700424 s]
/proc/loadavg: 2.20 2.18 2.17 3/179 21587
/proc/meminfo: memFree=29253340/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 110772 0 0 0 51 18 0 0 20 0 4 0 115354044 1344868352 112094 33554432000 4194304 16246674 140737133724896 140737133722688 6769209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 328337 112102 839 2943 0 325231 0
[pid=21587/tid=21588] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 112107 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 112114 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1344868352 112119 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50045 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 21591
/proc/meminfo: memFree=28751612/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124281 0 0 0 129 20 0 0 20 0 4 0 115354044 1357451264 125602 33554432000 4194304 16246674 140737133724896 140737133706816 5531040 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125602 888 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125602 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125602 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125602 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10043 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 21591
/proc/meminfo: memFree=28751244/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124283 0 0 0 289 20 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 140737133706752 5721801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125604 890 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30042 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 21591
/proc/meminfo: memFree=28751632/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124283 0 0 0 609 20 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 140737133706816 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125604 890 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 21591
/proc/meminfo: memFree=28751420/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124283 0 0 0 1249 20 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 140737133706816 12478006 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125604 890 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125604 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5075 s]
/proc/loadavg: 2.19 2.18 2.17 3/183 21591
/proc/meminfo: memFree=28751916/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=25.5 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124287 0 0 0 2530 20 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 140737133706816 5601733 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125608 894 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1325636

[startup+51.1004 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 21591
/proc/meminfo: memFree=28751448/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124287 0 0 0 5088 20 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 140737133706816 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125608 894 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.32 2.21 2.18 4/183 21592
/proc/meminfo: memFree=28751468/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1325636 CPUtime=102.27 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 124287 0 0 0 10207 20 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 140737133706816 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 331409 125608 894 2943 0 328303 0
[pid=21587/tid=21588] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1357451264 125608 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1325636


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

/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1368644

[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.20 3/183 21671
/proc/meminfo: memFree=28271916/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1368644 CPUtime=1361.98 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 149090 0 0 0 136167 31 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 140737133706816 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 342161 284170 899 2943 0 339055 0
[pid=21587/tid=21588] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1368644

[startup+1422.3 s]
/proc/loadavg: 2.29 2.25 2.21 3/184 21676
/proc/meminfo: memFree=28174724/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1368644 CPUtime=1421.97 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 149090 0 0 0 142166 31 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 140737133706816 5722180 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 342161 284170 899 2943 0 339055 0
[pid=21587/tid=21588] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1368644

[startup+1482.3 s]
/proc/loadavg: 2.33 2.26 2.21 4/183 21677
/proc/meminfo: memFree=28115576/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1368644 CPUtime=1481.97 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 149090 0 0 0 148165 32 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 140737133706816 5829313 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 342161 284170 899 2943 0 339055 0
[pid=21587/tid=21588] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1368644

[startup+1542.3 s]
/proc/loadavg: 2.25 2.25 2.21 3/183 21678
/proc/meminfo: memFree=28116148/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1368644 CPUtime=1541.96 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 149090 0 0 0 154164 32 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 140737133706816 5829752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 342161 284170 899 2943 0 339055 0
[pid=21587/tid=21588] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1401491456 284170 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1368644

[startup+1602.3 s]
/proc/loadavg: 2.39 2.29 2.22 3/183 21679
/proc/meminfo: memFree=28103728/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1380932 CPUtime=1601.95 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 152162 0 0 0 160162 33 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 140737133706816 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 345233 287242 899 2943 0 342127 0
[pid=21587/tid=21588] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1380932

[startup+1662.31 s]
/proc/loadavg: 2.14 2.23 2.20 4/183 21680
/proc/meminfo: memFree=28103840/32872528 swapFree=16208/1518548
[pid=21587] ppid=21584 vsize=1380932 CPUtime=1661.95 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 152162 0 0 0 166162 33 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 140737133706816 5711784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 345233 287242 899 2943 0 342127 0
[pid=21587/tid=21588] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.13 2.22 2.20 3/183 21682
/proc/meminfo: memFree=28103704/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1380932 CPUtime=1721.93 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 152162 0 0 0 172160 33 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 140737133706816 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 345233 287242 899 2943 0 342127 0
[pid=21587/tid=21588] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 2.19 3/183 21683
/proc/meminfo: memFree=28102892/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1380932 CPUtime=1781.92 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 152162 0 0 0 178158 34 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 140737133706816 5829048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 345233 287242 899 2943 0 342127 0
[pid=21587/tid=21588] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.21 2.19 4/183 21684
/proc/meminfo: memFree=28103008/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1380932 CPUtime=1800.02 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 152162 0 0 0 179968 34 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 140737133706816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 345233 287242 899 2943 0 342127 0
[pid=21587/tid=21588] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1380932

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

[startup+1800.4 s]
/proc/loadavg: 2.17 2.21 2.19 4/183 21684
/proc/meminfo: memFree=28103008/32872528 swapFree=16204/1518544
[pid=21587] ppid=21584 vsize=1380932 CPUtime=1800.02 cores=1,3,5,7
/proc/21587/stat : 21587 (toysat) R 21584 21587 19387 0 -1 4202496 152162 0 0 0 179968 34 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 140737133706816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21587/statm: 345233 287242 899 2943 0 342127 0
[pid=21587/tid=21588] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21588/stat : 21588 (toysat) S 21584 21587 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901710347504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21587/tid=21589] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21589/stat : 21589 (toysat) S 21584 21587 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901699857648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21587/tid=21590] ppid=21584 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21587/task/21590/stat : 21590 (toysat) S 21584 21587 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115354044 1414074368 287242 33554432000 4194304 16246674 140737133724896 139901580340400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1380932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.69
CPU system time (s): 0.347947
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.347947
maximum resident set size= 1148968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152162
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= 163
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6484 second user time and 18.4842 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 23:16:52
IDJOB=4079311
IDBENCH=92738
IDSOLVER=2542
FILE ID=node129/4079311-1465334212
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079311-1465334212/watcher-4079311-1465334212 -o /tmp/evaluation-result-4079311-1465334212/solver-4079311-1465334212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079311-1465334212.opb

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

MD5SUM BENCH= ed2892e0d2f6125119f9653dabb34672
RANDOM SEED=2058392330

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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:        29253984 kB
Buffers:           41324 kB
Cached:           198392 kB
SwapCached:         1836 kB
Active:          1224192 kB
Inactive:         136520 kB
Active(anon):    1118960 kB
Inactive(anon):     4524 kB
Active(file):     105232 kB
Inactive(file):   131996 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             17488 kB
Writeback:             0 kB
AnonPages:       2749432 kB
Mapped:            11836 kB
Shmem:                 0 kB
Slab:             604340 kB
SReclaimable:      48588 kB
SUnreclaim:       555752 kB
KernelStack:        1520 kB
PageTables:         9296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2784664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1996800 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= 71704 MiB
End job on node129 at 2016-06-07 23:46:52