Trace number 4107887

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12037_7-sat.opb
MD5SUMc76ba3fc1d0a0f3a1a96791ffe6c4cf4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables39204
Total number of constraints130975
Number of constraints which are clauses130331
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints644
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 27
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 714
Number of bits of the biggest sum of numbers10
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-19T00:37:29+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-4107887-1466289449.opb"]
0.00/0.01	c use --random-gen="4012982801 3784674133 1921329562 3981849153 2576022632 1459754996 3128760293 2832910028 1959303579 1976257625 2122929843 3425576270 3409834894 2096971847 1410744694 1994376843 604187616 2677885972 2364518866 1052191534 4115259758 3643811832 1407535978 1644806180 86893679 948147070 1555439813 3228928696 954869076 3674053898 4042599583 2235796429 3513014379 2525191677 1301830832 3138679963 2033740744 3349654235 3982113086 2785361978 2720828712 1838104810 2808161194 3916607765 509801075 697648302 3059539950 838349538 3471957736 3103584688 218010893 4018051819 3028409606 528351352 375327126 868735076 4241822885 1937480700 3098781491 905796012 1504990688 3726487448 3967315737 3041867152 3776859794 2612780030 421511142 2006282813 284277550 202275903 4088438889 4070571475 3355503887 346734680 4278572185 2373448806 699703292 1850354630 2569647672 2953032422 1544889908 880916770 4150570177 2830732926 1291666805 12112693 2608942597 2634831059 3555126544 2289156395 1619167350 3548898742 619893191 3023926570 40299445 4032461306 3581564288 3196051593 60916978 2950805340 3465708031 2860914158 104256056 636656360 3294556318 3731135637 810735297 2233492910 247209273 413230301 247528553 2083648336 1303993006 446477645 2859894245 4074911482 2101872578 2047809249 126087492 2161265365 2324569894 3507025451 2860004256 1693385753 1408988033 1279253794 1278203797 3991934450 2820074627 3077975357 3872668367 3239481628 3061599704 3272988521 1235862485 3377668506 1202097080 1354868372 3244599333 2313798170 2336208629 578624166 3463347475 2247681363 384960445 1993723554 857174067 102636781 117838585 49111440 4178311606 2073513055 2026825897 2928873811 2776441942 74503373 491846787 921958010 1159249031 2906164748 4260681852 3807189322 3285607720 3581291499 2717923321 2271328221 484363968 2696639103 3973313076 1158272607 824631308 3607363704 2018876837 3760182340 3948387558 2654072654 2297668337 1156723413 3175830787 2000012922 1827316120 1291788345 881080555 3289105308 23570469 444299988 2608084124 2861651041 3775862992 2319514702 2350044003 2341421506 3715003796 1079895266 3192468827 2404319056 144430400 2193173886 941612797 1026081953 2958470171 117350797 3323617625 749032519 3761400293 819355080 146161797 87061135 2903398301 1560237572 2453425735 2398113437 610494206 127237963 256363104 2770732174 3968652704 1233692197 1335242703 79737972 261714030 2712745459 1607378541 2583738894 2151471077 3281656595 737249516 1884683505 250448855 1317866604 1838483460 3807352697 771576893 1428295886 1952084552 2107726426 2076283776 2361058048 1664518725 3807515189 3157195458 2865355111 3579764840 1543902691 318849649 2442640206 2128373274 2816448580 1205413425 3052940498 1050479438 4095375525 3009223144 471671160 3374754707 2517815064 255 362436" option to reproduce the execution
0.79/0.80	c #vars 39204
0.79/0.80	c #constraints 130975
2.38/2.41	c Solving starts ...
2.38/2.41	c ============================[ Search Statistics ]============================
2.38/2.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.38/2.41	c       |         |          |          |    Limit     GC | Var      | Constra 
2.38/2.41	c =============================================================================
2.38/2.41	c  0.0s |       0 |        0 |        0 |    43274      0 |    15583 |        0
2.58/2.63	c  0.2s |       1 |      186 |      100 |    43274      0 |    15583 |    18868
2.98/3.04	c  0.6s |       2 |      487 |      250 |    47602      0 |    15583 |    18868
3.29/3.39	c  1.0s |       3 |      865 |      475 |    52363      0 |    15583 |    18868
4.08/4.12	c  1.7s |       4 |     1415 |      813 |    57600      0 |    15583 |    18868
4.98/5.01	c  2.6s |       5 |     2164 |     1320 |    63361      0 |    15583 |    18868
5.78/5.86	c  3.5s |       6 |     3212 |     2081 |    76668      0 |    15583 |    18868
7.48/7.50	c  5.1s |       7 |     4813 |     3223 |    84335      0 |    15583 |    18868
9.48/9.55	c  7.1s |       7 |     6411 |     4323 |    84335      0 |    15583 |    18868
10.59/10.62	c  8.2s |       8 |     7375 |     4936 |    92769      0 |    15583 |    18868
12.69/12.77	c 10.4s |       8 |     9092 |     6236 |    92769      0 |    15583 |    18868
14.79/14.80	c 12.4s |       9 |    10631 |     7506 |   102046      0 |    15583 |    18868
16.79/16.86	c 14.5s |       9 |    12181 |     8706 |   102046      0 |    15583 |    18868
18.99/19.00	c 16.6s |       9 |    13437 |     9806 |   102046      0 |    15583 |    18868
21.09/21.15	c 18.7s |       9 |    14740 |    10906 |   102046      0 |    15583 |    18868
21.99/22.09	c 19.7s |      10 |    15268 |    11361 |   112251      0 |    15583 |    18868
24.09/24.14	c 21.7s |      10 |    16799 |    12461 |   112251      0 |    15583 |    18868
26.19/26.27	c 23.9s |      10 |    18459 |    13761 |   112251      0 |    15583 |    18868
28.39/28.42	c 26.0s |      10 |    20043 |    14961 |   112251      0 |    15583 |    18868
30.39/30.47	c 28.1s |      10 |    21461 |    16061 |   112251      0 |    15583 |    18868
32.49/32.54	c 30.1s |      11 |    22916 |    17144 |   123477      0 |    15583 |    18868
34.68/34.76	c 32.4s |      11 |    24094 |    17944 |   123477      0 |    15583 |    18868
36.78/36.80	c 34.4s |      11 |    25890 |    19344 |   123477      0 |    15583 |    18868
38.78/38.89	c 36.5s |      11 |    27586 |    20744 |   123477      0 |    15583 |    18868
40.88/40.98	c 38.6s |      11 |    29149 |    22044 |   123477      0 |    15583 |    18868
42.99/43.03	c 40.6s |      11 |    30593 |    23144 |   123477      0 |    15583 |    18868
44.98/45.09	c 42.7s |      11 |    32038 |    24144 |   123477      0 |    15583 |    18868
47.08/47.13	c 44.7s |      11 |    33611 |    25244 |   123477      0 |    15583 |    18868
48.18/48.26	c 45.9s |      12 |    34354 |    25819 |   135825      0 |    15583 |    18868
50.28/50.37	c 48.0s |      12 |    35420 |    26519 |   135825      0 |    15583 |    18868
52.58/52.65	c 50.2s |      12 |    36359 |    27119 |   135825      0 |    15583 |    18868
54.58/54.68	c 52.3s |      12 |    37176 |    27719 |   135825      0 |    15583 |    18868
56.68/56.77	c 54.4s |      12 |    37926 |    28319 |   135825      0 |    15583 |    18868
58.98/59.04	c 56.6s |      12 |    38709 |    28919 |   135825      0 |    15583 |    18868
61.08/61.16	c 58.8s |      12 |    39316 |    29419 |   135825      0 |    15583 |    18868
63.28/63.31	c 60.9s |      12 |    40133 |    30019 |   135825      0 |    15583 |    18868
65.38/65.41	c 63.0s |      12 |    40927 |    30619 |   135825      0 |    15583 |    18868
67.58/67.63	c 65.2s |      12 |    41732 |    31219 |   135825      0 |    15583 |    18868
69.68/69.77	c 67.4s |      12 |    42669 |    31919 |   135825      0 |    15583 |    18868
72.08/72.16	c 69.8s |      12 |    43679 |    32619 |   135825      0 |    15583 |    18868
74.18/74.27	c 71.9s |      12 |    44284 |    33119 |   135825      0 |    15583 |    18868
76.18/76.28	c 73.9s |      12 |    45057 |    33719 |   135825      0 |    15583 |    18868
78.48/78.55	c 76.1s |      12 |    46145 |    34519 |   135825      0 |    15583 |    18868
80.68/80.79	c 78.4s |      12 |    47047 |    35219 |   135825      0 |    15583 |    18868
82.88/82.91	c 80.5s |      12 |    47851 |    35819 |   135825      0 |    15583 |    18868
85.08/85.15	c 82.7s |      12 |    48748 |    36419 |   135825      0 |    15583 |    18868
87.28/87.34	c 84.9s |      12 |    49768 |    37119 |   135825      0 |    15583 |    18868
89.68/89.74	c 87.3s |      12 |    50673 |    37719 |   135825      0 |    15583 |    18868
92.08/92.16	c 89.7s |      12 |    51785 |    38319 |   135825      0 |    15583 |    18868
92.77/92.89	c 90.5s |      13 |    52533 |    38832 |   149408      0 |    15583 |    18868
94.87/94.90	c 92.5s |      13 |    54128 |    39932 |   149408      0 |    15583 |    18868
96.97/97.02	c 94.6s |      13 |    55585 |    41032 |   149408      0 |    15583 |    18868
98.98/99.02	c 96.6s |      13 |    57008 |    42132 |   149408      0 |    15583 |    18868
101.07/101.16	c 98.8s |      13 |    58390 |    43232 |   149408      0 |    15583 |    18868
103.17/103.28	c  100s |      13 |    59633 |    44232 |   149408      0 |    15583 |    18868
105.27/105.35	c  102s |      13 |    60825 |    45232 |   149408      0 |    15583 |    18868
107.37/107.46	c  105s |      13 |    62027 |    46232 |   149408      0 |    15583 |    18868
109.47/109.59	c  107s |      13 |    63271 |    47232 |   149408      0 |    15583 |    18868
111.67/111.70	c  109s |      13 |    64346 |    48132 |   149408      0 |    15583 |    18868
113.77/113.81	c  111s |      13 |    65566 |    49132 |   149408      0 |    15583 |    18868
115.77/115.83	c  113s |      13 |    66630 |    50032 |   149408      0 |    15583 |    18868
117.97/118.00	c  115s |      13 |    67710 |    50932 |   149408      0 |    15583 |    18868
120.07/120.10	c  117s |      13 |    68610 |    51732 |   149408      0 |    15583 |    18868
122.18/122.28	c  119s |      13 |    69733 |    52632 |   149408      0 |    15583 |    18868
124.28/124.35	c  121s |      13 |    70718 |    53432 |   149408      0 |    15583 |    18868
126.48/126.58	c  124s |      13 |    71805 |    54332 |   149408      0 |    15583 |    18868
128.57/128.66	c  126s |      13 |    72891 |    55232 |   149408      0 |    15583 |    18868
130.57/130.67	c  128s |      13 |    73992 |    56132 |   149408      0 |    15583 |    18868
132.77/132.88	c  130s |      13 |    75098 |    57032 |   149408      0 |    15583 |    18868
134.97/135.03	c  132s |      13 |    76448 |    58132 |   164349      0 |    15583 |    18868
135.38/135.48	c  133s |      14 |    76716 |    58352 |   164349      0 |    15583 |    18868
137.47/137.58	c  135s |      14 |    77654 |    59052 |   164349      0 |    15583 |    18868
139.67/139.80	c  137s |      14 |    78633 |    59752 |   164349      0 |    15583 |    18868
141.87/141.92	c  139s |      14 |    79584 |    60452 |   164349      0 |    15583 |    18868
143.97/144.00	c  141s |      14 |    80449 |    61152 |   164349      0 |    15583 |    18868
146.07/146.10	c  143s |      14 |    81459 |    61952 |   164349      0 |    15583 |    18868
148.27/148.33	c  145s |      14 |    82438 |    62752 |   164349      0 |    15583 |    18868
150.37/150.47	c  148s |      14 |    83454 |    63552 |   164349      0 |    15583 |    18868
152.36/152.49	c  150s |      14 |    84315 |    64252 |   164349      0 |    15583 |    18868
154.66/154.76	c  152s |      14 |    85243 |    64952 |   164349      0 |    15583 |    18868
156.76/156.82	c  154s |      14 |    85956 |    65552 |   164349      0 |    15583 |    18868
158.86/158.92	c  156s |      14 |    86813 |    66252 |   164349      0 |    15583 |    18868
161.16/161.22	c  158s |      14 |    87670 |    66952 |   164349      0 |    15583 |    18868
163.16/163.29	c  160s |      14 |    88439 |    67552 |   164349      0 |    15583 |    18868
165.46/165.54	c  163s |      14 |    89346 |    68252 |   164349      0 |    15583 |    18868
167.56/167.67	c  165s |      14 |    90664 |    69052 |   164349      0 |    15583 |    18868
169.66/169.77	c  167s |      14 |    91755 |    69952 |   164349      0 |    15583 |    18868
171.76/171.84	c  169s |      14 |    92757 |    70752 |   164349      0 |    15583 |    18868
173.87/173.97	c  171s |      14 |    93852 |    71552 |   164349      0 |    15583 |    18868
175.97/176.09	c  173s |      14 |    94758 |    72252 |   164349      0 |    15583 |    18868
178.36/178.44	c  176s |      14 |    95643 |    72952 |   164349      0 |    15583 |    18868
180.56/180.65	c  178s |      14 |    96548 |    73652 |   164349      0 |    15583 |    18868
182.57/182.68	c  180s |      14 |    97700 |    74552 |   164349      0 |    15583 |    18868
184.77/184.88	c  182s |      14 |    98965 |    75452 |   164349      0 |    15583 |    18868
186.86/186.90	c  184s |      14 |    99990 |    76252 |   164349      0 |    15583 |    18868
188.96/189.08	c  186s |      14 |   100798 |    76852 |   164349      0 |    15583 |    18868
191.16/191.27	c  188s |      14 |   101713 |    77552 |   164349      0 |    15583 |    18868
193.26/193.33	c  190s |      14 |   102718 |    78252 |   164349      0 |    15583 |    18868
195.46/195.58	c  193s |      14 |   103659 |    78952 |   164349      0 |    15583 |    18868
197.66/197.79	c  195s |      14 |   104623 |    79652 |   164349      0 |    15583 |    18868
199.96/200.06	c  197s |      14 |   105356 |    80252 |   164349      0 |    15583 |    18868
202.36/202.45	c  200s |      14 |   106203 |    80952 |   164349      0 |    15583 |    18868
204.66/204.72	c  202s |      14 |   107098 |    81652 |   164349      0 |    15583 |    18868
206.96/207.09	c  204s |      14 |   107849 |    82252 |   164349      0 |    15583 |    18868
209.36/209.42	c  207s |      14 |   108584 |    82852 |   164349      0 |    15583 |    18868
211.56/211.64	c  209s |      14 |   109513 |    83552 |   164349      0 |    15583 |    18868
213.66/213.79	c  211s |      14 |   110291 |    84152 |   164349      0 |    15583 |    18868
215.85/215.92	c  213s |      14 |   111093 |    84752 |   164349      0 |    15583 |    18868
217.95/218.00	c  215s |      14 |   111871 |    85352 |   164349      0 |    15583 |    18868
220.06/220.14	c  217s |      14 |   112652 |    85952 |   164349      0 |    15583 |    18868
222.26/222.38	c  219s |      14 |   113420 |    86552 |   164349      0 |    15583 |    18868
224.25/224.39	c  221s |      14 |   114041 |    87052 |   180784      0 |    15583 |    18868
226.56/226.64	c  224s |      15 |   114776 |    87632 |   180784      0 |    15583 |    18868
228.76/228.84	c  226s |      15 |   115510 |    88132 |   180784      0 |    15583 |    18868
230.85/230.95	c  228s |      15 |   116441 |    88732 |   180784      0 |    15583 |    18868
232.85/232.97	c  230s |      15 |   117874 |    89832 |   180784      0 |    15583 |    18868
234.95/235.08	c  232s |      15 |   119423 |    91032 |   180784      0 |    15583 |    18868
237.15/237.21	c  234s |      15 |   120624 |    91932 |   180784      0 |    15583 |    18868
239.15/239.24	c  236s |      15 |   121772 |    92832 |   180784      0 |    15583 |    18868
241.25/241.30	c  238s |      15 |   122910 |    93732 |   180784      0 |    15583 |    18868
243.35/243.45	c  241s |      15 |   123868 |    94532 |   180784      0 |    15583 |    18868
245.45/245.54	c  243s |      15 |   124820 |    95332 |   180784      0 |    15583 |    18868
247.75/247.84	c  245s |      15 |   126050 |    96332 |   180784      0 |    15583 |    18868
249.76/249.89	c  247s |      15 |   126928 |    97032 |   180784      0 |    15583 |    18868
252.05/252.13	c  249s |      15 |   127770 |    97732 |   180784      0 |    15583 |    18868
254.35/254.41	c  252s |      15 |   128483 |    98332 |   180784      0 |    15583 |    18868
256.45/256.52	c  254s |      15 |   129361 |    99032 |   180784      0 |    15583 |    18868
258.55/258.61	c  256s |      15 |   130238 |    99732 |   180784      0 |    15583 |    18868
260.75/260.82	c  258s |      15 |   131243 |   100532 |   180784      0 |    15583 |    18868
262.85/262.94	c  260s |      15 |   132104 |   101232 |   180784      0 |    15583 |    18868
264.95/265.06	c  262s |      15 |   132786 |   101832 |   180784      0 |    15583 |    18868
267.15/267.28	c  264s |      15 |   133532 |   102432 |   180784      0 |    15583 |    18868
269.45/269.56	c  267s |      15 |   134264 |   103032 |   180784      0 |    15583 |    18868
271.54/271.68	c  269s |      15 |   134834 |   103532 |   180784      0 |    15583 |    18868
273.74/273.82	c  271s |      15 |   135607 |   104132 |   180784      0 |    15583 |    18868
275.74/275.87	c  273s |      15 |   136343 |   104732 |   180784      0 |    15583 |    18868
277.94/278.05	c  275s |      15 |   137285 |   105532 |   180784      0 |    15583 |    18868
280.04/280.10	c  277s |      15 |   138129 |   106232 |   180784      0 |    15583 |    18868
282.24/282.39	c  279s |      15 |   139123 |   107032 |   180784      0 |    15583 |    18868
284.54/284.66	c  282s |      15 |   139927 |   107732 |   180784      0 |    15583 |    18868
286.74/286.87	c  284s |      15 |   140682 |   108332 |   180784      0 |    15583 |    18868
288.94/289.09	c  286s |      15 |   141389 |   108932 |   180784      0 |    15583 |    18868
291.04/291.19	c  288s |      15 |   142195 |   109532 |   180784      0 |    15583 |    18868
293.34/293.45	c  291s |      15 |   142914 |   110132 |   180784      0 |    15583 |    18868
295.34/295.46	c  293s |      15 |   143646 |   110732 |   180784      0 |    15583 |    18868
297.54/297.61	c  295s |      15 |   144507 |   111432 |   180784      0 |    15583 |    18868
299.64/299.79	c  297s |      15 |   145229 |   112032 |   180784      0 |    15583 |    18868
302.04/302.13	c  299s |      15 |   145981 |   112632 |   180784      0 |    15583 |    18868
304.24/304.39	c  301s |      15 |   146755 |   113232 |   180784      0 |    15583 |    18868
306.64/306.71	c  304s |      15 |   147473 |   113832 |   180784      0 |    15583 |    18868
308.84/308.98	c  306s |      15 |   148191 |   114432 |   180784      0 |    15583 |    18868
311.14/311.29	c  308s |      15 |   148935 |   115032 |   180784      0 |    15583 |    18868
313.55/313.66	c  311s |      15 |   149648 |   115632 |   180784      0 |    15583 |    18868
315.64/315.75	c  313s |      15 |   150266 |   116132 |   180784      0 |    15583 |    18868
317.94/318.06	c  315s |      15 |   150848 |   116632 |   180784      0 |    15583 |    18868
320.24/320.37	c  317s |      15 |   151598 |   117232 |   180784      0 |    15583 |    18868
322.44/322.50	c  320s |      15 |   152169 |   117732 |   180784      0 |    15583 |    18868
324.74/324.85	c  322s |      15 |   152774 |   118232 |   180784      0 |    15583 |    18868
326.84/326.93	c  324s |      15 |   153399 |   118732 |   180784      0 |    15583 |    18868
328.94/329.05	c  326s |      15 |   154035 |   119232 |   180784      0 |    15583 |    18868
330.93/331.06	c  328s |      15 |   154525 |   119632 |   180784      0 |    15583 |    18868
332.93/333.07	c  330s |      15 |   154983 |   120032 |   180784      0 |    15583 |    18868
335.23/335.30	c  332s |      15 |   155612 |   120532 |   180784      0 |    15583 |    18868
337.43/337.52	c  335s |      15 |   156214 |   121032 |   180784      0 |    15583 |    18868
339.43/339.53	c  337s |      15 |   156697 |   121432 |   180784      0 |    15583 |    18868
341.93/342.04	c  339s |      15 |   157292 |   121932 |   180784      0 |    15583 |    18868
344.24/344.32	c  341s |      15 |   157879 |   122432 |   180784      0 |    15583 |    18868
346.44/346.56	c  344s |      15 |   158445 |   122932 |   180784      0 |    15583 |    18868
348.64/348.79	c  346s |      15 |   159034 |   123432 |   180784      0 |    15583 |    18868
350.84/350.93	c  348s |      15 |   159655 |   123932 |   180784      0 |    15583 |    18868
353.23/353.35	c  350s |      15 |   160418 |   124532 |   180784      0 |    15583 |    18868
355.43/355.50	c  353s |      15 |   161029 |   125032 |   180784      0 |    15583 |    18868
357.63/357.71	c  355s |      15 |   161662 |   125532 |   180784      0 |    15583 |    18868
359.93/360.02	c  357s |      15 |   162254 |   126032 |   180784      0 |    15583 |    18868
362.03/362.17	c  359s |      15 |   162888 |   126532 |   180784      0 |    15583 |    18868
364.43/364.59	c  362s |      15 |   163540 |   127032 |   180784      0 |    15583 |    18868
366.73/366.80	c  364s |      15 |   164033 |   127432 |   180784      0 |    15583 |    18868
368.73/368.86	c  366s |      15 |   164579 |   127832 |   180784      0 |    15583 |    18868
370.83/370.96	c  368s |      15 |   165237 |   128332 |   180784      0 |    15583 |    18868
373.03/373.17	c  370s |      15 |   165881 |   128832 |   180784      0 |    15583 |    18868
375.43/375.55	c  373s |      15 |   166468 |   129332 |   180784      0 |    15583 |    18868
377.73/377.86	c  375s |      15 |   167058 |   129832 |   180784      0 |    15583 |    18868
380.23/380.38	c  377s |      15 |   167653 |   130332 |   180784      0 |    15583 |    18868
382.43/382.58	c  380s |      15 |   168152 |   130732 |   198863      0 |    15583 |    18868
384.63/384.72	c  382s |      15 |   168614 |   131132 |   198863      0 |    15583 |    18868
387.03/387.17	c  384s |      15 |   169065 |   131532 |   198863      0 |    15583 |    18868
387.23/387.32	c  384s |      16 |   169089 |   131552 |   198863      0 |    15583 |    18868
389.62/389.73	c  387s |      16 |   169718 |   131952 |   198863      0 |    15583 |    18868
392.02/392.11	c  389s |      16 |   170338 |   132452 |   198863      0 |    15583 |    18868
394.32/394.49	c  392s |      16 |   171109 |   133052 |   198863      0 |    15583 |    18868
396.42/396.53	c  394s |      16 |   171874 |   133652 |   198863      0 |    15583 |    18868
398.72/398.86	c  396s |      16 |   172594 |   134252 |   198863      0 |    15583 |    18868
401.12/401.21	c  398s |      16 |   173227 |   134752 |   198863      0 |    15583 |    18868
403.32/403.44	c  401s |      16 |   173884 |   135252 |   198863      0 |    15583 |    18868
405.42/405.59	c  403s |      16 |   174514 |   135752 |   198863      0 |    15583 |    18868
407.72/407.89	c  405s |      16 |   175274 |   136352 |   198863      0 |    15583 |    18868
410.02/410.11	c  407s |      16 |   175975 |   136952 |   198863      0 |    15583 |    18868
412.32/412.48	c  410s |      16 |   176853 |   137552 |   198863      0 |    15583 |    18868
414.52/414.66	c  412s |      16 |   177666 |   138152 |   198863      0 |    15583 |    18868
416.72/416.81	c  414s |      16 |   178364 |   138752 |   198863      0 |    15583 |    18868
419.03/419.19	c  416s |      16 |   179138 |   139352 |   198863      0 |    15583 |    18868
421.23/421.38	c  418s |      16 |   179883 |   139952 |   198863      0 |    15583 |    18868
423.62/423.72	c  421s |      16 |   180716 |   140552 |   198863      0 |    15583 |    18868
425.73/425.84	c  423s |      16 |   181363 |   141052 |   198863      0 |    15583 |    18868
427.93/428.09	c  425s |      16 |   182010 |   141552 |   198863      0 |    15583 |    18868
430.13/430.29	c  427s |      16 |   182622 |   142052 |   198863      0 |    15583 |    18868
432.42/432.57	c  430s |      16 |   183422 |   142652 |   198863      0 |    15583 |    18868
434.72/434.81	c  432s |      16 |   184043 |   143152 |   198863      0 |    15583 |    18868
437.02/437.12	c  434s |      16 |   184630 |   143652 |   198863      0 |    15583 |    18868
439.12/439.21	c  436s |      16 |   185250 |   144152 |   198863      0 |    15583 |    18868
441.12/441.23	c  438s |      16 |   185830 |   144652 |   198863      0 |    15583 |    18868
443.52/443.62	c  441s |      16 |   186410 |   145152 |   198863      0 |    15583 |    18868
445.72/445.82	c  443s |      16 |   187048 |   145652 |   198863      0 |    15583 |    18868
447.91/448.07	c  445s |      16 |   187807 |   146252 |   198863      0 |    15583 |    18868
450.31/450.48	c  448s |      16 |   188545 |   146852 |   198863      0 |    15583 |    18868
452.51/452.67	c  450s |      16 |   189222 |   147352 |   198863      0 |    15583 |    18868
454.71/454.83	c  452s |      16 |   189881 |   147852 |   198863      0 |    15583 |    18868
457.01/457.19	c  454s |      16 |   190481 |   148352 |   198863      0 |    15583 |    18868
459.41/459.56	c  457s |      16 |   191067 |   148852 |   198863      0 |    15583 |    18868
461.81/461.95	c  459s |      16 |   191659 |   149352 |   198863      0 |    15583 |    18868
464.01/464.14	c  461s |      16 |   192241 |   149852 |   198863      0 |    15583 |    18868
466.01/466.16	c  463s |      16 |   192700 |   150252 |   198863      0 |    15583 |    18868
468.52/468.70	c  466s |      16 |   193290 |   150752 |   198863      0 |    15583 |    18868
470.82/470.94	c  468s |      16 |   193934 |   151252 |   198863      0 |    15583 |    18868
473.02/473.13	c  470s |      16 |   194590 |   151752 |   198863      0 |    15583 |    18868
475.51/475.63	c  473s |      16 |   195194 |   152252 |   198863      0 |    15583 |    18868
477.61/477.72	c  475s |      16 |   195680 |   152652 |   198863      0 |    15583 |    18868
479.71/479.87	c  477s |      16 |   196282 |   153152 |   198863      0 |    15583 |    18868
482.21/482.31	c  479s |      16 |   197060 |   153752 |   198863      0 |    15583 |    18868
484.31/484.41	c  482s |      16 |   197680 |   154252 |   198863      0 |    15583 |    18868
486.71/486.87	c  484s |      16 |   198306 |   154752 |   198863      0 |    15583 |    18868
488.91/489.08	c  486s |      16 |   198801 |   155152 |   198863      0 |    15583 |    18868
491.11/491.24	c  488s |      16 |   199252 |   155552 |   198863      0 |    15583 |    18868
493.61/493.75	c  491s |      16 |   199848 |   156052 |   198863      0 |    15583 |    18868
496.01/496.16	c  493s |      16 |   200514 |   156552 |   198863      0 |    15583 |    18868
498.21/498.35	c  495s |      16 |   201006 |   156952 |   198863      0 |    15583 |    18868
500.71/500.82	c  498s |      16 |   201608 |   157452 |   198863      0 |    15583 |    18868
503.01/503.19	c  500s |      16 |   202201 |   157952 |   198863      0 |    15583 |    18868
505.41/505.59	c  503s |      16 |   202710 |   158352 |   198863      0 |    15583 |    18868
507.80/507.97	c  505s |      16 |   203382 |   158852 |   198863      0 |    15583 |    18868
510.31/510.47	c  508s |      16 |   204035 |   159352 |   198863      0 |    15583 |    18868
512.40/512.60	c  510s |      16 |   204543 |   159752 |   198863      0 |    15583 |    18868
514.50/514.64	c  512s |      16 |   205045 |   160152 |   198863      0 |    15583 |    18868
516.71/516.88	c  514s |      16 |   205708 |   160652 |   198863      0 |    15583 |    18868
519.22/519.32	c  516s |      16 |   206351 |   161152 |   198863      0 |    15583 |    18868
521.32/521.41	c  519s |      16 |   206833 |   161552 |   198863      0 |    15583 |    18868
523.81/523.94	c  521s |      16 |   207439 |   162052 |   198863      0 |    15583 |    18868
526.01/526.13	c  523s |      16 |   207929 |   162452 |   198863      0 |    15583 |    18868
528.02/528.14	c  525s |      16 |   208475 |   162852 |   198863      0 |    15583 |    18868
530.01/530.14	c  527s |      16 |   208993 |   163252 |   198863      0 |    15583 |    18868
532.01/532.16	c  529s |      16 |   209527 |   163652 |   198863      0 |    15583 |    18868
534.11/534.28	c  531s |      16 |   210025 |   164052 |   198863      0 |    15583 |    18868
536.61/536.77	c  534s |      16 |   210600 |   164552 |   198863      0 |    15583 |    18868
538.71/538.83	c  536s |      16 |   211112 |   164952 |   198863      0 |    15583 |    18868
541.11/541.22	c  538s |      16 |   211759 |   165452 |   198863      0 |    15583 |    18868
543.31/543.45	c  541s |      16 |   212286 |   165852 |   198863      0 |    15583 |    18868
545.31/545.49	c  543s |      16 |   212806 |   166252 |   198863      0 |    15583 |    18868
547.71/547.83	c  545s |      16 |   213452 |   166752 |   198863      0 |    15583 |    18868
549.71/549.89	c  547s |      16 |   213953 |   167152 |   198863      0 |    15583 |    18868
552.31/552.41	c  550s |      16 |   214562 |   167652 |   198863      0 |    15583 |    18868
554.31/554.43	c  552s |      16 |   215079 |   168052 |   198863      0 |    15583 |    18868
556.61/556.79	c  554s |      16 |   215735 |   168552 |   198863      0 |    15583 |    18868
559.00/559.13	c  556s |      16 |   216402 |   169052 |   198863      0 |    15583 |    18868
561.30/561.49	c  559s |      16 |   217011 |   169552 |   198863      0 |    15583 |    18868
563.80/563.92	c  561s |      16 |   217633 |   170052 |   198863      0 |    15583 |    18868
565.80/565.98	c  563s |      16 |   218161 |   170452 |   198863      0 |    15583 |    18868
567.90/568.02	c  565s |      16 |   218653 |   170852 |   198863      0 |    15583 |    18868
570.00/570.14	c  567s |      16 |   219161 |   171252 |   198863      0 |    15583 |    18868
572.20/572.37	c  569s |      16 |   219652 |   171652 |   198863      0 |    15583 |    18868
574.60/574.72	c  572s |      16 |   220241 |   172152 |   198863      0 |    15583 |    18868
577.00/577.12	c  574s |      16 |   220846 |   172652 |   198863      0 |    15583 |    18868
579.10/579.22	c  576s |      16 |   221364 |   173052 |   198863      0 |    15583 |    18868
581.50/581.63	c  579s |      16 |   222021 |   173552 |   198863      0 |    15583 |    18868
583.60/583.71	c  581s |      16 |   222475 |   173952 |   198863      0 |    15583 |    18868
585.60/585.73	c  583s |      16 |   222983 |   174352 |   198863      0 |    15583 |    18868
587.80/587.96	c  585s |      16 |   223627 |   174852 |   198863      0 |    15583 |    18868
589.80/589.97	c  587s |      16 |   224103 |   175252 |   198863      0 |    15583 |    18868
592.20/592.34	c  589s |      16 |   224701 |   175752 |   198863      0 |    15583 |    18868
594.40/594.57	c  592s |      16 |   225220 |   176152 |   198863      0 |    15583 |    18868
596.80/596.98	c  594s |      16 |   225819 |   176652 |   198863      0 |    15583 |    18868
598.90/599.03	c  596s |      16 |   226281 |   177052 |   198863      0 |    15583 |    18868
601.00/601.14	c  598s |      16 |   226752 |   177452 |   198863      0 |    15583 |    18868
603.10/603.22	c  600s |      16 |   227248 |   177852 |   198863      0 |    15583 |    18868
605.10/605.30	c  602s |      16 |   227721 |   178252 |   198863      0 |    15583 |    18868
607.40/607.57	c  605s |      16 |   228177 |   178652 |   198863      0 |    15583 |    18868
609.60/609.71	c  607s |      16 |   228697 |   179052 |   198863      0 |    15583 |    18868
611.80/611.95	c  609s |      16 |   229189 |   179452 |   198863      0 |    15583 |    18868
614.29/614.45	c  612s |      16 |   229799 |   179952 |   198863      0 |    15583 |    18868
616.79/616.91	c  614s |      16 |   230283 |   180352 |   198863      0 |    15583 |    18868
619.09/619.25	c  616s |      16 |   230780 |   180752 |   198863      0 |    15583 |    18868
621.09/621.28	c  618s |      16 |   231250 |   181152 |   198863      0 |    15583 |    18868
623.19/623.39	c  620s |      16 |   231756 |   181552 |   198863      0 |    15583 |    18868
625.49/625.65	c  623s |      16 |   232245 |   181952 |   198863      0 |    15583 |    18868
627.59/627.78	c  625s |      16 |   232747 |   182352 |   198863      0 |    15583 |    18868
629.99/630.14	c  627s |      16 |   233242 |   182752 |   198863      0 |    15583 |    18868
632.19/632.36	c  629s |      16 |   233701 |   183152 |   198863      0 |    15583 |    18868
634.70/634.81	c  632s |      16 |   234209 |   183552 |   198863      0 |    15583 |    18868
637.09/637.22	c  634s |      16 |   234682 |   183952 |   198863      0 |    15583 |    18868
639.59/639.78	c  637s |      16 |   235156 |   184352 |   198863      0 |    15583 |    18868
641.69/641.86	c  639s |      16 |   235627 |   184752 |   198863      0 |    15583 |    18868
643.89/644.07	c  641s |      16 |   236137 |   185152 |   198863      0 |    15583 |    18868
646.09/646.26	c  643s |      16 |   236642 |   185552 |   198863      0 |    15583 |    18868
648.59/648.76	c  646s |      16 |   237272 |   186052 |   198863      0 |    15583 |    18868
650.69/650.86	c  648s |      16 |   237742 |   186452 |   198863      0 |    15583 |    18868
653.09/653.21	c  650s |      16 |   238235 |   186852 |   198863      0 |    15583 |    18868
655.50/655.65	c  653s |      16 |   238684 |   187252 |   198863      0 |    15583 |    18868
657.70/657.82	c  655s |      16 |   239149 |   187652 |   198863      0 |    15583 |    18868
659.69/659.85	c  657s |      16 |   239628 |   188052 |   198863      0 |    15583 |    18868
661.89/662.00	c  659s |      16 |   240120 |   188452 |   198863      0 |    15583 |    18868
664.19/664.32	c  661s |      16 |   240595 |   188852 |   198863      0 |    15583 |    18868
666.29/666.44	c  664s |      16 |   241072 |   189252 |   198863      0 |    15583 |    18868
668.69/668.85	c  666s |      16 |   241570 |   189652 |   198863      0 |    15583 |    18868
671.29/671.46	c  669s |      16 |   242057 |   190052 |   198863      0 |    15583 |    18868
673.79/673.98	c  671s |      16 |   242502 |   190452 |   198863      0 |    15583 |    18868
676.29/676.42	c  674s |      16 |   242960 |   190852 |   198863      0 |    15583 |    18868
678.88/679.02	c  676s |      16 |   243450 |   191252 |   198863      0 |    15583 |    18868
681.08/681.21	c  678s |      16 |   243961 |   191652 |   198863      0 |    15583 |    18868
683.48/683.60	c  681s |      16 |   244463 |   192052 |   198863      0 |    15583 |    18868
685.78/685.98	c  683s |      16 |   244967 |   192452 |   198863      0 |    15583 |    18868
688.28/688.43	c  686s |      16 |   245456 |   192852 |   198863      0 |    15583 |    18868
690.79/690.95	c  688s |      16 |   245940 |   193252 |   198863      0 |    15583 |    18868
693.28/693.40	c  690s |      16 |   246435 |   193652 |   198863      0 |    15583 |    18868
695.38/695.58	c  693s |      16 |   246930 |   194052 |   198863      0 |    15583 |    18868
697.88/698.04	c  695s |      16 |   247420 |   194452 |   198863      0 |    15583 |    18868
700.28/700.43	c  698s |      16 |   247891 |   194852 |   198863      0 |    15583 |    18868
702.58/702.78	c  700s |      16 |   248360 |   195252 |   198863      0 |    15583 |    18868
704.99/705.19	c  702s |      16 |   248848 |   195652 |   198863      0 |    15583 |    18868
707.58/707.75	c  705s |      16 |   249293 |   196052 |   198863      0 |    15583 |    18868
710.08/710.25	c  707s |      16 |   249786 |   196452 |   218750      0 |    15583 |    18868
712.38/712.56	c  710s |      16 |   250260 |   196852 |   218750      0 |    15583 |    18868
714.89/715.02	c  712s |      16 |   250749 |   197252 |   218750      0 |    15583 |    18868
715.78/715.98	c  713s |      17 |   250961 |   197432 |   218750      0 |    15583 |    18868
718.29/718.41	c  715s |      17 |   251267 |   197632 |   218750      0 |    15583 |    18868
720.68/720.85	c  718s |      17 |   251760 |   198032 |   218750      0 |    15583 |    18868
722.88/723.09	c  720s |      17 |   252243 |   198432 |   218750      0 |    15583 |    18868
725.58/725.73	c  723s |      17 |   252701 |   198832 |   218750      0 |    15583 |    18868
727.58/727.79	c  725s |      17 |   253031 |   199132 |   218750      0 |    15583 |    18868
729.78/729.99	c  727s |      17 |   253391 |   199432 |   218750      0 |    15583 |    18868
731.88/732.01	c  729s |      17 |   253753 |   199732 |   218750      0 |    15583 |    18868
734.38/734.53	c  732s |      17 |   254227 |   200132 |   218750      0 |    15583 |    18868
736.48/736.63	c  734s |      17 |   254572 |   200432 |   218750      0 |    15583 |    18868
738.88/739.02	c  736s |      17 |   255019 |   200832 |   218750      0 |    15583 |    18868
741.28/741.44	c  739s |      17 |   255485 |   201232 |   218750      0 |    15583 |    18868
743.77/743.93	c  741s |      17 |   256025 |   201632 |   218750      0 |    15583 |    18868
746.27/746.44	c  744s |      17 |   256502 |   202032 |   218750      0 |    15583 |    18868
748.87/749.02	c  746s |      17 |   256975 |   202432 |   218750      0 |    15583 |    18868
751.37/751.51	c  749s |      17 |   257436 |   202832 |   218750      0 |    15583 |    18868
753.87/754.04	c  751s |      17 |   257915 |   203232 |   218750      0 |    15583 |    18868
756.27/756.43	c  754s |      17 |   258377 |   203632 |   218750      0 |    15583 |    18868
758.47/758.69	c  756s |      17 |   258843 |   204032 |   218750      0 |    15583 |    18868
760.67/760.86	c  758s |      17 |   259351 |   204432 |   218750      0 |    15583 |    18868
762.97/763.10	c  760s |      17 |   259822 |   204832 |   218750      0 |    15583 |    18868
765.48/765.68	c  763s |      17 |   260289 |   205232 |   218750      0 |    15583 |    18868
767.97/768.12	c  765s |      17 |   260766 |   205632 |   218750      0 |    15583 |    18868
770.37/770.50	c  768s |      17 |   261576 |   206032 |   218750      0 |    15583 |    18868
772.37/772.57	c  770s |      17 |   263119 |   207332 |   218750      0 |    15583 |    18868
774.47/774.65	c  772s |      17 |   264401 |   208432 |   218750      0 |    15583 |    18868
776.48/776.70	c  774s |      17 |   265571 |   209432 |   218750      0 |    15583 |    18868
778.57/778.79	c  776s |      17 |   266853 |   210532 |   218750      0 |    15583 |    18868
780.67/780.83	c  778s |      17 |   268091 |   211632 |   218750      0 |    15583 |    18868
782.77/782.95	c  780s |      17 |   269364 |   212732 |   218750      0 |    15583 |    18868
784.96/785.19	c  782s |      17 |   270629 |   213832 |   218750      0 |    15583 |    18868
787.16/787.39	c  784s |      17 |   271624 |   214732 |   218750      0 |    15583 |    18868
789.46/789.65	c  787s |      17 |   272676 |   215632 |   218750      0 |    15583 |    18868
791.56/791.73	c  789s |      17 |   273460 |   216332 |   218750      0 |    15583 |    18868
793.86/794.04	c  791s |      17 |   274405 |   217132 |   218750      0 |    15583 |    18868
795.96/796.18	c  793s |      17 |   275341 |   217932 |   218750      0 |    15583 |    18868
798.26/798.43	c  796s |      17 |   276247 |   218732 |   218750      0 |    15583 |    18868
800.26/800.48	c  798s |      17 |   277180 |   219532 |   218750      0 |    15583 |    18868
802.46/802.68	c  800s |      17 |   278096 |   220332 |   218750      0 |    15583 |    18868
804.55/804.76	c  802s |      17 |   279011 |   221132 |   218750      0 |    15583 |    18868
806.75/806.99	c  804s |      17 |   279928 |   221932 |   218750      0 |    15583 |    18868
809.15/809.30	c  806s |      17 |   280834 |   222732 |   218750      0 |    15583 |    18868
811.15/811.37	c  808s |      17 |   281627 |   223432 |   218750      0 |    15583 |    18868
813.15/813.38	c  810s |      17 |   282316 |   224032 |   218750      0 |    15583 |    18868
815.45/815.67	c  813s |      17 |   283016 |   224632 |   218750      0 |    15583 |    18868
817.65/817.80	c  815s |      17 |   283689 |   225232 |   218750      0 |    15583 |    18868
819.95/820.15	c  817s |      17 |   284354 |   225832 |   218750      0 |    15583 |    18868
822.14/822.30	c  819s |      17 |   285028 |   226432 |   218750      0 |    15583 |    18868
824.24/824.42	c  822s |      17 |   285690 |   227032 |   218750      0 |    15583 |    18868
826.34/826.56	c  824s |      17 |   286362 |   227632 |   218750      0 |    15583 |    18868
828.34/828.59	c  826s |      17 |   287044 |   228232 |   218750      0 |    15583 |    18868
830.54/830.70	c  828s |      17 |   287728 |   228832 |   218750      0 |    15583 |    18868
832.74/832.97	c  830s |      17 |   288382 |   229432 |   218750      0 |    15583 |    18868
835.14/835.33	c  832s |      17 |   289061 |   230032 |   218750      0 |    15583 |    18868
837.34/837.59	c  835s |      17 |   289759 |   230632 |   218750      0 |    15583 |    18868
839.54/839.79	c  837s |      17 |   290430 |   231232 |   218750      0 |    15583 |    18868
841.73/841.94	c  839s |      17 |   291083 |   231832 |   218750      0 |    15583 |    18868
843.93/844.14	c  841s |      17 |   291731 |   232432 |   218750      0 |    15583 |    18868
846.03/846.25	c  843s |      17 |   292271 |   232932 |   218750      0 |    15583 |    18868
848.13/848.34	c  845s |      17 |   292983 |   233532 |   218750      0 |    15583 |    18868
850.33/850.53	c  848s |      17 |   293553 |   234032 |   218750      0 |    15583 |    18868
852.44/852.66	c  850s |      17 |   294116 |   234532 |   218750      0 |    15583 |    18868
854.93/855.11	c  852s |      17 |   294682 |   235032 |   218750      0 |    15583 |    18868
857.33/857.56	c  855s |      17 |   295361 |   235632 |   218750      0 |    15583 |    18868
859.73/859.97	c  857s |      17 |   295915 |   236132 |   218750      0 |    15583 |    18868
862.12/862.30	c  859s |      17 |   296479 |   236632 |   218750      0 |    15583 |    18868
864.22/864.42	c  862s |      17 |   297142 |   237232 |   218750      0 |    15583 |    18868
866.52/866.73	c  864s |      17 |   297801 |   237832 |   218750      0 |    15583 |    18868
868.72/868.99	c  866s |      17 |   298485 |   238432 |   218750      0 |    15583 |    18868
870.92/871.15	c  868s |      17 |   299106 |   238932 |   218750      0 |    15583 |    18868
873.12/873.40	c  870s |      17 |   299692 |   239432 |   218750      0 |    15583 |    18868
875.52/875.76	c  873s |      17 |   300257 |   239932 |   218750      0 |    15583 |    18868
877.62/877.88	c  875s |      17 |   300842 |   240432 |   218750      0 |    15583 |    18868
879.92/880.18	c  877s |      17 |   301408 |   240932 |   218750      0 |    15583 |    18868
882.21/882.43	c  880s |      17 |   301977 |   241432 |   218750      0 |    15583 |    18868
884.32/884.57	c  882s |      17 |   302440 |   241832 |   218750      0 |    15583 |    18868
886.71/886.95	c  884s |      17 |   303049 |   242332 |   218750      0 |    15583 |    18868
888.91/889.18	c  886s |      17 |   303639 |   242832 |   218750      0 |    15583 |    18868
891.31/891.51	c  889s |      17 |   304209 |   243332 |   218750      0 |    15583 |    18868
893.41/893.66	c  891s |      17 |   304778 |   243832 |   218750      0 |    15583 |    18868
895.71/895.96	c  893s |      17 |   305338 |   244332 |   218750      0 |    15583 |    18868
898.01/898.24	c  895s |      17 |   305912 |   244832 |   218750      0 |    15583 |    18868
900.41/900.66	c  898s |      17 |   306478 |   245332 |   218750      0 |    15583 |    18868
902.50/902.71	c  900s |      17 |   307034 |   245832 |   218750      0 |    15583 |    18868
904.60/904.87	c  902s |      17 |   307612 |   246332 |   218750      0 |    15583 |    18868
907.00/907.21	c  904s |      17 |   308169 |   246832 |   218750      0 |    15583 |    18868
909.10/909.31	c  906s |      17 |   308651 |   247232 |   218750      0 |    15583 |    18868
911.30/911.59	c  909s |      17 |   309277 |   247732 |   218750      0 |    15583 |    18868
913.70/913.90	c  911s |      17 |   309845 |   248232 |   218750      0 |    15583 |    18868
916.21/916.47	c  914s |      17 |   310426 |   248732 |   218750      0 |    15583 |    18868
918.60/918.86	c  916s |      17 |   310997 |   249232 |   218750      0 |    15583 |    18868
920.70/920.94	c  918s |      17 |   311564 |   249732 |   218750      0 |    15583 |    18868
922.89/923.19	c  920s |      17 |   312132 |   250232 |   218750      0 |    15583 |    18868
925.00/925.26	c  922s |      17 |   312706 |   250732 |   218750      0 |    15583 |    18868
927.20/927.44	c  925s |      17 |   313295 |   251232 |   218750      0 |    15583 |    18868
929.49/929.78	c  927s |      17 |   313746 |   251632 |   218750      0 |    15583 |    18868
931.89/932.11	c  929s |      17 |   314200 |   252032 |   218750      0 |    15583 |    18868
934.29/934.54	c  932s |      17 |   314781 |   252532 |   218750      0 |    15583 |    18868
936.79/937.02	c  934s |      17 |   315367 |   253032 |   218750      0 |    15583 |    18868
939.19/939.41	c  936s |      17 |   315807 |   253432 |   218750      0 |    15583 |    18868
941.39/941.65	c  939s |      17 |   316257 |   253832 |   218750      0 |    15583 |    18868
943.88/944.12	c  941s |      17 |   316832 |   254332 |   218750      0 |    15583 |    18868
945.89/946.19	c  943s |      17 |   317276 |   254732 |   218750      0 |    15583 |    18868
949.38/949.68	c  947s |      17 |   317730 |   255132 |   218750      1 |    15583 |    18868
951.68/951.95	c  949s |      17 |   318323 |   255632 |   218750      1 |    15583 |    18868
954.08/954.38	c  951s |      17 |   318756 |   256032 |   218750      1 |    15583 |    18868
956.48/956.77	c  954s |      17 |   319424 |   256632 |   218750      1 |    15583 |    18868
958.58/958.85	c  956s |      17 |   319962 |   257132 |   218750      1 |    15583 |    18868
960.78/961.05	c  958s |      17 |   320529 |   257632 |   218750      1 |    15583 |    18868
962.77/963.06	c  960s |      17 |   320986 |   258032 |   218750      1 |    15583 |    18868
964.97/965.21	c  962s |      17 |   321528 |   258532 |   218750      1 |    15583 |    18868
967.17/967.42	c  965s |      17 |   321980 |   258932 |   218750      1 |    15583 |    18868
969.27/969.51	c  967s |      17 |   322437 |   259332 |   218750      1 |    15583 |    18868
971.67/971.93	c  969s |      17 |   322993 |   259832 |   218750      1 |    15583 |    18868
973.87/974.16	c  971s |      17 |   323451 |   260232 |   218750      1 |    15583 |    18868
976.27/976.57	c  974s |      17 |   324022 |   260732 |   218750      1 |    15583 |    18868
978.47/978.70	c  976s |      17 |   324582 |   261232 |   218750      1 |    15583 |    18868
980.77/981.05	c  978s |      17 |   325153 |   261732 |   218750      1 |    15583 |    18868
983.06/983.36	c  980s |      17 |   325706 |   262232 |   218750      1 |    15583 |    18868
985.26/985.51	c  983s |      17 |   326138 |   262632 |   218750      1 |    15583 |    18868
987.57/987.90	c  985s |      17 |   326584 |   263032 |   218750      1 |    15583 |    18868
989.87/990.13	c  987s |      17 |   327020 |   263432 |   218750      1 |    15583 |    18868
991.86/992.16	c  989s |      17 |   327466 |   263832 |   218750      1 |    15583 |    18868
993.96/994.20	c  991s |      17 |   327903 |   264232 |   218750      1 |    15583 |    18868
995.96/996.27	c  993s |      17 |   328343 |   264632 |   218750      1 |    15583 |    18868
998.06/998.31	c  995s |      17 |   328785 |   265032 |   218750      1 |    15583 |    18868
1000.06/1000.33	c  997s |      17 |   329221 |   265432 |   218750      1 |    15583 |    18868
1002.05/1002.38	c  999s |      17 |   329659 |   265832 |   218750      1 |    15583 |    18868
1004.06/1004.40	c 1001s |      17 |   330121 |   266232 |   218750      1 |    15583 |    18868
1006.55/1006.84	c 1004s |      17 |   330680 |   266732 |   218750      1 |    15583 |    18868
1008.95/1009.25	c 1006s |      17 |   331223 |   267232 |   218750      1 |    15583 |    18868
1011.34/1011.64	c 1009s |      17 |   331798 |   267732 |   218750      1 |    15583 |    18868
1013.64/1013.90	c 1011s |      17 |   332271 |   268132 |   218750      1 |    15583 |    18868
1015.94/1016.28	c 1013s |      17 |   332733 |   268532 |   218750      1 |    15583 |    18868
1018.24/1018.58	c 1016s |      17 |   333185 |   268932 |   218750      1 |    15583 |    18868
1020.24/1020.58	c 1018s |      17 |   333514 |   269232 |   218750      1 |    15583 |    18868
1022.84/1023.15	c 1020s |      17 |   333957 |   269632 |   218750      1 |    15583 |    18868
1025.24/1025.59	c 1023s |      17 |   334408 |   270032 |   218750      1 |    15583 |    18868
1027.73/1028.06	c 1025s |      17 |   334870 |   270432 |   218750      1 |    15583 |    18868
1029.83/1030.13	c 1027s |      17 |   335339 |   270832 |   218750      1 |    15583 |    18868
1031.93/1032.30	c 1029s |      17 |   335922 |   271332 |   218750      1 |    15583 |    18868
1034.13/1034.48	c 1032s |      17 |   336496 |   271832 |   218750      1 |    15583 |    18868
1036.23/1036.55	c 1034s |      17 |   337078 |   272332 |   218750      1 |    15583 |    18868
1038.63/1038.97	c 1036s |      17 |   337833 |   272932 |   218750      1 |    15583 |    18868
1041.03/1041.30	c 1038s |      17 |   338561 |   273532 |   218750      1 |    15583 |    18868
1043.42/1043.71	c 1041s |      17 |   339140 |   274032 |   218750      1 |    15583 |    18868
1045.52/1045.85	c 1043s |      17 |   339729 |   274532 |   218750      1 |    15583 |    18868
1047.62/1047.93	c 1045s |      17 |   340293 |   275032 |   218750      1 |    15583 |    18868
1049.72/1050.06	c 1047s |      17 |   340889 |   275532 |   218750      1 |    15583 |    18868
1052.11/1052.49	c 1050s |      17 |   341459 |   276032 |   218750      1 |    15583 |    18868
1054.41/1054.78	c 1052s |      17 |   342038 |   276532 |   218750      1 |    15583 |    18868
1056.51/1056.82	c 1054s |      17 |   342615 |   277032 |   218750      1 |    15583 |    18868
1058.91/1059.21	c 1056s |      17 |   343184 |   277532 |   218750      1 |    15583 |    18868
1060.91/1061.24	c 1058s |      17 |   343643 |   277932 |   218750      1 |    15583 |    18868
1063.31/1063.62	c 1061s |      17 |   344209 |   278432 |   218750      1 |    15583 |    18868
1065.31/1065.66	c 1063s |      17 |   344809 |   278932 |   218750      1 |    15583 |    18868
1067.51/1067.85	c 1065s |      17 |   345374 |   279432 |   218750      1 |    15583 |    18868
1069.81/1070.12	c 1067s |      17 |   345959 |   279932 |   218750      1 |    15583 |    18868
1072.01/1072.34	c 1069s |      17 |   346550 |   280432 |   218750      1 |    15583 |    18868
1074.30/1074.65	c 1072s |      17 |   347118 |   280932 |   218750      1 |    15583 |    18868
1076.30/1076.66	c 1074s |      17 |   347563 |   281332 |   218750      1 |    15583 |    18868
1078.70/1079.00	c 1076s |      17 |   348139 |   281832 |   218750      1 |    15583 |    18868
1080.90/1081.24	c 1078s |      17 |   348703 |   282332 |   218750      1 |    15583 |    18868
1083.00/1083.37	c 1080s |      17 |   349282 |   282832 |   218750      1 |    15583 |    18868
1085.10/1085.45	c 1083s |      17 |   349856 |   283332 |   218750      1 |    15583 |    18868
1087.50/1087.88	c 1085s |      17 |   350403 |   283832 |   218750      1 |    15583 |    18868
1090.00/1090.30	c 1087s |      17 |   350996 |   284332 |   218750      1 |    15583 |    18868
1092.10/1092.44	c 1090s |      17 |   351614 |   284832 |   218750      1 |    15583 |    18868
1094.50/1094.88	c 1092s |      17 |   352147 |   285332 |   218750      1 |    15583 |    18868
1096.80/1097.16	c 1094s |      17 |   352738 |   285832 |   218750      1 |    15583 |    18868
1098.99/1099.31	c 1096s |      17 |   353319 |   286332 |   218750      1 |    15583 |    18868
1101.29/1101.63	c 1099s |      17 |   353904 |   286832 |   218750      1 |    15583 |    18868
1103.39/1103.75	c 1101s |      17 |   354474 |   287332 |   218750      1 |    15583 |    18868
1105.79/1106.13	c 1103s |      17 |   355196 |   287932 |   218750      1 |    15583 |    18868
1107.99/1108.33	c 1105s |      17 |   355803 |   288432 |   218750      1 |    15583 |    18868
1110.39/1110.71	c 1108s |      17 |   356408 |   288932 |   218750      1 |    15583 |    18868
1112.79/1113.15	c 1110s |      17 |   356974 |   289432 |   218750      1 |    15583 |    18868
1115.19/1115.55	c 1113s |      17 |   357527 |   289932 |   218750      1 |    15583 |    18868
1117.49/1117.81	c 1115s |      17 |   358111 |   290432 |   218750      1 |    15583 |    18868
1119.79/1120.13	c 1117s |      17 |   358700 |   290932 |   218750      1 |    15583 |    18868
1122.18/1122.51	c 1120s |      17 |   359254 |   291432 |   218750      1 |    15583 |    18868
1124.58/1124.94	c 1122s |      17 |   359833 |   291932 |   218750      1 |    15583 |    18868
1126.78/1127.19	c 1124s |      17 |   360297 |   292332 |   218750      1 |    15583 |    18868
1129.18/1129.56	c 1127s |      17 |   360903 |   292832 |   218750      1 |    15583 |    18868
1131.58/1131.99	c 1129s |      17 |   361482 |   293332 |   218750      1 |    15583 |    18868
1134.08/1134.41	c 1131s |      17 |   362068 |   293832 |   218750      1 |    15583 |    18868
1136.08/1136.42	c 1134s |      17 |   362530 |   294232 |   240626      1 |    15583 |    18868
1138.57/1138.98	c 1136s |      17 |   363148 |   294732 |   240626      1 |    15583 |    18868
1140.67/1141.01	c 1138s |      17 |   363626 |   295132 |   240626      1 |    15583 |    18868
1143.07/1143.43	c 1141s |      17 |   364086 |   295532 |   240626      1 |    15583 |    18868
1145.17/1145.53	c 1143s |      17 |   364541 |   295932 |   240626      1 |    15583 |    18868
1146.57/1146.99	c 1144s |      18 |   364905 |   296252 |   240626      1 |    15583 |    18868
1148.77/1149.15	c 1146s |      18 |   365289 |   296452 |   240626      1 |    15583 |    18868
1151.07/1151.42	c 1149s |      18 |   365864 |   296852 |   240626      1 |    15583 |    18868
1153.17/1153.56	c 1151s |      18 |   366394 |   297252 |   240626      1 |    15583 |    18868
1155.17/1155.59	c 1153s |      18 |   366909 |   297652 |   240626      1 |    15583 |    18868
1157.67/1158.03	c 1155s |      18 |   367387 |   298052 |   240626      1 |    15583 |    18868
1160.27/1160.68	c 1158s |      18 |   368032 |   298552 |   240626      1 |    15583 |    18868
1162.56/1162.91	c 1160s |      18 |   368653 |   299052 |   240626      1 |    15583 |    18868
1164.76/1165.18	c 1162s |      18 |   369467 |   299652 |   240626      1 |    15583 |    18868
1166.87/1167.24	c 1164s |      18 |   370093 |   300152 |   240626      1 |    15583 |    18868
1169.16/1169.54	c 1167s |      18 |   370735 |   300652 |   240626      1 |    15583 |    18868
1171.17/1171.56	c 1169s |      18 |   371259 |   301052 |   240626      1 |    15583 |    18868
1173.26/1173.70	c 1171s |      18 |   371741 |   301452 |   240626      1 |    15583 |    18868
1175.46/1175.88	c 1173s |      18 |   372385 |   301952 |   240626      1 |    15583 |    18868
1177.76/1178.14	c 1175s |      18 |   373007 |   302452 |   240626      1 |    15583 |    18868
1179.96/1180.40	c 1177s |      18 |   373657 |   302952 |   240626      1 |    15583 |    18868
1182.05/1182.44	c 1180s |      18 |   374284 |   303452 |   240626      1 |    15583 |    18868
1184.25/1184.60	c 1182s |      18 |   375036 |   304052 |   240626      1 |    15583 |    18868
1186.35/1186.75	c 1184s |      18 |   375804 |   304652 |   240626      1 |    15583 |    18868
1188.55/1188.96	c 1186s |      18 |   376546 |   305252 |   240626      1 |    15583 |    18868
1190.65/1191.05	c 1188s |      18 |   377024 |   305652 |   240626      1 |    15583 |    18868
1193.05/1193.42	c 1191s |      18 |   377664 |   306152 |   240626      1 |    15583 |    18868
1195.15/1195.53	c 1193s |      18 |   378295 |   306652 |   240626      1 |    15583 |    18868
1197.15/1197.58	c 1195s |      18 |   378669 |   306952 |   240626      1 |    15583 |    18868
1199.55/1199.97	c 1197s |      18 |   379161 |   307352 |   240626      1 |    15583 |    18868
1201.95/1202.36	c 1199s |      18 |   379760 |   307852 |   240626      1 |    15583 |    18868
1204.04/1204.50	c 1202s |      18 |   380284 |   308252 |   240626      1 |    15583 |    18868
1206.24/1206.64	c 1204s |      18 |   380665 |   308552 |   240626      1 |    15583 |    18868
1208.74/1209.16	c 1206s |      18 |   381173 |   308952 |   240626      1 |    15583 |    18868
1210.94/1211.38	c 1208s |      18 |   381689 |   309352 |   240626      1 |    15583 |    18868
1213.34/1213.70	c 1211s |      18 |   382198 |   309752 |   240626      1 |    15583 |    18868
1215.34/1215.71	c 1213s |      18 |   382698 |   310152 |   240626      1 |    15583 |    18868
1217.36/1217.73	c 1215s |      18 |   383041 |   310452 |   240626      1 |    15583 |    18868
1219.35/1219.78	c 1217s |      18 |   383440 |   310752 |   240626      1 |    15583 |    18868
1221.35/1221.79	c 1219s |      18 |   383910 |   311152 |   240626      1 |    15583 |    18868
1223.65/1224.01	c 1221s |      18 |   384425 |   311552 |   240626      1 |    15583 |    18868
1227.04/1227.48	c 1225s |      18 |   384657 |   311652 |   240626      1 |    15583 |    18868
1229.34/1229.76	c 1227s |      18 |   385333 |   312152 |   240626      1 |    15583 |    18868
1231.65/1232.00	c 1229s |      18 |   386268 |   312852 |   240626      1 |    15583 |    18868
1233.95/1234.31	c 1231s |      18 |   387249 |   313652 |   240626      1 |    15583 |    18868
1236.15/1236.52	c 1234s |      18 |   388376 |   314352 |   240626      1 |    15583 |    18868
1238.25/1238.63	c 1236s |      18 |   389299 |   315052 |   240626      1 |    15583 |    18868
1240.34/1240.73	c 1238s |      18 |   390144 |   315752 |   240626      1 |    15583 |    18868
1242.54/1243.00	c 1240s |      18 |   391048 |   316452 |   240626      1 |    15583 |    18868
1244.64/1245.05	c 1242s |      18 |   391933 |   317152 |   240626      1 |    15583 |    18868
1246.94/1247.30	c 1244s |      18 |   392849 |   317852 |   240626      1 |    15583 |    18868
1249.14/1249.50	c 1247s |      18 |   393597 |   318452 |   240626      1 |    15583 |    18868
1251.14/1251.54	c 1249s |      18 |   394519 |   319152 |   240626      1 |    15583 |    18868
1253.33/1253.71	c 1251s |      18 |   395407 |   319852 |   240626      1 |    15583 |    18868
1255.33/1255.78	c 1253s |      18 |   396389 |   320552 |   240626      1 |    15583 |    18868
1257.43/1257.80	c 1255s |      18 |   397182 |   321152 |   240626      1 |    15583 |    18868
1259.63/1260.03	c 1257s |      18 |   397949 |   321752 |   240626      1 |    15583 |    18868
1262.03/1262.40	c 1259s |      18 |   398697 |   322352 |   240626      1 |    15583 |    18868
1264.03/1264.41	c 1262s |      18 |   399314 |   322852 |   240626      1 |    15583 |    18868
1266.03/1266.48	c 1264s |      18 |   399954 |   323352 |   240626      1 |    15583 |    18868
1268.33/1268.77	c 1266s |      18 |   400654 |   323952 |   240626      1 |    15583 |    18868
1270.53/1270.91	c 1268s |      18 |   401439 |   324552 |   240626      1 |    15583 |    18868
1272.73/1273.13	c 1270s |      18 |   402177 |   325152 |   240626      1 |    15583 |    18868
1275.13/1275.51	c 1273s |      18 |   402919 |   325752 |   240626      1 |    15583 |    18868
1277.43/1277.82	c 1275s |      18 |   403701 |   326352 |   240626      1 |    15583 |    18868
1279.73/1280.12	c 1277s |      18 |   404455 |   326952 |   240626      1 |    15583 |    18868
1282.03/1282.45	c 1280s |      18 |   405223 |   327552 |   240626      1 |    15583 |    18868
1284.23/1284.65	c 1282s |      18 |   406133 |   328252 |   240626      1 |    15583 |    18868
1286.33/1286.74	c 1284s |      18 |   406946 |   328852 |   240626      1 |    15583 |    18868
1288.53/1288.97	c 1286s |      18 |   407710 |   329452 |   240626      1 |    15583 |    18868
1290.72/1291.11	c 1288s |      18 |   408338 |   329952 |   240626      1 |    15583 |    18868
1292.72/1293.13	c 1290s |      18 |   408947 |   330452 |   240626      1 |    15583 |    18868
1295.02/1295.40	c 1292s |      18 |   409684 |   331052 |   240626      1 |    15583 |    18868
1297.42/1297.80	c 1295s |      18 |   410429 |   331652 |   240626      1 |    15583 |    18868
1299.42/1299.81	c 1297s |      18 |   411023 |   332152 |   240626      1 |    15583 |    18868
1301.42/1301.84	c 1299s |      18 |   411823 |   332752 |   240626      1 |    15583 |    18868
1303.82/1304.25	c 1301s |      18 |   412585 |   333352 |   240626      1 |    15583 |    18868
1306.02/1306.43	c 1304s |      18 |   413307 |   333952 |   240626      1 |    15583 |    18868
1308.22/1308.65	c 1306s |      18 |   414097 |   334552 |   240626      1 |    15583 |    18868
1310.52/1310.96	c 1308s |      18 |   414854 |   335152 |   240626      1 |    15583 |    18868
1312.72/1313.16	c 1310s |      18 |   415608 |   335752 |   240626      1 |    15583 |    18868
1314.92/1315.36	c 1312s |      18 |   416340 |   336352 |   240626      1 |    15583 |    18868
1317.11/1317.58	c 1315s |      18 |   417106 |   336952 |   240626      1 |    15583 |    18868
1319.21/1319.63	c 1317s |      18 |   417747 |   337452 |   240626      1 |    15583 |    18868
1321.31/1321.76	c 1319s |      18 |   418379 |   337952 |   240626      1 |    15583 |    18868
1323.51/1323.91	c 1321s |      18 |   419004 |   338452 |   240626      1 |    15583 |    18868
1325.61/1326.06	c 1323s |      18 |   419735 |   339052 |   240626      1 |    15583 |    18868
1327.61/1328.07	c 1325s |      18 |   420316 |   339552 |   240626      1 |    15583 |    18868
1329.91/1330.39	c 1327s |      18 |   421030 |   340152 |   240626      1 |    15583 |    18868
1332.01/1332.43	c 1330s |      18 |   421738 |   340752 |   240626      1 |    15583 |    18868
1334.02/1334.45	c 1332s |      18 |   422340 |   341252 |   240626      1 |    15583 |    18868
1336.11/1336.55	c 1334s |      18 |   422981 |   341752 |   240626      1 |    15583 |    18868
1338.11/1338.57	c 1336s |      18 |   423609 |   342252 |   240626      1 |    15583 |    18868
1340.51/1340.93	c 1338s |      18 |   424361 |   342852 |   240626      1 |    15583 |    18868
1343.00/1343.42	c 1341s |      18 |   425080 |   343452 |   240626      1 |    15583 |    18868
1345.10/1345.50	c 1343s |      18 |   425670 |   343952 |   240626      1 |    15583 |    18868
1347.21/1347.67	c 1345s |      18 |   426268 |   344452 |   240626      1 |    15583 |    18868
1349.31/1349.75	c 1347s |      18 |   426886 |   344952 |   240626      1 |    15583 |    18868
1351.60/1352.04	c 1349s |      18 |   427634 |   345552 |   240626      1 |    15583 |    18868
1353.90/1354.31	c 1351s |      18 |   428217 |   346052 |   240626      1 |    15583 |    18868
1356.19/1356.68	c 1354s |      18 |   428989 |   346652 |   240626      1 |    15583 |    18868
1358.20/1358.69	c 1356s |      18 |   429586 |   347152 |   240626      1 |    15583 |    18868
1360.49/1360.93	c 1358s |      18 |   430215 |   347652 |   240626      1 |    15583 |    18868
1362.60/1363.07	c 1360s |      18 |   430819 |   348152 |   240626      1 |    15583 |    18868
1364.59/1365.07	c 1362s |      18 |   431474 |   348652 |   240626      1 |    15583 |    18868
1366.79/1367.23	c 1364s |      18 |   432057 |   349152 |   240626      1 |    15583 |    18868
1368.79/1369.25	c 1366s |      18 |   432643 |   349652 |   240626      1 |    15583 |    18868
1370.89/1371.34	c 1368s |      18 |   433255 |   350152 |   240626      1 |    15583 |    18868
1373.19/1373.62	c 1371s |      18 |   433808 |   350652 |   240626      1 |    15583 |    18868
1375.69/1376.10	c 1373s |      18 |   434388 |   351152 |   240626      1 |    15583 |    18868
1377.99/1378.45	c 1376s |      18 |   434991 |   351652 |   240626      1 |    15583 |    18868
1380.19/1380.66	c 1378s |      18 |   435617 |   352152 |   240626      1 |    15583 |    18868
1382.39/1382.89	c 1380s |      18 |   436254 |   352652 |   240626      1 |    15583 |    18868
1384.59/1385.03	c 1382s |      18 |   436851 |   353152 |   240626      1 |    15583 |    18868
1386.79/1387.20	c 1384s |      18 |   437444 |   353652 |   240626      1 |    15583 |    18868
1389.08/1389.51	c 1387s |      18 |   438007 |   354152 |   240626      1 |    15583 |    18868
1391.38/1391.88	c 1389s |      18 |   438608 |   354652 |   240626      1 |    15583 |    18868
1393.78/1394.25	c 1391s |      18 |   439176 |   355152 |   240626      1 |    15583 |    18868
1396.07/1396.51	c 1394s |      18 |   439787 |   355652 |   240626      1 |    15583 |    18868
1398.37/1398.88	c 1396s |      18 |   440365 |   356152 |   240626      1 |    15583 |    18868
1400.47/1400.96	c 1398s |      18 |   440940 |   356652 |   240626      1 |    15583 |    18868
1402.87/1403.32	c 1400s |      18 |   441536 |   357152 |   240626      1 |    15583 |    18868
1404.87/1405.32	c 1402s |      18 |   442012 |   357552 |   240626      1 |    15583 |    18868
1407.17/1407.60	c 1405s |      18 |   442573 |   358052 |   240626      1 |    15583 |    18868
1409.17/1409.61	c 1407s |      18 |   443161 |   358552 |   240626      1 |    15583 |    18868
1411.17/1411.69	c 1409s |      18 |   443755 |   359052 |   240626      1 |    15583 |    18868
1413.37/1413.84	c 1411s |      18 |   444367 |   359552 |   240626      1 |    15583 |    18868
1415.37/1415.89	c 1413s |      18 |   444941 |   360052 |   240626      1 |    15583 |    18868
1417.66/1418.18	c 1415s |      18 |   445533 |   360552 |   240626      1 |    15583 |    18868
1419.96/1420.44	c 1418s |      18 |   446100 |   361052 |   240626      1 |    15583 |    18868
1422.26/1422.74	c 1420s |      18 |   446682 |   361552 |   240626      1 |    15583 |    18868
1424.66/1425.19	c 1422s |      18 |   447241 |   362052 |   240626      1 |    15583 |    18868
1426.76/1427.25	c 1424s |      18 |   447693 |   362452 |   240626      1 |    15583 |    18868
1428.76/1429.26	c 1426s |      18 |   448188 |   362852 |   240626      1 |    15583 |    18868
1430.96/1431.43	c 1429s |      18 |   448782 |   363352 |   240626      1 |    15583 |    18868
1433.36/1433.82	c 1431s |      18 |   449421 |   363852 |   240626      1 |    15583 |    18868
1435.56/1436.10	c 1433s |      18 |   450008 |   364352 |   240626      1 |    15583 |    18868
1437.96/1438.49	c 1436s |      18 |   450587 |   364852 |   240626      1 |    15583 |    18868
1440.36/1440.85	c 1438s |      18 |   451138 |   365352 |   240626      1 |    15583 |    18868
1442.65/1443.17	c 1440s |      18 |   451709 |   365852 |   240626      1 |    15583 |    18868
1445.35/1445.81	c 1443s |      18 |   452350 |   366352 |   240626      1 |    15583 |    18868
1447.55/1448.02	c 1445s |      18 |   452817 |   366752 |   240626      1 |    15583 |    18868
1449.85/1450.34	c 1447s |      18 |   453290 |   367152 |   240626      1 |    15583 |    18868
1451.95/1452.42	c 1450s |      18 |   453773 |   367552 |   240626      1 |    15583 |    18868
1454.55/1455.08	c 1452s |      18 |   454373 |   368052 |   240626      1 |    15583 |    18868
1457.05/1457.51	c 1455s |      18 |   454951 |   368552 |   240626      1 |    15583 |    18868
1459.25/1459.80	c 1457s |      18 |   455561 |   369052 |   240626      1 |    15583 |    18868
1461.35/1461.85	c 1459s |      18 |   456085 |   369452 |   240626      1 |    15583 |    18868
1463.45/1463.95	c 1461s |      18 |   456564 |   369852 |   240626      1 |    15583 |    18868
1465.55/1466.00	c 1463s |      18 |   457062 |   370252 |   240626      1 |    15583 |    18868
1467.94/1468.46	c 1466s |      18 |   457691 |   370752 |   240626      1 |    15583 |    18868
1470.04/1470.52	c 1468s |      18 |   458283 |   371252 |   240626      1 |    15583 |    18868
1472.24/1472.73	c 1470s |      18 |   458874 |   371752 |   240626      1 |    15583 |    18868
1474.44/1474.94	c 1472s |      18 |   459466 |   372252 |   240626      1 |    15583 |    18868
1476.74/1477.28	c 1474s |      18 |   460040 |   372752 |   240626      1 |    15583 |    18868
1479.15/1479.66	c 1477s |      18 |   460695 |   373252 |   240626      1 |    15583 |    18868
1481.64/1482.18	c 1479s |      18 |   461288 |   373752 |   240626      1 |    15583 |    18868
1483.74/1484.27	c 1481s |      18 |   461756 |   374152 |   240626      1 |    15583 |    18868
1485.84/1486.35	c 1483s |      18 |   462234 |   374552 |   240626      1 |    15583 |    18868
1487.95/1488.49	c 1486s |      18 |   462739 |   374952 |   240626      1 |    15583 |    18868
1490.34/1490.83	c 1488s |      18 |   463203 |   375352 |   240626      1 |    15583 |    18868
1492.54/1493.02	c 1490s |      18 |   463714 |   375752 |   240626      1 |    15583 |    18868
1494.64/1495.19	c 1492s |      18 |   464164 |   376152 |   240626      1 |    15583 |    18868
1496.84/1497.38	c 1494s |      18 |   464633 |   376552 |   240626      1 |    15583 |    18868
1499.04/1499.57	c 1497s |      18 |   465114 |   376952 |   240626      1 |    15583 |    18868
1501.24/1501.79	c 1499s |      18 |   465603 |   377352 |   240626      1 |    15583 |    18868
1503.54/1504.06	c 1501s |      18 |   466075 |   377752 |   240626      1 |    15583 |    18868
1506.14/1506.68	c 1504s |      18 |   466660 |   378252 |   240626      1 |    15583 |    18868
1508.54/1509.00	c 1506s |      18 |   467123 |   378652 |   240626      1 |    15583 |    18868
1510.54/1511.04	c 1508s |      18 |   467614 |   379052 |   240626      1 |    15583 |    18868
1512.94/1513.41	c 1511s |      18 |   468068 |   379452 |   240626      1 |    15583 |    18868
1515.04/1515.58	c 1513s |      18 |   468562 |   379852 |   240626      1 |    15583 |    18868
1517.34/1517.80	c 1515s |      18 |   469033 |   380252 |   240626      1 |    15583 |    18868
1519.54/1520.00	c 1517s |      18 |   469491 |   380652 |   240626      1 |    15583 |    18868
1522.14/1522.67	c 1520s |      18 |   469961 |   381052 |   240626      1 |    15583 |    18868
1524.24/1524.77	c 1522s |      18 |   470445 |   381452 |   240626      1 |    15583 |    18868
1526.74/1527.24	c 1524s |      18 |   470913 |   381852 |   240626      1 |    15583 |    18868
1529.24/1529.73	c 1527s |      18 |   471350 |   382252 |   240626      1 |    15583 |    18868
1531.73/1532.28	c 1529s |      18 |   471803 |   382652 |   240626      1 |    15583 |    18868
1534.23/1534.78	c 1532s |      18 |   472275 |   383052 |   240626      1 |    15583 |    18868
1536.73/1537.25	c 1534s |      18 |   472781 |   383452 |   240626      1 |    15583 |    18868
1539.23/1539.71	c 1537s |      18 |   473258 |   383852 |   240626      1 |    15583 |    18868
1541.33/1541.80	c 1539s |      18 |   473748 |   384252 |   240626      1 |    15583 |    18868
1543.43/1543.97	c 1541s |      18 |   474222 |   384652 |   240626      1 |    15583 |    18868
1545.53/1546.04	c 1543s |      18 |   474695 |   385052 |   240626      1 |    15583 |    18868
1547.53/1548.08	c 1545s |      18 |   475213 |   385452 |   240626      1 |    15583 |    18868
1549.73/1550.23	c 1547s |      18 |   475711 |   385852 |   240626      1 |    15583 |    18868
1551.83/1552.36	c 1549s |      18 |   476219 |   386252 |   240626      1 |    15583 |    18868
1554.23/1554.78	c 1552s |      18 |   476897 |   386752 |   240626      1 |    15583 |    18868
1556.43/1556.91	c 1554s |      18 |   477402 |   387152 |   240626      1 |    15583 |    18868
1558.53/1559.03	c 1556s |      18 |   477850 |   387552 |   240626      1 |    15583 |    18868
1560.54/1561.05	c 1558s |      18 |   478325 |   387952 |   240626      1 |    15583 |    18868
1562.74/1563.29	c 1560s |      18 |   478780 |   388352 |   240626      1 |    15583 |    18868
1564.94/1565.42	c 1563s |      18 |   479266 |   388752 |   240626      1 |    15583 |    18868
1567.63/1568.14	c 1565s |      18 |   479729 |   389152 |   240626      1 |    15583 |    18868
1570.23/1570.72	c 1568s |      18 |   480187 |   389552 |   240626      1 |    15583 |    18868
1572.53/1573.07	c 1570s |      18 |   480666 |   389952 |   240626      1 |    15583 |    18868
1575.03/1575.59	c 1573s |      18 |   481152 |   390352 |   240626      1 |    15583 |    18868
1577.43/1577.94	c 1575s |      18 |   481628 |   390752 |   240626      1 |    15583 |    18868
1579.82/1580.32	c 1577s |      18 |   482076 |   391152 |   240626      1 |    15583 |    18868
1582.02/1582.58	c 1580s |      18 |   482551 |   391552 |   240626      1 |    15583 |    18868
1584.42/1584.92	c 1582s |      18 |   483021 |   391952 |   240626      1 |    15583 |    18868
1586.72/1587.29	c 1584s |      18 |   483469 |   392352 |   240626      1 |    15583 |    18868
1589.32/1589.80	c 1587s |      18 |   483937 |   392752 |   240626      1 |    15583 |    18868
1591.92/1592.40	c 1589s |      18 |   484380 |   393152 |   240626      1 |    15583 |    18868
1594.42/1594.96	c 1592s |      18 |   484832 |   393552 |   240626      1 |    15583 |    18868
1596.52/1597.01	c 1594s |      18 |   485193 |   393852 |   240626      1 |    15583 |    18868
1599.12/1599.60	c 1597s |      18 |   485675 |   394252 |   240626      1 |    15583 |    18868
1601.13/1601.67	c 1599s |      18 |   486047 |   394552 |   240626      1 |    15583 |    18868
1603.22/1603.70	c 1601s |      18 |   486380 |   394852 |   240626      1 |    15583 |    18868
1605.72/1606.28	c 1603s |      18 |   486851 |   395252 |   240626      1 |    15583 |    18868
1608.42/1608.97	c 1606s |      18 |   487332 |   395652 |   240626      1 |    15583 |    18868
1610.52/1611.06	c 1608s |      18 |   487675 |   395952 |   240626      1 |    15583 |    18868
1613.12/1613.67	c 1611s |      18 |   488149 |   396352 |   240626      1 |    15583 |    18868
1615.22/1615.77	c 1613s |      18 |   488483 |   396652 |   240626      1 |    15583 |    18868
1617.52/1618.05	c 1615s |      18 |   488816 |   396952 |   240626      1 |    15583 |    18868
1619.82/1620.40	c 1617s |      18 |   489141 |   397252 |   240626      1 |    15583 |    18868
1622.52/1623.07	c 1620s |      18 |   489665 |   397652 |   240626      1 |    15583 |    18868
1625.02/1625.57	c 1623s |      18 |   490144 |   398052 |   240626      1 |    15583 |    18868
1627.12/1627.63	c 1625s |      18 |   490619 |   398452 |   240626      1 |    15583 |    18868
1629.42/1629.93	c 1627s |      18 |   491126 |   398852 |   240626      1 |    15583 |    18868
1631.82/1632.36	c 1629s |      18 |   491594 |   399252 |   240626      1 |    15583 |    18868
1634.12/1634.68	c 1632s |      18 |   492064 |   399652 |   240626      1 |    15583 |    18868
1636.82/1637.36	c 1634s |      18 |   492526 |   400052 |   240626      1 |    15583 |    18868
1639.11/1639.60	c 1637s |      18 |   492887 |   400352 |   240626      1 |    15583 |    18868
1641.61/1642.15	c 1639s |      18 |   493424 |   400752 |   240626      1 |    15583 |    18868
1644.12/1644.61	c 1642s |      18 |   493933 |   401152 |   240626      1 |    15583 |    18868
1646.71/1647.24	c 1644s |      18 |   494387 |   401552 |   240626      1 |    15583 |    18868
1648.71/1649.30	c 1646s |      18 |   494735 |   401852 |   240626      1 |    15583 |    18868
1651.41/1651.94	c 1649s |      18 |   495208 |   402252 |   240626      1 |    15583 |    18868
1653.51/1654.01	c 1651s |      18 |   495581 |   402552 |   240626      1 |    15583 |    18868
1656.01/1656.52	c 1654s |      18 |   496070 |   402952 |   240626      1 |    15583 |    18868
1658.11/1658.63	c 1656s |      18 |   496434 |   403252 |   240626      1 |    15583 |    18868
1660.21/1660.72	c 1658s |      18 |   496763 |   403552 |   240626      1 |    15583 |    18868
1662.21/1662.73	c 1660s |      18 |   497095 |   403852 |   240626      1 |    15583 |    18868
1664.92/1665.47	c 1663s |      18 |   497559 |   404252 |   240626      1 |    15583 |    18868
1667.61/1668.14	c 1665s |      18 |   497679 |   404352 |   240626      2 |    15583 |    18868
1669.71/1670.26	c 1667s |      18 |   497918 |   404552 |   240626      2 |    15583 |    18868
1672.01/1672.52	c 1670s |      18 |   498377 |   404952 |   240626      2 |    15583 |    18868
1674.81/1675.39	c 1672s |      18 |   498722 |   405252 |   240626      2 |    15583 |    18868
1677.21/1677.72	c 1675s |      18 |   499378 |   405752 |   240626      2 |    15583 |    18868
1679.21/1679.77	c 1677s |      18 |   499943 |   406152 |   240626      2 |    15583 |    18868
1681.20/1681.79	c 1679s |      18 |   500441 |   406552 |   240626      2 |    15583 |    18868
1683.40/1683.94	c 1681s |      18 |   501088 |   407052 |   240626      2 |    15583 |    18868
1685.81/1686.40	c 1683s |      18 |   501710 |   407552 |   240626      2 |    15583 |    18868
1688.01/1688.59	c 1686s |      18 |   502327 |   408052 |   240626      2 |    15583 |    18868
1690.21/1690.71	c 1688s |      18 |   502990 |   408552 |   240626      2 |    15583 |    18868
1692.41/1692.92	c 1690s |      18 |   503625 |   409052 |   240626      2 |    15583 |    18868
1694.80/1695.37	c 1692s |      18 |   504236 |   409552 |   240626      2 |    15583 |    18868
1696.81/1697.40	c 1694s |      18 |   504711 |   409952 |   240626      2 |    15583 |    18868
1699.11/1699.65	c 1697s |      18 |   505317 |   410452 |   240626      2 |    15583 |    18868
1701.40/1701.96	c 1699s |      18 |   505902 |   410952 |   240626      2 |    15583 |    18868
1703.70/1704.29	c 1701s |      18 |   506499 |   411452 |   240626      2 |    15583 |    18868
1705.90/1706.45	c 1704s |      18 |   507102 |   411952 |   240626      2 |    15583 |    18868
1708.10/1708.60	c 1706s |      18 |   507690 |   412452 |   240626      2 |    15583 |    18868
1710.41/1710.97	c 1708s |      18 |   508277 |   412952 |   240626      2 |    15583 |    18868
1712.71/1713.27	c 1710s |      18 |   508916 |   413452 |   240626      2 |    15583 |    18868
1714.91/1715.45	c 1713s |      18 |   509403 |   413852 |   240626      2 |    15583 |    18868
1717.21/1717.73	c 1715s |      18 |   509893 |   414252 |   240626      2 |    15583 |    18868
1719.31/1719.84	c 1717s |      18 |   510375 |   414652 |   240626      2 |    15583 |    18868
1721.41/1721.91	c 1719s |      18 |   510861 |   415052 |   240626      2 |    15583 |    18868
1723.51/1724.02	c 1721s |      18 |   511346 |   415452 |   240626      2 |    15583 |    18868
1725.71/1726.29	c 1723s |      18 |   511804 |   415852 |   240626      2 |    15583 |    18868
1728.11/1728.68	c 1726s |      18 |   512271 |   416252 |   240626      2 |    15583 |    18868
1730.21/1730.70	c 1728s |      18 |   512729 |   416652 |   240626      2 |    15583 |    18868
1732.41/1732.93	c 1730s |      18 |   513309 |   417052 |   240626      2 |    15583 |    18868
1734.71/1735.25	c 1732s |      18 |   513805 |   417452 |   240626      2 |    15583 |    18868
1737.20/1737.74	c 1735s |      18 |   514341 |   417852 |   240626      2 |    15583 |    18868
1739.90/1740.44	c 1738s |      18 |   514875 |   418252 |   240626      2 |    15583 |    18868
1742.50/1743.08	c 1740s |      18 |   515363 |   418652 |   240626      2 |    15583 |    18868
1745.00/1745.57	c 1743s |      18 |   515806 |   419052 |   240626      2 |    15583 |    18868
1747.20/1747.73	c 1745s |      18 |   516315 |   419452 |   240626      2 |    15583 |    18868
1749.20/1749.76	c 1747s |      18 |   516675 |   419752 |   240626      2 |    15583 |    18868
1751.81/1752.36	c 1749s |      18 |   517144 |   420152 |   240626      2 |    15583 |    18868
1754.40/1754.91	c 1752s |      18 |   517611 |   420552 |   240626      2 |    15583 |    18868
1756.70/1757.23	c 1754s |      18 |   517953 |   420852 |   240626      2 |    15583 |    18868
1758.90/1759.49	c 1757s |      18 |   518311 |   421152 |   240626      2 |    15583 |    18868
1761.40/1761.96	c 1759s |      18 |   518800 |   421552 |   240626      2 |    15583 |    18868
1763.50/1764.00	c 1761s |      18 |   519138 |   421852 |   240626      2 |    15583 |    18868
1765.50/1766.04	c 1763s |      18 |   519461 |   422152 |   240626      2 |    15583 |    18868
1767.80/1768.35	c 1765s |      18 |   519832 |   422452 |   240626      2 |    15583 |    18868
1770.10/1770.62	c 1768s |      18 |   520176 |   422752 |   240626      2 |    15583 |    18868
1772.40/1772.96	c 1770s |      18 |   520555 |   423052 |   240626      2 |    15583 |    18868
1774.70/1775.21	c 1772s |      18 |   520910 |   423352 |   240626      2 |    15583 |    18868
1777.00/1777.52	c 1775s |      18 |   521286 |   423652 |   240626      2 |    15583 |    18868
1779.00/1779.54	c 1777s |      18 |   521786 |   424052 |   240626      2 |    15583 |    18868
1781.00/1781.54	c 1779s |      18 |   522161 |   424352 |   240626      2 |    15583 |    18868
1783.10/1783.67	c 1781s |      18 |   522688 |   424752 |   240626      2 |    15583 |    18868
1785.60/1786.16	c 1783s |      18 |   523292 |   425252 |   240626      2 |    15583 |    18868
1787.80/1788.37	c 1785s |      18 |   523626 |   425552 |   240626      2 |    15583 |    18868
1790.50/1791.04	c 1788s |      18 |   524103 |   425952 |   240626      2 |    15583 |    18868
1792.80/1793.32	c 1790s |      18 |   524478 |   426252 |   240626      2 |    15583 |    18868
1795.00/1795.52	c 1793s |      18 |   524876 |   426552 |   240626      2 |    15583 |    18868
1797.39/1797.94	c 1795s |      18 |   525331 |   426952 |   240626      2 |    15583 |    18868
1799.39/1799.99	c 1797s |      18 |   525686 |   427252 |   240626      2 |    15583 |    18868

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-4107887-1466289449/watcher-4107887-1466289449 -o /tmp/evaluation-result-4107887-1466289449/solver-4107887-1466289449 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107887-1466289449.opb 

pid=12280
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.18 2.22 2.21 3/179 12283
/proc/meminfo: memFree=28982596/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 2866 0 0 0 0 0 0 0 20 0 4 0 30992073 784789504 2716 33554432000 4194304 16246674 140736556181760 140736556181184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12283/statm: 192111 2726 441 2943 0 189005 0
[pid=12283/tid=12284] ppid=12280 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 802615296 2787 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 806809600 2803 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30992074 812052480 2819 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.18 2.22 2.21 3/179 12283
/proc/meminfo: memFree=28982596/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 28055 0 0 0 5 4 0 0 20 0 4 0 30992073 1333334016 27844 33554432000 4194304 16246674 140736556181760 140736556163648 8057278 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12283/statm: 325521 27860 801 2943 0 322415 0
[pid=12283/tid=12284] ppid=12280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1333334016 27871 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1333334016 27883 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1333334016 27894 33554432000 4194304 16246674 140736556181760 139855129463984 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) 1302084

[startup+0.200532 s]
/proc/loadavg: 2.18 2.22 2.21 3/179 12283
/proc/meminfo: memFree=28982596/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 49521 0 0 0 13 6 0 0 20 0 4 0 30992073 1344868352 49820 33554432000 4194304 16246674 140736556181760 140736556164752 7440122 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12283/statm: 328337 49820 801 2943 0 325231 0
[pid=12283/tid=12284] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 49820 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 49820 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 49820 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300532 s]
/proc/loadavg: 2.18 2.22 2.21 3/179 12283
/proc/meminfo: memFree=28982596/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 56765 0 0 0 22 7 0 0 20 0 4 0 30992073 1344868352 57064 33554432000 4194304 16246674 140736556181760 140736556164752 14795823 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12283/statm: 328337 57064 801 2943 0 325231 0
[pid=12283/tid=12284] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 57064 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 57064 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 57064 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700434 s]
/proc/loadavg: 2.18 2.22 2.21 3/179 12283
/proc/meminfo: memFree=28982596/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 68448 0 0 0 60 9 0 0 20 0 4 0 30992073 1344868352 68747 33554432000 4194304 16246674 140736556181760 140736556179648 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 328337 68747 802 2943 0 325231 0
[pid=12283/tid=12284] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 68747 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 68747 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1344868352 68747 33554432000 4194304 16246674 140736556181760 139855129463984 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.50042 s]
/proc/loadavg: 2.18 2.22 2.21 3/183 12287
/proc/meminfo: memFree=28624644/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 159041 0 0 0 126 23 0 0 20 0 4 0 30992073 1346965504 159341 33554432000 4194304 16246674 140736556181760 140736556163648 5887092 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 328849 159349 840 2943 0 325743 0
[pid=12283/tid=12284] ppid=12280 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1346965504 159355 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1346965504 159360 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1346965504 159365 33554432000 4194304 16246674 140736556181760 139855129463984 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) 1315396

[startup+3.10043 s]
/proc/loadavg: 2.16 2.22 2.21 3/183 12287
/proc/meminfo: memFree=27904708/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1333828 CPUtime=3.08 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 273986 0 0 0 266 42 0 0 20 0 4 0 30992073 1365839872 274285 33554432000 4194304 16246674 140736556181760 140736556163648 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 333457 274285 885 2943 0 330351 0
[pid=12283/tid=12284] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274285 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274285 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274285 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1333828

[startup+6.30044 s]
/proc/loadavg: 2.16 2.22 2.21 3/183 12287
/proc/meminfo: memFree=27886008/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1333828 CPUtime=6.28 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 274133 0 0 0 586 42 0 0 20 0 4 0 30992073 1365839872 274432 33554432000 4194304 16246674 140736556181760 140736556163648 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 333457 274432 891 2943 0 330351 0
[pid=12283/tid=12284] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274432 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274432 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274432 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1333828

[startup+12.7004 s]
/proc/loadavg: 2.14 2.21 2.21 3/183 12287
/proc/meminfo: memFree=27886784/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1333828 CPUtime=12.69 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 274134 0 0 0 1226 43 0 0 20 0 4 0 30992073 1365839872 274433 33554432000 4194304 16246674 140736556181760 140736556163648 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 333457 274433 891 2943 0 330351 0
[pid=12283/tid=12284] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855129463984 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) 1333828

[startup+25.5005 s]
/proc/loadavg: 2.20 2.22 2.21 4/183 12287
/proc/meminfo: memFree=27885712/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1333828 CPUtime=25.49 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 274134 0 0 0 2506 43 0 0 20 0 4 0 30992073 1365839872 274433 33554432000 4194304 16246674 140736556181760 140736556163648 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 333457 274433 891 2943 0 330351 0
[pid=12283/tid=12284] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855129463984 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) 1333828

[startup+51.1005 s]
/proc/loadavg: 2.25 2.23 2.22 3/183 12287
/proc/meminfo: memFree=27885932/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1333828 CPUtime=51.08 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 274134 0 0 0 5065 43 0 0 20 0 4 0 30992073 1365839872 274433 33554432000 4194304 16246674 140736556181760 140736556163648 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 333457 274433 891 2943 0 330351 0
[pid=12283/tid=12284] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274433 33554432000 4194304 16246674 140736556181760 139855129463984 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) 1333828

[startup+102.301 s]
/proc/loadavg: 2.15 2.21 2.21 3/183 12289
/proc/meminfo: memFree=27885464/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1333828 CPUtime=102.28 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 274137 0 0 0 10185 43 0 0 20 0 4 0 30992073 1365839872 274436 33554432000 4194304 16246674 140736556181760 140736556163648 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 333457 274436 892 2943 0 330351 0
[pid=12283/tid=12284] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274436 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274436 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1365839872 274436 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1333828


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

/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1352260

[startup+1302.3 s]
/proc/loadavg: 2.32 2.28 2.22 3/183 12319
/proc/meminfo: memFree=27649192/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1301.92 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279060 0 0 0 130146 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1352260

[startup+1362.3 s]
/proc/loadavg: 2.20 2.25 2.22 3/184 12323
/proc/meminfo: memFree=27647336/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1361.89 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279092 0 0 0 136143 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5672890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.11 2.22 2.20 4/184 12541
/proc/meminfo: memFree=27844052/32872528 swapFree=17892/1798216
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1421.87 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279127 0 0 0 142141 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 12542
/proc/meminfo: memFree=27844012/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1481.84 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279143 0 0 0 148138 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1352260

[startup+1542.31 s]
/proc/loadavg: 2.18 2.22 2.20 4/183 12592
/proc/meminfo: memFree=27873260/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1541.84 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279143 0 0 0 154138 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.29 2.24 2.21 3/183 12594
/proc/meminfo: memFree=27877084/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1601.82 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279143 0 0 0 160136 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1352260

[startup+1662.3 s]
/proc/loadavg: 2.21 2.22 2.20 4/183 12595
/proc/meminfo: memFree=27876528/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1352260 CPUtime=1661.81 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 279143 0 0 0 166135 46 0 0 20 0 4 0 30992073 1384714240 279046 33554432000 4194304 16246674 140736556181760 140736556163648 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 338065 279046 893 2943 0 334959 0
[pid=12283/tid=12284] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1384714240 279046 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/183 12596
/proc/meminfo: memFree=27769300/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1459780 CPUtime=1721.81 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 306023 0 0 0 172130 51 0 0 20 0 4 0 30992073 1494814720 305926 33554432000 4194304 16246674 140736556181760 140736556163648 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 364945 305926 893 2943 0 361839 0
[pid=12283/tid=12284] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1459780

[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.20 5/183 12597
/proc/meminfo: memFree=27766216/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1459780 CPUtime=1781.8 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 306023 0 0 0 178129 51 0 0 20 0 4 0 30992073 1494814720 305926 33554432000 4194304 16246674 140736556181760 140736556163648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 364945 305926 893 2943 0 361839 0
[pid=12283/tid=12284] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1459780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.24 2.20 3/183 12597
/proc/meminfo: memFree=27768548/32872528 swapFree=17888/1798212
[pid=12283] ppid=12280 vsize=1459780 CPUtime=1800.09 cores=1,3,5,7
/proc/12283/stat : 12283 (toysat) R 12280 12283 10472 0 -1 4202496 306023 0 0 0 179958 51 0 0 20 0 4 0 30992073 1494814720 305926 33554432000 4194304 16246674 140736556181760 140736556163648 5674391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12283/statm: 364945 305926 893 2943 0 361839 0
[pid=12283/tid=12284] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12284/stat : 12284 (toysat) S 12280 12283 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855150427376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12283/tid=12285] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12285/stat : 12285 (toysat) S 12280 12283 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855139937520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12283/tid=12286] ppid=12280 vsize=1459780 CPUtime=0 cores=1,3,5,7
/proc/12283/task/12286/stat : 12286 (toysat) S 12280 12283 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30992074 1494814720 305926 33554432000 4194304 16246674 140736556181760 139855129463984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1459780

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 12283 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.61
CPU time (s): 1800.11
CPU user time (s): 1799.59
CPU system time (s): 0.511922
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1459780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.511922
maximum resident set size= 1223704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306023
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= 437
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41602 second user time and 9.81451 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-19 00:37:29
IDJOB=4107887
IDBENCH=73860
IDSOLVER=2542
FILE ID=node123/4107887-1466289449
RUNJOBID= node123-1466275608-10489
PBS_JOBID= 19918249
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107887-1466289449/watcher-4107887-1466289449 -o /tmp/evaluation-result-4107887-1466289449/solver-4107887-1466289449 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107887-1466289449.opb

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

MD5SUM BENCH= c76ba3fc1d0a0f3a1a96791ffe6c4cf4
RANDOM SEED=1146700996

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        28983132 kB
Buffers:           79208 kB
Cached:           154280 kB
SwapCached:         1604 kB
Active:          1196356 kB
Inactive:         154448 kB
Active(anon):    1116712 kB
Inactive(anon):     3076 kB
Active(file):      79644 kB
Inactive(file):   151372 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             20920 kB
Writeback:             0 kB
AnonPages:       2915004 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             603596 kB
SReclaimable:      47000 kB
SUnreclaim:       556596 kB
KernelStack:        1472 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3061112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1792000 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= 71592 MiB
End job on node123 at 2016-06-19 01:07:30