Trace number 4079674

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
MD5SUMfe9b3ae0ed0deb400897e8cf071ce6eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark99
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 95
Optimality of the best value was proved NO
Number of variables1812
Total number of constraints3443
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1307
Number of bits of the biggest sum of numbers11
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-06T21:38:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079674-1465241933.opb"]
0.00/0.01	c use --random-gen="356045947 8483907 3156887476 1231283308 1817398327 1611570941 1624021375 1695262689 2477610396 284929159 204604740 3071122508 1895637407 3090400929 1653028101 1822900478 3312173592 1387328472 633221721 3784987016 74248331 2013789387 1753329626 1325182518 389692215 385967275 1629741550 3819479367 3663021235 748658240 691406480 210004709 590618395 1629785876 1577138698 4152516337 2831847446 1887730247 3974808603 3762010089 30396079 3154367014 275442014 3630231482 1327368583 181255037 3031020300 2151891828 1262008999 1434624646 3019103197 2332082855 2503329982 1454177224 4193026712 2261708347 3363461243 2323723166 331984412 225731119 3478116619 3762695037 1445079036 960248535 1353983024 2426307813 3228343774 1144210169 1497518743 1941787539 125198818 3664934431 4055244968 83943464 1825203098 1584980605 2936924673 2317017596 3720092924 3911987280 4186230123 490462088 1550757586 1083157022 1659947905 3560549209 952726830 228819356 3807518792 3053363997 2831951863 984919440 3368700569 1044399759 1414033047 569394381 3257412936 1102130327 2981872948 3137659436 1239933825 1242913877 2895122110 1759454963 748101776 1930109679 2657076575 3178725425 2663775303 720005274 4207666688 741009369 1538951554 2132628514 356103129 4287626245 2451344771 1620847531 3124674980 854729516 485422805 2769669470 374853069 2732698894 2385246806 2383577901 2989769523 2007520123 922056632 3294289658 4234039060 1882125083 1447541095 205177685 2374669310 3655608041 3806138197 3717561894 590778967 3533984387 600043483 2115087265 2866500133 1735167233 2158029057 1615857161 327617887 1010231719 2704574520 2145467205 469831535 2091357813 3293245196 2711907840 3007275740 4015204360 220528782 3968562606 484314014 1348546339 1019015669 2753563192 4164607313 2646075416 3570311793 1177110182 4268738458 3428917947 3849329393 1635062394 2709692719 921794105 410889525 4136406007 4186442611 4281236295 3573876759 450497923 2657461316 435639917 3207552647 2058049526 1796345964 724409124 2932451119 3426979218 3211974323 849194041 721411280 2505349912 1033733687 1939990411 2270611426 1238238126 4071895394 4054036556 3347911492 603499932 2253610982 965191937 2896921001 117696849 4179350418 3610699810 3841967186 1881071619 201249005 1208913261 1350243078 1091449228 2527158051 72498756 3153510555 2982090279 2520080128 665642934 349347866 3173327146 77195353 1135229942 1334047089 2441784915 3997976671 2164974593 1260633198 1499178131 1899891821 730939007 578703470 3148405496 2703937203 1897804141 2444128072 3928464873 1648624116 2706587890 1131356809 2718077983 3922580299 2316528346 2710700960 847368867 392361094 3558755951 421457300 4132279691 2361446933 1686671830 778453473 2098618639 1554643435 3468700934 2793930097 1933297030 2652249639 1023036771 255 362436" option to reproduce the execution
0.19/0.22	c #vars 1812
0.19/0.22	c #constraints 3443
0.49/0.51	c BCD2: Hardening is enabled.
0.49/0.51	c BCD2: BiasedSearch is enabled.
0.49/0.51	c Solving starts ...
0.49/0.51	c ============================[ Search Statistics ]============================
0.49/0.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.51	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.51	c =============================================================================
0.49/0.51	c  0.0s |       0 |        0 |        0 |     1751      0 |        0 |        0
2.08/2.14	c  1.6s |       1 |     1549 |      100 |     1751      0 |        0 |        0
3.08/3.17	c  2.7s |       2 |     1786 |      250 |     1927      0 |        0 |        0
4.09/4.12	c  3.6s |       3 |     2094 |      475 |     2120      0 |        0 |        0
5.29/5.38	c  4.9s |       3 |     2450 |      700 |     2332      0 |        0 |        0
5.29/5.38	c #cpu_time = 4.840s
5.29/5.38	c #wall_clock_time = 4.853s
5.29/5.38	c #decision = 2450
5.29/5.38	c #random_decision = 7
5.29/5.38	c #conflict = 700
5.29/5.38	c #restart = 3
5.29/5.38	o 129
5.29/5.38	c BCD2: updating upper bound: 255 -> 128
5.29/5.39	c BCD2: 0 <= obj <= 128
5.29/5.39	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
5.29/5.39	c BCD2: #sat=1 #unsat=1 bias=1/2
5.29/5.39	c Solving starts ...
5.29/5.39	c ============================[ Search Statistics ]============================
5.29/5.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.29/5.39	c       |         |          |          |    Limit     GC | Var      | Constra 
5.29/5.39	c =============================================================================
5.29/5.39	c  0.0s |       0 |        0 |        0 |     2332      0 |        0 |        0
5.38/5.45	c  0.1s |       0 |        6 |        1 |     2332      0 |        0 |        0
5.38/5.45	c #cpu_time = 0.057s
5.38/5.45	c #wall_clock_time = 0.057s
5.38/5.45	c #decision = 6
5.38/5.45	c #random_decision = 0
5.38/5.45	c #conflict = 1
5.38/5.45	c #restart = 0
5.38/5.45	c BCD2: found a new core of size 6: cost of the new core is >=4
5.38/5.45	c lower bound updated to 4
5.38/5.46	c BCD2: 4 <= obj <= 128
5.38/5.46	c BCD2: #cores=1, #unrelaxed=2, #relaxed=6, #hardened=0
5.38/5.46	c BCD2: #sat=1 #unsat=2 bias=2/3
5.38/5.46	c Solving starts ...
5.38/5.46	c ============================[ Search Statistics ]============================
5.38/5.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.38/5.46	c       |         |          |          |    Limit     GC | Var      | Constra 
5.38/5.46	c =============================================================================
5.38/5.46	c  0.0s |       0 |        0 |        0 |     2332      0 |        0 |        0
5.88/5.99	c  0.5s |       1 |      172 |      100 |     2332      0 |        0 |        0
6.49/6.53	c  1.1s |       2 |      364 |      250 |     2566      0 |        0 |        0
7.09/7.12	c  1.7s |       3 |      639 |      475 |     2566      0 |        0 |        0
8.18/8.20	c  2.7s |       4 |     1031 |      813 |     2823      0 |        0 |        0
9.89/9.97	c  4.5s |       5 |     1773 |     1320 |     2823      0 |        0 |        0
12.29/12.33	c  6.9s |       5 |     2480 |     1920 |     3106      0 |        0 |        0
12.88/12.92	c  7.5s |       6 |     2660 |     2081 |     3106      0 |        0 |        0
15.08/15.18	c  9.7s |       6 |     3376 |     2681 |     3417      0 |        0 |        0
17.18/17.23	c 11.8s |       7 |     4022 |     3223 |     3417      0 |        0 |        0
19.18/19.24	c 13.8s |       7 |     4508 |     3623 |     3417      1 |        0 |        0
21.58/21.61	c 16.2s |       7 |     5054 |     4123 |     3417      1 |        0 |        0
23.78/23.82	c 18.4s |       7 |     5620 |     4623 |     3759      1 |        0 |        0
24.98/25.07	c 19.6s |       8 |     5974 |     4936 |     3759      1 |        0 |        0
27.49/27.55	c 22.1s |       8 |     6687 |     5536 |     3759      2 |        0 |        0
29.58/29.69	c 24.2s |       8 |     7379 |     6136 |     3759      2 |        0 |        0
31.78/31.85	c 26.4s |       8 |     7920 |     6636 |     3759      2 |        0 |        0
33.98/34.09	c 28.6s |       8 |     8572 |     7236 |     4135      2 |        0 |        0
35.08/35.14	c 29.7s |       9 |     8859 |     7506 |     4135      3 |        0 |        0
37.28/37.39	c 31.9s |       9 |     9869 |     8306 |     4135      3 |        0 |        0
39.59/39.63	c 34.2s |       9 |    10718 |     9006 |     4135      3 |        0 |        0
41.79/41.88	c 36.4s |       9 |    11521 |     9706 |     4135      3 |        0 |        0
43.88/44.00	c 38.5s |       9 |    12230 |    10306 |     4135      3 |        0 |        0
46.08/46.10	c 40.6s |       9 |    12952 |    10906 |     4549      4 |        0 |        0
47.58/47.68	c 42.2s |      10 |    13463 |    11361 |     4549      4 |        0 |        0
49.68/49.75	c 44.3s |      10 |    14163 |    11961 |     4549      4 |        0 |        0
51.98/52.03	c 46.6s |      10 |    14839 |    12561 |     4549      4 |        0 |        0
53.98/54.07	c 48.6s |      10 |    15406 |    13061 |     4549      5 |        0 |        0
55.98/56.08	c 50.6s |      10 |    16071 |    13661 |     4549      5 |        0 |        0
58.18/58.22	c 52.8s |      10 |    16826 |    14361 |     4549      5 |        0 |        0
60.38/60.47	c 55.0s |      10 |    17601 |    15061 |     4549      5 |        0 |        0
62.48/62.54	c 57.1s |      10 |    18240 |    15661 |     4549      6 |        0 |        0
64.58/64.66	c 59.2s |      10 |    18790 |    16161 |     4549      6 |        0 |        0
66.77/66.85	c 61.4s |      10 |    19331 |    16661 |     5004      6 |        0 |        0
68.57/68.63	c 63.2s |      11 |    19859 |    17144 |     5004      6 |        0 |        0
70.87/70.98	c 65.5s |      11 |    20648 |    17844 |     5004      6 |        0 |        0
72.97/73.07	c 67.6s |      11 |    21297 |    18444 |     5004      7 |        0 |        0
75.27/75.32	c 69.9s |      11 |    22062 |    19144 |     5004      7 |        0 |        0
77.27/77.39	c 71.9s |      11 |    22727 |    19744 |     5004      7 |        0 |        0
79.37/79.41	c 73.9s |      11 |    23389 |    20344 |     5004      7 |        0 |        0
81.48/81.51	c 76.0s |      11 |    24168 |    21044 |     5004      8 |        0 |        0
83.47/83.53	c 78.1s |      11 |    24838 |    21644 |     5004      8 |        0 |        0
85.57/85.62	c 80.2s |      11 |    25510 |    22244 |     5004      8 |        0 |        0
87.67/87.77	c 82.3s |      11 |    26289 |    22944 |     5004      8 |        0 |        0
89.77/89.82	c 84.4s |      11 |    26937 |    23544 |     5004      9 |        0 |        0
91.77/91.85	c 86.4s |      11 |    27599 |    24144 |     5004      9 |        0 |        0
94.07/94.16	c 88.7s |      11 |    28393 |    24844 |     5004      9 |        0 |        0
96.17/96.27	c 90.8s |      11 |    29085 |    25444 |     5505      9 |        0 |        0
97.47/97.52	c 92.1s |      12 |    29509 |    25819 |     5505      9 |        0 |        0
99.47/99.57	c 94.1s |      12 |    30313 |    26519 |     5505     10 |        0 |        0
101.46/101.59	c 96.1s |      12 |    31115 |    27219 |     5505     10 |        0 |        0
103.86/103.94	c 98.5s |      12 |    31872 |    27919 |     5505     10 |        0 |        0
105.86/105.99	c  100s |      12 |    32570 |    28519 |     5505     10 |        0 |        0
107.96/108.02	c  102s |      12 |    33233 |    29119 |     5505     10 |        0 |        0
110.26/110.37	c  104s |      12 |    34037 |    29819 |     5505     11 |        0 |        0
112.46/112.51	c  107s |      12 |    34690 |    30419 |     5505     11 |        0 |        0
114.66/114.71	c  109s |      12 |    35477 |    31119 |     5505     11 |        0 |        0
116.86/116.97	c  111s |      12 |    36253 |    31819 |     5505     11 |        0 |        0
118.96/119.05	c  113s |      12 |    36907 |    32419 |     5505     12 |        0 |        0
121.26/121.32	c  115s |      12 |    37658 |    33119 |     5505     12 |        0 |        0
123.26/123.33	c  117s |      12 |    38323 |    33719 |     5505     12 |        0 |        0
125.36/125.48	c  120s |      12 |    38949 |    34319 |     5505     12 |        0 |        0
127.66/127.74	c  122s |      12 |    39730 |    35019 |     5505     12 |        0 |        0
129.86/129.99	c  124s |      12 |    40371 |    35619 |     5505     13 |        0 |        0
131.96/132.03	c  126s |      12 |    40914 |    36119 |     5505     13 |        0 |        0
134.16/134.22	c  128s |      12 |    41584 |    36719 |     5505     13 |        0 |        0
136.25/136.31	c  130s |      12 |    42242 |    37319 |     5505     13 |        0 |        0
138.25/138.33	c  132s |      12 |    42907 |    37919 |     6056     13 |        0 |        0
140.25/140.36	c  134s |      12 |    43545 |    38519 |     6056     13 |        0 |        0
141.35/141.49	c  136s |      13 |    43903 |    38832 |     6056     14 |        0 |        0
143.55/143.63	c  138s |      13 |    44613 |    39432 |     6056     14 |        0 |        0
145.65/145.79	c  140s |      13 |    45269 |    40032 |     6056     14 |        0 |        0
147.75/147.85	c  142s |      13 |    45953 |    40632 |     6056     14 |        0 |        0
149.95/150.08	c  144s |      13 |    46752 |    41332 |     6056     14 |        0 |        0
152.25/152.36	c  146s |      13 |    47413 |    41932 |     6056     14 |        0 |        0
154.35/154.44	c  148s |      13 |    48085 |    42532 |     6056     15 |        0 |        0
156.35/156.44	c  150s |      13 |    48626 |    43032 |     6056     15 |        0 |        0
158.55/158.61	c  153s |      13 |    49184 |    43532 |     6056     15 |        0 |        0
160.75/160.87	c  155s |      13 |    49895 |    44132 |     6056     15 |        0 |        0
162.95/163.00	c  157s |      13 |    50612 |    44732 |     6056     15 |        0 |        0
165.25/165.30	c  159s |      13 |    51422 |    45432 |     6056     15 |        0 |        0
167.25/167.35	c  161s |      13 |    52131 |    46032 |     6056     16 |        0 |        0
169.45/169.53	c  164s |      13 |    52939 |    46732 |     6056     16 |        0 |        0
171.65/171.72	c  166s |      13 |    53590 |    47332 |     6056     16 |        0 |        0
173.65/173.74	c  168s |      13 |    54302 |    47932 |     6056     16 |        0 |        0
175.95/176.09	c  170s |      13 |    55126 |    48632 |     6056     16 |        0 |        0
178.25/178.34	c  172s |      13 |    55802 |    49232 |     6056     17 |        0 |        0
180.35/180.50	c  175s |      13 |    56524 |    49832 |     6056     17 |        0 |        0
182.44/182.56	c  177s |      13 |    57098 |    50332 |     6056     17 |        0 |        0
184.64/184.79	c  179s |      13 |    57779 |    50932 |     6056     17 |        0 |        0
187.14/187.23	c  181s |      13 |    58461 |    51532 |     6056     17 |        0 |        0
189.34/189.47	c  184s |      13 |    59170 |    52132 |     6056     18 |        0 |        0
191.54/191.60	c  186s |      13 |    59873 |    52732 |     6056     18 |        0 |        0
193.55/193.64	c  188s |      13 |    60605 |    53332 |     6056     18 |        0 |        0
195.54/195.69	c  190s |      13 |    61312 |    53932 |     6056     18 |        0 |        0
197.84/197.91	c  192s |      13 |    62010 |    54532 |     6056     18 |        0 |        0
200.04/200.10	c  194s |      13 |    62691 |    55132 |     6056     18 |        0 |        0
202.04/202.15	c  196s |      13 |    63408 |    55732 |     6056     19 |        0 |        0
204.34/204.45	c  198s |      13 |    64193 |    56432 |     6056     19 |        0 |        0
206.63/206.72	c  201s |      13 |    64866 |    57032 |     6056     19 |        0 |        0
208.73/208.88	c  203s |      13 |    65522 |    57632 |     6662     19 |        0 |        0
211.14/211.22	c  205s |      13 |    66318 |    58332 |     6662     19 |        0 |        0
211.24/211.30	c  205s |      14 |    66340 |    58352 |     6662     19 |        0 |        0
213.44/213.58	c  208s |      14 |    67125 |    58952 |     6662     20 |        0 |        0
215.73/215.85	c  210s |      14 |    67899 |    59552 |     6662     20 |        0 |        0
218.03/218.11	c  212s |      14 |    68584 |    60152 |     6662     20 |        0 |        0
220.33/220.45	c  214s |      14 |    69320 |    60752 |     6662     20 |        0 |        0
222.63/222.77	c  217s |      14 |    70167 |    61452 |     6662     20 |        0 |        0
224.93/225.01	c  219s |      14 |    71008 |    62152 |     6662     20 |        0 |        0
227.13/227.22	c  221s |      14 |    71802 |    62852 |     6662     20 |        0 |        0
229.13/229.29	c  223s |      14 |    72391 |    63352 |     6662     21 |        0 |        0
231.43/231.56	c  226s |      14 |    73137 |    63952 |     6662     21 |        0 |        0
233.53/233.64	c  228s |      14 |    73827 |    64552 |     6662     21 |        0 |        0
235.73/235.80	c  230s |      14 |    74565 |    65152 |     6662     21 |        0 |        0
238.13/238.20	c  232s |      14 |    75333 |    65852 |     6662     21 |        0 |        0
240.33/240.44	c  234s |      14 |    76009 |    66452 |     6662     21 |        0 |        0
242.62/242.77	c  237s |      14 |    76563 |    66952 |     6662     22 |        0 |        0
244.72/244.88	c  239s |      14 |    77116 |    67452 |     6662     22 |        0 |        0
247.02/247.14	c  241s |      14 |    77942 |    68152 |     6662     22 |        0 |        0
249.12/249.21	c  243s |      14 |    78588 |    68752 |     6662     22 |        0 |        0
251.12/251.26	c  245s |      14 |    79261 |    69352 |     6662     22 |        0 |        0
253.52/253.63	c  248s |      14 |    79934 |    69952 |     6662     22 |        0 |        0
255.62/255.78	c  250s |      14 |    80586 |    70552 |     6662     22 |        0 |        0
257.72/257.83	c  252s |      14 |    81223 |    71152 |     6662     23 |        0 |        0
260.02/260.13	c  254s |      14 |    81990 |    71852 |     6662     23 |        0 |        0
262.12/262.24	c  256s |      14 |    82672 |    72452 |     6662     23 |        0 |        0
264.22/264.36	c  258s |      14 |    83319 |    73052 |     6662     23 |        0 |        0
266.52/266.64	c  261s |      14 |    84138 |    73752 |     6662     23 |        0 |        0
268.82/268.93	c  263s |      14 |    84784 |    74352 |     6662     23 |        0 |        0
270.82/270.97	c  265s |      14 |    85484 |    74952 |     6662     24 |        0 |        0
272.92/273.06	c  267s |      14 |    86143 |    75552 |     6662     24 |        0 |        0
275.02/275.14	c  269s |      14 |    86820 |    76152 |     6662     24 |        0 |        0
277.01/277.15	c  271s |      14 |    87383 |    76652 |     6662     24 |        0 |        0
279.11/279.24	c  273s |      14 |    88054 |    77252 |     6662     24 |        0 |        0
281.11/281.25	c  275s |      14 |    88760 |    77852 |     6662     24 |        0 |        0
283.21/283.39	c  277s |      14 |    89429 |    78452 |     6662     25 |        0 |        0
285.31/285.48	c  280s |      14 |    90103 |    79052 |     6662     25 |        0 |        0
287.51/287.60	c  282s |      14 |    90767 |    79652 |     6662     25 |        0 |        0
289.51/289.64	c  284s |      14 |    91467 |    80252 |     6662     25 |        0 |        0
291.71/291.83	c  286s |      14 |    92159 |    80852 |     6662     25 |        0 |        0
293.91/294.09	c  288s |      14 |    92954 |    81552 |     6662     25 |        0 |        0
296.01/296.16	c  290s |      14 |    93634 |    82152 |     6662     26 |        0 |        0
298.20/298.34	c  292s |      14 |    94295 |    82752 |     6662     26 |        0 |        0
300.21/300.36	c  294s |      14 |    94834 |    83252 |     6662     26 |        0 |        0
302.30/302.43	c  296s |      14 |    95409 |    83752 |     6662     26 |        0 |        0
304.50/304.67	c  299s |      14 |    96086 |    84352 |     6662     26 |        0 |        0
306.70/306.89	c  301s |      14 |    96777 |    84952 |     6662     26 |        0 |        0
308.90/309.01	c  303s |      14 |    97439 |    85552 |     6662     26 |        0 |        0
311.21/311.31	c  305s |      14 |    98113 |    86152 |     6662     27 |        0 |        0
313.30/313.46	c  307s |      14 |    98829 |    86752 |     7329     27 |        0 |        0
315.50/315.70	c  310s |      14 |    99528 |    87352 |     7329     27 |        0 |        0
316.59/316.79	c  311s |      15 |    99838 |    87632 |     7329     27 |        0 |        0
318.79/318.91	c  313s |      15 |   100729 |    88332 |     7329     27 |        0 |        0
320.89/321.07	c  315s |      15 |   101588 |    89032 |     7329     27 |        0 |        0
323.19/323.32	c  317s |      15 |   102484 |    89832 |     7329     28 |        0 |        0
325.29/325.45	c  319s |      15 |   103266 |    90532 |     7329     28 |        0 |        0
327.59/327.74	c  322s |      15 |   104080 |    91232 |     7329     28 |        0 |        0
329.69/329.86	c  324s |      15 |   104900 |    91932 |     7329     28 |        0 |        0
331.79/331.94	c  326s |      15 |   105477 |    92432 |     7329     28 |        0 |        0
333.78/333.98	c  328s |      15 |   106164 |    93032 |     7329     28 |        0 |        0
335.88/336.08	c  330s |      15 |   106875 |    93632 |     7329     29 |        0 |        0
337.99/338.16	c  332s |      15 |   107660 |    94332 |     7329     29 |        0 |        0
340.19/340.33	c  334s |      15 |   108442 |    95032 |     7329     29 |        0 |        0
342.49/342.65	c  337s |      15 |   109199 |    95732 |     7329     29 |        0 |        0
344.79/344.96	c  339s |      15 |   109885 |    96332 |     7329     29 |        0 |        0
346.99/347.18	c  341s |      15 |   110592 |    96932 |     7329     29 |        0 |        0
349.29/349.41	c  343s |      15 |   111310 |    97532 |     7329     29 |        0 |        0
351.39/351.52	c  346s |      15 |   111840 |    98032 |     7329     30 |        0 |        0
353.39/353.54	c  348s |      15 |   112415 |    98532 |     7329     30 |        0 |        0
355.59/355.71	c  350s |      15 |   113296 |    99232 |     7329     30 |        0 |        0
357.59/357.77	c  352s |      15 |   114111 |    99932 |     7329     30 |        0 |        0
359.79/359.97	c  354s |      15 |   114914 |   100632 |     7329     30 |        0 |        0
361.89/362.08	c  356s |      15 |   115722 |   101332 |     7329     31 |        0 |        0
364.18/364.30	c  358s |      15 |   116471 |   102032 |     7329     31 |        0 |        0
366.38/366.57	c  361s |      15 |   117162 |   102632 |     7329     31 |        0 |        0
368.68/368.83	c  363s |      15 |   118191 |   103532 |     7329     31 |        0 |        0
370.78/370.94	c  365s |      15 |   118869 |   104132 |     7329     31 |        0 |        0
373.08/373.27	c  367s |      15 |   119671 |   104832 |     7329     31 |        0 |        0
375.18/375.32	c  369s |      15 |   120349 |   105432 |     7329     32 |        0 |        0
377.38/377.51	c  372s |      15 |   121169 |   106132 |     7329     32 |        0 |        0
379.49/379.63	c  374s |      15 |   121869 |   106732 |     7329     32 |        0 |        0
381.59/381.78	c  376s |      15 |   122648 |   107432 |     7329     32 |        0 |        0
383.88/384.09	c  378s |      15 |   123375 |   108032 |     7329     32 |        0 |        0
385.98/386.11	c  380s |      15 |   124082 |   108632 |     7329     32 |        0 |        0
387.98/388.16	c  382s |      15 |   124675 |   109132 |     7329     33 |        0 |        0
390.07/390.26	c  384s |      15 |   125373 |   109732 |     7329     33 |        0 |        0
392.17/392.30	c  386s |      15 |   126103 |   110332 |     7329     33 |        0 |        0
394.37/394.53	c  389s |      15 |   126916 |   111032 |     7329     33 |        0 |        0
396.57/396.73	c  391s |      15 |   127703 |   111732 |     7329     33 |        0 |        0
398.57/398.74	c  393s |      15 |   128569 |   112432 |     7329     33 |        0 |        0
400.87/401.06	c  395s |      15 |   129358 |   113132 |     7329     34 |        0 |        0
402.97/403.19	c  397s |      15 |   130003 |   113732 |     7329     34 |        0 |        0
405.17/405.33	c  399s |      15 |   130702 |   114332 |     7329     34 |        0 |        0
407.37/407.56	c  402s |      15 |   131628 |   115132 |     7329     34 |        0 |        0
409.37/409.57	c  404s |      15 |   132293 |   115732 |     7329     34 |        0 |        0
411.66/411.82	c  406s |      15 |   133168 |   116532 |     7329     35 |        0 |        0
413.66/413.84	c  408s |      15 |   133871 |   117132 |     7329     35 |        0 |        0
415.86/416.04	c  410s |      15 |   134590 |   117732 |     7329     35 |        0 |        0
417.97/418.19	c  412s |      15 |   135408 |   118432 |     7329     35 |        0 |        0
420.26/420.45	c  414s |      15 |   136205 |   119132 |     7329     35 |        0 |        0
422.26/422.49	c  417s |      15 |   136965 |   119832 |     7329     35 |        0 |        0
424.36/424.59	c  419s |      15 |   137751 |   120532 |     7329     36 |        0 |        0
426.56/426.72	c  421s |      15 |   138622 |   121332 |     7329     36 |        0 |        0
428.76/428.97	c  423s |      15 |   139427 |   122032 |     7329     36 |        0 |        0
430.86/431.09	c  425s |      15 |   140154 |   122632 |     7329     36 |        0 |        0
433.15/433.37	c  427s |      15 |   141000 |   123332 |     7329     36 |        0 |        0
435.35/435.57	c  430s |      15 |   141850 |   124032 |     7329     36 |        0 |        0
437.45/437.63	c  432s |      15 |   142510 |   124632 |     7329     37 |        0 |        0
439.65/439.83	c  434s |      15 |   143398 |   125432 |     7329     37 |        0 |        0
441.85/442.08	c  436s |      15 |   144166 |   126132 |     7329     37 |        0 |        0
443.95/444.15	c  438s |      15 |   144985 |   126832 |     7329     37 |        0 |        0
446.15/446.32	c  440s |      15 |   145666 |   127432 |     7329     37 |        0 |        0
448.35/448.50	c  443s |      15 |   146371 |   128032 |     7329     38 |        0 |        0
450.65/450.83	c  445s |      15 |   147160 |   128732 |     7329     38 |        0 |        0
452.85/453.07	c  447s |      15 |   148073 |   129532 |     7329     38 |        0 |        0
455.14/455.32	c  449s |      15 |   148844 |   130232 |     8062     38 |        0 |        0
457.24/457.48	c  452s |      15 |   149665 |   130932 |     8062     38 |        0 |        0
459.34/459.54	c  454s |      15 |   150328 |   131532 |     8062     38 |        0 |        0
459.44/459.61	c  454s |      16 |   150346 |   131552 |     8062     38 |        0 |        0
461.54/461.71	c  456s |      16 |   150949 |   132052 |     8062     38 |        0 |        0
463.54/463.75	c  458s |      16 |   151507 |   132552 |     8062     38 |        0 |        0
465.74/465.94	c  460s |      16 |   152060 |   133052 |     8062     39 |        0 |        0
468.04/468.26	c  462s |      16 |   152758 |   133652 |     8062     39 |        0 |        0
470.34/470.56	c  465s |      16 |   153611 |   134352 |     8062     39 |        0 |        0
472.34/472.58	c  467s |      16 |   154331 |   134952 |     8062     39 |        0 |        0
474.43/474.65	c  469s |      16 |   155026 |   135552 |     8062     39 |        0 |        0
476.63/476.81	c  471s |      16 |   155717 |   136152 |     8062     39 |        0 |        0
478.63/478.81	c  473s |      16 |   156280 |   136652 |     8062     39 |        0 |        0
480.93/481.11	c  475s |      16 |   156934 |   137252 |     8062     39 |        0 |        0
482.93/483.19	c  477s |      16 |   157476 |   137752 |     8062     40 |        0 |        0
485.04/485.24	c  479s |      16 |   158173 |   138352 |     8062     40 |        0 |        0
487.24/487.46	c  482s |      16 |   158867 |   138952 |     8062     40 |        0 |        0
489.53/489.78	c  484s |      16 |   159539 |   139552 |     8062     40 |        0 |        0
491.73/491.93	c  486s |      16 |   160073 |   140052 |     8062     40 |        0 |        0
493.74/493.94	c  488s |      16 |   160625 |   140552 |     8062     40 |        0 |        0
495.73/495.96	c  490s |      16 |   161217 |   141052 |     8062     40 |        0 |        0
498.14/498.38	c  492s |      16 |   161920 |   141652 |     8062     40 |        0 |        0
500.23/500.48	c  495s |      16 |   162492 |   142152 |     8062     41 |        0 |        0
502.43/502.66	c  497s |      16 |   163160 |   142752 |     8062     41 |        0 |        0
504.83/505.00	c  499s |      16 |   163874 |   143352 |     8062     41 |        0 |        0
507.23/507.49	c  502s |      16 |   164443 |   143852 |     8062     41 |        0 |        0
509.33/509.57	c  504s |      16 |   164865 |   144252 |     8062     41 |        0 |        0
511.73/511.92	c  506s |      16 |   165411 |   144752 |     8062     41 |        0 |        0
513.72/513.95	c  508s |      16 |   165855 |   145152 |     8062     41 |        0 |        0
515.83/516.10	c  510s |      16 |   166422 |   145652 |     8062     41 |        0 |        0
518.03/518.27	c  512s |      16 |   166973 |   146152 |     8062     42 |        0 |        0
520.42/520.69	c  515s |      16 |   167536 |   146652 |     8062     42 |        0 |        0
522.91/523.12	c  517s |      16 |   168064 |   147152 |     8062     42 |        0 |        0
525.11/525.39	c  519s |      16 |   168514 |   147552 |     8062     42 |        0 |        0
527.61/527.84	c  522s |      16 |   168936 |   147952 |     8062     42 |        0 |        0
529.81/530.00	c  524s |      16 |   169479 |   148452 |     8062     42 |        0 |        0
531.91/532.19	c  526s |      16 |   170036 |   148952 |     8062     42 |        0 |        0
534.00/534.26	c  528s |      16 |   170588 |   149452 |     8062     42 |        0 |        0
536.20/536.43	c  530s |      16 |   171144 |   149952 |     8062     43 |        0 |        0
538.70/538.93	c  533s |      16 |   171832 |   150552 |     8062     43 |        0 |        0
540.80/541.04	c  535s |      16 |   172256 |   150952 |     8062     43 |        0 |        0
543.09/543.36	c  537s |      16 |   172813 |   151452 |     8062     43 |        0 |        0
545.59/545.80	c  540s |      16 |   173503 |   152052 |     8062     43 |        0 |        0
547.70/547.91	c  542s |      16 |   173935 |   152452 |     8062     43 |        0 |        0
549.90/550.19	c  544s |      16 |   174374 |   152852 |     8062     43 |        0 |        0
552.39/552.63	c  547s |      16 |   174810 |   153252 |     8062     43 |        0 |        0
554.68/554.90	c  549s |      16 |   175361 |   153752 |     8062     43 |        0 |        0
556.68/556.94	c  551s |      16 |   175938 |   154252 |     8062     44 |        0 |        0
558.69/558.97	c  553s |      16 |   176407 |   154652 |     8062     44 |        0 |        0
560.98/561.24	c  555s |      16 |   176964 |   155152 |     8062     44 |        0 |        0
563.10/563.33	c  557s |      16 |   177528 |   155652 |     8062     44 |        0 |        0
565.59/565.82	c  560s |      16 |   178113 |   156152 |     8062     44 |        0 |        0
567.69/567.93	c  562s |      16 |   178701 |   156652 |     8062     44 |        0 |        0
569.99/570.22	c  564s |      16 |   179265 |   157152 |     8062     44 |        0 |        0
571.99/572.25	c  566s |      16 |   179724 |   157552 |     8062     44 |        0 |        0
574.38/574.64	c  569s |      16 |   180283 |   158052 |     8062     44 |        0 |        0
576.78/577.09	c  571s |      16 |   180826 |   158552 |     8062     45 |        0 |        0
579.08/579.31	c  573s |      16 |   181411 |   159052 |     8062     45 |        0 |        0
581.38/581.63	c  576s |      16 |   181966 |   159552 |     8062     45 |        0 |        0
583.68/583.92	c  578s |      16 |   182621 |   160152 |     8062     45 |        0 |        0
586.08/586.37	c  580s |      16 |   183376 |   160852 |     8062     45 |        0 |        0
588.17/588.48	c  583s |      16 |   184052 |   161452 |     8062     45 |        0 |        0
590.37/590.70	c  585s |      16 |   184692 |   162052 |     8062     45 |        0 |        0
592.47/592.78	c  587s |      16 |   185248 |   162552 |     8062     46 |        0 |        0
594.77/595.07	c  589s |      16 |   185806 |   163052 |     8062     46 |        0 |        0
597.08/597.34	c  591s |      16 |   186384 |   163552 |     8062     46 |        0 |        0
599.47/599.74	c  594s |      16 |   186942 |   164052 |     8062     46 |        0 |        0
601.67/601.97	c  596s |      16 |   187487 |   164552 |     8062     46 |        0 |        0
603.78/604.01	c  598s |      16 |   188040 |   165052 |     8062     46 |        0 |        0
606.07/606.38	c  600s |      16 |   188672 |   165652 |     8062     46 |        0 |        0
608.27/608.53	c  603s |      16 |   189226 |   166152 |     8062     46 |        0 |        0
610.27/610.57	c  605s |      16 |   189781 |   166652 |     8062     47 |        0 |        0
612.36/612.64	c  607s |      16 |   190325 |   167152 |     8062     47 |        0 |        0
614.36/614.66	c  609s |      16 |   190865 |   167652 |     8062     47 |        0 |        0
616.76/617.05	c  611s |      16 |   191530 |   168252 |     8062     47 |        0 |        0
618.86/619.13	c  613s |      16 |   192084 |   168752 |     8062     47 |        0 |        0
620.86/621.18	c  615s |      16 |   192656 |   169252 |     8062     47 |        0 |        0
623.06/623.33	c  617s |      16 |   193311 |   169852 |     8062     47 |        0 |        0
625.06/625.33	c  619s |      16 |   193903 |   170352 |     8062     47 |        0 |        0
627.16/627.43	c  621s |      16 |   194458 |   170852 |     8062     47 |        0 |        0
629.66/629.94	c  624s |      16 |   195015 |   171352 |     8062     48 |        0 |        0
631.96/632.27	c  626s |      16 |   195699 |   171952 |     8062     48 |        0 |        0
634.16/634.40	c  628s |      16 |   196238 |   172452 |     8062     48 |        0 |        0
636.36/636.61	c  631s |      16 |   196810 |   172952 |     8062     48 |        0 |        0
638.46/638.77	c  633s |      16 |   197376 |   173452 |     8062     48 |        0 |        0
640.65/640.97	c  635s |      16 |   197955 |   173952 |     8062     48 |        0 |        0
642.95/643.22	c  637s |      16 |   198570 |   174452 |     8062     48 |        0 |        0
645.15/645.42	c  639s |      16 |   199153 |   174952 |     8062     48 |        0 |        0
647.25/647.60	c  642s |      16 |   199585 |   175352 |     8062     49 |        0 |        0
649.55/649.85	c  644s |      16 |   200125 |   175852 |     8062     49 |        0 |        0
651.85/652.11	c  646s |      16 |   200570 |   176252 |     8062     49 |        0 |        0
653.95/654.26	c  648s |      16 |   200998 |   176652 |     8062     49 |        0 |        0
656.25/656.56	c  651s |      16 |   201564 |   177152 |     8062     49 |        0 |        0
658.35/658.61	c  653s |      16 |   202005 |   177552 |     8062     49 |        0 |        0
660.35/660.68	c  655s |      16 |   202495 |   177952 |     8062     49 |        0 |        0
662.35/662.68	c  657s |      16 |   202934 |   178352 |     8062     49 |        0 |        0
664.75/665.01	c  659s |      16 |   203516 |   178852 |     8062     49 |        0 |        0
666.95/667.25	c  661s |      16 |   204061 |   179352 |     8062     49 |        0 |        0
669.15/669.46	c  664s |      16 |   204623 |   179852 |     8062     50 |        0 |        0
671.45/671.73	c  666s |      16 |   205175 |   180352 |     8062     50 |        0 |        0
673.44/673.78	c  668s |      16 |   205734 |   180852 |     8062     50 |        0 |        0
675.64/675.97	c  670s |      16 |   206381 |   181452 |     8062     50 |        0 |        0
677.74/678.06	c  672s |      16 |   207055 |   182052 |     8062     50 |        0 |        0
680.14/680.40	c  674s |      16 |   207607 |   182552 |     8062     50 |        0 |        0
682.44/682.74	c  677s |      16 |   208136 |   183052 |     8062     50 |        0 |        0
684.54/684.83	c  679s |      16 |   208561 |   183452 |     8062     50 |        0 |        0
686.54/686.85	c  681s |      16 |   209002 |   183852 |     8062     50 |        0 |        0
688.54/688.86	c  683s |      16 |   209417 |   184252 |     8062     50 |        0 |        0
690.74/691.08	c  685s |      16 |   209861 |   184652 |     8062     51 |        0 |        0
693.04/693.36	c  687s |      16 |   210440 |   185152 |     8062     51 |        0 |        0
695.34/695.60	c  690s |      16 |   211010 |   185652 |     8062     51 |        0 |        0
697.64/697.99	c  692s |      16 |   211583 |   186152 |     8062     51 |        0 |        0
699.83/700.10	c  694s |      16 |   212140 |   186652 |     8062     51 |        0 |        0
701.93/702.21	c  696s |      16 |   212576 |   187052 |     8062     51 |        0 |        0
704.03/704.38	c  698s |      16 |   213138 |   187552 |     8062     51 |        0 |        0
706.13/706.48	c  701s |      16 |   213694 |   188052 |     8062     51 |        0 |        0
708.24/708.59	c  703s |      16 |   214297 |   188552 |     8062     52 |        0 |        0
710.53/710.80	c  705s |      16 |   214885 |   189052 |     8062     52 |        0 |        0
712.83/713.16	c  707s |      16 |   215440 |   189552 |     8062     52 |        0 |        0
714.93/715.27	c  709s |      16 |   215990 |   190052 |     8062     52 |        0 |        0
717.33/717.61	c  712s |      16 |   216666 |   190652 |     8062     52 |        0 |        0
719.63/719.98	c  714s |      16 |   217237 |   191152 |     8062     52 |        0 |        0
721.73/722.07	c  716s |      16 |   217663 |   191552 |     8062     52 |        0 |        0
723.93/724.24	c  718s |      16 |   218153 |   191952 |     8062     52 |        0 |        0
726.23/726.52	c  721s |      16 |   218583 |   192352 |     8062     52 |        0 |        0
728.43/728.74	c  723s |      16 |   219071 |   192752 |     8062     53 |        0 |        0
730.73/731.00	c  725s |      16 |   219629 |   193252 |     8062     53 |        0 |        0
732.93/733.25	c  727s |      16 |   220351 |   193852 |     8062     53 |        0 |        0
735.13/735.48	c  730s |      16 |   220899 |   194352 |     8062     53 |        0 |        0
737.23/737.56	c  732s |      16 |   221481 |   194852 |     8062     53 |        0 |        0
739.53/739.82	c  734s |      16 |   222033 |   195352 |     8062     53 |        0 |        0
741.73/742.07	c  736s |      16 |   222606 |   195852 |     8869     53 |        0 |        0
744.13/744.41	c  738s |      16 |   223173 |   196352 |     8869     53 |        0 |        0
746.13/746.43	c  740s |      16 |   223594 |   196752 |     8869     53 |        0 |        0
748.43/748.71	c  743s |      16 |   224146 |   197252 |     8869     53 |        0 |        0
749.23/749.54	c  744s |      17 |   224353 |   197432 |     8869     53 |        0 |        0
751.53/751.83	c  746s |      17 |   224826 |   197832 |     8869     54 |        0 |        0
753.63/753.96	c  748s |      17 |   225263 |   198232 |     8869     54 |        0 |        0
756.13/756.46	c  750s |      17 |   225842 |   198732 |     8869     54 |        0 |        0
758.53/758.89	c  753s |      17 |   226613 |   199432 |     8869     54 |        0 |        0
761.03/761.38	c  755s |      17 |   227188 |   199932 |     8869     54 |        0 |        0
763.33/763.64	c  758s |      17 |   227635 |   200332 |     8869     54 |        0 |        0
765.62/765.90	c  760s |      17 |   228086 |   200732 |     8869     54 |        0 |        0
767.72/768.06	c  762s |      17 |   228525 |   201132 |     8869     54 |        0 |        0
770.12/770.43	c  764s |      17 |   228950 |   201532 |     8869     54 |        0 |        0
772.52/772.81	c  767s |      17 |   229564 |   202032 |     8869     55 |        0 |        0
774.92/775.23	c  769s |      17 |   230114 |   202532 |     8869     55 |        0 |        0
777.12/777.41	c  771s |      17 |   230682 |   203032 |     8869     55 |        0 |        0
779.32/779.67	c  774s |      17 |   231138 |   203432 |     8869     55 |        0 |        0
781.42/781.80	c  776s |      17 |   231582 |   203832 |     8869     55 |        0 |        0
783.52/783.89	c  778s |      17 |   232016 |   204232 |     8869     55 |        0 |        0
785.72/786.04	c  780s |      17 |   232565 |   204732 |     8869     55 |        0 |        0
788.12/788.48	c  783s |      17 |   233217 |   205332 |     8869     55 |        0 |        0
790.42/790.71	c  785s |      17 |   233781 |   205832 |     8869     55 |        0 |        0
792.62/792.93	c  787s |      17 |   234327 |   206332 |     8869     55 |        0 |        0
794.82/795.15	c  789s |      17 |   234870 |   206832 |     8869     55 |        0 |        0
797.33/797.65	c  792s |      17 |   235440 |   207332 |     8869     56 |        0 |        0
799.62/799.95	c  794s |      17 |   235968 |   207832 |     8869     56 |        0 |        0
801.82/802.13	c  796s |      17 |   236532 |   208332 |     8869     56 |        0 |        0
803.93/804.28	c  798s |      17 |   237094 |   208832 |     8869     56 |        0 |        0
806.22/806.53	c  801s |      17 |   237629 |   209332 |     8869     56 |        0 |        0
808.52/808.84	c  803s |      17 |   238179 |   209832 |     8869     56 |        0 |        0
810.72/811.05	c  805s |      17 |   238837 |   210432 |     8869     56 |        0 |        0
812.92/813.26	c  807s |      17 |   239385 |   210932 |     8869     56 |        0 |        0
815.02/815.31	c  809s |      17 |   239912 |   211432 |     8869     56 |        0 |        0
817.12/817.46	c  812s |      17 |   240468 |   211932 |     8869     57 |        0 |        0
819.42/819.78	c  814s |      17 |   241128 |   212532 |     8869     57 |        0 |        0
821.92/822.25	c  816s |      17 |   241686 |   213032 |     8869     57 |        0 |        0
824.32/824.60	c  819s |      17 |   242284 |   213532 |     8869     57 |        0 |        0
826.72/827.03	c  821s |      17 |   242883 |   214032 |     8869     57 |        0 |        0
829.02/829.38	c  823s |      17 |   243446 |   214532 |     8869     57 |        0 |        0
831.42/831.72	c  826s |      17 |   244010 |   215032 |     8869     57 |        0 |        0
833.41/833.75	c  828s |      17 |   244434 |   215432 |     8869     57 |        0 |        0
835.91/836.21	c  830s |      17 |   244861 |   215832 |     8869     57 |        0 |        0
838.41/838.73	c  833s |      17 |   245468 |   216332 |     8869     57 |        0 |        0
840.41/840.75	c  835s |      17 |   245918 |   216732 |     8869     58 |        0 |        0
842.51/842.88	c  837s |      17 |   246470 |   217232 |     8869     58 |        0 |        0
844.91/845.20	c  839s |      17 |   247048 |   217732 |     8869     58 |        0 |        0
847.21/847.51	c  842s |      17 |   247605 |   218232 |     8869     58 |        0 |        0
849.41/849.70	c  844s |      17 |   248054 |   218632 |     8869     58 |        0 |        0
851.81/852.15	c  846s |      17 |   248593 |   219132 |     8869     58 |        0 |        0
854.01/854.34	c  848s |      17 |   249126 |   219632 |     8869     58 |        0 |        0
856.21/856.58	c  851s |      17 |   249562 |   220032 |     8869     58 |        0 |        0
858.41/858.80	c  853s |      17 |   249983 |   220432 |     8869     58 |        0 |        0
860.81/861.18	c  855s |      17 |   250420 |   220832 |     8869     58 |        0 |        0
863.41/863.71	c  858s |      17 |   250851 |   221232 |     8869     58 |        0 |        0
865.42/865.73	c  860s |      17 |   251296 |   221632 |     8869     59 |        0 |        0
867.62/868.00	c  862s |      17 |   251725 |   222032 |     8869     59 |        0 |        0
870.21/870.53	c  865s |      17 |   252262 |   222532 |     8869     59 |        0 |        0
872.51/872.89	c  867s |      17 |   252687 |   222932 |     8869     59 |        0 |        0
875.11/875.43	c  869s |      17 |   253113 |   223332 |     8869     59 |        0 |        0
877.21/877.53	c  872s |      17 |   253561 |   223732 |     8869     59 |        0 |        0
879.51/879.87	c  874s |      17 |   254122 |   224232 |     8869     59 |        0 |        0
881.71/882.09	c  876s |      17 |   254681 |   224732 |     8869     59 |        0 |        0
884.11/884.48	c  879s |      17 |   255329 |   225332 |     8869     59 |        0 |        0
886.71/887.02	c  881s |      17 |   255882 |   225832 |     8869     59 |        0 |        0
888.81/889.18	c  883s |      17 |   256324 |   226232 |     8869     60 |        0 |        0
891.01/891.38	c  885s |      17 |   256868 |   226732 |     8869     60 |        0 |        0
893.31/893.60	c  888s |      17 |   257446 |   227232 |     8869     60 |        0 |        0
895.50/895.85	c  890s |      17 |   258015 |   227732 |     8869     60 |        0 |        0
898.00/898.32	c  892s |      17 |   258576 |   228232 |     8869     60 |        0 |        0
900.01/900.37	c  894s |      17 |   259008 |   228632 |     8869     60 |        0 |        0
902.10/902.46	c  897s |      17 |   259449 |   229032 |     8869     60 |        0 |        0
904.30/904.68	c  899s |      17 |   259896 |   229432 |     8869     60 |        0 |        0
906.70/907.02	c  901s |      17 |   260360 |   229832 |     8869     60 |        0 |        0
908.70/909.08	c  903s |      17 |   260796 |   230232 |     8869     60 |        0 |        0
911.10/911.47	c  906s |      17 |   261240 |   230632 |     8869     60 |        0 |        0
913.20/913.55	c  908s |      17 |   261689 |   231032 |     8869     61 |        0 |        0
915.50/915.83	c  910s |      17 |   262133 |   231432 |     8869     61 |        0 |        0
917.50/917.89	c  912s |      17 |   262566 |   231832 |     8869     61 |        0 |        0
919.70/920.04	c  914s |      17 |   262988 |   232232 |     8869     61 |        0 |        0
921.90/922.21	c  916s |      17 |   263565 |   232732 |     8869     61 |        0 |        0
924.00/924.37	c  918s |      17 |   264130 |   233232 |     8869     61 |        0 |        0
926.10/926.40	c  920s |      17 |   264566 |   233632 |     8869     61 |        0 |        0
928.30/928.69	c  923s |      17 |   265112 |   234132 |     8869     61 |        0 |        0
930.60/930.95	c  925s |      17 |   265693 |   234632 |     8869     61 |        0 |        0
933.00/933.39	c  927s |      17 |   266279 |   235132 |     8869     61 |        0 |        0
935.50/935.82	c  930s |      17 |   266815 |   235632 |     8869     61 |        0 |        0
937.70/938.02	c  932s |      17 |   267264 |   236032 |     8869     61 |        0 |        0
939.80/940.17	c  934s |      17 |   267716 |   236432 |     8869     62 |        0 |        0
942.10/942.45	c  936s |      17 |   268529 |   237132 |     8869     62 |        0 |        0
944.30/944.63	c  939s |      17 |   269111 |   237632 |     8869     62 |        0 |        0
946.60/946.96	c  941s |      17 |   269695 |   238132 |     8869     62 |        0 |        0
948.69/949.06	c  943s |      17 |   270274 |   238632 |     8869     62 |        0 |        0
950.89/951.28	c  945s |      17 |   270926 |   239232 |     8869     62 |        0 |        0
953.19/953.51	c  948s |      17 |   271586 |   239832 |     8869     62 |        0 |        0
955.60/955.90	c  950s |      17 |   272258 |   240432 |     8869     63 |        0 |        0
957.99/958.34	c  952s |      17 |   272916 |   241032 |     8869     63 |        0 |        0
960.39/960.73	c  955s |      17 |   273464 |   241532 |     8869     63 |        0 |        0
962.69/963.03	c  957s |      17 |   274018 |   242032 |     8869     63 |        0 |        0
964.89/965.25	c  959s |      17 |   274592 |   242532 |     8869     63 |        0 |        0
966.99/967.34	c  961s |      17 |   275144 |   243032 |     8869     63 |        0 |        0
969.19/969.56	c  964s |      17 |   275675 |   243532 |     8869     63 |        0 |        0
971.29/971.69	c  966s |      17 |   276241 |   244032 |     8869     63 |        0 |        0
973.69/974.04	c  968s |      17 |   276915 |   244632 |     8869     63 |        0 |        0
975.79/976.11	c  970s |      17 |   277352 |   245032 |     8869     64 |        0 |        0
977.99/978.35	c  972s |      17 |   277944 |   245532 |     8869     64 |        0 |        0
980.19/980.59	c  975s |      17 |   278517 |   246032 |     8869     64 |        0 |        0
982.49/982.85	c  977s |      17 |   279077 |   246532 |     8869     64 |        0 |        0
984.79/985.19	c  979s |      17 |   279615 |   247032 |     8869     64 |        0 |        0
987.09/987.43	c  981s |      17 |   280184 |   247532 |     8869     64 |        0 |        0
989.19/989.58	c  984s |      17 |   280790 |   248032 |     8869     64 |        0 |        0
991.29/991.62	c  986s |      17 |   281269 |   248432 |     8869     64 |        0 |        0
993.59/993.99	c  988s |      17 |   281830 |   248932 |     8869     64 |        0 |        0
995.89/996.25	c  990s |      17 |   282144 |   249232 |     8869     64 |        0 |        0
998.09/998.42	c  992s |      17 |   282579 |   249632 |     8869     65 |        0 |        0
1000.59/1000.90	c  995s |      17 |   283132 |   250132 |     8869     65 |        0 |        0
1002.69/1003.02	c  997s |      17 |   283696 |   250632 |     8869     65 |        0 |        0
1004.89/1005.27	c  999s |      17 |   284287 |   251132 |     8869     65 |        0 |        0
1007.08/1007.41	c 1001s |      17 |   284949 |   251732 |     8869     65 |        0 |        0
1009.38/1009.72	c 1004s |      17 |   285599 |   252332 |     8869     65 |        0 |        0
1011.69/1012.07	c 1006s |      17 |   286267 |   252932 |     8869     65 |        0 |        0
1013.68/1014.08	c 1008s |      17 |   286701 |   253332 |     8869     65 |        0 |        0
1016.09/1016.50	c 1011s |      17 |   287154 |   253732 |     8869     65 |        0 |        0
1018.29/1018.63	c 1013s |      17 |   287767 |   254232 |     8869     66 |        0 |        0
1020.68/1021.04	c 1015s |      17 |   288478 |   254832 |     8869     66 |        0 |        0
1022.88/1023.22	c 1017s |      17 |   289047 |   255332 |     8869     66 |        0 |        0
1024.99/1025.31	c 1019s |      17 |   289651 |   255832 |     8869     66 |        0 |        0
1027.09/1027.49	c 1022s |      17 |   290317 |   256432 |     8869     66 |        0 |        0
1029.39/1029.79	c 1024s |      17 |   291031 |   257032 |     8869     66 |        0 |        0
1031.59/1031.96	c 1026s |      17 |   291605 |   257532 |     8869     66 |        0 |        0
1033.58/1033.99	c 1028s |      17 |   292160 |   258032 |     8869     66 |        0 |        0
1035.99/1036.35	c 1030s |      17 |   292832 |   258632 |     8869     66 |        0 |        0
1038.09/1038.45	c 1032s |      17 |   293413 |   259132 |     8869     67 |        0 |        0
1040.18/1040.60	c 1035s |      17 |   294074 |   259732 |     8869     67 |        0 |        0
1042.49/1042.81	c 1037s |      17 |   294772 |   260332 |     8869     67 |        0 |        0
1044.69/1045.09	c 1039s |      17 |   295308 |   260832 |     8869     67 |        0 |        0
1046.78/1047.18	c 1041s |      17 |   295870 |   261332 |     8869     67 |        0 |        0
1048.88/1049.24	c 1043s |      17 |   296526 |   261932 |     8869     67 |        0 |        0
1051.18/1051.51	c 1046s |      17 |   297314 |   262632 |     8869     67 |        0 |        0
1053.38/1053.70	c 1048s |      17 |   297979 |   263232 |     8869     68 |        0 |        0
1055.58/1055.90	c 1050s |      17 |   298676 |   263832 |     8869     68 |        0 |        0
1057.68/1058.01	c 1052s |      17 |   299346 |   264432 |     8869     68 |        0 |        0
1059.88/1060.22	c 1054s |      17 |   300111 |   265132 |     8869     68 |        0 |        0
1061.88/1062.26	c 1056s |      17 |   300792 |   265732 |     8869     68 |        0 |        0
1063.98/1064.33	c 1058s |      17 |   301370 |   266232 |     8869     68 |        0 |        0
1066.28/1066.60	c 1061s |      17 |   302022 |   266832 |     8869     68 |        0 |        0
1068.58/1068.92	c 1063s |      17 |   302692 |   267432 |     8869     68 |        0 |        0
1070.58/1070.97	c 1065s |      17 |   303297 |   267932 |     8869     69 |        0 |        0
1072.87/1073.23	c 1067s |      17 |   303983 |   268532 |     8869     69 |        0 |        0
1075.17/1075.53	c 1070s |      17 |   304646 |   269132 |     8869     69 |        0 |        0
1077.17/1077.54	c 1072s |      17 |   305212 |   269632 |     8869     69 |        0 |        0
1079.47/1079.81	c 1074s |      17 |   305862 |   270232 |     8869     69 |        0 |        0
1081.57/1081.96	c 1076s |      17 |   306539 |   270832 |     8869     69 |        0 |        0
1083.87/1084.27	c 1078s |      17 |   307211 |   271432 |     8869     69 |        0 |        0
1086.07/1086.42	c 1080s |      17 |   307749 |   271932 |     8869     69 |        0 |        0
1088.07/1088.45	c 1082s |      17 |   308209 |   272332 |     8869     70 |        0 |        0
1090.27/1090.63	c 1085s |      17 |   308774 |   272832 |     8869     70 |        0 |        0
1092.37/1092.70	c 1087s |      17 |   309236 |   273232 |     8869     70 |        0 |        0
1094.67/1095.02	c 1089s |      17 |   309826 |   273732 |     8869     70 |        0 |        0
1097.07/1097.45	c 1091s |      17 |   310426 |   274232 |     8869     70 |        0 |        0
1099.37/1099.76	c 1094s |      17 |   310981 |   274732 |     8869     70 |        0 |        0
1101.67/1102.02	c 1096s |      17 |   311576 |   275232 |     8869     70 |        0 |        0
1103.67/1104.08	c 1098s |      17 |   312122 |   275732 |     8869     70 |        0 |        0
1106.07/1106.49	c 1101s |      17 |   312680 |   276232 |     8869     70 |        0 |        0
1108.48/1108.88	c 1103s |      17 |   313260 |   276732 |     8869     70 |        0 |        0
1110.68/1111.05	c 1105s |      17 |   313799 |   277232 |     8869     71 |        0 |        0
1112.98/1113.35	c 1107s |      17 |   314507 |   277832 |     8869     71 |        0 |        0
1114.97/1115.38	c 1109s |      17 |   315077 |   278332 |     8869     71 |        0 |        0
1117.38/1117.73	c 1112s |      17 |   315750 |   278932 |     8869     71 |        0 |        0
1119.77/1120.13	c 1114s |      17 |   316425 |   279532 |     8869     71 |        0 |        0
1122.07/1122.46	c 1117s |      17 |   317110 |   280132 |     8869     71 |        0 |        0
1124.27/1124.61	c 1119s |      17 |   317666 |   280632 |     8869     71 |        0 |        0
1126.56/1126.90	c 1121s |      17 |   318343 |   281232 |     8869     71 |        0 |        0
1128.77/1129.17	c 1123s |      17 |   318927 |   281732 |     8869     72 |        0 |        0
1131.06/1131.42	c 1125s |      17 |   319637 |   282332 |     8869     72 |        0 |        0
1133.06/1133.44	c 1127s |      17 |   320468 |   283032 |     8869     72 |        0 |        0
1135.36/1135.71	c 1130s |      17 |   321280 |   283732 |     8869     72 |        0 |        0
1137.47/1137.80	c 1132s |      17 |   321820 |   284232 |     8869     72 |        0 |        0
1139.47/1139.82	c 1134s |      17 |   322248 |   284632 |     8869     72 |        0 |        0
1141.48/1141.87	c 1136s |      17 |   322823 |   285132 |     8869     72 |        0 |        0
1143.47/1143.88	c 1138s |      17 |   323446 |   285632 |     8869     72 |        0 |        0
1145.88/1146.24	c 1140s |      17 |   323994 |   286132 |     8869     73 |        0 |        0
1148.08/1148.43	c 1142s |      17 |   324561 |   286632 |     8869     73 |        0 |        0
1150.38/1150.75	c 1145s |      17 |   325258 |   287232 |     8869     73 |        0 |        0
1152.67/1153.00	c 1147s |      17 |   325966 |   287832 |     8869     73 |        0 |        0
1154.78/1155.16	c 1149s |      17 |   326521 |   288332 |     8869     73 |        0 |        0
1156.88/1157.29	c 1151s |      17 |   327071 |   288832 |     8869     73 |        0 |        0
1159.08/1159.43	c 1153s |      17 |   327641 |   289332 |     8869     73 |        0 |        0
1161.27/1161.69	c 1156s |      17 |   328187 |   289832 |     8869     73 |        0 |        0
1163.37/1163.70	c 1158s |      17 |   328644 |   290232 |     8869     73 |        0 |        0
1165.57/1165.97	c 1160s |      17 |   329243 |   290732 |     8869     74 |        0 |        0
1167.67/1168.07	c 1162s |      17 |   329827 |   291232 |     8869     74 |        0 |        0
1169.87/1170.24	c 1164s |      17 |   330347 |   291732 |     8869     74 |        0 |        0
1172.07/1172.49	c 1167s |      17 |   330916 |   292232 |     8869     74 |        0 |        0
1174.07/1174.49	c 1169s |      17 |   331357 |   292632 |     8869     74 |        0 |        0
1176.17/1176.57	c 1171s |      17 |   331843 |   293032 |     8869     74 |        0 |        0
1178.56/1178.92	c 1173s |      17 |   332402 |   293532 |     9756     74 |        0 |        0
1180.86/1181.28	c 1175s |      17 |   333085 |   294132 |     9756     74 |        0 |        0
1182.96/1183.34	c 1177s |      17 |   333526 |   294532 |     9756     74 |        0 |        0
1185.36/1185.76	c 1180s |      17 |   334108 |   295032 |     9756     74 |        0 |        0
1187.56/1187.92	c 1182s |      17 |   334562 |   295432 |     9756     74 |        0 |        0
1189.97/1190.37	c 1184s |      17 |   335133 |   295932 |     9756     74 |        0 |        0
1191.96/1192.34	c 1186s |      18 |   335518 |   296252 |     9756     75 |        0 |        0
1194.16/1194.55	c 1189s |      18 |   336136 |   296752 |     9756     75 |        0 |        0
1196.57/1196.95	c 1191s |      18 |   336719 |   297252 |     9756     75 |        0 |        0
1198.77/1199.14	c 1193s |      18 |   337256 |   297752 |     9756     75 |        0 |        0
1201.06/1201.40	c 1195s |      18 |   337830 |   298252 |     9756     75 |        0 |        0
1203.36/1203.70	c 1198s |      18 |   338398 |   298752 |     9756     75 |        0 |        0
1205.36/1205.76	c 1200s |      18 |   338984 |   299252 |     9756     75 |        0 |        0
1207.46/1207.83	c 1202s |      18 |   339640 |   299852 |     9756     75 |        0 |        0
1209.46/1209.85	c 1204s |      18 |   340202 |   300352 |     9756     75 |        0 |        0
1211.66/1212.00	c 1206s |      18 |   340834 |   300952 |     9756     75 |        0 |        0
1214.06/1214.45	c 1208s |      18 |   341401 |   301452 |     9756     76 |        0 |        0
1216.46/1216.81	c 1211s |      18 |   341962 |   301952 |     9756     76 |        0 |        0
1218.46/1218.82	c 1213s |      18 |   342398 |   302352 |     9756     76 |        0 |        0
1220.45/1220.87	c 1215s |      18 |   342844 |   302752 |     9756     76 |        0 |        0
1222.75/1223.16	c 1217s |      18 |   343285 |   303152 |     9756     76 |        0 |        0
1225.06/1225.42	c 1219s |      18 |   343911 |   303652 |     9756     76 |        0 |        0
1227.15/1227.59	c 1222s |      18 |   344515 |   304152 |     9756     76 |        0 |        0
1229.46/1229.88	c 1224s |      18 |   345076 |   304652 |     9756     76 |        0 |        0
1231.66/1232.09	c 1226s |      18 |   345629 |   305152 |     9756     76 |        0 |        0
1233.75/1234.19	c 1228s |      18 |   346190 |   305652 |     9756     76 |        0 |        0
1235.95/1236.35	c 1230s |      18 |   346738 |   306152 |     9756     76 |        0 |        0
1238.05/1238.45	c 1232s |      18 |   347292 |   306652 |     9756     77 |        0 |        0
1240.25/1240.63	c 1235s |      18 |   347975 |   307252 |     9756     77 |        0 |        0
1242.55/1242.95	c 1237s |      18 |   348639 |   307852 |     9756     77 |        0 |        0
1244.86/1245.24	c 1239s |      18 |   349313 |   308452 |     9756     77 |        0 |        0
1246.95/1247.35	c 1241s |      18 |   349990 |   309052 |     9756     77 |        0 |        0
1249.15/1249.53	c 1244s |      18 |   350666 |   309652 |     9756     77 |        0 |        0
1251.56/1251.94	c 1246s |      18 |   351324 |   310252 |     9756     77 |        0 |        0
1253.65/1254.10	c 1248s |      18 |   351870 |   310752 |     9756     77 |        0 |        0
1256.15/1256.52	c 1251s |      18 |   352559 |   311352 |     9756     77 |        0 |        0
1258.55/1258.90	c 1253s |      18 |   353126 |   311852 |     9756     78 |        0 |        0
1260.55/1260.99	c 1255s |      18 |   353696 |   312352 |     9756     78 |        0 |        0
1262.95/1263.37	c 1257s |      18 |   354251 |   312852 |     9756     78 |        0 |        0
1265.15/1265.52	c 1260s |      18 |   354811 |   313352 |     9756     78 |        0 |        0
1267.45/1267.83	c 1262s |      18 |   355484 |   313952 |     9756     78 |        0 |        0
1269.75/1270.15	c 1264s |      18 |   356140 |   314552 |     9756     78 |        0 |        0
1272.14/1272.53	c 1267s |      18 |   356823 |   315152 |     9756     78 |        0 |        0
1274.14/1274.55	c 1269s |      18 |   357500 |   315752 |     9756     78 |        0 |        0
1276.54/1276.94	c 1271s |      18 |   358292 |   316452 |     9756     78 |        0 |        0
1278.84/1279.28	c 1273s |      18 |   359003 |   317052 |     9756     79 |        0 |        0
1281.04/1281.48	c 1276s |      18 |   359652 |   317652 |     9756     79 |        0 |        0
1283.35/1283.76	c 1278s |      18 |   360310 |   318252 |     9756     79 |        0 |        0
1285.74/1286.12	c 1280s |      18 |   360989 |   318852 |     9756     79 |        0 |        0
1287.94/1288.34	c 1282s |      18 |   361549 |   319352 |     9756     79 |        0 |        0
1290.14/1290.52	c 1285s |      18 |   362249 |   319952 |     9756     79 |        0 |        0
1292.25/1292.62	c 1287s |      18 |   363036 |   320652 |     9756     79 |        0 |        0
1294.54/1294.90	c 1289s |      18 |   363791 |   321352 |     9756     79 |        0 |        0
1296.84/1297.25	c 1291s |      18 |   364342 |   321852 |     9756     80 |        0 |        0
1299.04/1299.43	c 1293s |      18 |   364894 |   322352 |     9756     80 |        0 |        0
1301.34/1301.74	c 1296s |      18 |   365594 |   322952 |     9756     80 |        0 |        0
1303.64/1304.03	c 1298s |      18 |   366147 |   323452 |     9756     80 |        0 |        0
1305.64/1306.08	c 1300s |      18 |   366603 |   323852 |     9756     80 |        0 |        0
1307.84/1308.21	c 1302s |      18 |   367157 |   324352 |     9756     80 |        0 |        0
1310.04/1310.42	c 1304s |      18 |   367734 |   324852 |     9756     80 |        0 |        0
1312.34/1312.71	c 1307s |      18 |   368430 |   325452 |     9756     80 |        0 |        0
1314.34/1314.78	c 1309s |      18 |   368954 |   325952 |     9756     80 |        0 |        0
1316.74/1317.12	c 1311s |      18 |   369588 |   326552 |     9756     80 |        0 |        0
1319.04/1319.49	c 1314s |      18 |   370257 |   327152 |     9756     81 |        0 |        0
1321.24/1321.62	c 1316s |      18 |   370904 |   327752 |     9756     81 |        0 |        0
1323.33/1323.76	c 1318s |      18 |   371565 |   328352 |     9756     81 |        0 |        0
1325.43/1325.89	c 1320s |      18 |   372324 |   329052 |     9756     81 |        0 |        0
1327.54/1327.92	c 1322s |      18 |   373053 |   329752 |     9756     81 |        0 |        0
1329.94/1330.37	c 1324s |      18 |   373808 |   330452 |     9756     81 |        0 |        0
1332.34/1332.73	c 1327s |      18 |   374504 |   331052 |     9756     81 |        0 |        0
1334.54/1334.94	c 1329s |      18 |   375075 |   331552 |     9756     82 |        0 |        0
1336.84/1337.22	c 1331s |      18 |   375789 |   332152 |     9756     82 |        0 |        0
1339.14/1339.58	c 1334s |      18 |   376479 |   332752 |     9756     82 |        0 |        0
1341.44/1341.88	c 1336s |      18 |   377151 |   333352 |     9756     82 |        0 |        0
1343.54/1343.96	c 1338s |      18 |   377850 |   333952 |     9756     82 |        0 |        0
1345.74/1346.17	c 1340s |      18 |   378425 |   334452 |     9756     82 |        0 |        0
1347.74/1348.18	c 1342s |      18 |   379022 |   334952 |     9756     82 |        0 |        0
1350.24/1350.67	c 1345s |      18 |   379562 |   335452 |     9756     82 |        0 |        0
1352.54/1352.95	c 1347s |      18 |   379991 |   335852 |     9756     82 |        0 |        0
1354.95/1355.32	c 1349s |      18 |   380414 |   336252 |     9756     82 |        0 |        0
1357.44/1357.80	c 1352s |      18 |   380994 |   336752 |     9756     83 |        0 |        0
1359.44/1359.87	c 1354s |      18 |   381479 |   337152 |     9756     83 |        0 |        0
1361.64/1362.09	c 1356s |      18 |   382068 |   337652 |     9756     83 |        0 |        0
1364.04/1364.44	c 1358s |      18 |   382622 |   338152 |     9756     83 |        0 |        0
1366.04/1366.48	c 1361s |      18 |   383080 |   338552 |     9756     83 |        0 |        0
1368.34/1368.80	c 1363s |      18 |   383655 |   339052 |     9756     83 |        0 |        0
1370.44/1370.89	c 1365s |      18 |   384108 |   339452 |     9756     83 |        0 |        0
1372.54/1372.95	c 1367s |      18 |   384681 |   339952 |     9756     83 |        0 |        0
1375.04/1375.48	c 1370s |      18 |   385256 |   340452 |     9756     83 |        0 |        0
1377.24/1377.60	c 1372s |      18 |   385699 |   340852 |     9756     83 |        0 |        0
1379.34/1379.72	c 1374s |      18 |   386167 |   341252 |     9756     83 |        0 |        0
1381.34/1381.75	c 1376s |      18 |   386600 |   341652 |     9756     84 |        0 |        0
1383.54/1383.92	c 1378s |      18 |   387051 |   342052 |     9756     84 |        0 |        0
1385.53/1385.94	c 1380s |      18 |   387500 |   342452 |     9756     84 |        0 |        0
1387.84/1388.26	c 1382s |      18 |   388047 |   342952 |     9756     84 |        0 |        0
1389.93/1390.36	c 1384s |      18 |   388606 |   343452 |     9756     84 |        0 |        0
1392.24/1392.70	c 1387s |      18 |   389264 |   344052 |     9756     84 |        0 |        0
1394.63/1395.03	c 1389s |      18 |   389822 |   344552 |     9756     84 |        0 |        0
1397.13/1397.52	c 1392s |      18 |   390383 |   345052 |     9756     84 |        0 |        0
1399.33/1399.75	c 1394s |      18 |   390818 |   345452 |     9756     84 |        0 |        0
1401.93/1402.32	c 1396s |      18 |   391380 |   345952 |     9756     84 |        0 |        0
1404.03/1404.49	c 1399s |      18 |   391831 |   346352 |     9756     84 |        0 |        0
1406.23/1406.65	c 1401s |      18 |   392271 |   346752 |     9756     85 |        0 |        0
1408.33/1408.73	c 1403s |      18 |   392728 |   347152 |     9756     85 |        0 |        0
1410.83/1411.23	c 1405s |      18 |   393306 |   347652 |     9756     85 |        0 |        0
1412.93/1413.32	c 1407s |      18 |   393739 |   348052 |     9756     85 |        0 |        0
1415.03/1415.44	c 1409s |      18 |   394181 |   348452 |     9756     85 |        0 |        0
1417.33/1417.75	c 1412s |      18 |   394744 |   348952 |     9756     85 |        0 |        0
1419.43/1419.87	c 1414s |      18 |   395192 |   349352 |     9756     85 |        0 |        0
1421.53/1421.97	c 1416s |      18 |   395647 |   349752 |     9756     85 |        0 |        0
1423.73/1424.16	c 1418s |      18 |   396080 |   350152 |     9756     85 |        0 |        0
1425.73/1426.16	c 1420s |      18 |   396529 |   350552 |     9756     85 |        0 |        0
1428.03/1428.44	c 1422s |      18 |   397061 |   351052 |     9756     85 |        0 |        0
1430.03/1430.48	c 1425s |      18 |   397634 |   351552 |     9756     85 |        0 |        0
1432.03/1432.49	c 1427s |      18 |   398193 |   352052 |     9756     86 |        0 |        0
1434.63/1435.00	c 1429s |      18 |   398864 |   352652 |     9756     86 |        0 |        0
1436.93/1437.30	c 1431s |      18 |   399538 |   353252 |     9756     86 |        0 |        0
1439.23/1439.62	c 1434s |      18 |   400098 |   353752 |     9756     86 |        0 |        0
1441.43/1441.81	c 1436s |      18 |   400643 |   354252 |     9756     86 |        0 |        0
1443.53/1443.99	c 1438s |      18 |   401190 |   354752 |     9756     86 |        0 |        0
1445.93/1446.37	c 1440s |      18 |   401733 |   355252 |     9756     86 |        0 |        0
1448.22/1448.64	c 1443s |      18 |   402181 |   355652 |     9756     86 |        0 |        0
1450.63/1451.04	c 1445s |      18 |   402924 |   356252 |     9756     86 |        0 |        0
1452.83/1453.24	c 1447s |      18 |   403498 |   356752 |     9756     86 |        0 |        0
1455.03/1455.44	c 1449s |      18 |   404094 |   357252 |     9756     87 |        0 |        0
1457.23/1457.65	c 1452s |      18 |   404656 |   357752 |     9756     87 |        0 |        0
1459.33/1459.76	c 1454s |      18 |   405219 |   358252 |     9756     87 |        0 |        0
1461.53/1461.93	c 1456s |      18 |   405917 |   358852 |     9756     87 |        0 |        0
1463.73/1464.20	c 1458s |      18 |   406552 |   359452 |     9756     87 |        0 |        0
1465.82/1466.26	c 1460s |      18 |   407077 |   359952 |     9756     87 |        0 |        0
1467.82/1468.27	c 1462s |      18 |   407613 |   360452 |     9756     87 |        0 |        0
1470.02/1470.47	c 1465s |      18 |   408169 |   360952 |     9756     87 |        0 |        0
1472.12/1472.58	c 1467s |      18 |   408734 |   361452 |     9756     87 |        0 |        0
1474.42/1474.80	c 1469s |      18 |   409301 |   361952 |     9756     87 |        0 |        0
1476.62/1477.01	c 1471s |      18 |   409858 |   362452 |     9756     88 |        0 |        0
1478.72/1479.13	c 1473s |      18 |   410537 |   363052 |     9756     88 |        0 |        0
1480.92/1481.30	c 1475s |      18 |   411055 |   363552 |     9756     88 |        0 |        0
1483.12/1483.51	c 1478s |      18 |   411598 |   364052 |     9756     88 |        0 |        0
1485.12/1485.55	c 1480s |      18 |   412153 |   364552 |     9756     88 |        0 |        0
1487.42/1487.85	c 1482s |      18 |   412808 |   365152 |     9756     88 |        0 |        0
1489.82/1490.22	c 1484s |      18 |   413465 |   365752 |     9756     88 |        0 |        0
1492.22/1492.68	c 1487s |      18 |   414162 |   366352 |     9756     88 |        0 |        0
1494.62/1495.02	c 1489s |      18 |   414855 |   366952 |     9756     88 |        0 |        0
1497.12/1497.57	c 1492s |      18 |   415374 |   367452 |     9756     89 |        0 |        0
1499.52/1499.97	c 1494s |      18 |   416044 |   368052 |     9756     89 |        0 |        0
1501.72/1502.14	c 1496s |      18 |   416628 |   368552 |     9756     89 |        0 |        0
1503.72/1504.19	c 1498s |      18 |   417168 |   369052 |     9756     89 |        0 |        0
1506.02/1506.46	c 1501s |      18 |   417835 |   369652 |     9756     89 |        0 |        0
1508.31/1508.78	c 1503s |      18 |   418499 |   370252 |     9756     89 |        0 |        0
1510.61/1511.07	c 1505s |      18 |   419166 |   370852 |     9756     89 |        0 |        0
1512.81/1513.25	c 1507s |      18 |   419733 |   371352 |     9756     89 |        0 |        0
1514.81/1515.28	c 1509s |      18 |   420293 |   371852 |     9756     89 |        0 |        0
1517.11/1517.53	c 1512s |      18 |   420839 |   372352 |     9756     90 |        0 |        0
1519.21/1519.64	c 1514s |      18 |   421388 |   372852 |     9756     90 |        0 |        0
1521.51/1521.98	c 1516s |      18 |   422052 |   373452 |     9756     90 |        0 |        0
1523.91/1524.33	c 1518s |      18 |   422581 |   373952 |     9756     90 |        0 |        0
1526.31/1526.70	c 1521s |      18 |   423159 |   374452 |     9756     90 |        0 |        0
1528.41/1528.87	c 1523s |      18 |   423591 |   374852 |     9756     90 |        0 |        0
1530.61/1531.00	c 1525s |      18 |   424052 |   375252 |     9756     90 |        0 |        0
1533.02/1533.42	c 1527s |      18 |   424635 |   375752 |     9756     90 |        0 |        0
1535.51/1535.92	c 1530s |      18 |   425161 |   376252 |     9756     90 |        0 |        0
1537.61/1538.04	c 1532s |      18 |   425717 |   376752 |     9756     90 |        0 |        0
1540.01/1540.48	c 1535s |      18 |   426285 |   377252 |     9756     91 |        0 |        0
1542.21/1542.61	c 1537s |      18 |   426978 |   377852 |     9756     91 |        0 |        0
1544.41/1544.82	c 1539s |      18 |   427685 |   378452 |     9756     91 |        0 |        0
1546.51/1546.96	c 1541s |      18 |   428255 |   378952 |     9756     91 |        0 |        0
1548.91/1549.37	c 1543s |      18 |   428928 |   379552 |     9756     91 |        0 |        0
1551.11/1551.52	c 1546s |      18 |   429704 |   380252 |     9756     91 |        0 |        0
1553.21/1553.65	c 1548s |      18 |   430452 |   380952 |     9756     91 |        0 |        0
1555.31/1555.71	c 1550s |      18 |   431218 |   381652 |     9756     91 |        0 |        0
1557.41/1557.85	c 1552s |      18 |   431979 |   382352 |     9756     92 |        0 |        0
1559.51/1559.90	c 1554s |      18 |   432650 |   382952 |     9756     92 |        0 |        0
1561.61/1562.08	c 1556s |      18 |   433325 |   383552 |     9756     92 |        0 |        0
1564.11/1564.52	c 1559s |      18 |   434080 |   384152 |     9756     92 |        0 |        0
1566.41/1566.80	c 1561s |      18 |   434786 |   384752 |     9756     92 |        0 |        0
1568.51/1568.90	c 1563s |      18 |   435349 |   385252 |     9756     92 |        0 |        0
1570.91/1571.36	c 1565s |      18 |   435923 |   385752 |     9756     92 |        0 |        0
1573.00/1573.46	c 1568s |      18 |   436505 |   386252 |     9756     92 |        0 |        0
1575.00/1575.46	c 1570s |      18 |   437081 |   386752 |     9756     92 |        0 |        0
1577.30/1577.75	c 1572s |      18 |   437624 |   387252 |     9756     93 |        0 |        0
1579.70/1580.12	c 1574s |      18 |   438329 |   387852 |     9756     93 |        0 |        0
1581.70/1582.14	c 1576s |      18 |   438925 |   388352 |     9756     93 |        0 |        0
1583.90/1584.34	c 1578s |      18 |   439588 |   388952 |     9756     93 |        0 |        0
1586.10/1586.59	c 1581s |      18 |   440264 |   389552 |     9756     93 |        0 |        0
1588.30/1588.75	c 1583s |      18 |   440797 |   390052 |     9756     93 |        0 |        0
1590.40/1590.86	c 1585s |      18 |   441477 |   390652 |     9756     93 |        0 |        0
1592.70/1593.16	c 1587s |      18 |   442119 |   391252 |     9756     93 |        0 |        0
1594.80/1595.25	c 1589s |      18 |   442661 |   391752 |     9756     93 |        0 |        0
1597.10/1597.56	c 1592s |      18 |   443336 |   392352 |     9756     94 |        0 |        0
1599.20/1599.65	c 1594s |      18 |   443890 |   392852 |     9756     94 |        0 |        0
1601.50/1601.92	c 1596s |      18 |   444557 |   393452 |     9756     94 |        0 |        0
1603.80/1604.22	c 1598s |      18 |   445231 |   394052 |     9756     94 |        0 |        0
1606.00/1606.47	c 1601s |      18 |   445774 |   394552 |     9756     94 |        0 |        0
1608.50/1608.92	c 1603s |      18 |   446336 |   395052 |     9756     94 |        0 |        0
1610.60/1611.04	c 1605s |      18 |   446904 |   395552 |     9756     94 |        0 |        0
1613.00/1613.40	c 1607s |      18 |   447456 |   396052 |     9756     94 |        0 |        0
1615.10/1615.52	c 1610s |      18 |   447983 |   396552 |     9756     94 |        0 |        0
1617.30/1617.77	c 1612s |      18 |   448566 |   397052 |     9756     94 |        0 |        0
1619.40/1619.84	c 1614s |      18 |   449013 |   397452 |     9756     94 |        0 |        0
1621.60/1622.00	c 1616s |      18 |   449565 |   397952 |     9756     95 |        0 |        0
1623.80/1624.29	c 1618s |      18 |   450158 |   398452 |     9756     95 |        0 |        0
1625.90/1626.40	c 1620s |      18 |   450700 |   398952 |     9756     95 |        0 |        0
1628.00/1628.43	c 1622s |      18 |   451249 |   399452 |     9756     95 |        0 |        0
1630.10/1630.59	c 1625s |      18 |   451906 |   400052 |     9756     95 |        0 |        0
1632.19/1632.61	c 1627s |      18 |   452478 |   400552 |     9756     95 |        0 |        0
1634.20/1634.65	c 1629s |      18 |   452908 |   400952 |     9756     95 |        0 |        0
1636.29/1636.77	c 1631s |      18 |   453383 |   401352 |     9756     95 |        0 |        0
1638.60/1639.02	c 1633s |      18 |   453928 |   401852 |     9756     95 |        0 |        0
1640.69/1641.17	c 1635s |      18 |   454614 |   402452 |     9756     95 |        0 |        0
1642.89/1643.34	c 1637s |      18 |   455178 |   402952 |     9756     96 |        0 |        0
1644.99/1645.42	c 1639s |      18 |   455737 |   403452 |     9756     96 |        0 |        0
1647.09/1647.55	c 1642s |      18 |   456276 |   403952 |     9756     96 |        0 |        0
1649.29/1649.78	c 1644s |      18 |   456811 |   404452 |     9756     96 |        0 |        0
1651.80/1652.25	c 1646s |      18 |   457379 |   404952 |     9756     96 |        0 |        0
1654.10/1654.55	c 1649s |      18 |   457964 |   405452 |     9756     96 |        0 |        0
1656.30/1656.71	c 1651s |      18 |   458555 |   405952 |     9756     96 |        0 |        0
1658.29/1658.76	c 1653s |      18 |   459001 |   406352 |     9756     96 |        0 |        0
1660.29/1660.78	c 1655s |      18 |   459550 |   406852 |     9756     96 |        0 |        0
1662.80/1663.22	c 1657s |      18 |   460208 |   407452 |     9756     96 |        0 |        0
1665.00/1665.46	c 1659s |      18 |   460739 |   407952 |     9756     97 |        0 |        0
1667.20/1667.63	c 1662s |      18 |   461285 |   408452 |     9756     97 |        0 |        0
1669.40/1669.82	c 1664s |      18 |   461935 |   409052 |     9756     97 |        0 |        0
1671.89/1672.31	c 1666s |      18 |   462592 |   409652 |     9756     97 |        0 |        0
1673.99/1674.46	c 1668s |      18 |   463019 |   410052 |     9756     97 |        0 |        0
1676.29/1676.75	c 1671s |      18 |   463553 |   410552 |     9756     97 |        0 |        0
1678.49/1678.99	c 1673s |      18 |   464214 |   411152 |     9756     97 |        0 |        0
1680.59/1681.06	c 1675s |      18 |   464808 |   411652 |     9756     97 |        0 |        0
1682.79/1683.21	c 1677s |      18 |   465369 |   412152 |     9756     97 |        0 |        0
1684.89/1685.31	c 1679s |      18 |   465793 |   412552 |     9756     97 |        0 |        0
1687.19/1687.64	c 1682s |      18 |   466325 |   413052 |     9756     98 |        0 |        0
1689.39/1689.80	c 1684s |      18 |   467025 |   413652 |     9756     98 |        0 |        0
1691.59/1692.03	c 1686s |      18 |   467673 |   414252 |     9756     98 |        0 |        0
1693.69/1694.12	c 1688s |      18 |   468238 |   414752 |     9756     98 |        0 |        0
1695.79/1696.21	c 1690s |      18 |   468778 |   415252 |     9756     98 |        0 |        0
1697.99/1698.43	c 1692s |      18 |   469337 |   415752 |     9756     98 |        0 |        0
1699.98/1700.44	c 1694s |      18 |   469924 |   416252 |     9756     98 |        0 |        0
1702.39/1702.85	c 1697s |      18 |   470475 |   416752 |     9756     98 |        0 |        0
1704.69/1705.16	c 1699s |      18 |   471045 |   417252 |     9756     98 |        0 |        0
1707.08/1707.56	c 1702s |      18 |   471726 |   417852 |     9756     98 |        0 |        0
1709.38/1709.83	c 1704s |      18 |   472403 |   418452 |     9756     99 |        0 |        0
1711.38/1711.84	c 1706s |      18 |   472945 |   418952 |     9756     99 |        0 |        0
1713.49/1713.95	c 1708s |      18 |   473489 |   419452 |     9756     99 |        0 |        0
1715.48/1715.96	c 1710s |      18 |   474046 |   419952 |     9756     99 |        0 |        0
1717.79/1718.20	c 1712s |      18 |   474583 |   420452 |     9756     99 |        0 |        0
1719.99/1720.46	c 1715s |      18 |   475105 |   420952 |     9756     99 |        0 |        0
1722.29/1722.75	c 1717s |      18 |   475649 |   421452 |     9756     99 |        0 |        0
1724.58/1725.01	c 1719s |      18 |   476204 |   421952 |     9756     99 |        0 |        0
1726.69/1727.15	c 1721s |      18 |   476744 |   422452 |     9756     99 |        0 |        0
1728.89/1729.36	c 1723s |      18 |   477313 |   422952 |     9756     99 |        0 |        0
1730.88/1731.38	c 1725s |      18 |   477857 |   423452 |     9756    100 |        0 |        0
1733.38/1733.81	c 1728s |      18 |   478536 |   424052 |     9756    100 |        0 |        0
1735.49/1735.98	c 1730s |      18 |   479247 |   424652 |     9756    100 |        0 |        0
1737.98/1738.43	c 1732s |      18 |   479935 |   425252 |     9756    100 |        0 |        0
1740.38/1740.82	c 1735s |      18 |   480596 |   425852 |     9756    100 |        0 |        0
1742.38/1742.87	c 1737s |      18 |   481152 |   426352 |     9756    100 |        0 |        0
1744.68/1745.17	c 1739s |      18 |   481808 |   426952 |     9756    100 |        0 |        0
1746.98/1747.47	c 1742s |      18 |   482455 |   427552 |     9756    100 |        0 |        0
1749.28/1749.78	c 1744s |      18 |   483000 |   428052 |     9756    101 |        0 |        0
1751.48/1751.93	c 1746s |      18 |   483545 |   428552 |     9756    101 |        0 |        0
1753.48/1753.93	c 1748s |      18 |   484191 |   429152 |     9756    101 |        0 |        0
1755.58/1756.00	c 1750s |      18 |   484725 |   429652 |     9756    101 |        0 |        0
1757.68/1758.15	c 1752s |      18 |   485402 |   430252 |     9756    101 |        0 |        0
1759.88/1760.32	c 1754s |      18 |   486080 |   430852 |     9756    101 |        0 |        0
1762.08/1762.57	c 1757s |      18 |   486746 |   431452 |     9756    101 |        0 |        0
1764.17/1764.67	c 1759s |      18 |   487326 |   431952 |     9756    101 |        0 |        0
1766.68/1767.15	c 1761s |      18 |   487867 |   432452 |     9756    101 |        0 |        0
1768.77/1769.26	c 1763s |      18 |   488290 |   432852 |     9756    101 |        0 |        0
1770.97/1771.47	c 1766s |      18 |   488832 |   433352 |     9756    102 |        0 |        0
1773.17/1773.62	c 1768s |      18 |   489402 |   433852 |     9756    102 |        0 |        0
1775.27/1775.75	c 1770s |      18 |   490074 |   434452 |     9756    102 |        0 |        0
1777.37/1777.84	c 1772s |      18 |   490749 |   435052 |     9756    102 |        0 |        0
1779.48/1780.00	c 1774s |      18 |   491321 |   435552 |     9756    102 |        0 |        0
1781.87/1782.35	c 1776s |      18 |   491985 |   436152 |     9756    102 |        0 |        0
1784.17/1784.68	c 1779s |      18 |   492646 |   436752 |     9756    102 |        0 |        0
1786.47/1786.96	c 1781s |      18 |   493324 |   437352 |     9756    102 |        0 |        0
1788.57/1789.08	c 1783s |      18 |   493872 |   437852 |     9756    102 |        0 |        0
1791.07/1791.56	c 1786s |      18 |   494427 |   438352 |     9756    103 |        0 |        0
1793.37/1793.83	c 1788s |      18 |   495190 |   439052 |     9756    103 |        0 |        0
1795.77/1796.24	c 1790s |      18 |   495851 |   439652 |     9756    103 |        0 |        0
1797.97/1798.47	c 1793s |      18 |   496392 |   440152 |     9756    103 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079674-1465241933/watcher-4079674-1465241933 -o /tmp/evaluation-result-4079674-1465241933/solver-4079674-1465241933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079674-1465241933.opb 

pid=5498
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.32 2.10 2.02 2/174 5501
/proc/meminfo: memFree=31434604/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=540092 CPUtime=0 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 1984 0 0 0 0 0 0 0 20 0 4 0 106128307 553054208 1834 33554432000 4194304 16246674 140736704001376 140736704000800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5501/statm: 135535 1844 441 2943 0 132429 0
[pid=5501/tid=5502] ppid=5498 vsize=556476 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 569831424 1899 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=560572 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 574025728 1916 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=564668 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106128308 578220032 1932 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100199 s]
/proc/loadavg: 2.32 2.10 2.02 2/174 5501
/proc/meminfo: memFree=31434604/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 30025 0 0 0 5 4 0 0 20 0 4 0 106128307 1249447936 29812 33554432000 4194304 16246674 140736704001376 140736704000688 8058796 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5501/statm: 305041 29826 800 2943 0 301935 0
[pid=5501/tid=5502] ppid=5498 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1249447936 29837 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1249447936 29848 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1249447936 29859 33554432000 4194304 16246674 140736704001376 140091178601648 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) 1220164

[startup+0.200461 s]
/proc/loadavg: 2.32 2.10 2.02 2/174 5501
/proc/meminfo: memFree=31434604/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1306180 CPUtime=0.19 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 51942 0 0 0 12 7 0 0 20 0 4 0 106128307 1337528320 52240 33554432000 4194304 16246674 140736704001376 140736704000688 4223718 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5501/statm: 326545 52243 800 2943 0 323439 0
[pid=5501/tid=5502] ppid=5498 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1337528320 52246 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1337528320 52248 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1337528320 52250 33554432000 4194304 16246674 140736704001376 140091178601648 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) 1306180

[startup+0.300473 s]
/proc/loadavg: 2.32 2.10 2.02 2/174 5501
/proc/meminfo: memFree=31434604/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 54120 0 0 0 21 7 0 0 20 0 4 0 106128307 1345916928 54418 33554432000 4194304 16246674 140736704001376 140736704000688 5636772 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5501/statm: 328593 54418 833 2943 0 325487 0
[pid=5501/tid=5502] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 54418 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 54418 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 54418 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700385 s]
/proc/loadavg: 2.32 2.10 2.02 2/174 5501
/proc/meminfo: memFree=31434604/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 102925 0 0 0 53 15 0 0 20 0 4 0 106128307 1345916928 103223 33554432000 4194304 16246674 140736704001376 140736703983296 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 328593 103224 883 2943 0 325487 0
[pid=5501/tid=5502] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 103224 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 103224 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 103225 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.32 2.10 2.02 3/183 5554
/proc/meminfo: memFree=30657768/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 123744 0 0 0 130 19 0 0 20 0 4 0 106128307 1345916928 124042 33554432000 4194304 16246674 140736704001376 140736703983296 5602147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 328593 124043 883 2943 0 325487 0
[pid=5501/tid=5502] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 124043 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 124044 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 124045 33554432000 4194304 16246674 140736704001376 140091178601648 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) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.32 2.10 2.02 3/183 5554
/proc/meminfo: memFree=30295216/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1314372 CPUtime=3.08 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 167550 0 0 0 283 25 0 0 20 0 4 0 106128307 1345916928 167848 33554432000 4194304 16246674 140736704001376 140736703983296 5602147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 328593 167848 883 2943 0 325487 0
[pid=5501/tid=5502] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 167849 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 167849 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1345916928 167850 33554432000 4194304 16246674 140736704001376 140091178601648 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) 1314372

[startup+6.3004 s]
/proc/loadavg: 2.29 2.10 2.02 3/183 5554
/proc/meminfo: memFree=29402720/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1331780 CPUtime=6.29 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 273470 0 0 0 589 40 0 0 20 0 4 0 106128307 1363742720 273768 33554432000 4194304 16246674 140736704001376 140736703983296 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 332945 273768 908 2943 0 329839 0
[pid=5501/tid=5502] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273768 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273768 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273768 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1331780

[startup+12.7004 s]
/proc/loadavg: 2.35 2.11 2.03 3/183 5554
/proc/meminfo: memFree=29278552/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1331780 CPUtime=12.68 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 273646 0 0 0 1228 40 0 0 20 0 4 0 106128307 1363742720 273944 33554432000 4194304 16246674 140736704001376 140736703983296 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 332945 273944 911 2943 0 329839 0
[pid=5501/tid=5502] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273944 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273944 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273944 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1331780

[startup+25.5005 s]
/proc/loadavg: 2.27 2.11 2.03 3/183 5554
/proc/meminfo: memFree=29268200/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1331780 CPUtime=25.48 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 273651 0 0 0 2508 40 0 0 20 0 4 0 106128307 1363742720 273949 33554432000 4194304 16246674 140736704001376 140736703983296 13774516 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 332945 273949 916 2943 0 329839 0
[pid=5501/tid=5502] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273949 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273949 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273949 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1331780

[startup+51.1005 s]
/proc/loadavg: 2.24 2.11 2.03 3/183 5554
/proc/meminfo: memFree=29267056/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1331780 CPUtime=51.08 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 273652 0 0 0 5068 40 0 0 20 0 4 0 106128307 1363742720 273949 33554432000 4194304 16246674 140736704001376 140736703983296 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 332945 273949 916 2943 0 329839 0
[pid=5501/tid=5502] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273949 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273949 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273949 33554432000 4194304 16246674 140736704001376 140091178601648 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) 1331780

[startup+102.301 s]
/proc/loadavg: 2.10 2.09 2.02 3/184 5558
/proc/meminfo: memFree=29266780/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1331780 CPUtime=102.27 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 273664 0 0 0 10187 40 0 0 20 0 4 0 106128307 1363742720 273951 33554432000 4194304 16246674 140736704001376 140736703983296 5600563 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 332945 273951 917 2943 0 329839 0
[pid=5501/tid=5502] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273951 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273951 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1363742720 273951 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1331780


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

/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1347140

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/184 5613
/proc/meminfo: memFree=29227548/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1361.94 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 136150 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736703983296 13966160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1347140

[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 5614
/proc/meminfo: memFree=29226972/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1421.94 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 142150 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736703983296 5600136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1347140

[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 5616
/proc/meminfo: memFree=29227172/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1481.92 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 148148 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736704000552 5601643 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1347140

[startup+1542.31 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 5617
/proc/meminfo: memFree=29226808/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1541.92 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 154148 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736703983296 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1347140

[startup+1602.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 5618
/proc/meminfo: memFree=29223364/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1601.9 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 160146 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736703983296 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1347140

[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 5619
/proc/meminfo: memFree=29223808/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1661.89 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 166145 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736703983296 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1347140

[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 5620
/proc/meminfo: memFree=29223688/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1721.88 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277742 0 0 0 172144 44 0 0 20 0 4 0 106128307 1379471360 277792 33554432000 4194304 16246674 140736704001376 140736703983296 5828996 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 277792 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 277792 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1347140

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 5622
/proc/meminfo: memFree=29222316/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1781.87 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277743 0 0 0 178143 44 0 0 20 0 4 0 106128307 1379471360 278048 33554432000 4194304 16246674 140736704001376 140736703983296 5601651 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 278048 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1347140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 5622
/proc/meminfo: memFree=29222568/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1800.07 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277743 0 0 0 179963 44 0 0 20 0 4 0 106128307 1379471360 278048 33554432000 4194304 16246674 140736704001376 140736703983296 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 278048 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1347140

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 5622
/proc/meminfo: memFree=29222568/32872528 swapFree=13600/559348
[pid=5501] ppid=5498 vsize=1347140 CPUtime=1800.07 cores=1,3,5,7
/proc/5501/stat : 5501 (toysat) R 5498 5501 1842 0 -1 4202496 277743 0 0 0 179963 44 0 0 20 0 4 0 106128307 1379471360 278048 33554432000 4194304 16246674 140736704001376 140736703983296 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5501/statm: 336785 278048 918 2943 0 333679 0
[pid=5501/tid=5502] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5502/stat : 5502 (toysat) S 5498 5501 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091199565040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5501/tid=5503] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5503/stat : 5503 (toysat) S 5498 5501 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091189075184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5501/tid=5504] ppid=5498 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5501/task/5504/stat : 5504 (toysat) S 5498 5501 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128308 1379471360 278048 33554432000 4194304 16246674 140736704001376 140091178601648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1347140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.64
CPU system time (s): 0.442932
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 1347140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.442932
maximum resident set size= 1112192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277743
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= 265
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7311 second user time and 15.8406 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 21:38:53
IDJOB=4079674
IDBENCH=2636
IDSOLVER=2542
FILE ID=node106/4079674-1465241933
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079674-1465241933/watcher-4079674-1465241933 -o /tmp/evaluation-result-4079674-1465241933/solver-4079674-1465241933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079674-1465241933.opb

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

MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb
RANDOM SEED=1968407241

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        31435528 kB
Buffers:           42008 kB
Cached:           131008 kB
SwapCached:         1852 kB
Active:            86916 kB
Inactive:          91824 kB
Active(anon):       6800 kB
Inactive(anon):     1280 kB
Active(file):      80116 kB
Inactive(file):    90544 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             17164 kB
Writeback:             0 kB
AnonPages:        467752 kB
Mapped:             7168 kB
Shmem:                 0 kB
Slab:             568068 kB
SReclaimable:      12352 kB
SUnreclaim:       555716 kB
KernelStack:        1464 kB
PageTables:         4652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     679296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    450560 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= 71708 MiB
End job on node106 at 2016-06-06 22:08:54