Trace number 4117393

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

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
MD5SUM4d9388b57865756cbc2edb6f81217f50
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1890
Best CPU time to get the best result obtained on this benchmark20.2449
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27553
Number of constraints which are cardinality constraints (but not clauses)247
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
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-29T16:36:25+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-4117393-1467210985.opb"]
0.00/0.01	c use --random-gen="1589188152 2618495550 2450716461 3319835057 686678248 2432336505 1098321070 1774468644 2944295175 328821121 1836964919 1902699971 3963025805 969687619 2499266474 1565687630 3026553006 39821103 157629630 3957216844 3127212352 1051504702 687461804 3277880596 3581698739 2958293619 3494579150 4011041168 3711415210 2203105619 3510299069 2727575849 752092407 500136905 4026616379 929492120 3661729597 3417054968 3997074021 1943225971 1180115315 4270915253 3930437823 1636971053 4112898243 3826994895 944639412 2708726751 1141972386 2372655274 3597368962 3829114049 1625250003 1000806807 840081480 2340501702 1661030254 329651320 382622687 3967446988 4288208355 1243896298 616449933 172388702 4110888570 2773228241 2960400859 3849023236 2967915584 276116800 3297558785 401614070 3530732515 1602780785 975061097 1742339422 1751520475 4290633349 1401616610 1416348901 2920644683 1821929599 2946768206 2140305384 28979766 485450368 2335266799 1970934263 1839922959 3843413452 3357121885 1193225611 3313346310 3073820103 3875339803 1192254634 2637084487 2782475733 2934548690 607807023 1848682917 2308485923 2530326614 2164867907 105521714 231893537 1711082341 1742148632 3818204029 3003743353 4211344964 3312772493 2483686337 318147958 339313587 3732152731 1793669661 1599641700 595668711 847923480 1565000017 1943130951 1407701026 988745519 4038633655 4052980785 2415407664 1590363149 2774569941 635669642 779851667 2781799129 3626948163 200951536 346710126 3220587000 200169639 3524738040 3228503446 1190270104 1119595221 2611536921 3104819444 2156296849 137051151 2901525085 1909463293 4010282296 314836061 2316374102 315013057 3960351527 1881623441 20896128 2226475417 3802829246 1488333610 2648525751 1695304970 146484473 2433280839 4283185588 3599576395 505308389 3810488447 3198778812 4199083164 988941271 964484403 662022506 4114725094 935800649 2804863938 2213739167 3241489131 4077314199 891362755 724564331 3196955978 4124549818 2362004971 3857762753 2064552676 2348400988 4258344020 4147498835 2782083406 708002582 3655132800 3241790095 4213628663 2217019108 2457457562 2044880297 3535907992 159354730 174933841 4253284018 563357569 433219275 2027639004 14798589 544687287 870607111 2326311975 3680289631 2847429499 3615729675 2603904398 1131265666 565583195 4132622642 3190169207 32792513 418787013 327031229 2705472373 3015834778 1279951612 852252793 641105302 3766490306 1278092493 386589524 3521532968 2690398546 327668093 417350784 3741301640 3616438297 2257244495 2755901739 321957369 3005070458 1444128546 482403699 3537077401 3883406541 1206740073 2762974770 3657143322 3518231893 3540276199 4288977796 2690625872 2185559808 2510572162 1919908872 1692988826 3678022541 1843749360 4047607048 258170680 3004816158 1386007863 3211561883 255 362436" option to reproduce the execution
0.09/0.23	c #vars 9632
0.09/0.23	c #constraints 29620
0.59/0.66	c BCD2: Hardening is enabled.
0.59/0.66	c BCD2: BiasedSearch is enabled.
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.67	c  0.0s |       0 |        0 |        0 |    13084      0 |        0 |        0
0.79/0.86	c  0.2s |       1 |    14184 |      100 |    13084      0 |        0 |        0
0.89/1.00	c  0.3s |       2 |    23304 |      250 |    14393      0 |        0 |        0
1.30/1.38	c  0.7s |       3 |    54545 |      475 |    15833      0 |        0 |        0
1.49/1.56	c  0.9s |       4 |    62549 |      813 |    17417      0 |        0 |        0
1.69/1.77	c  1.1s |       5 |    69751 |     1320 |    19159      0 |        0 |        0
1.99/2.03	c  1.4s |       6 |    76917 |     2081 |    23183      0 |        0 |        0
3.39/3.44	c  2.8s |       7 |   193916 |     3223 |    25502      0 |        0 |        0
4.89/4.99	c  4.3s |       7 |   330928 |     3717 |    25502      0 |        0 |        0
4.89/4.99	c #cpu_time = 4.316s
4.89/4.99	c #wall_clock_time = 4.316s
4.89/4.99	c #decision = 330928
4.89/4.99	c #random_decision = 1005
4.89/4.99	c #conflict = 3717
4.89/4.99	c #restart = 7
4.89/4.99	o 2110
4.89/4.99	c BCD2: refineUB: 2109 -> 2090
4.89/4.99	c BCD2: updating upper bound: 2110 -> 2090
4.89/4.99	c BCD2: 0 <= obj <= 2090
4.89/4.99	c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0
4.89/4.99	c BCD2: #sat=1 #unsat=1 bias=1/2
4.89/4.99	c Solving starts ...
4.89/4.99	c ============================[ Search Statistics ]============================
4.89/4.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.99	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.99	c =============================================================================
4.89/4.99	c  0.0s |       0 |        0 |        0 |    25502      0 |        0 |        0
4.99/5.05	c  0.1s |       1 |      184 |      100 |    25502      0 |        0 |        0
5.09/5.12	c  0.1s |       2 |      640 |      250 |    25502      0 |        0 |        0
5.09/5.19	c  0.2s |       3 |      932 |      475 |    25502      0 |        0 |        0
5.29/5.32	c  0.3s |       4 |     1294 |      813 |    25502      0 |        0 |        0
5.49/5.50	c  0.5s |       5 |     1891 |     1320 |    28053      0 |        0 |        0
5.70/5.75	c  0.8s |       6 |     2741 |     2081 |    28053      0 |        0 |        0
6.09/6.13	c  1.1s |       7 |     4046 |     3223 |    28053      0 |        0 |        0
6.69/6.75	c  1.8s |       8 |     5956 |     4936 |    30859      0 |        0 |        0
7.69/7.72	c  2.7s |       9 |     8750 |     7506 |    30859      0 |        0 |        0
9.49/9.52	c  4.5s |      10 |    12998 |    11361 |    33945      0 |        0 |        0
11.09/11.19	c  6.2s |      10 |    16457 |    14489 |    37340      0 |        0 |        0
11.09/11.19	c #cpu_time = 6.197s
11.09/11.19	c #wall_clock_time = 6.196s
11.09/11.19	c #decision = 16457
11.09/11.19	c #random_decision = 52
11.09/11.19	c #conflict = 14489
11.09/11.19	c #restart = 10
11.09/11.19	c BCD2: found a new core of size 13: cost of the new core is >=20
11.09/11.19	c lower bound updated to 20
11.09/11.19	c BCD2: refineUB: 2109 -> 2090
11.09/11.19	c BCD2: 20 <= obj <= 2090
11.09/11.19	c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0
11.09/11.19	c BCD2: #sat=1 #unsat=2 bias=2/3
11.09/11.19	c Solving starts ...
11.09/11.19	c ============================[ Search Statistics ]============================
11.09/11.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.09/11.19	c       |         |          |          |    Limit     GC | Var      | Constra 
11.09/11.19	c =============================================================================
11.09/11.19	c  0.0s |       0 |        0 |        0 |    37340      0 |        0 |        0
11.19/11.27	c  0.1s |       0 |       13 |        0 |    37340      0 |        0 |        0
11.19/11.27	c #cpu_time = 0.079s
11.19/11.27	c #wall_clock_time = 0.079s
11.19/11.27	c #decision = 13
11.19/11.27	c #random_decision = 0
11.19/11.27	c #conflict = 0
11.19/11.27	c #restart = 0
11.19/11.27	c BCD2: found a new core of size 13: cost of the new core is >=50
11.19/11.27	c lower bound updated to 70
11.19/11.27	c BCD2: refineUB: 2109 -> 2090
11.19/11.27	c BCD2: 70 <= obj <= 2090
11.19/11.27	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
11.19/11.27	c BCD2: #sat=1 #unsat=3 bias=3/4
11.19/11.27	c Solving starts ...
11.19/11.27	c ============================[ Search Statistics ]============================
11.19/11.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.19/11.27	c       |         |          |          |    Limit     GC | Var      | Constra 
11.19/11.27	c =============================================================================
11.19/11.27	c  0.0s |       0 |        0 |        0 |    37340      0 |        0 |        0
11.39/11.41	c  0.1s |       1 |      167 |      100 |    37340      0 |        0 |        0
11.49/11.59	c  0.3s |       2 |     2585 |      250 |    37340      0 |        0 |        0
11.69/11.79	c  0.5s |       3 |     2898 |      475 |    37340      0 |        0 |        0
11.99/12.04	c  0.8s |       4 |     3340 |      813 |    37340      0 |        0 |        0
12.39/12.42	c  1.2s |       5 |     3974 |     1320 |    37340      0 |        0 |        0
12.99/13.02	c  1.7s |       6 |     4932 |     2081 |    37340      0 |        0 |        0
13.78/13.81	c  2.5s |       7 |     6328 |     3223 |    37340      0 |        0 |        0
14.49/14.56	c  3.3s |       8 |     8516 |     4936 |    37340      0 |        0 |        0
16.48/16.52	c  5.2s |       9 |    12371 |     7506 |    41074      0 |        0 |        0
18.48/18.57	c  7.3s |       9 |    15481 |    10006 |    41074      0 |        0 |        0
19.48/19.54	c  8.3s |      10 |    17111 |    11361 |    41074      0 |        0 |        0
21.58/21.60	c 10.3s |      10 |    20517 |    13861 |    41074      0 |        0 |        0
23.58/23.67	c 12.4s |      10 |    22561 |    15861 |    41074      0 |        0 |        0
24.98/25.00	c 13.7s |      11 |    23903 |    17144 |    41074      0 |        0 |        0
26.98/27.03	c 15.8s |      11 |    25669 |    18544 |    41074      0 |        0 |        0
28.98/29.06	c 17.8s |      11 |    26958 |    19744 |    41074      0 |        0 |        0
31.18/31.21	c 19.9s |      11 |    28628 |    21244 |    45182      0 |        0 |        0
33.19/33.26	c 22.0s |      11 |    30144 |    22644 |    45182      0 |        0 |        0
35.39/35.42	c 24.2s |      11 |    31699 |    24044 |    45182      0 |        0 |        0
37.48/37.50	c 26.2s |      11 |    33157 |    25344 |    45182      0 |        0 |        0
38.38/38.40	c 27.1s |      12 |    33655 |    25819 |    45182      0 |        0 |        0
40.47/40.55	c 29.3s |      12 |    34859 |    26819 |    45182      0 |        0 |        0
42.88/42.92	c 31.6s |      12 |    36081 |    27819 |    45182      1 |        0 |        0
44.98/45.00	c 33.7s |      12 |    37765 |    29319 |    45182      1 |        0 |        0
46.98/47.05	c 35.8s |      12 |    39203 |    30619 |    45182      1 |        0 |        0
48.98/49.07	c 37.8s |      12 |    40827 |    31919 |    45182      1 |        0 |        0
51.08/51.18	c 39.9s |      12 |    42394 |    33319 |    45182      1 |        0 |        0
53.28/53.31	c 42.0s |      12 |    43949 |    34619 |    45182      1 |        0 |        0
55.38/55.44	c 44.2s |      12 |    45377 |    35919 |    45182      1 |        0 |        0
57.49/57.54	c 46.3s |      12 |    46717 |    37119 |    45182      1 |        0 |        0
59.58/59.68	c 48.4s |      12 |    48159 |    38419 |    45182      1 |        0 |        0
60.37/60.45	c 49.2s |      13 |    48609 |    38832 |    45182      1 |        0 |        0
62.37/62.49	c 51.2s |      13 |    49952 |    39832 |    49701      1 |        0 |        0
64.47/64.57	c 53.3s |      13 |    51391 |    40932 |    49701      1 |        0 |        0
66.57/66.64	c 55.4s |      13 |    52907 |    42232 |    49701      1 |        0 |        0
68.67/68.74	c 57.5s |      13 |    54441 |    43432 |    49701      1 |        0 |        0
70.77/70.86	c 59.6s |      13 |    55682 |    44532 |    49701      1 |        0 |        0
72.78/72.89	c 61.6s |      13 |    56885 |    45532 |    49701      1 |        0 |        0
74.87/74.91	c 63.6s |      13 |    58152 |    46632 |    49701      1 |        0 |        0
76.97/77.05	c 65.8s |      13 |    59598 |    47832 |    49701      1 |        0 |        0
78.97/79.08	c 67.8s |      13 |    60888 |    48932 |    49701      1 |        0 |        0
81.07/81.14	c 69.9s |      13 |    62292 |    50132 |    49701      1 |        0 |        0
83.17/83.24	c 72.0s |      13 |    63513 |    51332 |    49701      1 |        0 |        0
85.27/85.32	c 74.1s |      13 |    64526 |    52332 |    49701      1 |        0 |        0
87.37/87.43	c 76.2s |      13 |    65651 |    53332 |    49701      1 |        0 |        0
91.26/91.30	c 80.0s |      13 |    67028 |    54432 |    49701      2 |        0 |        0
93.26/93.39	c 82.1s |      13 |    67940 |    55232 |    49701      2 |        0 |        0
103.66/103.71	c 92.4s |      13 |    68768 |    56032 |    49701      2 |        0 |        0
105.66/105.76	c 94.5s |      13 |    70165 |    57332 |    49701      2 |        0 |        0
107.36/107.42	c 96.2s |      14 |    71212 |    58352 |    49701      2 |        0 |        0
109.55/109.68	c 98.4s |      14 |    71978 |    59052 |    49701      2 |        0 |        0
111.75/111.81	c  100s |      14 |    73293 |    60352 |    49701      2 |        0 |        0
113.75/113.86	c  102s |      14 |    74417 |    61452 |    49701      2 |        0 |        0
115.95/116.05	c  104s |      14 |    75425 |    62452 |    49701      2 |        0 |        0
118.05/118.13	c  106s |      14 |    76433 |    63452 |    49701      2 |        0 |        0
120.25/120.31	c  109s |      14 |    77558 |    64552 |    49701      2 |        0 |        0
122.36/122.46	c  111s |      14 |    78691 |    65652 |    49701      2 |        0 |        0
124.35/124.48	c  113s |      14 |    79624 |    66552 |    49701      2 |        0 |        0
126.45/126.59	c  115s |      14 |    80671 |    67552 |    49701      2 |        0 |        0
128.65/128.70	c  117s |      14 |    82422 |    69252 |    54672      2 |        0 |        0
130.65/130.74	c  119s |      14 |    83744 |    70552 |    54672      2 |        0 |        0
132.75/132.82	c  121s |      14 |    85410 |    72152 |    54672      2 |        0 |        0
134.75/134.85	c  123s |      14 |    86637 |    73352 |    54672      2 |        0 |        0
136.95/137.02	c  125s |      14 |    87990 |    74652 |    54672      2 |        0 |        0
138.95/139.08	c  127s |      14 |    89441 |    76052 |    54672      2 |        0 |        0
141.15/141.21	c  129s |      14 |    90900 |    77452 |    54672      2 |        0 |        0
143.25/143.34	c  132s |      14 |    91933 |    78452 |    54672      2 |        0 |        0
145.24/145.40	c  134s |      14 |    93274 |    79752 |    54672      2 |        0 |        0
147.34/147.43	c  136s |      14 |    94422 |    80852 |    54672      2 |        0 |        0
149.34/149.45	c  138s |      14 |    95242 |    81652 |    54672      2 |        0 |        0
151.34/151.49	c  140s |      14 |    96482 |    82852 |    54672      2 |        0 |        0
153.44/153.56	c  142s |      14 |    97821 |    84152 |    54672      2 |        0 |        0
155.55/155.66	c  144s |      14 |    97951 |    84252 |    54672      3 |        0 |        0
166.25/166.31	c  155s |      14 |    98562 |    84852 |    54672      3 |        0 |        0
168.34/168.41	c  157s |      14 |    99884 |    86152 |    54672      3 |        0 |        0
170.44/170.50	c  159s |      15 |   101408 |    87632 |    54672      3 |        0 |        0
172.44/172.55	c  161s |      15 |   102430 |    88532 |    54672      3 |        0 |        0
174.54/174.60	c  163s |      15 |   103719 |    89732 |    54672      3 |        0 |        0
176.54/176.67	c  165s |      15 |   105046 |    90832 |    54672      3 |        0 |        0
178.74/178.80	c  167s |      15 |   106268 |    91932 |    54672      3 |        0 |        0
180.74/180.84	c  169s |      15 |   107538 |    93032 |    54672      3 |        0 |        0
182.74/182.88	c  171s |      15 |   108809 |    94232 |    54672      3 |        0 |        0
184.84/184.93	c  173s |      15 |   110241 |    95632 |    54672      3 |        0 |        0
186.84/186.94	c  175s |      15 |   111857 |    97132 |    54672      3 |        0 |        0
189.04/189.11	c  177s |      15 |   113327 |    98532 |    54672      3 |        0 |        0
191.14/191.24	c  179s |      15 |   114850 |   100032 |    54672      3 |        0 |        0
193.14/193.27	c  182s |      15 |   116053 |   101032 |    54672      3 |        0 |        0
195.24/195.35	c  184s |      15 |   117333 |   102232 |    54672      3 |        0 |        0
197.24/197.38	c  186s |      15 |   118703 |   103532 |    54672      3 |        0 |        0
199.24/199.39	c  188s |      15 |   120130 |   104832 |    54672      3 |        0 |        0
201.44/201.52	c  190s |      15 |   121618 |   106232 |    54672      3 |        0 |        0
203.43/203.56	c  192s |      15 |   122850 |   107432 |    54672      3 |        0 |        0
205.43/205.57	c  194s |      15 |   124374 |   108832 |    54672      3 |        0 |        0
207.73/207.83	c  196s |      15 |   125366 |   109732 |    54672      3 |        0 |        0
209.83/209.91	c  198s |      15 |   126102 |   110432 |    54672      3 |        0 |        0
211.93/212.03	c  200s |      15 |   126722 |   111032 |    54672      3 |        0 |        0
214.53/214.66	c  203s |      15 |   127359 |   111632 |    54672      4 |        0 |        0
223.23/223.30	c  212s |      15 |   127460 |   111732 |    54672      4 |        0 |        0
225.33/225.48	c  214s |      15 |   128320 |   112532 |    60140      4 |        0 |        0
227.33/227.49	c  216s |      15 |   128826 |   113032 |    60140      4 |        0 |        0
229.52/229.66	c  218s |      15 |   129670 |   113832 |    60140      4 |        0 |        0
231.62/231.74	c  220s |      15 |   131340 |   115332 |    60140      4 |        0 |        0
233.62/233.77	c  222s |      15 |   132751 |   116632 |    60140      4 |        0 |        0
235.82/236.00	c  224s |      15 |   133834 |   117632 |    60140      4 |        0 |        0
238.02/238.18	c  226s |      15 |   135097 |   118832 |    60140      4 |        0 |        0
240.12/240.28	c  229s |      15 |   136272 |   119932 |    60140      4 |        0 |        0
242.32/242.45	c  231s |      15 |   137829 |   121232 |    60140      4 |        0 |        0
244.51/244.61	c  233s |      15 |   138748 |   122132 |    60140      4 |        0 |        0
246.71/246.87	c  235s |      15 |   139987 |   123232 |    60140      4 |        0 |        0
248.82/248.91	c  237s |      15 |   140902 |   124032 |    60140      4 |        0 |        0
250.81/250.95	c  239s |      15 |   141959 |   125032 |    60140      4 |        0 |        0
253.01/253.12	c  241s |      15 |   143123 |   126132 |    60140      4 |        0 |        0
255.11/255.26	c  243s |      15 |   144124 |   127032 |    60140      4 |        0 |        0
257.11/257.26	c  245s |      15 |   144955 |   127832 |    60140      4 |        0 |        0
259.21/259.37	c  248s |      15 |   146114 |   128932 |    60140      4 |        0 |        0
261.41/261.52	c  250s |      15 |   147065 |   129832 |    60140      4 |        0 |        0
263.41/263.55	c  252s |      15 |   147992 |   130732 |    60140      4 |        0 |        0
265.11/265.23	c  253s |      16 |   148876 |   131552 |    60140      4 |        0 |        0
272.91/273.02	c  261s |      16 |   149028 |   131652 |    60140      4 |        0 |        0
274.90/275.09	c  263s |      16 |   149659 |   132252 |    60140      4 |        0 |        0
277.00/277.10	c  265s |      16 |   150504 |   133052 |    60140      4 |        0 |        0
279.00/279.15	c  267s |      16 |   151421 |   133952 |    60140      4 |        0 |        0
281.00/281.18	c  269s |      16 |   152223 |   134652 |    60140      4 |        0 |        0
283.20/283.36	c  272s |      16 |   153041 |   135452 |    60140      4 |        0 |        0
285.40/285.58	c  274s |      16 |   153761 |   136152 |    60140      4 |        0 |        0
287.60/287.70	c  276s |      16 |   154672 |   137052 |    60140      4 |        0 |        0
289.70/289.87	c  278s |      16 |   155835 |   138152 |    60140      4 |        0 |        0
291.90/292.05	c  280s |      16 |   157076 |   139352 |    60140      4 |        0 |        0
294.00/294.14	c  282s |      16 |   158236 |   140452 |    60140      4 |        0 |        0
296.00/296.16	c  284s |      16 |   159386 |   141552 |    60140      4 |        0 |        0
298.10/298.23	c  286s |      16 |   160205 |   142352 |    60140      4 |        0 |        0
300.09/300.24	c  288s |      16 |   160945 |   143052 |    60140      4 |        0 |        0
302.09/302.28	c  291s |      16 |   162025 |   144052 |    60140      4 |        0 |        0
304.70/304.84	c  293s |      16 |   162457 |   144452 |    60140      5 |        0 |        0
309.89/310.02	c  298s |      16 |   162565 |   144552 |    60140      5 |        0 |        0
312.09/312.29	c  301s |      16 |   162883 |   144852 |    60140      5 |        0 |        0
314.10/314.29	c  303s |      16 |   163630 |   145552 |    60140      5 |        0 |        0
316.30/316.41	c  305s |      16 |   164913 |   146752 |    60140      5 |        0 |        0
318.50/318.69	c  307s |      16 |   166595 |   148352 |    60140      5 |        0 |        0
320.70/320.82	c  309s |      16 |   168182 |   149852 |    60140      5 |        0 |        0
322.70/322.85	c  311s |      16 |   169442 |   151052 |    60140      5 |        0 |        0
324.80/324.93	c  313s |      16 |   170790 |   152352 |    60140      5 |        0 |        0
326.80/326.95	c  315s |      16 |   171948 |   153452 |    60140      5 |        0 |        0
329.10/329.27	c  318s |      16 |   173180 |   154652 |    60140      5 |        0 |        0
331.30/331.49	c  320s |      16 |   174404 |   155852 |    60140      5 |        0 |        0
333.40/333.54	c  322s |      16 |   175436 |   156852 |    60140      5 |        0 |        0
335.50/335.60	c  324s |      16 |   176362 |   157752 |    60140      5 |        0 |        0
337.59/337.75	c  326s |      16 |   177524 |   158852 |    60140      5 |        0 |        0
339.69/339.89	c  328s |      16 |   178627 |   159852 |    60140      5 |        0 |        0
344.39/344.54	c  333s |      16 |   178842 |   160052 |    60140      5 |        0 |        0
346.49/346.66	c  335s |      16 |   180312 |   161352 |    60140      5 |        0 |        0
348.59/348.79	c  337s |      16 |   181461 |   162452 |    60140      5 |        0 |        0
350.69/350.84	c  339s |      16 |   182847 |   163752 |    60140      5 |        0 |        0
352.69/352.86	c  341s |      16 |   184093 |   164952 |    60140      5 |        0 |        0
354.69/354.87	c  343s |      16 |   185132 |   165952 |    60140      5 |        0 |        0
356.79/356.96	c  345s |      16 |   185887 |   166652 |    60140      5 |        0 |        0
358.89/359.05	c  347s |      16 |   186847 |   167552 |    60140      5 |        0 |        0
360.99/361.12	c  349s |      16 |   187886 |   168552 |    60140      5 |        0 |        0
362.98/363.17	c  351s |      16 |   189086 |   169652 |    60140      5 |        0 |        0
365.08/365.24	c  353s |      16 |   190039 |   170552 |    60140      5 |        0 |        0
367.38/367.55	c  356s |      16 |   190850 |   171352 |    60140      5 |        0 |        0
369.48/369.64	c  358s |      16 |   192210 |   172652 |    60140      5 |        0 |        0
371.58/371.73	c  360s |      16 |   193047 |   173452 |    60140      5 |        0 |        0
373.78/373.90	c  362s |      16 |   194108 |   174452 |    60140      5 |        0 |        0
376.78/376.99	c  365s |      16 |   194418 |   174752 |    60140      6 |        0 |        0
378.88/379.09	c  367s |      16 |   195451 |   175752 |    60140      6 |        0 |        0
382.88/383.03	c  371s |      16 |   195770 |   176052 |    60140      6 |        0 |        0
384.87/385.03	c  373s |      16 |   197326 |   177552 |    60140      6 |        0 |        0
386.87/387.03	c  375s |      16 |   199039 |   179152 |    66154      6 |        0 |        0
388.87/389.04	c  377s |      16 |   200502 |   180552 |    66154      6 |        0 |        0
390.86/391.09	c  379s |      16 |   201965 |   181952 |    66154      6 |        0 |        0
392.97/393.14	c  381s |      16 |   203333 |   183252 |    66154      6 |        0 |        0
394.97/395.20	c  383s |      16 |   204573 |   184452 |    66154      6 |        0 |        0
397.17/397.33	c  386s |      16 |   205656 |   185452 |    66154      6 |        0 |        0
399.16/399.34	c  388s |      16 |   206941 |   186652 |    66154      6 |        0 |        0
401.26/401.44	c  390s |      16 |   208298 |   187952 |    66154      6 |        0 |        0
403.46/403.60	c  392s |      16 |   209473 |   189052 |    66154      6 |        0 |        0
405.46/405.69	c  394s |      16 |   210411 |   189952 |    66154      6 |        0 |        0
407.56/407.75	c  396s |      16 |   211581 |   191052 |    66154      6 |        0 |        0
409.76/409.94	c  398s |      16 |   212614 |   192052 |    66154      6 |        0 |        0
412.26/412.41	c  401s |      16 |   213564 |   192952 |    66154      6 |        0 |        0
414.26/414.42	c  403s |      16 |   214096 |   193452 |    66154      6 |        0 |        0
416.46/416.60	c  405s |      16 |   215132 |   194452 |    66154      6 |        0 |        0
418.66/418.80	c  407s |      16 |   216207 |   195452 |    66154      6 |        0 |        0
420.66/420.85	c  409s |      16 |   217139 |   196352 |    66154      6 |        0 |        0
423.36/423.52	c  412s |      16 |   217984 |   197152 |    66154      6 |        0 |        0
424.76/424.99	c  413s |      17 |   218278 |   197432 |    66154      6 |        0 |        0
465.95/466.15	c  454s |      17 |   218416 |   197532 |    66154      6 |        0 |        0
468.25/468.40	c  457s |      17 |   219330 |   198332 |    66154      6 |        0 |        0
470.35/470.55	c  459s |      17 |   219896 |   198832 |    66154      6 |        0 |        0
472.65/472.80	c  461s |      17 |   220531 |   199432 |    66154      6 |        0 |        0
474.75/474.90	c  463s |      17 |   221312 |   200132 |    66154      6 |        0 |        0
476.95/477.10	c  465s |      17 |   222086 |   200832 |    66154      6 |        0 |        0
479.05/479.26	c  467s |      17 |   222835 |   201532 |    66154      6 |        0 |        0
481.45/481.69	c  470s |      17 |   223718 |   202332 |    66154      6 |        0 |        0
483.55/483.72	c  472s |      17 |   224586 |   203132 |    66154      6 |        0 |        0
485.75/485.93	c  474s |      17 |   225297 |   203832 |    66154      6 |        0 |        0
487.95/488.17	c  476s |      17 |   226391 |   204732 |    66154      6 |        0 |        0
490.04/490.22	c  478s |      17 |   227318 |   205532 |    66154      6 |        0 |        0
492.14/492.34	c  481s |      17 |   228211 |   206332 |    66154      6 |        0 |        0
494.34/494.60	c  483s |      17 |   229126 |   207132 |    66154      6 |        0 |        0
496.54/496.71	c  485s |      17 |   229896 |   207832 |    66154      6 |        0 |        0
498.74/498.93	c  487s |      17 |   230689 |   208532 |    66154      6 |        0 |        0
500.94/501.15	c  489s |      17 |   231445 |   209232 |    66154      6 |        0 |        0
503.04/503.21	c  491s |      17 |   232355 |   210032 |    66154      6 |        0 |        0
508.83/509.08	c  497s |      17 |   233306 |   210832 |    66154      7 |        0 |        0
526.94/527.17	c  515s |      17 |   233414 |   210932 |    66154      7 |        0 |        0
528.93/529.18	c  517s |      17 |   233844 |   211332 |    66154      7 |        0 |        0
531.02/531.21	c  519s |      17 |   235075 |   212432 |    66154      7 |        0 |        0
533.12/533.36	c  522s |      17 |   236117 |   213332 |    66154      7 |        0 |        0
535.32/535.54	c  524s |      17 |   237132 |   214232 |    66154      7 |        0 |        0
537.42/537.65	c  526s |      17 |   238258 |   215232 |    66154      7 |        0 |        0
539.62/539.81	c  528s |      17 |   239336 |   216132 |    66154      7 |        0 |        0
541.62/541.85	c  530s |      17 |   240169 |   216932 |    66154      7 |        0 |        0
543.62/543.87	c  532s |      17 |   241297 |   217932 |    66154      7 |        0 |        0
612.51/612.74	c  601s |      17 |   242011 |   218532 |    66154      7 |        0 |        0
614.71/614.91	c  603s |      17 |   242666 |   219132 |    66154      7 |        0 |        0
616.71/616.93	c  605s |      17 |   243379 |   219732 |    66154      7 |        0 |        0
618.81/619.01	c  607s |      17 |   244123 |   220432 |    66154      7 |        0 |        0
620.91/621.14	c  609s |      17 |   245179 |   221332 |    66154      7 |        0 |        0
623.01/623.28	c  612s |      17 |   246064 |   222132 |    66154      7 |        0 |        0
625.21/625.44	c  614s |      17 |   246968 |   222932 |    66154      7 |        0 |        0
627.61/627.81	c  616s |      17 |   247930 |   223732 |    66154      7 |        0 |        0
629.90/630.17	c  618s |      17 |   248579 |   224332 |    66154      7 |        0 |        0
632.00/632.27	c  620s |      17 |   249114 |   224832 |    66154      7 |        0 |        0
634.20/634.45	c  623s |      17 |   249663 |   225332 |    66154      7 |        0 |        0
636.40/636.66	c  625s |      17 |   250248 |   225832 |    66154      7 |        0 |        0
638.60/638.87	c  627s |      17 |   251277 |   226732 |    66154      7 |        0 |        0
640.80/641.07	c  629s |      17 |   251966 |   227332 |    66154      7 |        0 |        0
643.10/643.37	c  632s |      17 |   252775 |   228032 |    66154      7 |        0 |        0
645.50/645.72	c  634s |      17 |   253700 |   228832 |    66154      7 |        0 |        0
647.60/647.86	c  636s |      17 |   254381 |   229432 |    66154      7 |        0 |        0
649.69/649.92	c  638s |      17 |   255002 |   229932 |    66154      7 |        0 |        0
651.89/652.17	c  640s |      17 |   255514 |   230432 |    66154      7 |        0 |        0
654.39/654.69	c  643s |      17 |   256394 |   231232 |    66154      7 |        0 |        0
656.59/656.83	c  645s |      17 |   257050 |   231832 |    66154      7 |        0 |        0
658.69/658.90	c  647s |      17 |   257680 |   232432 |    66154      7 |        0 |        0
661.09/661.30	c  650s |      17 |   258317 |   233032 |    66154      7 |        0 |        0
663.29/663.56	c  652s |      17 |   259212 |   233832 |    66154      7 |        0 |        0
665.69/665.97	c  654s |      17 |   260122 |   234632 |    66154      7 |        0 |        0
667.89/668.13	c  656s |      17 |   261095 |   235532 |    66154      7 |        0 |        0
669.99/670.24	c  658s |      17 |   261617 |   236032 |    66154      7 |        0 |        0
672.28/672.50	c  661s |      17 |   262419 |   236732 |    66154      7 |        0 |        0
674.58/674.86	c  663s |      17 |   263092 |   237332 |    66154      7 |        0 |        0
676.88/677.12	c  665s |      17 |   263740 |   237932 |    66154      7 |        0 |        0
678.88/679.13	c  667s |      17 |   264374 |   238532 |    66154      7 |        0 |        0
681.08/681.31	c  670s |      17 |   265030 |   239132 |    66154      7 |        0 |        0
683.28/683.56	c  672s |      17 |   265862 |   239832 |    66154      7 |        0 |        0
685.38/685.66	c  674s |      17 |   266550 |   240432 |    66154      7 |        0 |        0
687.77/688.09	c  676s |      17 |   267398 |   241132 |    66154      7 |        0 |        0
689.87/690.18	c  678s |      17 |   267952 |   241632 |    66154      7 |        0 |        0
692.27/692.54	c  681s |      17 |   268556 |   242232 |    66154      7 |        0 |        0
694.27/694.56	c  683s |      17 |   268987 |   242632 |    66154      7 |        0 |        0
696.57/696.89	c  685s |      17 |   269665 |   243232 |    66154      7 |        0 |        0
698.77/699.07	c  687s |      17 |   270339 |   243832 |    66154      7 |        0 |        0
703.98/704.28	c  693s |      17 |   270444 |   243932 |    66154      8 |        0 |        0
706.07/706.38	c  695s |      17 |   271485 |   244832 |    66154      8 |        0 |        0
708.27/708.52	c  697s |      17 |   272455 |   245732 |    66154      8 |        0 |        0
710.37/710.61	c  699s |      17 |   273652 |   246832 |    66154      8 |        0 |        0
712.47/712.77	c  701s |      17 |   274587 |   247732 |    66154      8 |        0 |        0
714.67/714.96	c  703s |      17 |   275943 |   248932 |    66154      8 |        0 |        0
718.46/718.73	c  707s |      17 |   276278 |   249232 |    66154      8 |        0 |        0
720.47/720.73	c  709s |      17 |   277053 |   249932 |    66154      8 |        0 |        0
722.56/722.83	c  711s |      17 |   278125 |   250832 |    66154      8 |        0 |        0
724.76/725.00	c  713s |      17 |   279274 |   251832 |    66154      8 |        0 |        0
726.86/727.16	c  715s |      17 |   280309 |   252732 |    66154      8 |        0 |        0
729.56/729.82	c  718s |      17 |   280550 |   252932 |    66154      8 |        0 |        0
731.76/732.01	c  720s |      17 |   281441 |   253732 |    66154      8 |        0 |        0
733.77/734.07	c  722s |      17 |   282642 |   254732 |    66154      8 |        0 |        0
735.76/736.09	c  724s |      17 |   283386 |   255432 |    66154      8 |        0 |        0
738.06/738.31	c  727s |      17 |   284375 |   256332 |    66154      8 |        0 |        0
740.26/740.58	c  729s |      17 |   285312 |   257232 |    66154      8 |        0 |        0
742.36/742.63	c  731s |      17 |   286111 |   257932 |    66154      8 |        0 |        0
744.56/744.82	c  733s |      17 |   287123 |   258832 |    66154      8 |        0 |        0
746.76/747.02	c  735s |      17 |   288150 |   259732 |    66154      8 |        0 |        0
748.96/749.29	c  738s |      17 |   289116 |   260632 |    66154      8 |        0 |        0
751.16/751.43	c  740s |      17 |   290017 |   261432 |    66154      8 |        0 |        0
753.35/753.67	c  742s |      17 |   290533 |   261932 |    66154      8 |        0 |        0
755.45/755.73	c  744s |      17 |   291293 |   262632 |    66154      8 |        0 |        0
757.45/757.76	c  746s |      17 |   291936 |   263232 |    66154      8 |        0 |        0
759.75/760.02	c  748s |      17 |   292598 |   263832 |    66154      8 |        0 |        0
761.85/762.17	c  750s |      17 |   293505 |   264632 |    66154      8 |        0 |        0
764.05/764.39	c  753s |      17 |   294347 |   265332 |    66154      8 |        0 |        0
766.35/766.65	c  755s |      17 |   295125 |   266032 |    66154      8 |        0 |        0
768.45/768.75	c  757s |      17 |   295975 |   266832 |    66154      8 |        0 |        0
770.65/770.95	c  759s |      17 |   296601 |   267432 |    66154      8 |        0 |        0
772.75/773.01	c  761s |      17 |   297303 |   268032 |    66154      8 |        0 |        0
774.95/775.24	c  763s |      17 |   298219 |   268832 |    66154      8 |        0 |        0
777.05/777.35	c  766s |      17 |   298962 |   269532 |    66154      8 |        0 |        0
779.15/779.41	c  768s |      17 |   299740 |   270232 |    66154      8 |        0 |        0
781.15/781.45	c  770s |      17 |   300382 |   270832 |    66154      8 |        0 |        0
783.35/783.66	c  772s |      17 |   301132 |   271532 |    66154      8 |        0 |        0
785.75/786.05	c  774s |      17 |   301718 |   272032 |    66154      8 |        0 |        0
788.05/788.30	c  777s |      17 |   302238 |   272532 |    66154      8 |        0 |        0
790.35/790.69	c  779s |      17 |   302749 |   273032 |    66154      8 |        0 |        0
792.45/792.72	c  781s |      17 |   303180 |   273432 |    66154      8 |        0 |        0
794.75/795.08	c  783s |      17 |   303724 |   273932 |    66154      8 |        0 |        0
796.75/797.08	c  785s |      17 |   304176 |   274332 |    66154      8 |        0 |        0
798.95/799.21	c  787s |      17 |   304694 |   274832 |    66154      8 |        0 |        0
800.95/801.28	c  790s |      17 |   305246 |   275332 |    66154      8 |        0 |        0
803.06/803.37	c  792s |      17 |   305803 |   275832 |    66154      8 |        0 |        0
805.15/805.48	c  794s |      17 |   306311 |   276332 |    72770      8 |        0 |        0
807.15/807.48	c  796s |      17 |   306844 |   276832 |    72770      8 |        0 |        0
809.15/809.49	c  798s |      17 |   307354 |   277332 |    72770      8 |        0 |        0
811.35/811.67	c  800s |      17 |   307998 |   277932 |    72770      8 |        0 |        0
813.65/813.92	c  802s |      17 |   308518 |   278432 |    72770      8 |        0 |        0
816.05/816.31	c  805s |      17 |   309305 |   279132 |    72770      8 |        0 |        0
818.05/818.36	c  807s |      17 |   309873 |   279632 |    72770      8 |        0 |        0
820.25/820.58	c  809s |      17 |   310606 |   280232 |    72770      8 |        0 |        0
822.55/822.83	c  811s |      17 |   311317 |   280832 |    72770      8 |        0 |        0
824.65/824.90	c  813s |      17 |   311879 |   281332 |    72770      8 |        0 |        0
826.65/826.93	c  815s |      17 |   312321 |   281732 |    72770      8 |        0 |        0
828.75/829.08	c  817s |      17 |   312873 |   282232 |    72770      8 |        0 |        0
831.25/831.58	c  820s |      17 |   313426 |   282732 |    72770      8 |        0 |        0
833.86/834.11	c  822s |      17 |   314144 |   283332 |    72770      8 |        0 |        0
847.54/847.86	c  836s |      17 |   314578 |   283732 |    72770      9 |        0 |        0
850.45/850.71	c  839s |      17 |   314692 |   283832 |    72770      9 |        0 |        0
852.45/852.74	c  841s |      17 |   315241 |   284332 |    72770      9 |        0 |        0
854.75/855.05	c  843s |      17 |   315986 |   285032 |    72770      9 |        0 |        0
856.95/857.24	c  845s |      17 |   316789 |   285732 |    72770      9 |        0 |        0
859.05/859.36	c  848s |      17 |   317616 |   286432 |    72770      9 |        0 |        0
861.35/861.65	c  850s |      17 |   318437 |   287232 |    72770      9 |        0 |        0
863.64/863.92	c  852s |      17 |   319450 |   288132 |    72770      9 |        0 |        0
865.75/866.07	c  854s |      17 |   320325 |   288932 |    72770      9 |        0 |        0
867.85/868.18	c  856s |      17 |   321314 |   289832 |    72770      9 |        0 |        0
869.94/870.23	c  858s |      17 |   322199 |   290632 |    72770      9 |        0 |        0
872.14/872.46	c  861s |      17 |   323212 |   291532 |    72770      9 |        0 |        0
874.45/874.75	c  863s |      17 |   324071 |   292332 |    72770      9 |        0 |        0
876.65/876.96	c  865s |      17 |   324950 |   293132 |    72770      9 |        0 |        0
878.74/879.00	c  867s |      17 |   325873 |   293932 |    72770      9 |        0 |        0
880.84/881.13	c  869s |      17 |   326635 |   294632 |    72770      9 |        0 |        0
882.94/883.29	c  872s |      17 |   327550 |   295432 |    72770      9 |        0 |        0
893.83/894.13	c  882s |      17 |   327932 |   295732 |    72770      9 |        0 |        0
895.34/895.65	c  884s |      18 |   328495 |   296252 |    72770      9 |        0 |        0
936.33/936.68	c  925s |      18 |   328658 |   296352 |    72770      9 |        0 |        0
938.53/938.88	c  927s |      18 |   329502 |   297152 |    72770      9 |        0 |        0
940.63/940.96	c  929s |      18 |   330045 |   297552 |    72770      9 |        0 |        0
943.03/943.37	c  932s |      18 |   330786 |   298152 |    72770      9 |        0 |        0
945.53/945.87	c  934s |      18 |   331471 |   298752 |    72770      9 |        0 |        0
947.53/947.89	c  936s |      18 |   332070 |   299252 |    72770      9 |        0 |        0
949.83/950.15	c  938s |      18 |   332733 |   299852 |    72770      9 |        0 |        0
952.23/952.56	c  941s |      18 |   333498 |   300452 |    72770      9 |        0 |        0
954.33/954.61	c  943s |      18 |   334316 |   301052 |    72770      9 |        0 |        0
956.33/956.64	c  945s |      18 |   334842 |   301552 |    72770      9 |        0 |        0
958.53/958.86	c  947s |      18 |   335456 |   302052 |    72770      9 |        0 |        0
960.93/961.28	c  950s |      18 |   336140 |   302652 |    72770      9 |        0 |        0
963.23/963.52	c  952s |      18 |   336778 |   303152 |    72770      9 |        0 |        0
965.32/965.65	c  954s |      18 |   337590 |   303852 |    72770      9 |        0 |        0
967.62/967.93	c  956s |      18 |   338326 |   304452 |    72770      9 |        0 |        0
969.82/970.12	c  958s |      18 |   339126 |   305152 |    72770      9 |        0 |        0
971.92/972.26	c  960s |      18 |   339547 |   305552 |    72770      9 |        0 |        0
974.12/974.44	c  963s |      18 |   340303 |   306252 |    72770      9 |        0 |        0
976.42/976.71	c  965s |      18 |   340852 |   306752 |    72770      9 |        0 |        0
978.82/979.10	c  967s |      18 |   341369 |   307252 |    72770      9 |        0 |        0
981.32/981.61	c  970s |      18 |   341895 |   307752 |    72770      9 |        0 |        0
983.82/984.15	c  972s |      18 |   342398 |   308252 |    72770      9 |        0 |        0
986.12/986.44	c  975s |      18 |   342916 |   308752 |    72770      9 |        0 |        0
988.32/988.67	c  977s |      18 |   343438 |   309252 |    72770      9 |        0 |        0
990.52/990.87	c  979s |      18 |   344117 |   309852 |    72770      9 |        0 |        0
993.02/993.39	c  982s |      18 |   344802 |   310452 |    72770      9 |        0 |        0
995.53/995.83	c  984s |      18 |   345466 |   311052 |    72770      9 |        0 |        0
997.63/997.92	c  986s |      18 |   346002 |   311552 |    72770      9 |        0 |        0
1000.02/1000.31	c  989s |      18 |   346710 |   312152 |    72770      9 |        0 |        0
1002.42/1002.73	c  991s |      18 |   347378 |   312752 |    72770      9 |        0 |        0
1004.42/1004.79	c  993s |      18 |   348154 |   313452 |    72770      9 |        0 |        0
1006.53/1006.83	c  995s |      18 |   348787 |   314052 |    72770      9 |        0 |        0
1008.92/1009.27	c  997s |      18 |   349726 |   314852 |    72770      9 |        0 |        0
1011.22/1011.51	c 1000s |      18 |   350536 |   315552 |    72770      9 |        0 |        0
1013.52/1013.80	c 1002s |      18 |   351383 |   316352 |    72770      9 |        0 |        0
1015.72/1016.02	c 1004s |      18 |   352057 |   316952 |    72770      9 |        0 |        0
1018.02/1018.30	c 1007s |      18 |   352707 |   317552 |    72770      9 |        0 |        0
1020.12/1020.40	c 1009s |      18 |   353282 |   318052 |    72770      9 |        0 |        0
1022.11/1022.42	c 1011s |      18 |   354041 |   318752 |    72770      9 |        0 |        0
1024.22/1024.55	c 1013s |      18 |   354736 |   319352 |    72770      9 |        0 |        0
1026.33/1026.67	c 1015s |      18 |   355428 |   319952 |    72770      9 |        0 |        0
1030.02/1030.34	c 1019s |      18 |   355742 |   320252 |    72770     10 |        0 |        0
1033.21/1033.51	c 1022s |      18 |   355850 |   320352 |    72770     10 |        0 |        0
1035.21/1035.56	c 1024s |      18 |   356385 |   320852 |    72770     10 |        0 |        0
1041.62/1041.94	c 1030s |      18 |   357430 |   321752 |    72770     10 |        0 |        0
1043.72/1044.06	c 1032s |      18 |   358037 |   322352 |    72770     10 |        0 |        0
1045.82/1046.17	c 1034s |      18 |   358907 |   323152 |    72770     10 |        0 |        0
1047.81/1048.19	c 1036s |      18 |   359893 |   324052 |    72770     10 |        0 |        0
1050.31/1050.64	c 1039s |      18 |   360720 |   324752 |    72770     10 |        0 |        0
1052.41/1052.76	c 1041s |      18 |   361359 |   325352 |    72770     10 |        0 |        0
1054.41/1054.77	c 1043s |      18 |   362234 |   326152 |    72770     10 |        0 |        0
1056.71/1057.02	c 1045s |      18 |   363221 |   327052 |    72770     10 |        0 |        0
1058.91/1059.24	c 1047s |      18 |   364035 |   327752 |    72770     10 |        0 |        0
1061.01/1061.37	c 1050s |      18 |   364893 |   328552 |    72770     10 |        0 |        0
1063.11/1063.44	c 1052s |      18 |   365661 |   329252 |    72770     10 |        0 |        0
1065.31/1065.66	c 1054s |      18 |   366547 |   330052 |    72770     10 |        0 |        0
1067.41/1067.79	c 1056s |      18 |   367341 |   330752 |    72770     10 |        0 |        0
1069.61/1069.93	c 1058s |      18 |   367879 |   331252 |    72770     10 |        0 |        0
1071.91/1072.20	c 1060s |      18 |   368723 |   332052 |    72770     10 |        0 |        0
1074.01/1074.37	c 1063s |      18 |   369611 |   332852 |    72770     10 |        0 |        0
1076.11/1076.41	c 1065s |      18 |   370421 |   333552 |    72770     10 |        0 |        0
1078.11/1078.46	c 1067s |      18 |   371117 |   334152 |    72770     10 |        0 |        0
1080.41/1080.78	c 1069s |      18 |   372001 |   334952 |    72770     10 |        0 |        0
1082.51/1082.83	c 1071s |      18 |   372826 |   335652 |    72770     10 |        0 |        0
1084.81/1085.10	c 1073s |      18 |   373580 |   336352 |    72770     10 |        0 |        0
1087.01/1087.32	c 1076s |      18 |   374213 |   336952 |    72770     10 |        0 |        0
1089.11/1089.45	c 1078s |      18 |   374662 |   337352 |    72770     10 |        0 |        0
1107.01/1107.39	c 1096s |      18 |   374969 |   337652 |    72770     10 |        0 |        0
1109.41/1109.74	c 1098s |      18 |   375477 |   338152 |    72770     10 |        0 |        0
1111.51/1111.82	c 1100s |      18 |   375995 |   338652 |    72770     10 |        0 |        0
1113.60/1113.90	c 1102s |      18 |   376531 |   339152 |    72770     10 |        0 |        0
1115.90/1116.25	c 1104s |      18 |   376956 |   339552 |    72770     10 |        0 |        0
1118.50/1118.87	c 1107s |      18 |   377499 |   339952 |    72770     10 |        0 |        0
1120.81/1121.13	c 1109s |      18 |   378050 |   340452 |    72770     10 |        0 |        0
1123.30/1123.62	c 1112s |      18 |   378763 |   341052 |    72770     10 |        0 |        0
1125.40/1125.75	c 1114s |      18 |   379308 |   341552 |    72770     10 |        0 |        0
1127.41/1127.78	c 1116s |      18 |   379718 |   341952 |    72770     10 |        0 |        0
1129.61/1129.97	c 1118s |      18 |   380479 |   342652 |    72770     10 |        0 |        0
1132.00/1132.31	c 1121s |      18 |   380905 |   343052 |    72770     10 |        0 |        0
1134.50/1134.86	c 1123s |      18 |   381560 |   343652 |    72770     10 |        0 |        0
1136.60/1136.94	c 1125s |      18 |   382109 |   344152 |    72770     10 |        0 |        0
1139.00/1139.35	c 1128s |      18 |   382756 |   344752 |    72770     10 |        0 |        0
1141.30/1141.66	c 1130s |      18 |   383431 |   345352 |    72770     10 |        0 |        0
1143.30/1143.68	c 1132s |      18 |   384148 |   345952 |    72770     10 |        0 |        0
1145.50/1145.88	c 1134s |      18 |   385020 |   346652 |    72770     10 |        0 |        0
1147.80/1148.14	c 1136s |      18 |   385800 |   347352 |    72770     10 |        0 |        0
1149.90/1150.25	c 1138s |      18 |   386586 |   347952 |    72770     10 |        0 |        0
1152.00/1152.34	c 1141s |      18 |   387600 |   348852 |    72770     10 |        0 |        0
1154.10/1154.49	c 1143s |      18 |   388587 |   349752 |    72770     10 |        0 |        0
1156.40/1156.71	c 1145s |      18 |   389279 |   350352 |    72770     10 |        0 |        0
1158.80/1159.17	c 1147s |      18 |   389949 |   350952 |    72770     10 |        0 |        0
1161.00/1161.34	c 1150s |      18 |   390717 |   351652 |    72770     10 |        0 |        0
1163.40/1163.71	c 1152s |      18 |   391543 |   352352 |    72770     10 |        0 |        0
1165.50/1165.83	c 1154s |      18 |   392491 |   353152 |    72770     10 |        0 |        0
1167.50/1167.88	c 1156s |      18 |   393024 |   353652 |    72770     10 |        0 |        0
1169.70/1170.03	c 1158s |      18 |   393542 |   354152 |    72770     10 |        0 |        0
1171.89/1172.23	c 1160s |      18 |   394444 |   354952 |    72770     10 |        0 |        0
1174.09/1174.44	c 1163s |      18 |   395463 |   355852 |    72770     10 |        0 |        0
1176.19/1176.56	c 1165s |      18 |   396281 |   356552 |    72770     10 |        0 |        0
1181.70/1182.00	c 1170s |      18 |   396390 |   356652 |    72770     11 |        0 |        0
1183.99/1184.32	c 1173s |      18 |   397086 |   357252 |    72770     11 |        0 |        0
1186.19/1186.52	c 1175s |      18 |   398293 |   358252 |    72770     11 |        0 |        0
1188.19/1188.52	c 1177s |      18 |   399409 |   359252 |    72770     11 |        0 |        0
1193.59/1193.95	c 1182s |      18 |   400582 |   360252 |    72770     11 |        0 |        0
1195.59/1195.97	c 1184s |      18 |   401594 |   361152 |    72770     11 |        0 |        0
1197.69/1198.09	c 1186s |      18 |   402597 |   362052 |    72770     11 |        0 |        0
1199.79/1200.18	c 1188s |      18 |   403823 |   363152 |    72770     11 |        0 |        0
1202.19/1202.51	c 1191s |      18 |   404982 |   364152 |    72770     11 |        0 |        0
1204.19/1204.54	c 1193s |      18 |   405471 |   364552 |    72770     11 |        0 |        0
1206.39/1206.76	c 1195s |      18 |   406373 |   365352 |    72770     11 |        0 |        0
1208.89/1209.22	c 1197s |      18 |   407713 |   366552 |    72770     11 |        0 |        0
1210.89/1211.26	c 1199s |      18 |   408772 |   367452 |    72770     11 |        0 |        0
1213.09/1213.47	c 1202s |      18 |   409576 |   368152 |    72770     11 |        0 |        0
1215.39/1215.74	c 1204s |      18 |   410219 |   368752 |    72770     11 |        0 |        0
1217.48/1217.84	c 1206s |      18 |   411138 |   369552 |    72770     11 |        0 |        0
1219.68/1220.00	c 1208s |      18 |   412191 |   370452 |    72770     11 |        0 |        0
1221.78/1222.17	c 1210s |      18 |   413121 |   371252 |    72770     11 |        0 |        0
1223.88/1224.23	c 1212s |      18 |   414028 |   372052 |    72770     11 |        0 |        0
1226.18/1226.51	c 1215s |      18 |   414870 |   372752 |    72770     11 |        0 |        0
1228.18/1228.53	c 1217s |      18 |   415791 |   373552 |    72770     11 |        0 |        0
1230.48/1230.85	c 1219s |      18 |   416468 |   374152 |    72770     11 |        0 |        0
1232.68/1233.09	c 1221s |      18 |   417016 |   374652 |    72770     11 |        0 |        0
1234.88/1235.21	c 1223s |      18 |   417910 |   375452 |    72770     11 |        0 |        0
1236.98/1237.37	c 1226s |      18 |   418713 |   376152 |    72770     11 |        0 |        0
1239.08/1239.47	c 1228s |      18 |   419532 |   376852 |    72770     11 |        0 |        0
1241.18/1241.50	c 1230s |      18 |   420246 |   377452 |    72770     11 |        0 |        0
1243.38/1243.78	c 1232s |      18 |   421089 |   378152 |    72770     11 |        0 |        0
1245.68/1246.08	c 1234s |      18 |   422129 |   379052 |    72770     11 |        0 |        0
1247.98/1248.32	c 1237s |      18 |   423052 |   379852 |    72770     11 |        0 |        0
1249.98/1250.37	c 1239s |      18 |   423768 |   380452 |    72770     11 |        0 |        0
1252.19/1252.60	c 1241s |      18 |   424464 |   381052 |    72770     11 |        0 |        0
1254.69/1255.01	c 1243s |      18 |   425183 |   381652 |    72770     11 |        0 |        0
1257.09/1257.40	c 1246s |      18 |   425882 |   382252 |    72770     11 |        0 |        0
1259.29/1259.68	c 1248s |      18 |   426477 |   382752 |    72770     11 |        0 |        0
1261.99/1262.38	c 1251s |      18 |   426876 |   383152 |    72770     11 |        0 |        0
1264.39/1264.79	c 1253s |      18 |   427310 |   383552 |    72770     11 |        0 |        0
1266.49/1266.87	c 1255s |      18 |   427741 |   383952 |    72770     11 |        0 |        0
1268.59/1268.96	c 1257s |      18 |   428467 |   384552 |    72770     11 |        0 |        0
1270.58/1270.99	c 1259s |      18 |   429154 |   385152 |    72770     11 |        0 |        0
1272.88/1273.29	c 1262s |      18 |   429960 |   385852 |    72770     11 |        0 |        0
1274.98/1275.38	c 1264s |      18 |   430651 |   386452 |    72770     11 |        0 |        0
1277.09/1277.46	c 1266s |      18 |   431326 |   387052 |    72770     11 |        0 |        0
1279.38/1279.73	c 1268s |      18 |   432011 |   387652 |    72770     11 |        0 |        0
1313.48/1313.87	c 1302s |      18 |   432254 |   387852 |    72770     11 |        0 |        0
1315.68/1316.05	c 1304s |      18 |   432911 |   388452 |    72770     11 |        0 |        0
1317.78/1318.17	c 1306s |      18 |   433330 |   388852 |    72770     11 |        0 |        0
1320.78/1321.11	c 1309s |      18 |   433758 |   389252 |    72770     11 |        0 |        0
1323.08/1323.42	c 1312s |      18 |   434315 |   389752 |    72770     11 |        0 |        0
1325.28/1325.62	c 1314s |      18 |   435079 |   390452 |    72770     11 |        0 |        0
1327.38/1327.78	c 1316s |      18 |   435964 |   391252 |    72770     11 |        0 |        0
1329.68/1330.06	c 1318s |      18 |   436575 |   391852 |    72770     11 |        0 |        0
1332.08/1332.47	c 1321s |      18 |   437350 |   392552 |    72770     11 |        0 |        0
1336.97/1337.38	c 1326s |      18 |   437994 |   393152 |    72770     12 |        0 |        0
1442.56/1442.94	c 1431s |      18 |   438115 |   393252 |    72770     12 |        0 |        0
1444.86/1445.26	c 1433s |      18 |   439074 |   394152 |    72770     12 |        0 |        0
1447.06/1447.46	c 1436s |      18 |   440421 |   395352 |    72770     12 |        0 |        0
1449.26/1449.67	c 1438s |      18 |   441400 |   396252 |    72770     12 |        0 |        0
1451.46/1451.86	c 1440s |      18 |   442590 |   397352 |    72770     12 |        0 |        0
1453.56/1453.96	c 1442s |      18 |   443799 |   398452 |    72770     12 |        0 |        0
1455.65/1456.00	c 1444s |      18 |   444868 |   399452 |    72770     12 |        0 |        0
1458.05/1458.41	c 1447s |      18 |   445708 |   400252 |    72770     12 |        0 |        0
1460.25/1460.62	c 1449s |      18 |   446672 |   401152 |    72770     12 |        0 |        0
1462.45/1462.81	c 1451s |      18 |   448032 |   402352 |    72770     12 |        0 |        0
1464.45/1464.88	c 1453s |      18 |   449386 |   403552 |    72770     12 |        0 |        0
1466.45/1466.88	c 1455s |      18 |   450189 |   404252 |    72770     12 |        0 |        0
1468.65/1469.03	c 1457s |      18 |   451660 |   405552 |    72770     12 |        0 |        0
1470.75/1471.10	c 1459s |      18 |   452658 |   406452 |    72770     12 |        0 |        0
1472.76/1473.12	c 1461s |      18 |   454024 |   407652 |    72770     12 |        0 |        0
1475.06/1475.49	c 1464s |      18 |   455361 |   408852 |    72770     12 |        0 |        0
1477.05/1477.50	c 1466s |      18 |   456017 |   409452 |    72770     12 |        0 |        0
1479.85/1480.27	c 1469s |      18 |   457199 |   410452 |    72770     12 |        0 |        0
1481.95/1482.36	c 1471s |      18 |   458050 |   411252 |    72770     12 |        0 |        0
1484.15/1484.54	c 1473s |      18 |   459207 |   412252 |    72770     12 |        0 |        0
1486.35/1486.72	c 1475s |      18 |   460434 |   413352 |    72770     12 |        0 |        0
1488.65/1489.05	c 1477s |      18 |   461213 |   414052 |    72770     12 |        0 |        0
1490.75/1491.15	c 1479s |      18 |   462280 |   415052 |    72770     12 |        0 |        0
1492.85/1493.29	c 1482s |      18 |   463649 |   416252 |    72770     12 |        0 |        0
1495.35/1495.73	c 1484s |      18 |   464865 |   417352 |    72770     12 |        0 |        0
1497.45/1497.87	c 1486s |      18 |   465640 |   418052 |    72770     12 |        0 |        0
1499.75/1500.11	c 1488s |      18 |   466898 |   419152 |    72770     12 |        0 |        0
1501.95/1502.32	c 1491s |      18 |   468161 |   420252 |    72770     12 |        0 |        0
1503.95/1504.38	c 1493s |      18 |   469185 |   421152 |    72770     12 |        0 |        0
1506.15/1506.52	c 1495s |      18 |   470461 |   422252 |    72770     12 |        0 |        0
1508.25/1508.66	c 1497s |      18 |   471652 |   423252 |    80047     12 |        0 |        0
1510.45/1510.81	c 1499s |      18 |   472437 |   423952 |    80047     12 |        0 |        0
1512.65/1513.02	c 1501s |      18 |   473381 |   424752 |    80047     12 |        0 |        0
1514.84/1515.20	c 1503s |      18 |   474168 |   425452 |    80047     12 |        0 |        0
1517.24/1517.61	c 1506s |      18 |   475153 |   426252 |    80047     12 |        0 |        0
1519.34/1519.78	c 1508s |      18 |   475986 |   426952 |    80047     12 |        0 |        0
1521.44/1521.86	c 1510s |      18 |   476937 |   427752 |    80047     12 |        0 |        0
1523.64/1524.00	c 1512s |      18 |   477866 |   428552 |    80047     12 |        0 |        0
1525.65/1526.03	c 1514s |      18 |   478699 |   429252 |    80047     12 |        0 |        0
1527.85/1528.29	c 1517s |      18 |   479614 |   430052 |    80047     12 |        0 |        0
1529.95/1530.35	c 1519s |      18 |   480321 |   430652 |    80047     12 |        0 |        0
1532.15/1532.59	c 1521s |      18 |   480859 |   431152 |    80047     12 |        0 |        0
1534.14/1534.59	c 1523s |      18 |   481705 |   431852 |    80047     12 |        0 |        0
1536.24/1536.64	c 1525s |      18 |   482635 |   432652 |    80047     12 |        0 |        0
1538.75/1539.12	c 1527s |      18 |   483196 |   433152 |    80047     12 |        0 |        0
1541.05/1541.45	c 1530s |      18 |   483904 |   433752 |    80047     12 |        0 |        0
1543.34/1543.77	c 1532s |      18 |   484738 |   434452 |    80047     12 |        0 |        0
1545.45/1545.89	c 1534s |      18 |   485438 |   435052 |    80047     12 |        0 |        0
1547.74/1548.12	c 1536s |      18 |   486653 |   436052 |    80047     12 |        0 |        0
1549.85/1550.27	c 1539s |      18 |   487487 |   436752 |    80047     12 |        0 |        0
1580.64/1581.05	c 1569s |      18 |   487741 |   436952 |    80047     13 |        0 |        0
1648.22/1648.65	c 1637s |      18 |   487845 |   437052 |    80047     13 |        0 |        0
1650.42/1650.85	c 1639s |      18 |   488267 |   437452 |    80047     13 |        0 |        0
1652.52/1652.90	c 1641s |      18 |   489166 |   438252 |    80047     13 |        0 |        0
1654.72/1655.13	c 1643s |      18 |   490109 |   439052 |    80047     13 |        0 |        0
1656.72/1657.15	c 1645s |      18 |   491246 |   440052 |    80047     13 |        0 |        0
1659.02/1659.45	c 1648s |      18 |   491899 |   440652 |    80047     13 |        0 |        0
1661.12/1661.50	c 1650s |      18 |   493205 |   441752 |    80047     13 |        0 |        0
1663.03/1663.50	c 1652s |      18 |   494591 |   442952 |    80047     13 |        0 |        0
1665.12/1665.53	c 1654s |      18 |   496091 |   444252 |    80047     13 |        0 |        0
1665.52/1665.93	c 1654s |      19 |   496361 |   444482 |    80047     13 |        0 |        0
1677.43/1677.88	c 1666s |      19 |   496605 |   444582 |    80047     13 |        0 |        0
1679.53/1679.92	c 1668s |      19 |   497717 |   445282 |    80047     13 |        0 |        0
1681.52/1681.98	c 1670s |      19 |   498388 |   445782 |    80047     13 |        0 |        0
1683.82/1684.25	c 1672s |      19 |   498916 |   446282 |    80047     13 |        0 |        0
1685.92/1686.36	c 1675s |      19 |   499515 |   446782 |    80047     13 |        0 |        0
1688.22/1688.62	c 1677s |      19 |   500123 |   447382 |    80047     13 |        0 |        0
1690.22/1690.69	c 1679s |      19 |   501037 |   448082 |    80047     13 |        0 |        0
1692.42/1692.87	c 1681s |      19 |   501808 |   448782 |    80047     13 |        0 |        0
1694.52/1694.99	c 1683s |      19 |   502568 |   449482 |    80047     13 |        0 |        0
1696.62/1697.05	c 1685s |      19 |   503291 |   450182 |    80047     13 |        0 |        0
1698.82/1699.28	c 1688s |      19 |   504267 |   451082 |    80047     13 |        0 |        0
1701.02/1701.48	c 1690s |      19 |   505655 |   452082 |    80047     13 |        0 |        0
1703.12/1703.55	c 1692s |      19 |   506656 |   452982 |    80047     13 |        0 |        0
1705.31/1705.70	c 1694s |      19 |   507746 |   453882 |    80047     13 |        0 |        0
1707.41/1707.86	c 1696s |      19 |   508786 |   454782 |    80047     13 |        0 |        0
1709.71/1710.11	c 1698s |      19 |   509960 |   455782 |    80047     13 |        0 |        0
1711.71/1712.12	c 1700s |      19 |   510892 |   456582 |    80047     13 |        0 |        0
1713.91/1714.34	c 1703s |      19 |   511712 |   457282 |    80047     13 |        0 |        0
1716.01/1716.48	c 1705s |      19 |   512649 |   457982 |    80047     13 |        0 |        0
1718.12/1718.58	c 1707s |      19 |   513250 |   458582 |    80047     13 |        0 |        0
1720.32/1720.71	c 1709s |      19 |   513855 |   459182 |    80047     13 |        0 |        0
1722.52/1722.91	c 1711s |      19 |   514352 |   459682 |    80047     13 |        0 |        0
1724.62/1725.01	c 1713s |      19 |   514869 |   460182 |    80047     13 |        0 |        0
1726.82/1727.28	c 1716s |      19 |   515589 |   460882 |    80047     13 |        0 |        0
1729.12/1729.50	c 1718s |      19 |   516414 |   461682 |    80047     13 |        0 |        0
1731.32/1731.75	c 1720s |      19 |   517122 |   462382 |    80047     13 |        0 |        0
1733.42/1733.89	c 1722s |      19 |   517840 |   463082 |    80047     13 |        0 |        0
1735.51/1735.97	c 1724s |      19 |   518365 |   463582 |    80047     13 |        0 |        0
1737.71/1738.15	c 1726s |      19 |   519107 |   464282 |    80047     13 |        0 |        0
1739.81/1740.22	c 1728s |      19 |   519713 |   464882 |    80047     13 |        0 |        0
1741.91/1742.36	c 1731s |      19 |   520331 |   465482 |    80047     13 |        0 |        0
1744.31/1744.79	c 1733s |      19 |   520946 |   466082 |    80047     13 |        0 |        0
1746.51/1746.91	c 1735s |      19 |   521577 |   466682 |    80047     13 |        0 |        0
1748.51/1749.00	c 1737s |      19 |   522310 |   467382 |    80047     13 |        0 |        0
1750.71/1751.20	c 1739s |      19 |   522912 |   467982 |    80047     13 |        0 |        0
1752.81/1753.29	c 1742s |      19 |   523437 |   468482 |    80047     13 |        0 |        0
1755.21/1755.60	c 1744s |      19 |   524035 |   469082 |    80047     13 |        0 |        0
1757.61/1758.04	c 1746s |      19 |   524670 |   469682 |    80047     13 |        0 |        0
1759.91/1760.33	c 1749s |      19 |   525178 |   470182 |    80047     13 |        0 |        0
1762.01/1762.42	c 1751s |      19 |   525686 |   470682 |    80047     13 |        0 |        0
1764.01/1764.48	c 1753s |      19 |   526294 |   471282 |    80047     13 |        0 |        0
1766.21/1766.65	c 1755s |      19 |   526923 |   471882 |    80047     13 |        0 |        0
1768.41/1768.90	c 1757s |      19 |   527531 |   472482 |    80047     13 |        0 |        0
1770.61/1771.04	c 1759s |      19 |   528044 |   472982 |    80047     13 |        0 |        0
1772.90/1773.30	c 1762s |      19 |   528714 |   473582 |    80047     13 |        0 |        0
1775.00/1775.44	c 1764s |      19 |   529617 |   474382 |    80047     13 |        0 |        0
1777.00/1777.47	c 1766s |      19 |   530392 |   475082 |    80047     13 |        0 |        0
1779.10/1779.52	c 1768s |      19 |   531212 |   475782 |    80047     13 |        0 |        0
1781.20/1781.61	c 1770s |      19 |   532017 |   476482 |    80047     13 |        0 |        0
1783.30/1783.73	c 1772s |      19 |   532684 |   477082 |    80047     14 |        0 |        0
1785.40/1785.89	c 1774s |      19 |   533737 |   478082 |    80047     14 |        0 |        0
1787.50/1787.97	c 1776s |      19 |   534360 |   478682 |    80047     14 |        0 |        0
1789.70/1790.17	c 1778s |      19 |   535354 |   479582 |    80047     14 |        0 |        0
1791.71/1792.17	c 1780s |      19 |   536077 |   480282 |    80047     14 |        0 |        0
1793.80/1794.30	c 1783s |      19 |   537042 |   481182 |    80047     14 |        0 |        0
1796.11/1796.55	c 1785s |      19 |   538164 |   482082 |    80047     14 |        0 |        0
1798.20/1798.62	c 1787s |      19 |   539167 |   482982 |    80047     14 |        0 |        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-4117393-1467210985/watcher-4117393-1467210985 -o /tmp/evaluation-result-4117393-1467210985/solver-4117393-1467210985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117393-1467210985.opb 

pid=4143
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.19 2.26 2.50 4/171 4146
/proc/meminfo: memFree=24591184/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 2863 0 0 0 0 0 0 0 20 0 4 0 2059337 783740928 3223 33554432000 4194304 16246674 140736848632160 140736848631584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 192111 3232 441 2943 0 189005 0
[pid=4146/tid=4147] ppid=4143 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 802615296 3293 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 804712448 3303 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2059337 809955328 3323 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10007 s]
/proc/loadavg: 2.19 2.26 2.50 4/171 4146
/proc/meminfo: memFree=24591184/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 26408 0 0 0 5 4 0 0 20 0 4 0 2059337 1332285440 26707 33554432000 4194304 16246674 140736848632160 140736848631472 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 325265 26721 798 2943 0 322159 0
[pid=4146/tid=4147] ppid=4143 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1332285440 26732 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1332285440 26744 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1332285440 26754 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.488071 s]
/proc/loadavg: 2.19 2.26 2.50 4/171 4146
/proc/meminfo: memFree=24591184/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1313348 CPUtime=0.48 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 71600 0 0 0 37 11 0 0 20 0 4 0 2059337 1344868352 72409 33554432000 4194304 16246674 140736848632160 140736848614080 5886100 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 328337 72418 842 2943 0 325231 0
[pid=4146/tid=4147] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 72466 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 72471 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 72479 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 1313348

[startup+0.50084 s]
/proc/loadavg: 2.19 2.26 2.50 4/171 4146
/proc/meminfo: memFree=24591184/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1313348 CPUtime=0.49 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 73950 0 0 0 38 11 0 0 20 0 4 0 2059337 1344868352 74759 33554432000 4194304 16246674 140736848632160 140736848614080 13956064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 328337 74768 842 2943 0 325231 0
[pid=4146/tid=4147] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 74773 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 74778 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 74784 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1313348

[startup+0.700428 s]
/proc/loadavg: 2.19 2.26 2.50 4/171 4146
/proc/meminfo: memFree=24591184/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 111424 0 0 0 52 17 0 0 20 0 4 0 2059337 1344868352 112233 33554432000 4194304 16246674 140736848632160 140736848614080 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 328337 112241 876 2943 0 325231 0
[pid=4146/tid=4147] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 112245 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 112248 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 112253 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50048 s]
/proc/loadavg: 2.25 2.27 2.50 3/183 4163
/proc/meminfo: memFree=23075868/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 220904 0 0 0 116 33 0 0 20 0 4 0 2059337 1344868352 221713 33554432000 4194304 16246674 140736848632160 140736848614080 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 328337 221715 888 2943 0 325231 0
[pid=4146/tid=4147] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 221723 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 221728 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1344868352 221734 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10046 s]
/proc/loadavg: 2.25 2.27 2.50 3/183 4163
/proc/meminfo: memFree=22414568/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 270169 0 0 0 268 41 0 0 20 0 4 0 2059337 1350111232 270978 33554432000 4194304 16246674 140736848632160 140736848614080 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 329617 270978 891 2943 0 326511 0
[pid=4146/tid=4147] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 270978 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 270978 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 270978 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30046 s]
/proc/loadavg: 2.25 2.27 2.50 3/183 4163
/proc/meminfo: memFree=22414248/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 270304 0 0 0 588 41 0 0 20 0 4 0 2059337 1350111232 271113 33554432000 4194304 16246674 140736848632160 140736848615160 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 329617 271113 904 2943 0 326511 0
[pid=4146/tid=4147] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271113 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271113 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271113 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7005 s]
/proc/loadavg: 2.21 2.27 2.49 3/183 4163
/proc/meminfo: memFree=22413948/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1318468 CPUtime=12.69 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 270312 0 0 0 1228 41 0 0 20 0 4 0 2059337 1350111232 271121 33554432000 4194304 16246674 140736848632160 140736848614080 5717462 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 329617 271121 912 2943 0 326511 0
[pid=4146/tid=4147] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271121 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271121 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271121 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5004 s]
/proc/loadavg: 2.18 2.26 2.49 3/183 4163
/proc/meminfo: memFree=22415248/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 270313 0 0 0 2508 41 0 0 20 0 4 0 2059337 1350111232 271122 33554432000 4194304 16246674 140736848632160 140736848614080 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 329617 271122 912 2943 0 326511 0
[pid=4146/tid=4147] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271122 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271122 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1350111232 271122 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.30 2.28 2.49 3/183 4163
/proc/meminfo: memFree=22350444/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=51.08 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286320 0 0 0 5064 44 0 0 20 0 4 0 2059337 1416171520 287126 33554432000 4194304 16246674 140736848632160 140736848614080 12415665 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287126 919 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287126 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287126 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287126 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1382980

[startup+102.3 s]
/proc/loadavg: 2.23 2.26 2.47 3/183 4164
/proc/meminfo: memFree=22318860/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=102.26 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286476 0 0 0 10181 45 0 0 20 0 4 0 2059337 1416171520 287263 33554432000 4194304 16246674 140736848632160 140736848631256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287263 919 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287263 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287263 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287263 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1382980


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

/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1382980

[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.26 3/183 4194
/proc/meminfo: memFree=22290672/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=1301.98 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286663 0 0 0 130111 87 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140736848631336 13878980 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287264 920 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.16 2.20 2.26 3/183 4195
/proc/meminfo: memFree=22290324/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=1361.96 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286663 0 0 0 136105 91 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140736848631256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287264 920 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1382980

[startup+1422.3 s]
/proc/loadavg: 2.17 2.19 2.25 3/184 4199
/proc/meminfo: memFree=22290020/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=1421.96 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286663 0 0 0 142099 97 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140736848631336 13899002 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287264 920 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.28 2.21 2.25 3/184 4224
/proc/meminfo: memFree=22290428/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=1481.95 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286663 0 0 0 148095 100 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140736848614080 5823037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287264 920 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1382980

[startup+1542.3 s]
/proc/loadavg: 2.19 2.20 2.25 3/183 4225
/proc/meminfo: memFree=22291012/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1382980 CPUtime=1541.94 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 286663 0 0 0 154094 100 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140736848614080 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 345745 287264 920 2943 0 342639 0
[pid=4146/tid=4147] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1416171520 287264 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1382980

[startup+1602.3 s]
/proc/loadavg: 2.31 2.24 2.26 3/183 4226
/proc/meminfo: memFree=22248356/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1425988 CPUtime=1601.93 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 297267 0 0 0 160085 108 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140736848631336 13198556 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 356497 297868 920 2943 0 353391 0
[pid=4146/tid=4147] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1425988

[startup+1662.3 s]
/proc/loadavg: 2.29 2.24 2.26 3/183 4227
/proc/meminfo: memFree=22248736/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1425988 CPUtime=1661.93 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 297267 0 0 0 166079 114 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140736848614080 5677537 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 356497 297868 920 2943 0 353391 0
[pid=4146/tid=4147] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1425988

[startup+1722.3 s]
/proc/loadavg: 2.23 2.23 2.25 3/183 4228
/proc/meminfo: memFree=22248488/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1425988 CPUtime=1721.91 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 297267 0 0 0 172076 115 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140736848614080 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 356497 297868 920 2943 0 353391 0
[pid=4146/tid=4147] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1425988

[startup+1782.31 s]
/proc/loadavg: 2.13 2.20 2.24 3/183 4230
/proc/meminfo: memFree=22247872/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1425988 CPUtime=1781.91 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 297267 0 0 0 178076 115 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140736848614080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 356497 297868 920 2943 0 353391 0
[pid=4146/tid=4147] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 297868 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1425988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.21 2.24 3/183 4230
/proc/meminfo: memFree=22247624/32872528 swapFree=1253612/1390560
[pid=4146] ppid=4143 vsize=1425988 CPUtime=1800 cores=1,3,5,7
/proc/4146/stat : 4146 (toysat) R 4143 4146 3971 0 -1 4202496 297415 0 0 0 179885 115 0 0 20 0 4 0 2059337 1460211712 298016 33554432000 4194304 16246674 140736848632160 140736848631336 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4146/statm: 356497 298016 920 2943 0 353391 0
[pid=4146/tid=4147] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4147/stat : 4147 (toysat) S 4143 4146 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 298016 33554432000 4194304 16246674 140736848632160 140090594536688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4146/tid=4148] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4148/stat : 4148 (toysat) S 4143 4146 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 298016 33554432000 4194304 16246674 140736848632160 140090584046832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4146/tid=4149] ppid=4143 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/4146/task/4149/stat : 4149 (toysat) S 4143 4146 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2059337 1460211712 298016 33554432000 4194304 16246674 140736848632160 140090573573296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1425988

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 4146 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): 1798.86
CPU system time (s): 1.15882
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 1425988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.15882
maximum resident set size= 1192064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297415
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= 236
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04193 second user time and 19.901 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-29 16:36:25
IDJOB=4117393
IDBENCH=111570
IDSOLVER=2542
FILE ID=node119/4117393-1467210985
RUNJOBID= node119-1467209132-3988
PBS_JOBID= 19997583
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul5.5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117393-1467210985/watcher-4117393-1467210985 -o /tmp/evaluation-result-4117393-1467210985/solver-4117393-1467210985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117393-1467210985.opb

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

MD5SUM BENCH= 4d9388b57865756cbc2edb6f81217f50
RANDOM SEED=1846488165

node119.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.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.88
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.444
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.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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:        24602344 kB
Buffers:          137264 kB
Cached:          5966068 kB
SwapCached:            0 kB
Active:          3963444 kB
Inactive:        2156712 kB
Active(anon):      19700 kB
Inactive(anon):        0 kB
Active(file):    3943744 kB
Inactive(file):  2156712 kB
Unevictable:     1390560 kB
Mlocked:         1253612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24116 kB
Writeback:             0 kB
AnonPages:       1407624 kB
Mapped:            13856 kB
Shmem:               204 kB
Slab:             626076 kB
SReclaimable:      70468 kB
SUnreclaim:       555608 kB
KernelStack:        1520 kB
PageTables:         6516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1491560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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= 71700 MiB
End job on node119 at 2016-06-29 17:06:26