Trace number 4079314

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.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_7.opb
MD5SUMc97ea0ca4046b53674ada05533ed4cde
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12818063
Best CPU time to get the best result obtained on this benchmark1800.13
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 153990656
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 153911476473
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 153990656
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 153911476473
Number of bits of the biggest sum of numbers38
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-07T22:49:54+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-4079314-1465332593.opb"]
0.00/0.01	c use --random-gen="2206447293 4098887425 35201770 228280229 3130534202 2567964138 205411149 3044895098 125726833 313004836 2841395044 3922806155 3854149651 1401279099 1703431364 4082691878 1053899646 3872909340 3702923223 2261693387 3273056538 2429435744 3331538910 1684886172 409202711 2730826749 3962168816 613964001 1460526028 661853989 601498190 617343978 4294316901 13703393 3060966434 592738627 2760253784 1639950214 651708427 422639012 997635764 1999508319 1059821216 3748985371 3166274236 1960134569 6297397 1035519339 4244160091 1562202977 3890064420 392281563 2050854674 3824473668 2438285121 1041564937 786142995 2858859611 2475732454 661346694 2494634982 1920299500 3664346891 4162800816 1779068880 3925118298 4066578936 1781563025 3881001380 1117493878 3574760394 209300354 3700297284 1183687036 1013681171 2671538226 3482715467 4020378509 1816576498 3216530979 1656409628 1259582287 1440751814 1343476042 280997900 3771086703 4208416073 2682792591 1233988791 2877546882 2095718237 2190847577 4078009762 3796334411 3041994023 2583930402 3057185209 3582970860 3597494296 256843291 1795939800 405832959 1713379343 4045913050 1274257253 1705205953 2031843145 1373454434 1319071566 2407590000 2306403459 697535600 1563936624 177815196 2337369179 2959359582 3691950022 3936224249 431494551 2097537135 3563994091 2267777 470083378 3702853690 4221050383 1576155351 464643303 2619300483 3618162710 1489392014 1254094878 3762527672 2020278211 1834856462 1581383491 2836676415 1409459491 3621624088 3604029523 3090758160 1430022396 3271694733 723346942 1603053414 3488674396 2888231441 2956948059 2655344835 1147920776 526325179 1704783430 222441149 1638443429 1405252555 652345500 3808530239 3453996491 639883879 461590712 2611620829 3412976146 1280365562 2887089523 114721834 2733834291 2215174062 1725071112 1450579583 3365102734 2127230185 933868374 3648995736 3228428423 1881790788 4007293733 2035808405 872601681 468514744 3829890758 3550888994 3012058685 4263753978 3779166735 3017631806 1418832490 4140585602 2707037572 641638009 1333617568 960925686 4249846597 1256641886 3420000908 255543801 2850656012 1125382513 3680652728 95820213 3286121908 3583037968 2312364130 35288810 4228050602 3587516561 3544553117 2505643794 3022201274 928257642 385355375 2264841385 3270589045 591047263 4201609935 181045040 1546848193 1353659849 2250834745 1637226084 2000709438 1723708830 900620577 619531259 1737956365 4290400127 4247833837 2907389398 1806298044 3369323970 388682387 3096770135 2165007991 3099120606 1173469715 685499378 2785203275 884777460 1568630391 2281427138 3523375006 2614469005 1985513909 3884510002 956294631 333820080 767703259 725461309 2993123123 2005459118 3959776235 1079951499 1632195460 509355038 938468538 2238077455 2859208165 1741609999 255 362436" option to reproduce the execution
0.19/0.23	c #vars 14620
0.19/0.23	c #constraints 21851
0.99/1.01	c BCD2: Hardening is enabled.
0.99/1.01	c BCD2: BiasedSearch is enabled.
0.99/1.01	c Solving starts ...
0.99/1.01	c ============================[ Search Statistics ]============================
0.99/1.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.01	c =============================================================================
0.99/1.01	c  0.0s |       0 |        0 |        0 |    16917      0 |      170 |        0
1.39/1.44	c  0.4s |       1 |      171 |      100 |    16917      0 |      170 |        0
3.79/3.81	c  2.8s |       1 |      412 |      200 |    18609      0 |      170 |        0
4.89/4.98	c  4.0s |       2 |      488 |      250 |    18609      0 |      170 |        0
8.59/8.67	c  7.7s |       2 |      799 |      450 |    20470      0 |      170 |        0
8.80/8.84	c  7.8s |       3 |      816 |      475 |    20470      0 |      170 |        0
10.89/10.93	c  9.9s |       3 |     1118 |      675 |    22517      0 |      170 |        0
13.20/13.24	c 12.2s |       4 |     1297 |      813 |    22517      0 |      170 |        0
16.29/16.31	c 15.3s |       4 |     1604 |     1013 |    24769      0 |      170 |        0
18.89/18.97	c 18.0s |       4 |     1821 |     1213 |    24769      0 |      170 |        0
19.79/19.87	c 18.9s |       5 |     1935 |     1320 |    24769      0 |      170 |        0
22.99/23.01	c 22.0s |       5 |     2288 |     1520 |    27246      0 |      170 |        0
25.19/25.23	c 24.2s |       5 |     2562 |     1720 |    27246      0 |      170 |        0
27.38/27.48	c 26.5s |       5 |     2790 |     1920 |    27246      0 |      170 |        0
28.98/29.02	c 28.0s |       6 |     2998 |     2081 |    29971      0 |      170 |        0
31.08/31.13	c 30.1s |       6 |     3300 |     2281 |    29971      0 |      170 |        0
33.98/34.07	c 33.1s |       6 |     3726 |     2581 |    29971      0 |      170 |        0
36.29/36.32	c 35.3s |       6 |     3955 |     2781 |    29971      0 |      170 |        0
38.78/38.84	c 37.8s |       6 |     4192 |     2981 |    29971      0 |      170 |        0
41.28/41.34	c 40.3s |       6 |     4606 |     3181 |    29971      0 |      170 |        0
41.89/41.91	c 40.9s |       7 |     4647 |     3223 |    32969      0 |      170 |        0
45.19/45.24	c 44.2s |       7 |     4986 |     3423 |    32969      0 |      170 |        0
48.78/48.85	c 47.8s |       7 |     5327 |     3723 |    32969      0 |      170 |        0
52.08/52.19	c 51.2s |       7 |     5548 |     3923 |    32969      0 |      170 |        0
55.78/55.88	c 54.9s |       7 |     5919 |     4223 |    32969      0 |      170 |        0
58.48/58.53	c 57.5s |       7 |     6130 |     4423 |    32969      0 |      170 |        0
61.18/61.20	c 60.2s |       7 |     6322 |     4623 |    32969      0 |      170 |        0
63.68/63.75	c 62.7s |       7 |     6566 |     4823 |    32969      0 |      170 |        0
64.78/64.86	c 63.9s |       8 |     6706 |     4936 |    36266      0 |      170 |        0
67.57/67.68	c 66.7s |       8 |     7009 |     5136 |    36266      0 |      170 |        0
69.98/70.10	c 69.1s |       8 |     7216 |     5336 |    36266      0 |      170 |        0
73.08/73.17	c 72.2s |       8 |     7469 |     5536 |    36266      0 |      170 |        0
75.48/75.54	c 74.5s |       8 |     7699 |     5736 |    36266      0 |      170 |        0
77.68/77.75	c 76.7s |       8 |     8011 |     6036 |    36266      0 |      170 |        0
80.18/80.21	c 79.2s |       8 |     8219 |     6236 |    36266      0 |      170 |        0
82.49/82.57	c 81.6s |       8 |     8447 |     6436 |    36266      0 |      170 |        0
84.88/84.96	c 84.0s |       8 |     8640 |     6636 |    36266      0 |      170 |        0
87.28/87.30	c 86.3s |       8 |     8842 |     6836 |    36266      0 |      170 |        0
89.98/90.03	c 89.0s |       8 |     9144 |     7136 |    36266      0 |      170 |        0
93.28/93.33	c 92.3s |       8 |     9492 |     7436 |    36266      0 |      170 |        0
94.28/94.38	c 93.4s |       9 |     9570 |     7506 |    39893      0 |      170 |        0
96.78/96.83	c 95.8s |       9 |     9963 |     7706 |    39893      0 |      170 |        0
98.98/99.06	c 98.1s |       9 |    10338 |     7906 |    39893      0 |      170 |        0
101.28/101.32	c  100s |       9 |    10556 |     8106 |    39893      0 |      170 |        0
103.48/103.54	c  102s |       9 |    10877 |     8406 |    39893      0 |      170 |        0
105.58/105.63	c  104s |       9 |    11112 |     8606 |    39893      0 |      170 |        0
107.97/108.04	c  107s |       9 |    11414 |     8806 |    39893      0 |      170 |        0
111.27/111.34	c  110s |       9 |    11641 |     9006 |    39893      0 |      170 |        0
113.97/114.07	c  113s |       9 |    11912 |     9206 |    39893      0 |      170 |        0
116.58/116.66	c  115s |       9 |    12117 |     9406 |    39893      0 |      170 |        0
119.17/119.27	c  118s |       9 |    12355 |     9606 |    39893      0 |      170 |        0
121.77/121.89	c  120s |       9 |    12561 |     9806 |    39893      0 |      170 |        0
124.67/124.71	c  123s |       9 |    12888 |    10006 |    39893      0 |      170 |        0
127.87/127.90	c  126s |       9 |    13107 |    10206 |    39893      0 |      170 |        0
130.77/130.81	c  129s |       9 |    13340 |    10406 |    39893      0 |      170 |        0
132.87/132.93	c  131s |       9 |    13590 |    10606 |    39893      0 |      170 |        0
135.27/135.40	c  134s |       9 |    13854 |    10806 |    39893      0 |      170 |        0
137.67/137.79	c  136s |       9 |    14147 |    11106 |    39893      0 |      170 |        0
140.56/140.65	c  139s |       9 |    14361 |    11306 |    43883      0 |      170 |        0
141.36/141.42	c  140s |      10 |    14450 |    11361 |    43883      0 |      170 |        0
143.46/143.52	c  142s |      10 |    14830 |    11561 |    43883      0 |      170 |        0
145.77/145.82	c  144s |      10 |    15103 |    11761 |    43883      0 |      170 |        0
148.58/148.61	c  147s |      10 |    15461 |    12061 |    43883      0 |      170 |        0
150.68/150.71	c  149s |      10 |    15701 |    12261 |    43883      0 |      170 |        0
153.27/153.35	c  152s |      10 |    16024 |    12561 |    43883      0 |      170 |        0
155.97/156.07	c  155s |      10 |    16458 |    12961 |    43883      0 |      170 |        0
158.38/158.47	c  157s |      10 |    16760 |    13261 |    43883      0 |      170 |        0
161.17/161.29	c  160s |      10 |    17114 |    13561 |    43883      0 |      170 |        0
163.67/163.71	c  162s |      10 |    17441 |    13861 |    43883      0 |      170 |        0
165.77/165.87	c  164s |      10 |    17765 |    14161 |    43883      0 |      170 |        0
168.27/168.37	c  167s |      10 |    17979 |    14361 |    43883      0 |      170 |        0
170.47/170.55	c  169s |      10 |    18214 |    14561 |    43883      0 |      170 |        0
173.57/173.66	c  172s |      10 |    18537 |    14861 |    43883      0 |      170 |        0
176.67/176.75	c  175s |      10 |    18864 |    15161 |    43883      0 |      170 |        0
178.76/178.85	c  177s |      10 |    19109 |    15361 |    43883      0 |      170 |        0
181.66/181.72	c  180s |      10 |    19448 |    15661 |    43883      0 |      170 |        0
184.56/184.69	c  183s |      10 |    19678 |    15861 |    43883      0 |      170 |        0
187.16/187.27	c  186s |      10 |    20080 |    16161 |    43883      0 |      170 |        0
189.86/189.99	c  188s |      10 |    20339 |    16361 |    43883      0 |      170 |        0
192.16/192.26	c  191s |      10 |    20566 |    16561 |    43883      0 |      170 |        0
194.56/194.63	c  193s |      10 |    20888 |    16861 |    43883      0 |      170 |        0
196.56/196.64	c  195s |      10 |    21165 |    17061 |    48272      0 |      170 |        0
197.16/197.29	c  196s |      11 |    21248 |    17144 |    48272      0 |      170 |        0
199.46/199.53	c  198s |      11 |    21577 |    17344 |    48272      0 |      170 |        0
201.96/202.01	c  200s |      11 |    21969 |    17644 |    48272      0 |      170 |        0
204.96/205.03	c  204s |      11 |    22329 |    17944 |    48272      0 |      170 |        0
207.66/207.73	c  206s |      11 |    22678 |    18244 |    48272      0 |      170 |        0
209.66/209.73	c  208s |      11 |    22959 |    18444 |    48272      0 |      170 |        0
212.26/212.34	c  211s |      11 |    23191 |    18644 |    48272      0 |      170 |        0
215.06/215.12	c  214s |      11 |    23409 |    18844 |    48272      0 |      170 |        0
217.36/217.41	c  216s |      11 |    23661 |    19044 |    48272      0 |      170 |        0
220.06/220.19	c  219s |      11 |    23900 |    19244 |    48272      0 |      170 |        0
222.96/223.05	c  222s |      11 |    24113 |    19444 |    48272      0 |      170 |        0
225.66/225.71	c  224s |      11 |    24373 |    19644 |    48272      0 |      170 |        0
227.86/227.94	c  226s |      11 |    24568 |    19844 |    48272      0 |      170 |        0
229.86/229.94	c  228s |      11 |    24807 |    20044 |    48272      0 |      170 |        0
232.75/232.88	c  231s |      11 |    25133 |    20244 |    48272      0 |      170 |        0
235.25/235.32	c  234s |      11 |    25472 |    20444 |    48272      0 |      170 |        0
237.56/237.68	c  236s |      11 |    25663 |    20644 |    48272      0 |      170 |        0
240.65/240.79	c  239s |      11 |    26023 |    20944 |    48272      0 |      170 |        0
243.25/243.33	c  242s |      11 |    26298 |    21144 |    48272      0 |      170 |        0
246.15/246.24	c  245s |      11 |    26544 |    21344 |    48272      0 |      170 |        0
248.55/248.65	c  247s |      11 |    26792 |    21544 |    48272      0 |      170 |        0
250.86/250.94	c  249s |      11 |    27019 |    21744 |    48272      0 |      170 |        0
254.46/254.55	c  253s |      11 |    27251 |    21944 |    48272      0 |      170 |        0
256.95/257.09	c  256s |      11 |    27371 |    22044 |    48272      0 |      170 |        0
259.45/259.50	c  258s |      11 |    27465 |    22144 |    48272      0 |      170 |        0
262.96/263.05	c  262s |      11 |    27738 |    22344 |    48272      0 |      170 |        0
266.26/266.35	c  265s |      11 |    27932 |    22544 |    48272      0 |      170 |        0
270.05/270.18	c  269s |      11 |    28180 |    22744 |    48272      0 |      170 |        0
272.65/272.76	c  271s |      11 |    28385 |    22944 |    48272      0 |      170 |        0
276.06/276.14	c  275s |      11 |    28598 |    23144 |    48272      0 |      170 |        0
278.55/278.65	c  277s |      11 |    28731 |    23244 |    48272      0 |      170 |        0
281.66/281.76	c  280s |      11 |    28942 |    23444 |    48272      0 |      170 |        0
284.35/284.42	c  283s |      11 |    29140 |    23644 |    48272      0 |      170 |        0
287.16/287.22	c  286s |      11 |    29455 |    23944 |    48272      0 |      170 |        0
290.25/290.30	c  289s |      11 |    29716 |    24144 |    48272      0 |      170 |        0
293.15/293.22	c  292s |      11 |    30338 |    24344 |    48272      0 |      170 |        0
296.35/296.48	c  295s |      11 |    30568 |    24544 |    48272      0 |      170 |        0
299.05/299.15	c  298s |      11 |    30770 |    24744 |    48272      0 |      170 |        0
301.35/301.49	c  300s |      11 |    31095 |    25044 |    48272      0 |      170 |        0
303.44/303.53	c  302s |      11 |    31401 |    25344 |    48272      0 |      170 |        0
305.64/305.78	c  304s |      11 |    31705 |    25644 |    48272      0 |      170 |        0
306.95/307.07	c  306s |      12 |    31883 |    25819 |    53100      0 |      170 |        0
309.44/309.57	c  308s |      12 |    32174 |    26019 |    53100      0 |      170 |        0
312.35/312.45	c  311s |      12 |    32496 |    26319 |    53100      0 |      170 |        0
315.04/315.17	c  314s |      12 |    32803 |    26619 |    53100      0 |      170 |        0
317.74/317.88	c  316s |      12 |    33207 |    26919 |    53100      0 |      170 |        0
320.15/320.21	c  319s |      12 |    33424 |    27119 |    53100      0 |      170 |        0
322.25/322.37	c  321s |      12 |    33634 |    27319 |    53100      0 |      170 |        0
324.94/325.00	c  323s |      12 |    33857 |    27519 |    53100      0 |      170 |        0
326.94/327.07	c  326s |      12 |    34054 |    27719 |    53100      0 |      170 |        0
329.54/329.61	c  328s |      12 |    34260 |    27919 |    53100      0 |      170 |        0
331.84/331.95	c  330s |      12 |    34466 |    28119 |    53100      0 |      170 |        0
335.24/335.34	c  334s |      12 |    34837 |    28419 |    53100      0 |      170 |        0
337.44/337.57	c  336s |      12 |    35042 |    28619 |    53100      0 |      170 |        0
340.54/340.66	c  339s |      12 |    35413 |    28919 |    53100      0 |      170 |        0
343.34/343.48	c  342s |      12 |    35629 |    29119 |    53100      0 |      170 |        0
346.04/346.14	c  345s |      12 |    35839 |    29319 |    53100      0 |      170 |        0
348.94/349.04	c  348s |      12 |    36163 |    29619 |    53100      0 |      170 |        0
352.23/352.39	c  351s |      12 |    36380 |    29819 |    53100      0 |      170 |        0
355.24/355.31	c  354s |      12 |    36606 |    30019 |    53100      0 |      170 |        0
358.03/358.17	c  357s |      12 |    36892 |    30319 |    53100      0 |      170 |        0
361.33/361.47	c  360s |      12 |    37122 |    30519 |    53100      0 |      170 |        0
363.63/363.71	c  362s |      12 |    37372 |    30719 |    53100      0 |      170 |        0
365.93/366.08	c  365s |      12 |    37588 |    30919 |    53100      0 |      170 |        0
368.83/368.91	c  367s |      12 |    37900 |    31219 |    53100      0 |      170 |        0
372.33/372.46	c  371s |      12 |    38135 |    31419 |    53100      0 |      170 |        0
374.63/374.73	c  373s |      12 |    38329 |    31619 |    53100      0 |      170 |        0
376.93/377.09	c  376s |      12 |    38561 |    31819 |    53100      0 |      170 |        0
379.83/379.98	c  378s |      12 |    38892 |    32119 |    53100      0 |      170 |        0
382.83/382.97	c  381s |      12 |    39117 |    32319 |    53100      0 |      170 |        0
386.13/386.24	c  385s |      12 |    39305 |    32519 |    53100      0 |      170 |        0
388.73/388.88	c  387s |      12 |    39529 |    32719 |    53100      0 |      170 |        0
391.53/391.65	c  390s |      12 |    39842 |    33019 |    53100      0 |      170 |        0
394.43/394.51	c  393s |      12 |    40051 |    33219 |    53100      0 |      170 |        0
398.03/398.19	c  397s |      12 |    40267 |    33419 |    53100      0 |      170 |        0
400.63/400.75	c  399s |      12 |    40483 |    33619 |    53100      0 |      170 |        0
402.82/402.90	c  401s |      12 |    40698 |    33819 |    53100      0 |      170 |        0
405.62/405.70	c  404s |      12 |    41009 |    34119 |    53100      0 |      170 |        0
408.22/408.33	c  407s |      12 |    41247 |    34319 |    53100      0 |      170 |        0
410.82/410.93	c  409s |      12 |    41474 |    34519 |    53100      0 |      170 |        0
413.92/414.03	c  413s |      12 |    41714 |    34719 |    53100      0 |      170 |        0
416.22/416.40	c  415s |      12 |    41919 |    34919 |    53100      0 |      170 |        0
419.42/419.55	c  418s |      12 |    42262 |    35219 |    53100      0 |      170 |        0
421.92/422.07	c  421s |      12 |    42465 |    35419 |    53100      0 |      170 |        0
425.52/425.61	c  424s |      12 |    42669 |    35619 |    53100      0 |      170 |        0
428.52/428.65	c  427s |      12 |    42877 |    35819 |    53100      0 |      170 |        0
431.33/431.46	c  430s |      12 |    43109 |    36019 |    53100      0 |      170 |        0
434.43/434.54	c  433s |      12 |    43325 |    36219 |    53100      0 |      170 |        0
437.13/437.24	c  436s |      12 |    43520 |    36419 |    53100      0 |      170 |        0
439.73/439.85	c  438s |      12 |    43716 |    36619 |    53100      0 |      170 |        0
442.82/442.96	c  441s |      12 |    44034 |    36919 |    53100      0 |      170 |        0
445.02/445.17	c  444s |      12 |    44136 |    37019 |    53100      0 |      170 |        0
447.52/447.65	c  446s |      12 |    44344 |    37219 |    53100      0 |      170 |        0
450.42/450.53	c  449s |      12 |    44601 |    37419 |    53100      0 |      170 |        0
453.02/453.19	c  452s |      12 |    44790 |    37619 |    53100      0 |      170 |        0
455.92/456.02	c  455s |      12 |    45134 |    37919 |    53100      0 |      170 |        0
458.72/458.84	c  457s |      12 |    45384 |    38119 |    53100      0 |      170 |        0
461.41/461.57	c  460s |      12 |    45576 |    38319 |    53100      0 |      170 |        0
463.61/463.70	c  462s |      12 |    45690 |    38419 |    53100      0 |      170 |        0
467.11/467.24	c  466s |      12 |    45931 |    38619 |    58411      0 |      170 |        0
469.62/469.74	c  468s |      12 |    46127 |    38819 |    58411      0 |      170 |        0
469.72/469.88	c  468s |      13 |    46137 |    38832 |    58411      0 |      170 |        0
473.42/473.50	c  472s |      13 |    46480 |    39032 |    58411      0 |      170 |        0
475.52/475.66	c  474s |      13 |    46612 |    39132 |    58411      0 |      170 |        0
479.63/479.75	c  478s |      13 |    46834 |    39332 |    58411      0 |      170 |        0
482.42/482.55	c  481s |      13 |    47050 |    39532 |    58411      0 |      170 |        0
485.72/485.84	c  484s |      13 |    47255 |    39732 |    58411      0 |      170 |        0
488.92/489.09	c  488s |      13 |    47469 |    39932 |    58411      0 |      170 |        0
491.52/491.67	c  490s |      13 |    47675 |    40132 |    58411      0 |      170 |        0
495.02/495.18	c  494s |      13 |    47978 |    40432 |    58411      0 |      170 |        0
498.22/498.36	c  497s |      13 |    48189 |    40632 |    58411      0 |      170 |        0
501.22/501.37	c  500s |      13 |    48396 |    40832 |    58411      0 |      170 |        0
503.82/503.93	c  502s |      13 |    48587 |    41032 |    58411      0 |      170 |        0
507.02/507.14	c  506s |      13 |    48915 |    41332 |    58411      0 |      170 |        0
509.81/509.97	c  508s |      13 |    49274 |    41632 |    58411      0 |      170 |        0
512.01/512.11	c  511s |      13 |    49462 |    41832 |    58411      0 |      170 |        0
515.01/515.15	c  514s |      13 |    49779 |    42132 |    58411      0 |      170 |        0
517.81/517.93	c  516s |      13 |    49984 |    42332 |    58411      0 |      170 |        0
520.71/520.84	c  519s |      13 |    50214 |    42532 |    58411      0 |      170 |        0
523.31/523.48	c  522s |      13 |    50427 |    42732 |    58411      0 |      170 |        0
525.61/525.77	c  524s |      13 |    50629 |    42932 |    58411      0 |      170 |        0
528.61/528.74	c  527s |      13 |    50995 |    43132 |    58411      0 |      170 |        0
532.11/532.29	c  531s |      13 |    51220 |    43332 |    58411      0 |      170 |        0
534.91/535.02	c  534s |      13 |    51525 |    43532 |    58411      0 |      170 |        0
537.92/538.03	c  537s |      13 |    51724 |    43732 |    58411      0 |      170 |        0
540.01/540.12	c  539s |      13 |    51912 |    43932 |    58411      0 |      170 |        0
542.41/542.53	c  541s |      13 |    52128 |    44132 |    58411      0 |      170 |        0
545.31/545.47	c  544s |      13 |    52319 |    44332 |    58411      0 |      170 |        0
547.81/547.96	c  546s |      13 |    52513 |    44532 |    58411      0 |      170 |        0
550.11/550.23	c  549s |      13 |    52730 |    44732 |    58411      0 |      170 |        0
552.91/553.04	c  552s |      13 |    52828 |    44832 |    58411      0 |      170 |        0
555.11/555.25	c  554s |      13 |    52944 |    44932 |    58411      0 |      170 |        0
557.20/557.31	c  556s |      13 |    53045 |    45032 |    58411      0 |      170 |        0
560.50/560.65	c  559s |      13 |    53237 |    45232 |    58411      0 |      170 |        0
562.70/562.86	c  561s |      13 |    53322 |    45332 |    58411      0 |      170 |        0
566.30/566.48	c  565s |      13 |    53551 |    45532 |    58411      0 |      170 |        0
568.80/568.96	c  567s |      13 |    53647 |    45632 |    58411      0 |      170 |        0
570.91/571.01	c  570s |      13 |    53752 |    45732 |    58411      0 |      170 |        0
573.90/574.04	c  573s |      13 |    53980 |    45932 |    58411      0 |      170 |        0
577.30/577.41	c  576s |      13 |    54177 |    46132 |    58411      0 |      170 |        0
580.01/580.12	c  579s |      13 |    54366 |    46332 |    58411      0 |      170 |        0
582.01/582.13	c  581s |      13 |    54571 |    46532 |    58411      0 |      170 |        0
585.90/586.04	c  585s |      13 |    54779 |    46732 |    58411      0 |      170 |        0
588.20/588.36	c  587s |      13 |    54877 |    46832 |    58411      0 |      170 |        0
590.30/590.40	c  589s |      13 |    55009 |    46932 |    58411      0 |      170 |        0
593.30/593.45	c  592s |      13 |    55214 |    47132 |    58411      0 |      170 |        0
596.50/596.60	c  595s |      13 |    55425 |    47332 |    58411      0 |      170 |        0
599.20/599.34	c  598s |      13 |    55624 |    47532 |    58411      0 |      170 |        0
601.40/601.52	c  600s |      13 |    55820 |    47732 |    58411      0 |      170 |        0
603.50/603.60	c  602s |      13 |    56057 |    47932 |    58411      0 |      170 |        0
605.70/605.89	c  604s |      13 |    56301 |    48132 |    58411      0 |      170 |        0
608.10/608.25	c  607s |      13 |    56508 |    48332 |    58411      0 |      170 |        0
610.51/610.60	c  609s |      13 |    56721 |    48532 |    58411      0 |      170 |        0
612.60/612.71	c  611s |      13 |    56921 |    48732 |    58411      0 |      170 |        0
615.00/615.11	c  614s |      13 |    57156 |    48932 |    58411      0 |      170 |        0
617.90/618.06	c  617s |      13 |    57380 |    49132 |    58411      0 |      170 |        0
620.50/620.66	c  619s |      13 |    57606 |    49332 |    58411      0 |      170 |        0
623.49/623.67	c  622s |      13 |    57852 |    49532 |    58411      0 |      170 |        0
626.49/626.67	c  625s |      13 |    58101 |    49732 |    58411      0 |      170 |        0
628.69/628.83	c  627s |      13 |    58377 |    49932 |    58411      0 |      170 |        0
631.59/631.73	c  630s |      13 |    58717 |    50132 |    58411      0 |      170 |        0
634.60/634.71	c  633s |      13 |    58977 |    50332 |    58411      0 |      170 |        0
636.69/636.82	c  635s |      13 |    59197 |    50532 |    58411      0 |      170 |        0
639.89/640.05	c  639s |      13 |    59440 |    50732 |    58411      0 |      170 |        0
642.69/642.86	c  641s |      13 |    59692 |    50932 |    58411      0 |      170 |        0
644.99/645.11	c  644s |      13 |    59900 |    51132 |    58411      0 |      170 |        0
648.19/648.39	c  647s |      13 |    60151 |    51332 |    58411      0 |      170 |        0
650.49/650.67	c  649s |      13 |    60350 |    51532 |    58411      0 |      170 |        0
652.69/652.82	c  651s |      13 |    60624 |    51732 |    58411      0 |      170 |        0
655.89/656.01	c  655s |      13 |    60830 |    51932 |    58411      0 |      170 |        0
659.09/659.24	c  658s |      13 |    61106 |    52132 |    58411      0 |      170 |        0
661.10/661.29	c  660s |      13 |    61307 |    52332 |    58411      0 |      170 |        0
664.09/664.25	c  663s |      13 |    61517 |    52532 |    58411      0 |      170 |        0
666.89/667.01	c  666s |      13 |    61711 |    52732 |    58411      0 |      170 |        0
668.89/669.05	c  668s |      13 |    61923 |    52932 |    58411      0 |      170 |        0
671.09/671.26	c  670s |      13 |    62129 |    53132 |    58411      0 |      170 |        0
674.29/674.49	c  673s |      13 |    62339 |    53332 |    58411      0 |      170 |        0
677.49/677.67	c  676s |      13 |    62553 |    53532 |    58411      0 |      170 |        0
680.89/681.10	c  680s |      13 |    62759 |    53732 |    58411      0 |      170 |        0
684.28/684.49	c  683s |      13 |    63056 |    54032 |    58411      0 |      170 |        0
688.08/688.27	c  687s |      13 |    63278 |    54232 |    58411      0 |      170 |        0
690.58/690.72	c  689s |      13 |    63472 |    54432 |    58411      0 |      170 |        0
692.68/692.84	c  691s |      13 |    63675 |    54632 |    58411      0 |      170 |        0
694.88/695.03	c  694s |      13 |    63875 |    54832 |    58411      0 |      170 |        0
697.88/698.01	c  697s |      13 |    64155 |    55032 |    58411      0 |      170 |        0
700.88/701.07	c  700s |      13 |    64395 |    55232 |    58411      0 |      170 |        0
704.38/704.54	c  703s |      13 |    64605 |    55432 |    58411      0 |      170 |        0
707.29/707.44	c  706s |      13 |    64852 |    55632 |    58411      0 |      170 |        0
710.18/710.31	c  709s |      13 |    65056 |    55832 |    58411      0 |      170 |        0
713.48/713.65	c  712s |      13 |    65410 |    56132 |    58411      0 |      170 |        0
716.68/716.88	c  715s |      13 |    65605 |    56332 |    58411      0 |      170 |        0
720.38/720.52	c  719s |      13 |    65937 |    56632 |    58411      0 |      170 |        0
723.18/723.36	c  722s |      13 |    66241 |    56832 |    58411      0 |      170 |        0
726.78/726.98	c  725s |      13 |    66433 |    57032 |    58411      0 |      170 |        0
728.98/729.18	c  728s |      13 |    66532 |    57132 |    58411      0 |      170 |        0
731.78/731.98	c  730s |      13 |    66739 |    57332 |    58411      0 |      170 |        0
735.68/735.86	c  734s |      13 |    66951 |    57532 |    58411      0 |      170 |        0
738.88/739.03	c  738s |      13 |    67162 |    57732 |    58411      0 |      170 |        0
742.28/742.48	c  741s |      13 |    67372 |    57932 |    58411      0 |      170 |        0
744.69/744.86	c  743s |      13 |    67569 |    58132 |    64253      0 |      170 |        0
747.78/748.00	c  746s |      13 |    67814 |    58332 |    64253      0 |      170 |        0
748.58/748.75	c  747s |      14 |    67839 |    58352 |    64253      0 |      170 |        0
751.67/751.84	c  750s |      14 |    68020 |    58452 |    64253      0 |      170 |        0
753.87/754.01	c  753s |      14 |    68160 |    58552 |    64253      0 |      170 |        0
756.07/756.26	c  755s |      14 |    68268 |    58652 |    64253      0 |      170 |        0
758.88/759.01	c  758s |      14 |    68503 |    58852 |    64253      0 |      170 |        0
762.77/762.97	c  761s |      14 |    68702 |    59052 |    64253      0 |      170 |        0
767.18/767.36	c  766s |      14 |    68951 |    59252 |    64253      0 |      170 |        0
769.98/770.14	c  769s |      14 |    69220 |    59452 |    64253      0 |      170 |        0
773.77/773.99	c  772s |      14 |    69491 |    59652 |    64253      0 |      170 |        0
776.07/776.24	c  775s |      14 |    69589 |    59752 |    64253      0 |      170 |        0
778.17/778.36	c  777s |      14 |    69714 |    59852 |    64253      0 |      170 |        0
781.57/781.75	c  780s |      14 |    69916 |    60052 |    64253      0 |      170 |        0
783.87/784.08	c  783s |      14 |    70135 |    60252 |    64253      0 |      170 |        0
787.67/787.84	c  786s |      14 |    70356 |    60452 |    64253      0 |      170 |        0
790.37/790.58	c  789s |      14 |    70553 |    60652 |    64253      0 |      170 |        0
792.97/793.11	c  792s |      14 |    70758 |    60852 |    64253      0 |      170 |        0
795.37/795.59	c  794s |      14 |    70965 |    61052 |    64253      0 |      170 |        0
798.06/798.22	c  797s |      14 |    71183 |    61252 |    64253      0 |      170 |        0
801.27/801.44	c  800s |      14 |    71401 |    61452 |    64253      0 |      170 |        0
804.47/804.69	c  803s |      14 |    71699 |    61752 |    64253      0 |      170 |        0
807.47/807.64	c  806s |      14 |    71898 |    61952 |    64253      0 |      170 |        0
810.87/811.04	c  810s |      14 |    72121 |    62152 |    64253      0 |      170 |        0
813.57/813.78	c  812s |      14 |    72333 |    62352 |    64253      0 |      170 |        0
815.87/816.09	c  815s |      14 |    72562 |    62552 |    64253      0 |      170 |        0
819.06/819.24	c  818s |      14 |    72754 |    62752 |    64253      0 |      170 |        0
822.56/822.74	c  821s |      14 |    72971 |    62952 |    64253      0 |      170 |        0
825.76/825.95	c  824s |      14 |    73165 |    63152 |    64253      0 |      170 |        0
827.96/828.17	c  827s |      14 |    73370 |    63352 |    64253      0 |      170 |        0
830.06/830.21	c  829s |      14 |    73525 |    63452 |    64253      0 |      170 |        0
832.87/833.02	c  832s |      14 |    73722 |    63652 |    64253      0 |      170 |        0
835.37/835.50	c  834s |      14 |    73917 |    63852 |    64253      0 |      170 |        0
838.77/838.94	c  837s |      14 |    74145 |    64052 |    64253      0 |      170 |        0
842.66/842.80	c  841s |      14 |    74354 |    64252 |    64253      0 |      170 |        0
844.86/845.04	c  844s |      14 |    74479 |    64352 |    64253      0 |      170 |        0
848.36/848.52	c  847s |      14 |    74681 |    64552 |    64253      0 |      170 |        0
851.06/851.23	c  850s |      14 |    74901 |    64752 |    64253      0 |      170 |        0
853.76/853.96	c  852s |      14 |    75093 |    64952 |    64253      0 |      170 |        0
856.06/856.26	c  855s |      14 |    75307 |    65152 |    64253      0 |      170 |        0
858.16/858.36	c  857s |      14 |    75412 |    65252 |    64253      0 |      170 |        0
861.86/862.04	c  861s |      14 |    75620 |    65452 |    64253      0 |      170 |        0
863.96/864.10	c  863s |      14 |    75714 |    65552 |    64253      0 |      170 |        0
867.46/867.60	c  866s |      14 |    75909 |    65752 |    64253      0 |      170 |        0
870.46/870.69	c  869s |      14 |    76130 |    65952 |    64253      0 |      170 |        0
873.66/873.82	c  872s |      14 |    76424 |    66252 |    64253      0 |      170 |        0
876.96/877.11	c  876s |      14 |    76691 |    66452 |    64253      0 |      170 |        0
879.76/879.97	c  878s |      14 |    76889 |    66652 |    64253      0 |      170 |        0
882.55/882.76	c  881s |      14 |    77126 |    66852 |    64253      0 |      170 |        0
885.65/885.86	c  884s |      14 |    77324 |    67052 |    64253      0 |      170 |        0
888.66/888.87	c  887s |      14 |    77539 |    67252 |    64253      0 |      170 |        0
891.75/891.94	c  890s |      14 |    77731 |    67452 |    64253      0 |      170 |        0
893.95/894.11	c  893s |      14 |    77937 |    67652 |    64253      0 |      170 |        0
896.55/896.71	c  895s |      14 |    78137 |    67852 |    64253      0 |      170 |        0
899.66/899.89	c  898s |      14 |    78330 |    68052 |    64253      0 |      170 |        0
902.15/902.39	c  901s |      14 |    78544 |    68252 |    64253      0 |      170 |        0
904.95/905.12	c  904s |      14 |    78816 |    68452 |    64253      0 |      170 |        0
907.25/907.42	c  906s |      14 |    79056 |    68652 |    64253      0 |      170 |        0
909.45/909.66	c  908s |      14 |    79156 |    68752 |    64253      0 |      170 |        0
911.45/911.68	c  910s |      14 |    79270 |    68852 |    64253      0 |      170 |        0
915.65/915.88	c  914s |      14 |    79481 |    69052 |    64253      0 |      170 |        0
918.75/918.93	c  917s |      14 |    79698 |    69252 |    64253      0 |      170 |        0
922.35/922.51	c  921s |      14 |    79965 |    69452 |    64253      0 |      170 |        0
925.65/925.81	c  924s |      14 |    80188 |    69652 |    64253      0 |      170 |        0
928.45/928.69	c  927s |      14 |    80402 |    69852 |    64253      0 |      170 |        0
930.85/931.07	c  930s |      14 |    80595 |    70052 |    64253      0 |      170 |        0
933.95/934.16	c  933s |      14 |    80791 |    70252 |    64253      0 |      170 |        0
936.65/936.84	c  935s |      14 |    81001 |    70452 |    64253      0 |      170 |        0
939.74/939.95	c  938s |      14 |    81310 |    70752 |    64253      0 |      170 |        0
941.94/942.12	c  941s |      14 |    81499 |    70952 |    64253      0 |      170 |        0
944.85/945.05	c  944s |      14 |    81806 |    71252 |    64253      0 |      170 |        0
947.05/947.28	c  946s |      14 |    82012 |    71452 |    64253      0 |      170 |        0
949.25/949.48	c  948s |      14 |    82199 |    71652 |    64253      0 |      170 |        0
952.34/952.60	c  951s |      14 |    82507 |    71952 |    64253      0 |      170 |        0
955.04/955.28	c  954s |      14 |    82700 |    72152 |    64253      0 |      170 |        0
957.35/957.57	c  956s |      14 |    82899 |    72352 |    64253      0 |      170 |        0
960.65/960.89	c  959s |      14 |    83192 |    72652 |    64253      0 |      170 |        0
963.14/963.31	c  962s |      14 |    83393 |    72852 |    64253      0 |      170 |        0
965.34/965.58	c  964s |      14 |    83592 |    73052 |    64253      0 |      170 |        0
968.24/968.46	c  967s |      14 |    83798 |    73252 |    64253      0 |      170 |        0
971.74/971.94	c  970s |      14 |    84122 |    73552 |    64253      0 |      170 |        0
974.04/974.24	c  973s |      14 |    84306 |    73752 |    64253      0 |      170 |        0
976.24/976.45	c  975s |      14 |    84506 |    73952 |    64253      0 |      170 |        0
978.84/979.06	c  978s |      14 |    84718 |    74152 |    64253      0 |      170 |        0
981.73/981.92	c  980s |      14 |    84916 |    74352 |    64253      0 |      170 |        0
985.03/985.23	c  984s |      14 |    85218 |    74652 |    64253      0 |      170 |        0
988.13/988.34	c  987s |      14 |    85408 |    74852 |    64253      0 |      170 |        0
994.34/994.51	c  993s |      14 |    85643 |    75052 |    64253      1 |      170 |        0
997.64/997.83	c  996s |      14 |    85838 |    75252 |    64253      1 |      170 |        0
999.73/999.97	c  998s |      14 |    85940 |    75352 |    64253      1 |      170 |        0
1001.93/1002.13	c 1001s |      14 |    86045 |    75452 |    64253      1 |      170 |        0
1004.03/1004.26	c 1003s |      14 |    86163 |    75552 |    64253      1 |      170 |        0
1007.72/1007.94	c 1006s |      14 |    86359 |    75752 |    64253      1 |      170 |        0
1010.73/1010.96	c 1009s |      14 |    86572 |    75952 |    64253      1 |      170 |        0
1012.93/1013.20	c 1012s |      14 |    86780 |    76152 |    64253      1 |      170 |        0
1015.52/1015.75	c 1014s |      14 |    86963 |    76352 |    64253      1 |      170 |        0
1019.32/1019.57	c 1018s |      14 |    87213 |    76552 |    64253      1 |      170 |        0
1022.72/1022.94	c 1021s |      14 |    87481 |    76752 |    64253      1 |      170 |        0
1026.13/1026.39	c 1025s |      14 |    87682 |    76952 |    64253      1 |      170 |        0
1028.22/1028.42	c 1027s |      14 |    87790 |    77052 |    64253      1 |      170 |        0
1031.31/1031.53	c 1030s |      14 |    87971 |    77252 |    64253      1 |      170 |        0
1033.51/1033.72	c 1032s |      14 |    88190 |    77452 |    64253      1 |      170 |        0
1035.51/1035.79	c 1034s |      14 |    88375 |    77652 |    64253      1 |      170 |        0
1038.32/1038.54	c 1037s |      14 |    88579 |    77852 |    64253      1 |      170 |        0
1040.62/1040.83	c 1039s |      14 |    88774 |    78052 |    64253      1 |      170 |        0
1042.72/1042.91	c 1041s |      14 |    88897 |    78152 |    64253      1 |      170 |        0
1045.81/1046.05	c 1045s |      14 |    89105 |    78352 |    64253      1 |      170 |        0
1048.51/1048.78	c 1047s |      14 |    89318 |    78552 |    64253      1 |      170 |        0
1051.11/1051.35	c 1050s |      14 |    89527 |    78752 |    64253      1 |      170 |        0
1054.81/1055.04	c 1054s |      14 |    89849 |    79052 |    64253      1 |      170 |        0
1056.91/1057.18	c 1056s |      14 |    89959 |    79152 |    64253      1 |      170 |        0
1059.50/1059.78	c 1058s |      14 |    90165 |    79352 |    64253      1 |      170 |        0
1062.00/1062.26	c 1061s |      14 |    90380 |    79552 |    64253      1 |      170 |        0
1064.70/1064.97	c 1063s |      14 |    90578 |    79752 |    64253      1 |      170 |        0
1067.00/1067.23	c 1066s |      14 |    90780 |    79952 |    64253      1 |      170 |        0
1069.80/1070.08	c 1069s |      14 |    90990 |    80152 |    64253      1 |      170 |        0
1072.90/1073.12	c 1072s |      14 |    91194 |    80352 |    64253      1 |      170 |        0
1075.30/1075.58	c 1074s |      14 |    91410 |    80552 |    64253      1 |      170 |        0
1078.00/1078.26	c 1077s |      14 |    91708 |    80852 |    64253      1 |      170 |        0
1080.39/1080.64	c 1079s |      14 |    91914 |    81052 |    64253      1 |      170 |        0
1082.99/1083.29	c 1082s |      14 |    92122 |    81252 |    64253      1 |      170 |        0
1085.99/1086.23	c 1085s |      14 |    92332 |    81452 |    64253      1 |      170 |        0
1088.39/1088.64	c 1087s |      14 |    92541 |    81652 |    64253      1 |      170 |        0
1090.38/1090.68	c 1089s |      14 |    92743 |    81852 |    64253      1 |      170 |        0
1092.88/1093.11	c 1092s |      14 |    93041 |    82152 |    64253      1 |      170 |        0
1095.49/1095.78	c 1094s |      14 |    93261 |    82352 |    64253      1 |      170 |        0
1097.89/1098.14	c 1097s |      14 |    93471 |    82552 |    64253      1 |      170 |        0
1100.48/1100.72	c 1099s |      14 |    93777 |    82852 |    64253      1 |      170 |        0
1103.09/1103.32	c 1102s |      14 |    94072 |    83152 |    64253      1 |      170 |        0
1106.08/1106.30	c 1105s |      14 |    94277 |    83352 |    64253      1 |      170 |        0
1108.59/1108.88	c 1107s |      14 |    94494 |    83552 |    64253      1 |      170 |        0
1111.08/1111.39	c 1110s |      14 |    94702 |    83752 |    64253      1 |      170 |        0
1113.98/1114.26	c 1113s |      14 |    95004 |    84052 |    64253      1 |      170 |        0
1116.87/1117.14	c 1116s |      14 |    95302 |    84352 |    64253      1 |      170 |        0
1119.77/1120.04	c 1119s |      14 |    95604 |    84652 |    64253      1 |      170 |        0
1122.17/1122.47	c 1121s |      14 |    95896 |    84952 |    64253      1 |      170 |        0
1124.67/1124.94	c 1123s |      14 |    96128 |    85152 |    64253      1 |      170 |        0
1127.67/1127.96	c 1126s |      14 |    96330 |    85352 |    64253      1 |      170 |        0
1130.57/1130.81	c 1129s |      14 |    96530 |    85552 |    64253      1 |      170 |        0
1132.66/1132.95	c 1131s |      14 |    96764 |    85752 |    64253      1 |      170 |        0
1135.76/1136.08	c 1135s |      14 |    97070 |    86052 |    64253      1 |      170 |        0
1138.56/1138.87	c 1137s |      14 |    97371 |    86352 |    64253      1 |      170 |        0
1141.36/1141.61	c 1140s |      14 |    97666 |    86652 |    64253      1 |      170 |        0
1144.16/1144.42	c 1143s |      14 |    97966 |    86952 |    64253      1 |      170 |        0
1147.36/1147.66	c 1146s |      14 |    98275 |    87252 |    70679      1 |      170 |        0
1151.05/1151.30	c 1150s |      14 |    98479 |    87452 |    70679      1 |      170 |        0
1153.66/1153.97	c 1152s |      15 |    98657 |    87632 |    70679      1 |      170 |        0
1155.86/1156.20	c 1155s |      15 |    98873 |    87732 |    70679      1 |      170 |        0
1168.74/1169.00	c 1167s |      15 |    99025 |    87832 |    70679      1 |      170 |        0
1171.55/1171.86	c 1170s |      15 |    99272 |    88032 |    70679      1 |      170 |        0
1173.75/1174.04	c 1173s |      15 |    99511 |    88232 |    70679      1 |      170 |        0
1176.25/1176.59	c 1175s |      15 |    99770 |    88432 |    70679      1 |      170 |        0
1178.35/1178.64	c 1177s |      15 |    99992 |    88632 |    70679      1 |      170 |        0
1180.34/1180.67	c 1179s |      15 |   100223 |    88832 |    70679      1 |      170 |        0
1182.74/1183.03	c 1182s |      15 |   100530 |    89132 |    70679      1 |      170 |        0
1185.34/1185.65	c 1184s |      15 |   100752 |    89332 |    70679      1 |      170 |        0
1188.04/1188.31	c 1187s |      15 |   100951 |    89532 |    70679      1 |      170 |        0
1190.04/1190.31	c 1189s |      15 |   101157 |    89732 |    70679      1 |      170 |        0
1192.34/1192.61	c 1191s |      15 |   101378 |    89932 |    70679      1 |      170 |        0
1195.34/1195.64	c 1194s |      15 |   101580 |    90132 |    70679      1 |      170 |        0
1198.44/1198.76	c 1197s |      15 |   101797 |    90332 |    70679      1 |      170 |        0
1201.44/1201.74	c 1200s |      15 |   102015 |    90532 |    70679      1 |      170 |        0
1204.24/1204.52	c 1203s |      15 |   102222 |    90732 |    70679      1 |      170 |        0
1206.83/1207.18	c 1206s |      15 |   102527 |    91032 |    70679      1 |      170 |        0
1210.13/1210.40	c 1209s |      15 |   102764 |    91232 |    70679      1 |      170 |        0
1213.14/1213.45	c 1212s |      15 |   102987 |    91432 |    70679      1 |      170 |        0
1215.43/1215.73	c 1214s |      15 |   103189 |    91632 |    70679      1 |      170 |        0
1218.23/1218.57	c 1217s |      15 |   103389 |    91832 |    70679      1 |      170 |        0
1222.32/1222.60	c 1221s |      15 |   103654 |    92032 |    70679      1 |      170 |        0
1225.32/1225.64	c 1224s |      15 |   103885 |    92232 |    70679      1 |      170 |        0
1227.82/1228.14	c 1227s |      15 |   104089 |    92432 |    70679      1 |      170 |        0
1231.22/1231.51	c 1230s |      15 |   104298 |    92632 |    70679      1 |      170 |        0
1233.62/1233.99	c 1232s |      15 |   104408 |    92732 |    70679      1 |      170 |        0
1236.02/1236.34	c 1235s |      15 |   104511 |    92832 |    70679      1 |      170 |        0
1238.12/1238.45	c 1237s |      15 |   104609 |    92932 |    70679      1 |      170 |        0
1241.51/1241.88	c 1240s |      15 |   104839 |    93132 |    70679      1 |      170 |        0
1244.31/1244.62	c 1243s |      15 |   105055 |    93332 |    70679      1 |      170 |        0
1247.51/1247.85	c 1246s |      15 |   105269 |    93532 |    70679      1 |      170 |        0
1249.81/1250.19	c 1249s |      15 |   105374 |    93632 |    70679      1 |      170 |        0
1252.91/1253.20	c 1252s |      15 |   105487 |    93732 |    70679      1 |      170 |        0
1255.21/1255.59	c 1254s |      15 |   105579 |    93832 |    70679      1 |      170 |        0
1259.21/1259.53	c 1258s |      15 |   105786 |    94032 |    70679      1 |      170 |        0
1261.30/1261.64	c 1260s |      15 |   105883 |    94132 |    70679      1 |      170 |        0
1263.50/1263.83	c 1262s |      15 |   106106 |    94332 |    70679      1 |      170 |        0
1267.50/1267.89	c 1266s |      15 |   106311 |    94532 |    70679      1 |      170 |        0
1269.90/1270.24	c 1269s |      15 |   106423 |    94632 |    70679      1 |      170 |        0
1272.00/1272.35	c 1271s |      15 |   106526 |    94732 |    70679      1 |      170 |        0
1274.20/1274.59	c 1273s |      15 |   106637 |    94832 |    70679      1 |      170 |        0
1276.40/1276.74	c 1275s |      15 |   106845 |    95032 |    70679      1 |      170 |        0
1280.00/1280.34	c 1279s |      15 |   107074 |    95232 |    70679      1 |      170 |        0
1284.00/1284.38	c 1283s |      15 |   107299 |    95432 |    70679      1 |      170 |        0
1287.20/1287.59	c 1286s |      15 |   107490 |    95632 |    70679      1 |      170 |        0
1290.80/1291.10	c 1290s |      15 |   107685 |    95832 |    70679      1 |      170 |        0
1294.10/1294.43	c 1293s |      15 |   107803 |    95932 |    70679      1 |      170 |        0
1296.60/1296.90	c 1295s |      15 |   107899 |    96032 |    70679      1 |      170 |        0
1300.19/1300.51	c 1299s |      15 |   108130 |    96232 |    70679      1 |      170 |        0
1302.39/1302.77	c 1301s |      15 |   108248 |    96332 |    70679      1 |      170 |        0
1304.99/1305.35	c 1304s |      15 |   108354 |    96432 |    70679      1 |      170 |        0
1308.48/1308.85	c 1307s |      15 |   108546 |    96632 |    70679      1 |      170 |        0
1312.09/1312.44	c 1311s |      15 |   108757 |    96832 |    70679      1 |      170 |        0
1314.48/1314.87	c 1313s |      15 |   108951 |    97032 |    70679      1 |      170 |        0
1318.69/1319.08	c 1318s |      15 |   109171 |    97232 |    70679      1 |      170 |        0
1321.68/1322.06	c 1321s |      15 |   109375 |    97432 |    70679      1 |      170 |        0
1324.48/1324.84	c 1323s |      15 |   109575 |    97632 |    70679      1 |      170 |        0
1327.08/1327.49	c 1326s |      15 |   109684 |    97732 |    70679      1 |      170 |        0
1329.38/1329.77	c 1328s |      15 |   109780 |    97832 |    70679      1 |      170 |        0
1333.08/1333.49	c 1332s |      15 |   110019 |    98032 |    70679      1 |      170 |        0
1335.98/1336.30	c 1335s |      15 |   110131 |    98132 |    70679      1 |      170 |        0
1338.58/1338.90	c 1337s |      15 |   110221 |    98232 |    70679      1 |      170 |        0
1340.68/1341.02	c 1340s |      15 |   110337 |    98332 |    70679      1 |      170 |        0
1344.08/1344.45	c 1343s |      15 |   110559 |    98532 |    70679      1 |      170 |        0
1346.68/1347.06	c 1346s |      15 |   110666 |    98632 |    70679      1 |      170 |        0
1349.88/1350.29	c 1349s |      15 |   110857 |    98832 |    70679      1 |      170 |        0
1352.48/1352.89	c 1351s |      15 |   111070 |    99032 |    70679      1 |      170 |        0
1355.08/1355.46	c 1354s |      15 |   111167 |    99132 |    70679      1 |      170 |        0
1357.77/1358.11	c 1357s |      15 |   111271 |    99232 |    70679      1 |      170 |        0
1361.07/1361.48	c 1360s |      15 |   111484 |    99432 |    70679      1 |      170 |        0
1364.67/1365.03	c 1364s |      15 |   111703 |    99632 |    70679      1 |      170 |        0
1367.77/1368.14	c 1367s |      15 |   112050 |    99832 |    70679      1 |      170 |        0
1369.77/1370.16	c 1369s |      15 |   112149 |    99932 |    70679      1 |      170 |        0
1372.07/1372.44	c 1371s |      15 |   112265 |   100032 |    70679      1 |      170 |        0
1374.47/1374.89	c 1373s |      15 |   112389 |   100132 |    70679      1 |      170 |        0
1376.77/1377.11	c 1376s |      15 |   112493 |   100232 |    70679      1 |      170 |        0
1378.97/1379.34	c 1378s |      15 |   112601 |   100332 |    70679      1 |      170 |        0
1381.67/1382.01	c 1381s |      15 |   112796 |   100532 |    70679      1 |      170 |        0
1384.07/1384.49	c 1383s |      15 |   112992 |   100732 |    70679      1 |      170 |        0
1386.57/1386.96	c 1385s |      15 |   113098 |   100832 |    70679      1 |      170 |        0
1389.17/1389.59	c 1388s |      15 |   113200 |   100932 |    70679      1 |      170 |        0
1391.87/1392.21	c 1391s |      15 |   113331 |   101032 |    70679      1 |      170 |        0
1395.58/1395.92	c 1394s |      15 |   113544 |   101232 |    70679      1 |      170 |        0
1398.07/1398.49	c 1397s |      15 |   113662 |   101332 |    70679      1 |      170 |        0
1401.08/1401.50	c 1400s |      15 |   113753 |   101432 |    70679      1 |      170 |        0
1403.38/1403.75	c 1402s |      15 |   113884 |   101532 |    70679      1 |      170 |        0
1406.37/1406.73	c 1405s |      15 |   114115 |   101732 |    70679      1 |      170 |        0
1409.27/1409.67	c 1408s |      15 |   114194 |   101832 |    70679      1 |      170 |        0
1411.87/1412.25	c 1411s |      15 |   114323 |   101932 |    70679      1 |      170 |        0
1414.77/1415.17	c 1414s |      15 |   114421 |   102032 |    70679      1 |      170 |        0
1418.27/1418.67	c 1417s |      15 |   114621 |   102232 |    70679      1 |      170 |        0
1420.37/1420.75	c 1419s |      15 |   114751 |   102332 |    70679      1 |      170 |        0
1422.77/1423.15	c 1422s |      15 |   114855 |   102432 |    70679      1 |      170 |        0
1426.17/1426.57	c 1425s |      15 |   115105 |   102632 |    70679      1 |      170 |        0
1428.97/1429.36	c 1428s |      15 |   115346 |   102832 |    70679      1 |      170 |        0
1431.26/1431.65	c 1430s |      15 |   115558 |   103032 |    70679      1 |      170 |        0
1435.27/1435.67	c 1434s |      15 |   115787 |   103232 |    70679      1 |      170 |        0
1439.06/1439.48	c 1438s |      15 |   116021 |   103432 |    70679      1 |      170 |        0
1441.66/1442.02	c 1441s |      15 |   116313 |   103632 |    70679      1 |      170 |        0
1444.76/1445.16	c 1444s |      15 |   116522 |   103832 |    70679      1 |      170 |        0
1448.16/1448.56	c 1447s |      15 |   116719 |   104032 |    70679      1 |      170 |        0
1452.56/1452.96	c 1451s |      15 |   116927 |   104232 |    70679      1 |      170 |        0
1454.76/1455.15	c 1454s |      15 |   117045 |   104332 |    70679      1 |      170 |        0
1456.76/1457.17	c 1456s |      15 |   117187 |   104432 |    70679      1 |      170 |        0
1458.86/1459.26	c 1458s |      15 |   117302 |   104532 |    70679      1 |      170 |        0
1462.46/1462.88	c 1461s |      15 |   117511 |   104732 |    70679      1 |      170 |        0
1465.66/1466.00	c 1464s |      15 |   117731 |   104932 |    70679      1 |      170 |        0
1468.36/1468.73	c 1467s |      15 |   117957 |   105132 |    70679      1 |      170 |        0
1470.66/1471.02	c 1470s |      15 |   118180 |   105332 |    70679      1 |      170 |        0
1473.36/1473.71	c 1472s |      15 |   118407 |   105532 |    70679      1 |      170 |        0
1475.36/1475.73	c 1474s |      15 |   118617 |   105732 |    70679      1 |      170 |        0
1477.76/1478.13	c 1477s |      15 |   118831 |   105932 |    70679      1 |      170 |        0
1479.76/1480.16	c 1479s |      15 |   119029 |   106132 |    70679      1 |      170 |        0
1482.56/1482.93	c 1481s |      15 |   119342 |   106432 |    70679      1 |      170 |        0
1484.95/1485.35	c 1484s |      15 |   119692 |   106732 |    70679      1 |      170 |        0
1487.05/1487.49	c 1486s |      15 |   119930 |   106932 |    70679      1 |      170 |        0
1490.45/1490.87	c 1489s |      15 |   120138 |   107132 |    70679      1 |      170 |        0
1492.65/1493.03	c 1492s |      15 |   120249 |   107232 |    70679      1 |      170 |        0
1496.45/1496.83	c 1495s |      15 |   120465 |   107432 |    70679      1 |      170 |        0
1501.05/1501.46	c 1500s |      15 |   120674 |   107632 |    70679      1 |      170 |        0
1503.15/1503.57	c 1502s |      15 |   120787 |   107732 |    70679      1 |      170 |        0
1507.05/1507.48	c 1506s |      15 |   120990 |   107932 |    70679      1 |      170 |        0
1509.16/1509.59	c 1508s |      15 |   121091 |   108032 |    70679      1 |      170 |        0
1511.56/1511.93	c 1510s |      15 |   121200 |   108132 |    70679      1 |      170 |        0
1514.25/1514.64	c 1513s |      15 |   121398 |   108332 |    70679      1 |      170 |        0
1516.45/1516.88	c 1515s |      15 |   121613 |   108532 |    70679      1 |      170 |        0
1518.55/1519.00	c 1517s |      15 |   121819 |   108732 |    70679      1 |      170 |        0
1522.85/1523.25	c 1522s |      15 |   122054 |   108932 |    70679      1 |      170 |        0
1526.35/1526.76	c 1525s |      15 |   122252 |   109132 |    70679      1 |      170 |        0
1530.45/1530.82	c 1529s |      15 |   122494 |   109332 |    70679      1 |      170 |        0
1533.16/1533.59	c 1532s |      15 |   122689 |   109532 |    70679      1 |      170 |        0
1535.95/1536.34	c 1535s |      15 |   122907 |   109732 |    70679      1 |      170 |        0
1538.15/1538.57	c 1537s |      15 |   122994 |   109832 |    70679      1 |      170 |        0
1540.44/1540.85	c 1539s |      15 |   123100 |   109932 |    70679      1 |      170 |        0
1543.05/1543.41	c 1542s |      15 |   123302 |   110132 |    70679      1 |      170 |        0
1545.94/1546.35	c 1545s |      15 |   123508 |   110332 |    70679      1 |      170 |        0
1548.04/1548.45	c 1547s |      15 |   123705 |   110532 |    70679      1 |      170 |        0
1551.24/1551.67	c 1550s |      15 |   124026 |   110732 |    70679      1 |      170 |        0
1553.54/1553.92	c 1552s |      15 |   124153 |   110832 |    70679      1 |      170 |        0
1556.35/1556.73	c 1555s |      15 |   124342 |   111032 |    70679      1 |      170 |        0
1558.75/1559.18	c 1558s |      15 |   124602 |   111232 |    70679      1 |      170 |        0
1560.95/1561.35	c 1560s |      15 |   124687 |   111332 |    70679      1 |      170 |        0
1564.85/1565.23	c 1564s |      15 |   124906 |   111532 |    70679      1 |      170 |        0
1568.05/1568.46	c 1567s |      15 |   125098 |   111732 |    70679      1 |      170 |        0
1570.45/1570.83	c 1569s |      15 |   125317 |   111932 |    70679      1 |      170 |        0
1572.84/1573.21	c 1572s |      15 |   125515 |   112132 |    70679      1 |      170 |        0
1575.95/1576.39	c 1575s |      15 |   125723 |   112332 |    70679      1 |      170 |        0
1579.25/1579.68	c 1578s |      15 |   125915 |   112532 |    70679      1 |      170 |        0
1581.45/1581.82	c 1580s |      15 |   126116 |   112732 |    70679      1 |      170 |        0
1584.24/1584.60	c 1583s |      15 |   126225 |   112832 |    70679      1 |      170 |        0
1586.95/1587.37	c 1586s |      15 |   126332 |   112932 |    70679      1 |      170 |        0
1591.14/1591.57	c 1590s |      15 |   126571 |   113132 |    70679      1 |      170 |        0
1595.04/1595.44	c 1594s |      15 |   126766 |   113332 |    70679      1 |      170 |        0
1597.74/1598.17	c 1597s |      15 |   126880 |   113432 |    70679      1 |      170 |        0
1600.64/1601.03	c 1600s |      15 |   127074 |   113632 |    70679      1 |      170 |        0
1603.94/1604.39	c 1603s |      15 |   127293 |   113832 |    70679      1 |      170 |        0
1607.74/1608.11	c 1607s |      15 |   127498 |   114032 |    70679      1 |      170 |        0
1610.23/1610.61	c 1609s |      15 |   127598 |   114132 |    70679      1 |      170 |        0
1612.83/1613.26	c 1612s |      15 |   127708 |   114232 |    70679      1 |      170 |        0
1615.93/1616.37	c 1615s |      15 |   127831 |   114332 |    70679      1 |      170 |        0
1618.53/1618.97	c 1617s |      15 |   127946 |   114432 |    70679      1 |      170 |        0
1620.63/1621.00	c 1619s |      15 |   128029 |   114532 |    70679      1 |      170 |        0
1624.44/1624.89	c 1623s |      15 |   128249 |   114732 |    70679      1 |      170 |        0
1626.64/1627.03	c 1626s |      15 |   128339 |   114832 |    70679      1 |      170 |        0
1629.13/1629.51	c 1628s |      15 |   128453 |   114932 |    70679      1 |      170 |        0
1631.63/1632.07	c 1631s |      15 |   128584 |   115032 |    70679      1 |      170 |        0
1635.73/1636.12	c 1635s |      15 |   128782 |   115232 |    70679      1 |      170 |        0
1637.73/1638.18	c 1637s |      15 |   128898 |   115332 |    70679      1 |      170 |        0
1640.43/1640.83	c 1639s |      15 |   129000 |   115432 |    70679      1 |      170 |        0
1643.73/1644.12	c 1643s |      15 |   129189 |   115632 |    70679      1 |      170 |        0
1647.13/1647.57	c 1646s |      15 |   129419 |   115832 |    70679      1 |      170 |        0
1650.43/1650.89	c 1649s |      15 |   129620 |   116032 |    70679      1 |      170 |        0
1654.14/1654.56	c 1653s |      15 |   129830 |   116232 |    70679      1 |      170 |        0
1657.13/1657.54	c 1656s |      15 |   130028 |   116432 |    70679      1 |      170 |        0
1660.33/1660.74	c 1659s |      15 |   130264 |   116632 |    70679      1 |      170 |        0
1663.73/1664.18	c 1663s |      15 |   130476 |   116832 |    70679      1 |      170 |        0
1667.13/1667.53	c 1666s |      15 |   130679 |   117032 |    70679      1 |      170 |        0
1671.03/1671.45	c 1670s |      15 |   130776 |   117132 |    70679      2 |      170 |        0
1674.23/1674.63	c 1673s |      15 |   130987 |   117332 |    70679      2 |      170 |        0
1677.93/1678.38	c 1677s |      15 |   131203 |   117532 |    70679      2 |      170 |        0
1680.33/1680.72	c 1679s |      15 |   131389 |   117732 |    70679      2 |      170 |        0
1683.93/1684.39	c 1683s |      15 |   131638 |   117932 |    70679      2 |      170 |        0
1686.63/1687.04	c 1686s |      15 |   131866 |   118132 |    70679      2 |      170 |        0
1689.93/1690.35	c 1689s |      15 |   132107 |   118332 |    70679      2 |      170 |        0
1692.83/1693.25	c 1692s |      15 |   132319 |   118532 |    70679      2 |      170 |        0
1695.53/1695.97	c 1694s |      15 |   132531 |   118732 |    70679      2 |      170 |        0
1699.43/1699.87	c 1698s |      15 |   132728 |   118932 |    70679      2 |      170 |        0
1703.33/1703.70	c 1702s |      15 |   132927 |   119132 |    70679      2 |      170 |        0
1705.32/1705.74	c 1704s |      15 |   133045 |   119232 |    70679      2 |      170 |        0
1707.32/1707.74	c 1706s |      15 |   133146 |   119332 |    70679      2 |      170 |        0
1710.32/1710.70	c 1709s |      15 |   133348 |   119532 |    70679      2 |      170 |        0
1712.82/1713.26	c 1712s |      15 |   133542 |   119732 |    70679      2 |      170 |        0
1716.12/1716.58	c 1715s |      15 |   133839 |   120032 |    70679      2 |      170 |        0
1718.82/1719.21	c 1718s |      15 |   134044 |   120232 |    70679      2 |      170 |        0
1721.52/1721.99	c 1720s |      15 |   134239 |   120432 |    70679      2 |      170 |        0
1724.22/1724.65	c 1723s |      15 |   134441 |   120632 |    70679      2 |      170 |        0
1726.32/1726.78	c 1725s |      15 |   134652 |   120832 |    70679      2 |      170 |        0
1729.12/1729.55	c 1728s |      15 |   134848 |   121032 |    70679      2 |      170 |        0
1731.52/1731.96	c 1730s |      15 |   135035 |   121232 |    70679      2 |      170 |        0
1733.92/1734.33	c 1733s |      15 |   135247 |   121432 |    70679      2 |      170 |        0
1736.11/1736.57	c 1735s |      15 |   135412 |   121532 |    70679      2 |      170 |        0
1740.42/1740.88	c 1739s |      15 |   135687 |   121732 |    70679      2 |      170 |        0
1742.82/1743.23	c 1742s |      15 |   135792 |   121832 |    70679      2 |      170 |        0
1744.82/1745.28	c 1744s |      15 |   135896 |   121932 |    70679      2 |      170 |        0
1747.32/1747.76	c 1746s |      15 |   135985 |   122032 |    70679      2 |      170 |        0
1750.22/1750.69	c 1749s |      15 |   136103 |   122132 |    70679      2 |      170 |        0
1753.13/1753.58	c 1752s |      15 |   136201 |   122232 |    70679      2 |      170 |        0
1755.42/1755.84	c 1754s |      15 |   136306 |   122332 |    70679      2 |      170 |        0
1758.12/1758.58	c 1757s |      15 |   136557 |   122532 |    70679      2 |      170 |        0
1762.32/1762.76	c 1761s |      15 |   136805 |   122732 |    70679      2 |      170 |        0
1766.22/1766.63	c 1765s |      15 |   137018 |   122932 |    70679      2 |      170 |        0
1768.82/1769.22	c 1768s |      15 |   137217 |   123132 |    70679      2 |      170 |        0
1772.71/1773.15	c 1772s |      15 |   137455 |   123332 |    70679      2 |      170 |        0
1775.51/1775.93	c 1774s |      15 |   137576 |   123432 |    70679      2 |      170 |        0
1778.01/1778.41	c 1777s |      15 |   137702 |   123532 |    70679      2 |      170 |        0
1780.41/1780.83	c 1779s |      15 |   137809 |   123632 |    70679      2 |      170 |        0
1783.51/1783.98	c 1782s |      15 |   138028 |   123832 |    70679      2 |      170 |        0
1786.61/1787.06	c 1786s |      15 |   138266 |   124032 |    70679      2 |      170 |        0
1789.51/1789.97	c 1788s |      15 |   138472 |   124232 |    70679      2 |      170 |        0
1793.01/1793.40	c 1792s |      15 |   138687 |   124432 |    70679      2 |      170 |        0
1796.61/1797.02	c 1796s |      15 |   138908 |   124632 |    70679      2 |      170 |        0
1798.81/1799.21	c 1798s |      15 |   139125 |   124832 |    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-4079314-1465332593/watcher-4079314-1465332593 -o /tmp/evaluation-result-4079314-1465332593/solver-4079314-1465332593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079314-1465332593.opb 

pid=23313
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.04 2.06 2.03 3/179 23316
/proc/meminfo: memFree=30698504/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 2754 0 0 0 0 0 0 0 20 0 4 0 115192808 755429376 2605 33554432000 4194304 16246674 140735022126464 140735022125888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 184943 2615 441 2943 0 181837 0
[pid=23316/tid=23317] ppid=23313 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 773255168 2676 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 777449472 2692 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115192808 782692352 2708 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100187 s]
/proc/loadavg: 2.04 2.06 2.03 3/179 23316
/proc/meminfo: memFree=30698504/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 30225 0 0 0 6 3 0 0 20 0 4 0 115192808 1334382592 30014 33554432000 4194304 16246674 140735022126464 140735022125776 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 325777 30031 800 2943 0 322671 0
[pid=23316/tid=23317] ppid=23313 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1334382592 30042 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1334382592 30054 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1334382592 30065 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200539 s]
/proc/loadavg: 2.04 2.06 2.03 3/179 23316
/proc/meminfo: memFree=30698504/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 48048 0 0 0 13 6 0 0 20 0 4 0 115192808 1344868352 48347 33554432000 4194304 16246674 140735022126464 140735022125776 8055570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 328337 48347 800 2943 0 325231 0
[pid=23316/tid=23317] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 48347 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 48347 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 48347 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300509 s]
/proc/loadavg: 2.04 2.06 2.03 3/179 23316
/proc/meminfo: memFree=30698504/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 53118 0 0 0 22 6 0 0 20 0 4 0 115192808 1344868352 53417 33554432000 4194304 16246674 140735022126464 140735022125776 13930831 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 328337 53417 838 2943 0 325231 0
[pid=23316/tid=23317] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 53417 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 53417 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 53417 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.04 2.06 2.03 3/179 23316
/proc/meminfo: memFree=30698504/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 107381 0 0 0 55 14 0 0 20 0 4 0 115192808 1344868352 107681 33554432000 4194304 16246674 140735022126464 140735022108352 6970225 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 328337 107689 841 2943 0 325231 0
[pid=23316/tid=23317] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 107695 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 107700 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1344868352 107705 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.04 2.06 2.03 3/183 23320
/proc/meminfo: memFree=30208360/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=1.49 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122522 0 0 0 133 16 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 140735022108352 5825581 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122821 890 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1336900

[startup+3.10041 s]
/proc/loadavg: 2.04 2.06 2.03 3/183 23320
/proc/meminfo: memFree=30207856/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122522 0 0 0 293 16 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 140735022108352 5722608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122821 890 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30044 s]
/proc/loadavg: 2.04 2.06 2.03 3/183 23320
/proc/meminfo: memFree=30207840/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=6.29 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122522 0 0 0 613 16 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 140735022108352 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122821 890 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 2.03 4/184 23323
/proc/meminfo: memFree=30191336/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=12.69 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122522 0 0 0 1253 16 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 140735022108352 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122821 890 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122821 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 2.03 3/184 23323
/proc/meminfo: memFree=30176460/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=25.49 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122526 0 0 0 2533 16 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 140735022108352 6021536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122825 894 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.02 2.05 2.03 3/184 23323
/proc/meminfo: memFree=30128176/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=51.08 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122526 0 0 0 5092 16 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 140735022108352 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122825 894 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1336900

[startup+102.301 s]
/proc/loadavg: 2.06 2.05 2.03 3/183 23324
/proc/meminfo: memFree=30047724/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1336900 CPUtime=102.28 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 122526 0 0 0 10211 17 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 140735022108352 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 334225 122825 894 2943 0 331119 0
[pid=23316/tid=23317] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1368985600 122825 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1336900


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

/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1373764

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 23426
/proc/meminfo: memFree=29866292/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1301.99 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156679 0 0 0 130134 65 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 140735022108352 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284685 899 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1373764

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 23427
/proc/meminfo: memFree=29825204/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1361.97 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156682 0 0 0 136132 65 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 140735022108352 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284685 899 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1373764

[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 23429
/proc/meminfo: memFree=29728144/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1421.97 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156682 0 0 0 142131 66 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 140735022108352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284685 899 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284685 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1373764

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.00 3/183 23430
/proc/meminfo: memFree=29631200/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1481.95 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156683 0 0 0 148128 67 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 140735022108352 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284686 900 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1373764

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 23431
/proc/meminfo: memFree=29534252/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1541.95 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156683 0 0 0 154127 68 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 140735022108352 5823627 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284686 900 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1373764

[startup+1602.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 23432
/proc/meminfo: memFree=29428512/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1601.94 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156683 0 0 0 160125 69 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 140735022108352 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284686 900 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1373764

[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 23433
/proc/meminfo: memFree=29331692/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1661.93 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156683 0 0 0 166123 70 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 140735022108352 5712619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284686 900 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1373764

[startup+1722.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/182 23434
/proc/meminfo: memFree=29275504/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1373764 CPUtime=1721.92 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 156683 0 0 0 172121 71 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 140735022108352 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 343441 284686 900 2943 0 340335 0
[pid=23316/tid=23317] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1406734336 284686 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1373764

[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.01 3/183 23436
/proc/meminfo: memFree=29262624/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1386052 CPUtime=1781.91 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 159755 0 0 0 178119 72 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 140735022108352 5707706 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 346513 287758 900 2943 0 343407 0
[pid=23316/tid=23317] ppid=23313 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1386052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.09 2.01 3/183 23436
/proc/meminfo: memFree=29262468/32872528 swapFree=11196/354588
[pid=23316] ppid=23313 vsize=1386052 CPUtime=1800.01 cores=1,3,5,7
/proc/23316/stat : 23316 (toysat) R 23313 23316 21010 0 -1 4202496 159755 0 0 0 179929 72 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 140735022108352 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23316/statm: 346513 287758 900 2943 0 343407 0
[pid=23316/tid=23317] ppid=23313 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (toysat) S 23313 23316 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 139712986590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23316/tid=23318] ppid=23313 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (toysat) S 23313 23316 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 139712976100592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23316/tid=23319] ppid=23313 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (toysat) S 23313 23316 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115192808 1419317248 287758 33554432000 4194304 16246674 140735022126464 139712965627056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1386052

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.3
CPU system time (s): 0.725889
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 1386052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.725889
maximum resident set size= 1151032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159755
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= 171
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52831 second user time and 6.98494 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 22:49:53
IDJOB=4079314
IDBENCH=92732
IDSOLVER=2542
FILE ID=node126/4079314-1465332593
RUNJOBID= node126-1465306898-21027
PBS_JOBID= 19849495
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_7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079314-1465332593/watcher-4079314-1465332593 -o /tmp/evaluation-result-4079314-1465332593/solver-4079314-1465332593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079314-1465332593.opb

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

MD5SUM BENCH= c97ea0ca4046b53674ada05533ed4cde
RANDOM SEED=1583412737

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.500
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.56
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.500
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.500
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:        30698776 kB
Buffers:           40708 kB
Cached:           234616 kB
SwapCached:         2088 kB
Active:           930600 kB
Inactive:         152024 kB
Active(anon):     805416 kB
Inactive(anon):     4628 kB
Active(file):     125184 kB
Inactive(file):   147396 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             17492 kB
Writeback:             0 kB
AnonPages:       1164612 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             600052 kB
SReclaimable:      44080 kB
SUnreclaim:       555972 kB
KernelStack:        1472 kB
PageTables:         7032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1614872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 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 node126 at 2016-06-07 23:19:54