Trace number 4106742

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_1.opb
MD5SUMfdd11e948ae8a5c2828dd3ba6f1a1add
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Solver Data 

0.00/0.00	c 2016-06-18T21:06:26+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-4106742-1466276786.opb"]
0.00/0.01	c use --random-gen="2270265231 1103598851 2304604545 1507742739 322991299 574360507 1883028891 3446171217 3014539179 1424642826 3749201368 1313804786 215849089 790210484 3830940499 1664778404 690658457 3538234572 179282945 556385111 2619036758 3936596211 440439423 1040965388 1425039033 4282160354 4189672545 1746396905 3892547342 2763657338 3476302518 2584892075 4022849587 4048832282 501306103 3305559533 2807590036 4030611977 1986612124 1422116546 1420401055 3540039936 4288351861 2475232514 62261796 3745961431 2423341394 1871677159 15958091 3394968645 1000250199 2706346743 643306058 3119930500 976798556 2415051968 990350215 3886401432 192900636 267652006 821943942 2697363152 463827742 1242283975 1989298486 1891815936 2226594625 228695379 3122116967 3216002453 1033601030 1430438192 719672533 3855030014 626270913 1996749213 2526796289 2966493880 1848334184 428511777 3834378969 1977544139 3102366212 2885678984 13775821 2203966564 693780624 35357665 1909385945 343878702 880801154 1289248933 1753585852 1696477931 64732690 3160193415 1575245076 3107857955 4294198677 3695225585 3234704976 2648869419 272903773 1836292772 740117837 2957169641 2453607872 3825082085 649533971 1350246599 1687403572 1002283523 619653117 2382519083 4275790710 3677144752 649418375 1712540209 4289357829 3849788385 1250867942 1834867362 1880109693 1677846628 134808770 4290671877 2496693981 226629039 1675929782 931456534 981529677 3153829864 2898830840 3931571921 3991002732 2879770222 50748309 2094076081 370241518 3438025353 347601634 2950284490 3313844845 3441661219 14669228 987106244 567383532 1048725951 1663582684 3045795070 2342133759 443104345 1622578286 2955879380 2110971761 4000789211 3611702045 2410421174 1685742576 69765580 3589405527 3878027343 2227309751 1809811865 2951602450 3185782729 3355208017 2234653370 2602712557 1104586984 4103939373 1812787347 1001633664 1571485376 360475771 3759269536 3450572075 1820858023 3143105462 200561196 3578505345 4102395839 1798920999 3666720754 2528269040 4170739993 2936899187 2580240614 4208648026 314246124 777829575 1017078973 1364844326 2336554349 2698037887 3757376096 3023387302 2575795250 3582015217 1061617169 4031503053 2448880201 436849945 1003939827 4089693448 4190598820 773333832 2102796794 2879475173 3802362766 1237313321 3747794986 3049215368 3734241654 919117970 1729583834 3180703409 2815892224 1479547440 2321295135 450031321 45695067 3246703014 3958650545 3807553605 3852258410 494685570 3104882506 1851159221 4223506357 1761757918 2478241596 226258496 582021788 3711153422 107812602 1963454853 3644280808 72652359 4045714671 216818526 2510180026 2175702936 1391843696 2497537960 3965140302 3763856186 217453505 2232093806 1782023692 1534058538 2634667075 396875259 3587309348 1471194145 269898481 255 362436" option to reproduce the execution
0.09/0.11	c #vars 1000
0.09/0.11	c #constraints 1501
0.39/0.48	c BCD2: Hardening is enabled.
0.39/0.48	c BCD2: BiasedSearch is enabled.
0.39/0.48	c Solving starts ...
0.39/0.48	c ============================[ Search Statistics ]============================
0.39/0.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.48	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.48	c =============================================================================
0.49/0.52	c  0.0s |       0 |        0 |        0 |    11311      0 |        0 |        0
0.49/0.56	c  0.0s |       0 |      544 |        1 |    11311      0 |        0 |        0
0.49/0.56	c #cpu_time = 0.030s
0.49/0.56	c #wall_clock_time = 0.030s
0.49/0.56	c #decision = 544
0.49/0.56	c #random_decision = 0
0.49/0.56	c #conflict = 1
0.49/0.56	c #restart = 0
0.49/0.56	o -48
0.49/0.56	c BCD2: updating upper bound: 500 -> 451
0.49/0.56	c BCD2: 0 <= obj <= 451
0.49/0.56	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
0.49/0.56	c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.56	c Solving starts ...
0.49/0.56	c ============================[ Search Statistics ]============================
0.49/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.56	c =============================================================================
0.49/0.56	c  0.0s |       0 |        0 |        0 |    11311      0 |        0 |        0
0.49/0.59	c  0.0s |       0 |      277 |        2 |    11311      0 |        0 |        0
0.49/0.59	c #cpu_time = 0.026s
0.49/0.59	c #wall_clock_time = 0.026s
0.49/0.59	c #decision = 277
0.49/0.59	c #random_decision = 0
0.49/0.59	c #conflict = 2
0.49/0.59	c #restart = 0
0.49/0.59	c BCD2: found a new core of size 250: cost of the new core is >=1
0.49/0.59	c lower bound updated to -499
0.49/0.59	c BCD2: 1 <= obj <= 451
0.49/0.59	c BCD2: #cores=1, #unrelaxed=250, #relaxed=250, #hardened=0
0.49/0.59	c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.59	c Solving starts ...
0.49/0.59	c ============================[ Search Statistics ]============================
0.49/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.59	c =============================================================================
0.49/0.59	c  0.0s |       0 |        0 |        0 |    11311      0 |        0 |        0
0.59/0.65	c  0.1s |       0 |      251 |        1 |    11311      0 |        0 |        0
0.59/0.65	c #cpu_time = 0.062s
0.59/0.65	c #wall_clock_time = 0.062s
0.59/0.65	c #decision = 251
0.59/0.65	c #random_decision = 0
0.59/0.65	c #conflict = 1
0.59/0.65	c #restart = 0
0.59/0.65	c BCD2: relaxing 250 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
0.59/0.65	c lower bound updated to -498
0.59/0.66	c BCD2: 2 <= obj <= 451
0.59/0.66	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
0.59/0.66	c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.66	c  0.0s |       0 |        0 |        0 |    11311      0 |        1 |        0
0.79/0.84	c  0.2s |       1 |     6756 |      100 |    12443      0 |        1 |        1
1.20/1.22	c  0.6s |       2 |    17217 |      250 |    13688      0 |        1 |        1
3.19/3.29	c  2.6s |       3 |    32880 |      475 |    15057      0 |        1 |        1
4.99/5.06	c  4.4s |       4 |    41904 |      813 |    16563      0 |        1 |        1
7.70/7.74	c  7.1s |       4 |    48540 |     1113 |    16563      0 |        1 |        1
10.59/10.67	c 10.0s |       4 |    50295 |     1313 |    16563      0 |        1 |        1
10.69/10.75	c 10.1s |       5 |    50425 |     1320 |    18220      0 |        1 |        1
13.89/13.90	c 13.2s |       5 |    51766 |     1520 |    18220      0 |        1 |        1
17.59/17.70	c 17.0s |       5 |    52317 |     1720 |    18220      0 |        1 |        1
21.19/21.22	c 20.6s |       5 |    52836 |     1920 |    18220      0 |        1 |        1
23.39/23.46	c 22.8s |       5 |    52937 |     2020 |    18220      0 |        1 |        1
24.69/24.72	c 24.1s |       6 |    53044 |     2081 |    20042      0 |        1 |        1
26.78/26.86	c 26.2s |       6 |    53230 |     2181 |    20042      0 |        1 |        1
28.98/29.03	c 28.4s |       6 |    53329 |     2281 |    20042      0 |        1 |        1
31.18/31.23	c 30.6s |       6 |    53427 |     2381 |    20042      0 |        1 |        1
33.28/33.33	c 32.7s |       6 |    53528 |     2481 |    20042      0 |        1 |        1
35.38/35.43	c 34.8s |       6 |    53626 |     2581 |    20042      0 |        1 |        1
37.49/37.55	c 36.9s |       6 |    53729 |     2681 |    20042      0 |        1 |        1
39.59/39.64	c 39.0s |       6 |    53960 |     2781 |    20042      0 |        1 |        1
41.68/41.75	c 41.1s |       6 |    54059 |     2881 |    20042      0 |        1 |        1
43.68/43.79	c 43.1s |       6 |    54159 |     2981 |    20042      0 |        1 |        1
47.68/47.71	c 47.0s |       6 |    54357 |     3181 |    20042      0 |        1 |        1
48.49/48.52	c 47.9s |       7 |    54401 |     3223 |    22047      0 |        1 |        1
52.38/52.42	c 51.8s |       7 |    55918 |     3423 |    22047      0 |        1 |        1
54.58/54.68	c 54.0s |       7 |    56021 |     3523 |    22047      0 |        1 |        1
56.88/56.91	c 56.3s |       7 |    56121 |     3623 |    22047      0 |        1 |        1
58.98/59.08	c 58.4s |       7 |    56221 |     3723 |    22047      0 |        1 |        1
61.18/61.28	c 60.6s |       7 |    56321 |     3823 |    22047      0 |        1 |        1
63.38/63.41	c 62.7s |       7 |    56476 |     3923 |    22047      0 |        1 |        1
65.38/65.48	c 64.8s |       7 |    56575 |     4023 |    22047      0 |        1 |        1
67.38/67.49	c 66.8s |       7 |    56677 |     4123 |    22047      0 |        1 |        1
71.28/71.38	c 70.7s |       7 |    56875 |     4323 |    22047      0 |        1 |        1
74.68/74.76	c 74.1s |       7 |    58208 |     4523 |    22047      0 |        1 |        1
77.38/77.47	c 76.8s |       7 |    69913 |     4923 |    24252      0 |        1 |        1
77.68/77.71	c 77.1s |       8 |    69913 |     4936 |    24252      0 |        1 |        1
80.18/80.23	c 79.6s |       8 |    74209 |     5236 |    24252      0 |        1 |        1
82.38/82.40	c 81.7s |       8 |    75156 |     5436 |    24252      0 |        1 |        1
84.78/84.90	c 84.2s |       8 |    92664 |     5836 |    24252      0 |        1 |        1
86.98/87.01	c 86.4s |       8 |    97278 |     6036 |    24252      0 |        1 |        1
90.18/90.23	c 89.6s |       8 |    97746 |     6236 |    24252      0 |        1 |        1
93.67/93.73	c 93.1s |       8 |    98418 |     6436 |    24252      0 |        1 |        1
97.27/97.33	c 96.7s |       8 |    98615 |     6636 |    24252      0 |        1 |        1
100.87/100.99	c  100s |       8 |    98819 |     6836 |    24252      0 |        1 |        1
104.17/104.21	c  103s |       8 |    99541 |     7036 |    24252      0 |        1 |        1
106.57/106.64	c  105s |       8 |   107082 |     7336 |    24252      0 |        1 |        1
108.77/108.90	c  108s |       9 |   112423 |     7506 |    26678      0 |        1 |        1
111.47/111.58	c  110s |       9 |   125772 |     7906 |    26678      0 |        1 |        1
113.67/113.74	c  113s |       9 |   127692 |     8206 |    26678      0 |        1 |        1
116.37/116.46	c  115s |       9 |   140865 |     8806 |    26678      0 |        1 |        1
118.77/118.90	c  118s |       9 |   142947 |     9106 |    26678      0 |        1 |        1
121.47/121.54	c  120s |       9 |   145330 |     9306 |    26678      0 |        1 |        1
124.37/124.47	c  123s |       9 |   155612 |     9606 |    26678      0 |        1 |        1
128.27/128.34	c  127s |       9 |   159167 |     9806 |    26678      0 |        1 |        1
130.67/130.71	c  130s |       9 |   159267 |     9906 |    26678      0 |        1 |        1
132.87/132.96	c  132s |       9 |   159366 |    10006 |    26678      0 |        1 |        1
135.17/135.25	c  134s |       9 |   159467 |    10106 |    26678      0 |        1 |        1
137.36/137.40	c  136s |       9 |   159566 |    10206 |    26678      0 |        1 |        1
139.56/139.70	c  139s |       9 |   159669 |    10306 |    26678      0 |        1 |        1
141.87/141.92	c  141s |       9 |   159766 |    10406 |    26678      0 |        1 |        1
143.96/144.08	c  143s |       9 |   159864 |    10506 |    26678      0 |        1 |        1
146.06/146.18	c  145s |       9 |   159963 |    10606 |    26678      0 |        1 |        1
148.16/148.26	c  147s |       9 |   160063 |    10706 |    26678      0 |        1 |        1
150.36/150.44	c  149s |       9 |   160168 |    10806 |    26678      0 |        1 |        1
152.56/152.65	c  151s |       9 |   160270 |    10906 |    26678      0 |        1 |        1
154.66/154.72	c  154s |       9 |   160372 |    11006 |    26678      0 |        1 |        1
156.76/156.88	c  156s |       9 |   160465 |    11106 |    26678      0 |        1 |        1
158.86/158.93	c  158s |       9 |   160563 |    11206 |    26678      0 |        1 |        1
160.96/161.07	c  160s |       9 |   160666 |    11306 |    29346      0 |        1 |        1
162.16/162.20	c  161s |      10 |   160728 |    11361 |    29346      0 |        1 |        1
164.66/164.74	c  164s |      10 |   163896 |    11561 |    29346      0 |        1 |        1
167.06/167.13	c  166s |      10 |   170679 |    11861 |    29346      0 |        1 |        1
169.76/169.87	c  169s |      10 |   170923 |    12061 |    29346      0 |        1 |        1
173.36/173.48	c  172s |      10 |   174341 |    12261 |    29346      0 |        1 |        1
175.56/175.69	c  175s |      10 |   174661 |    12461 |    29346      0 |        1 |        1
177.66/177.77	c  177s |      10 |   174846 |    12561 |    29346      0 |        1 |        1
180.36/180.50	c  179s |      10 |   176920 |    12761 |    29346      0 |        1 |        1
182.76/182.84	c  182s |      10 |   186314 |    13161 |    29346      0 |        1 |        1
185.27/185.39	c  184s |      10 |   194159 |    13461 |    29346      0 |        1 |        1
188.17/188.28	c  187s |      10 |   195019 |    13661 |    29346      0 |        1 |        1
190.57/190.69	c  190s |      10 |   207227 |    13961 |    29346      0 |        1 |        1
193.26/193.30	c  192s |      10 |   208493 |    14261 |    29346      0 |        1 |        1
196.66/196.72	c  196s |      10 |   221602 |    14661 |    29346      0 |        1 |        1
198.66/198.73	c  198s |      10 |   232654 |    14961 |    29346      0 |        1 |        1
201.86/201.96	c  201s |      10 |   233042 |    15161 |    29346      0 |        1 |        1
204.26/204.31	c  203s |      10 |   242712 |    15461 |    29346      0 |        1 |        1
206.87/206.97	c  206s |      10 |   243812 |    15661 |    29346      0 |        1 |        1
209.26/209.35	c  208s |      10 |   257512 |    15861 |    29346      0 |        1 |        1
211.46/211.56	c  210s |      10 |   258359 |    16061 |    29346      0 |        1 |        1
213.76/213.81	c  213s |      10 |   266675 |    16261 |    29346      0 |        1 |        1
216.26/216.36	c  215s |      10 |   267675 |    16461 |    29346      0 |        1 |        1
218.56/218.66	c  218s |      10 |   281947 |    16861 |    29346      0 |        1 |        1
220.96/221.09	c  220s |      10 |   283903 |    17061 |    32281      0 |        1 |        1
222.06/222.13	c  221s |      11 |   284022 |    17144 |    32281      0 |        1 |        1
224.76/224.89	c  224s |      11 |   292779 |    17444 |    32281      0 |        1 |        1
227.86/227.99	c  227s |      11 |   293542 |    17644 |    32281      0 |        1 |        1
231.16/231.22	c  230s |      11 |   300974 |    17944 |    32281      0 |        1 |        1
234.96/235.05	c  234s |      11 |   303068 |    18144 |    32281      0 |        1 |        1
238.25/238.31	c  237s |      11 |   312064 |    18444 |    32281      0 |        1 |        1
240.75/240.86	c  240s |      11 |   322066 |    18744 |    32281      0 |        1 |        1
243.25/243.37	c  242s |      11 |   327415 |    18944 |    32281      0 |        1 |        1
245.45/245.56	c  244s |      11 |   328815 |    19144 |    32281      0 |        1 |        1
249.25/249.39	c  248s |      11 |   329591 |    19344 |    32281      0 |        1 |        1
251.65/251.74	c  251s |      11 |   336332 |    19544 |    32281      0 |        1 |        1
254.35/254.45	c  253s |      11 |   336800 |    19744 |    32281      0 |        1 |        1
257.75/257.82	c  257s |      11 |   345342 |    19944 |    32281      0 |        1 |        1
259.75/259.83	c  259s |      11 |   368425 |    20244 |    32281      0 |        1 |        1
262.35/262.43	c  261s |      11 |   368559 |    20444 |    32281      0 |        1 |        1
265.35/265.43	c  264s |      11 |   382465 |    20644 |    32281      0 |        1 |        1
268.46/268.54	c  267s |      11 |   388036 |    20944 |    32281      0 |        1 |        1
270.65/270.73	c  270s |      11 |   388345 |    21044 |    32281      0 |        1 |        1
274.45/274.58	c  273s |      11 |   397258 |    21244 |    32281      0 |        1 |        1
276.75/276.83	c  276s |      11 |   397258 |    21344 |    32281      0 |        1 |        1
279.15/279.27	c  278s |      11 |   409121 |    21544 |    32281      0 |        1 |        1
282.55/282.69	c  282s |      11 |   417200 |    21844 |    32281      0 |        1 |        1
285.54/285.64	c  284s |      11 |   430589 |    22144 |    32281      0 |        1 |        1
288.54/288.64	c  287s |      11 |   439822 |    22344 |    32281      0 |        1 |        1
291.55/291.69	c  291s |      11 |   444131 |    22644 |    32281      0 |        1 |        1
294.85/294.91	c  294s |      11 |   445761 |    22844 |    32281      0 |        1 |        1
297.84/297.98	c  297s |      11 |   453090 |    23144 |    32281      0 |        1 |        1
301.04/301.14	c  300s |      11 |   459786 |    23344 |    32281      0 |        1 |        1
303.14/303.25	c  302s |      11 |   463816 |    23544 |    32281      0 |        1 |        1
306.34/306.43	c  305s |      11 |   468380 |    23744 |    32281      0 |        1 |        1
308.74/308.83	c  308s |      11 |   470859 |    23944 |    32281      0 |        1 |        1
311.44/311.59	c  310s |      11 |   471736 |    24144 |    32281      0 |        1 |        1
313.64/313.75	c  313s |      11 |   471842 |    24244 |    32281      0 |        1 |        1
315.75/315.85	c  315s |      11 |   489570 |    24544 |    32281      0 |        1 |        1
319.05/319.18	c  318s |      11 |   498251 |    24744 |    32281      0 |        1 |        1
322.94/323.07	c  322s |      11 |   504904 |    25044 |    32281      0 |        1 |        1
326.64/326.74	c  326s |      11 |   516266 |    25344 |    32281      0 |        1 |        1
330.53/330.65	c  329s |      11 |   524711 |    25644 |    32281      0 |        1 |        1
331.53/331.63	c  330s |      12 |   541645 |    25819 |    35510      0 |        1 |        1
334.13/334.28	c  333s |      12 |   544344 |    26019 |    35510      0 |        1 |        1
336.23/336.33	c  335s |      12 |   544344 |    26119 |    35510      0 |        1 |        1
338.84/338.95	c  338s |      12 |   556419 |    26419 |    35510      0 |        1 |        1
342.23/342.39	c  341s |      12 |   556825 |    26619 |    35510      0 |        1 |        1
345.53/345.62	c  344s |      12 |   568563 |    26919 |    35510      0 |        1 |        1
349.43/349.55	c  348s |      12 |   568972 |    27119 |    35510      0 |        1 |        1
352.73/352.87	c  352s |      12 |   583019 |    27419 |    35510      0 |        1 |        1
355.93/356.05	c  355s |      12 |   597034 |    27719 |    35510      0 |        1 |        1
358.03/358.11	c  357s |      12 |   597211 |    27819 |    35510      0 |        1 |        1
360.13/360.29	c  359s |      12 |   607717 |    28019 |    35510      0 |        1 |        1
362.63/362.77	c  362s |      12 |   616011 |    28219 |    35510      0 |        1 |        1
364.93/365.08	c  364s |      12 |   616493 |    28419 |    35510      0 |        1 |        1
367.73/367.83	c  367s |      12 |   624418 |    28719 |    35510      0 |        1 |        1
369.83/369.97	c  369s |      12 |   630527 |    29019 |    35510      0 |        1 |        1
371.83/371.98	c  371s |      12 |   637050 |    29319 |    35510      0 |        1 |        1
375.03/375.12	c  374s |      12 |   637408 |    29519 |    35510      0 |        1 |        1
377.83/377.94	c  377s |      12 |   640215 |    29719 |    35510      0 |        1 |        1
381.13/381.25	c  380s |      12 |   640436 |    29919 |    35510      0 |        1 |        1
385.12/385.22	c  384s |      12 |   648980 |    30219 |    35510      0 |        1 |        1
387.42/387.56	c  386s |      12 |   652999 |    30419 |    35510      0 |        1 |        1
391.12/391.30	c  390s |      12 |   656876 |    30619 |    35510      0 |        1 |        1
394.22/394.30	c  393s |      12 |   657069 |    30819 |    35510      0 |        1 |        1
396.62/396.72	c  396s |      12 |   658194 |    31119 |    35510      0 |        1 |        1
398.92/399.06	c  398s |      12 |   659314 |    31319 |    35510      0 |        1 |        1
403.42/403.51	c  402s |      12 |   659655 |    31519 |    35510      0 |        1 |        1
406.82/406.98	c  406s |      12 |   661834 |    31719 |    35510      0 |        1 |        1
410.12/410.28	c  409s |      12 |   663555 |    31919 |    35510      0 |        1 |        1
413.12/413.28	c  412s |      12 |   664975 |    32119 |    35510      0 |        1 |        1
416.62/416.72	c  416s |      12 |   666947 |    32319 |    35510      0 |        1 |        1
419.13/419.28	c  418s |      12 |   669573 |    32519 |    35510      0 |        1 |        1
421.33/421.44	c  420s |      12 |   669730 |    32619 |    35510      0 |        1 |        1
423.72/423.80	c  423s |      12 |   671882 |    32819 |    35510      0 |        1 |        1
426.02/426.15	c  425s |      12 |   671882 |    32919 |    35510      0 |        1 |        1
428.81/428.93	c  428s |      12 |   675061 |    33119 |    35510      0 |        1 |        1
431.31/431.41	c  430s |      12 |   677605 |    33319 |    35510      0 |        1 |        1
434.42/434.60	c  433s |      12 |   680302 |    33519 |    35510      0 |        1 |        1
437.11/437.27	c  436s |      12 |   685504 |    33719 |    35510      0 |        1 |        1
440.31/440.44	c  439s |      12 |   690342 |    33919 |    35510      0 |        1 |        1
442.41/442.58	c  441s |      12 |   692707 |    34019 |    35510      0 |        1 |        1
445.12/445.20	c  444s |      12 |   695344 |    34219 |    35510      0 |        1 |        1
447.52/447.61	c  446s |      12 |   701037 |    34419 |    35510      0 |        1 |        1
450.93/451.02	c  450s |      12 |   701849 |    34619 |    35510      0 |        1 |        1
454.52/454.69	c  454s |      12 |   701946 |    34819 |    35510      0 |        1 |        1
457.72/457.83	c  457s |      12 |   704781 |    35019 |    35510      0 |        1 |        1
461.92/462.02	c  461s |      12 |   706271 |    35219 |    35510      0 |        1 |        1
464.92/465.08	c  464s |      12 |   707348 |    35419 |    35510      0 |        1 |        1
468.02/468.10	c  467s |      12 |   709600 |    35619 |    35510      0 |        1 |        1
470.22/470.34	c  469s |      12 |   710602 |    35819 |    35510      0 |        1 |        1
472.62/472.73	c  472s |      12 |   711651 |    36119 |    35510      0 |        1 |        1
475.22/475.39	c  474s |      12 |   713205 |    36419 |    35510      0 |        1 |        1
477.92/478.07	c  477s |      12 |   714098 |    36619 |    35510      1 |        1 |        1
480.52/480.62	c  479s |      12 |   714313 |    36819 |    35510      1 |        1 |        1
483.41/483.51	c  482s |      12 |   714511 |    37019 |    35510      1 |        1 |        1
486.41/486.51	c  485s |      12 |   714701 |    37219 |    35510      1 |        1 |        1
489.81/489.90	c  489s |      12 |   714902 |    37419 |    35510      1 |        1 |        1
492.21/492.39	c  491s |      12 |   717485 |    37619 |    35510      1 |        1 |        1
495.11/495.20	c  494s |      12 |   723019 |    37919 |    35510      1 |        1 |        1
497.61/497.77	c  497s |      12 |   730278 |    38219 |    35510      1 |        1 |        1
500.21/500.36	c  499s |      12 |   738349 |    38519 |    35510      1 |        1 |        1
502.90/503.04	c  502s |      12 |   745959 |    38819 |    39061      1 |        1 |        1
503.00/503.11	c  502s |      13 |   746341 |    38832 |    39061      1 |        1 |        1
506.50/506.68	c  506s |      13 |   746751 |    39032 |    39061      1 |        1 |        1
509.10/509.20	c  508s |      13 |   749220 |    39232 |    39061      1 |        1 |        1
512.00/512.17	c  511s |      13 |   749751 |    39532 |    39061      1 |        1 |        1
515.09/515.26	c  514s |      13 |   750353 |    39732 |    39061      1 |        1 |        1
517.59/517.76	c  517s |      13 |   750353 |    39832 |    39061      1 |        1 |        1
520.59/520.73	c  520s |      13 |   750719 |    40032 |    39061      1 |        1 |        1
523.79/523.92	c  523s |      13 |   751749 |    40332 |    39061      1 |        1 |        1
525.99/526.18	c  525s |      13 |   752402 |    40532 |    39061      1 |        1 |        1
529.09/529.26	c  528s |      13 |   752640 |    40732 |    39061      1 |        1 |        1
532.48/532.69	c  532s |      13 |   753051 |    40932 |    39061      1 |        1 |        1
534.68/534.82	c  534s |      13 |   753516 |    41132 |    39061      1 |        1 |        1
537.79/537.99	c  537s |      13 |   755226 |    41332 |    39061      1 |        1 |        1
540.98/541.19	c  540s |      13 |   755553 |    41532 |    39061      1 |        1 |        1
543.88/544.02	c  543s |      13 |   756109 |    41832 |    39061      1 |        1 |        1
546.08/546.27	c  545s |      13 |   756174 |    41932 |    39061      1 |        1 |        1
548.48/548.64	c  547s |      13 |   756646 |    42132 |    39061      1 |        1 |        1
550.88/551.00	c  550s |      13 |   757603 |    42332 |    39061      1 |        1 |        1
553.57/553.76	c  553s |      13 |   757828 |    42532 |    39061      1 |        1 |        1
555.97/556.11	c  555s |      13 |   758125 |    42732 |    39061      1 |        1 |        1
559.37/559.52	c  558s |      13 |   758524 |    42932 |    39061      1 |        1 |        1
561.47/561.64	c  560s |      13 |   758780 |    43132 |    39061      1 |        1 |        1
563.47/563.66	c  563s |      13 |   758987 |    43332 |    39061      1 |        1 |        1
565.77/565.99	c  565s |      13 |   759463 |    43532 |    39061      1 |        1 |        1
568.57/568.79	c  568s |      13 |   761112 |    43732 |    39061      1 |        1 |        1
571.37/571.53	c  570s |      13 |   761391 |    43932 |    39061      1 |        1 |        1
573.36/573.59	c  572s |      13 |   761761 |    44132 |    39061      1 |        1 |        1
575.56/575.71	c  575s |      13 |   762237 |    44332 |    39061      1 |        1 |        1
578.06/578.28	c  577s |      13 |   762675 |    44632 |    39061      1 |        1 |        1
580.56/580.74	c  580s |      13 |   763155 |    44832 |    39061      1 |        1 |        1
582.86/583.05	c  582s |      13 |   763607 |    45032 |    39061      1 |        1 |        1
585.36/585.53	c  584s |      13 |   765888 |    45332 |    39061      1 |        1 |        1
588.25/588.49	c  587s |      13 |   767453 |    45632 |    39061      1 |        1 |        1
590.85/591.09	c  590s |      13 |   768726 |    45932 |    39061      1 |        1 |        1
593.86/594.07	c  593s |      13 |   770619 |    46232 |    39061      1 |        1 |        1
596.25/596.42	c  595s |      13 |   771685 |    46432 |    39061      1 |        1 |        1
598.55/598.74	c  598s |      13 |   772810 |    46632 |    39061      1 |        1 |        1
600.85/601.01	c  600s |      13 |   773656 |    46832 |    39061      1 |        1 |        1
603.04/603.29	c  602s |      13 |   775044 |    47032 |    39061      1 |        1 |        1
605.74/605.96	c  605s |      13 |   775444 |    47232 |    39061      1 |        1 |        1
608.74/608.99	c  608s |      13 |   775947 |    47532 |    39061      1 |        1 |        1
611.45/611.60	c  610s |      13 |   777289 |    47732 |    39061      1 |        1 |        1
614.34/614.53	c  613s |      13 |   777820 |    47932 |    39061      1 |        1 |        1
616.94/617.14	c  616s |      13 |   779110 |    48132 |    39061      1 |        1 |        1
619.84/620.05	c  619s |      13 |   779862 |    48332 |    39061      1 |        1 |        1
622.63/622.89	c  622s |      13 |   781075 |    48532 |    39061      1 |        1 |        1
625.03/625.22	c  624s |      13 |   782189 |    48732 |    39061      1 |        1 |        1
628.13/628.34	c  627s |      13 |   782752 |    48932 |    39061      1 |        1 |        1
631.73/631.92	c  631s |      13 |   783384 |    49132 |    39061      1 |        1 |        1
634.33/634.56	c  633s |      13 |   783608 |    49332 |    39061      1 |        1 |        1
636.84/637.09	c  636s |      13 |   784228 |    49532 |    39061      1 |        1 |        1
639.63/639.80	c  639s |      13 |   786296 |    49732 |    39061      1 |        1 |        1
642.43/642.65	c  641s |      13 |   787445 |    49932 |    39061      1 |        1 |        1
645.53/645.77	c  645s |      13 |   789224 |    50132 |    39061      1 |        1 |        1
648.52/648.76	c  648s |      13 |   789491 |    50332 |    39061      1 |        1 |        1
651.92/652.13	c  651s |      13 |   792318 |    50532 |    39061      1 |        1 |        1
654.43/654.68	c  654s |      13 |   792825 |    50732 |    39061      1 |        1 |        1
657.22/657.41	c  656s |      13 |   793061 |    50932 |    39061      1 |        1 |        1
659.32/659.57	c  658s |      13 |   795358 |    51132 |    39061      1 |        1 |        1
662.12/662.39	c  661s |      13 |   795568 |    51332 |    39061      1 |        1 |        1
664.22/664.43	c  663s |      13 |   795925 |    51532 |    39061      1 |        1 |        1
666.43/666.69	c  666s |      13 |   797963 |    51732 |    39061      1 |        1 |        1
669.73/669.96	c  669s |      13 |   798339 |    51932 |    39061      1 |        1 |        1
672.62/672.88	c  672s |      13 |   798680 |    52132 |    39061      1 |        1 |        1
674.92/675.15	c  674s |      13 |   800617 |    52332 |    39061      1 |        1 |        1
678.63/678.89	c  678s |      13 |   801170 |    52532 |    39061      1 |        1 |        1
680.73/680.96	c  680s |      13 |   801170 |    52632 |    39061      1 |        1 |        1
684.32/684.55	c  683s |      13 |   801953 |    52832 |    39061      1 |        1 |        1
687.22/687.46	c  686s |      13 |   802194 |    53032 |    39061      1 |        1 |        1
689.32/689.56	c  688s |      13 |   802330 |    53132 |    39061      1 |        1 |        1
693.32/693.54	c  692s |      13 |   802878 |    53332 |    39061      1 |        1 |        1
697.52/697.78	c  697s |      13 |   803071 |    53532 |    39061      1 |        1 |        1
700.91/701.18	c  700s |      13 |   803409 |    53732 |    39061      1 |        1 |        1
703.82/704.08	c  703s |      13 |   803817 |    53932 |    39061      1 |        1 |        1
707.31/707.58	c  706s |      13 |   804505 |    54132 |    39061      1 |        1 |        1
709.42/709.63	c  708s |      13 |   804505 |    54232 |    39061      1 |        1 |        1
713.61/713.89	c  713s |      13 |   805145 |    54432 |    39061      1 |        1 |        1
715.81/716.02	c  715s |      13 |   805624 |    54532 |    39061      1 |        1 |        1
718.31/718.52	c  717s |      13 |   806258 |    54632 |    39061      1 |        1 |        1
720.61/720.90	c  720s |      13 |   806258 |    54732 |    39061      1 |        1 |        1
724.11/724.35	c  723s |      13 |   806557 |    54932 |    39061      1 |        1 |        1
726.31/726.51	c  725s |      13 |   808988 |    55132 |    39061      1 |        1 |        1
728.91/729.11	c  728s |      13 |   809054 |    55232 |    39061      1 |        1 |        1
733.01/733.29	c  732s |      13 |   809761 |    55432 |    39061      1 |        1 |        1
736.61/736.83	c  736s |      13 |   810512 |    55632 |    39061      1 |        1 |        1
740.70/740.96	c  740s |      13 |   810888 |    55832 |    39061      1 |        1 |        1
742.90/743.19	c  742s |      13 |   811090 |    56032 |    39061      1 |        1 |        1
745.90/746.10	c  745s |      13 |   811406 |    56232 |    39061      1 |        1 |        1
748.10/748.36	c  747s |      13 |   811506 |    56332 |    39061      1 |        1 |        1
750.40/750.63	c  749s |      13 |   811650 |    56432 |    39061      1 |        1 |        1
752.90/753.12	c  752s |      13 |   811745 |    56532 |    39061      1 |        1 |        1
755.51/755.72	c  755s |      13 |   811838 |    56632 |    39061      1 |        1 |        1
758.00/758.24	c  757s |      13 |   811933 |    56732 |    39061      1 |        1 |        1
760.20/760.48	c  759s |      13 |   812045 |    56832 |    39061      1 |        1 |        1
762.50/762.76	c  762s |      13 |   832951 |    57032 |    39061      1 |        1 |        1
765.10/765.31	c  764s |      13 |   837342 |    57232 |    39061      1 |        1 |        1
767.30/767.51	c  766s |      13 |   837477 |    57332 |    39061      1 |        1 |        1
769.30/769.56	c  768s |      13 |   846523 |    57432 |    39061      1 |        1 |        1
771.40/771.68	c  771s |      13 |   852867 |    57632 |    39061      1 |        1 |        1
774.40/774.61	c  773s |      13 |   852978 |    57732 |    39061      2 |        1 |        1
776.69/776.98	c  776s |      13 |   856058 |    57832 |    39061      2 |        1 |        1
779.59/779.84	c  779s |      13 |   875259 |    58132 |    42968      2 |        1 |        1
782.00/782.28	c  781s |      13 |   875259 |    58232 |    42968      2 |        1 |        1
782.89/783.13	c  782s |      14 |   884813 |    58352 |    42968      2 |        1 |        1
785.20/785.43	c  784s |      14 |   887147 |    58552 |    42968      2 |        1 |        1
787.29/787.51	c  786s |      14 |   887387 |    58652 |    42968      2 |        1 |        1
789.49/789.76	c  789s |      14 |   887387 |    58752 |    42968      2 |        1 |        1
793.00/793.23	c  792s |      14 |   905828 |    59052 |    42968      2 |        1 |        1
797.49/797.76	c  797s |      14 |   920942 |    59252 |    42968      2 |        1 |        1
800.39/800.62	c  799s |      14 |   921637 |    59352 |    42968      2 |        1 |        1
802.90/803.13	c  802s |      14 |   925848 |    59652 |    42968      2 |        1 |        1
805.59/805.80	c  805s |      14 |   931669 |    59852 |    42968      2 |        1 |        1
808.99/809.21	c  808s |      14 |   939734 |    60152 |    42968      2 |        1 |        1
811.99/812.26	c  811s |      14 |   939765 |    60252 |    42968      2 |        1 |        1
814.50/814.73	c  814s |      14 |   949307 |    60452 |    42968      2 |        1 |        1
816.70/816.92	c  816s |      14 |   949588 |    60552 |    42968      2 |        1 |        1
820.50/820.73	c  820s |      14 |   959696 |    60852 |    42968      2 |        1 |        1
822.49/822.76	c  822s |      14 |   970776 |    61152 |    42968      2 |        1 |        1
824.99/825.22	c  824s |      14 |   973188 |    61352 |    42968      2 |        1 |        1
827.59/827.81	c  827s |      14 |   985119 |    61552 |    42968      2 |        1 |        1
830.59/830.80	c  830s |      14 |   985415 |    61752 |    42968      2 |        1 |        1
832.60/832.88	c  832s |      14 |   988207 |    61852 |    42968      2 |        1 |        1
836.09/836.38	c  835s |      14 |  1002140 |    62152 |    42968      2 |        1 |        1
838.19/838.45	c  837s |      14 |  1014924 |    62352 |    42968      2 |        1 |        1
841.79/842.06	c  841s |      14 |  1018462 |    62552 |    42968      2 |        1 |        1
843.89/844.15	c  843s |      14 |  1027097 |    62752 |    42968      2 |        1 |        1
846.39/846.70	c  846s |      14 |  1037582 |    62952 |    42968      2 |        1 |        1
849.49/849.73	c  849s |      14 |  1044976 |    63152 |    42968      2 |        1 |        1
852.39/852.69	c  852s |      14 |  1045226 |    63352 |    42968      2 |        1 |        1
854.69/854.91	c  854s |      14 |  1053191 |    63552 |    42968      2 |        1 |        1
858.19/858.48	c  857s |      14 |  1054435 |    63852 |    42968      2 |        1 |        1
860.79/861.04	c  860s |      14 |  1065061 |    64152 |    42968      2 |        1 |        1
865.08/865.37	c  864s |      14 |  1065195 |    64352 |    42968      2 |        1 |        1
868.08/868.37	c  867s |      14 |  1076245 |    64652 |    42968      2 |        1 |        1
870.18/870.42	c  869s |      14 |  1080449 |    64752 |    42968      2 |        1 |        1
872.78/873.00	c  872s |      14 |  1084017 |    64952 |    42968      2 |        1 |        1
875.49/875.73	c  875s |      14 |  1084069 |    65052 |    42968      2 |        1 |        1
878.18/878.47	c  877s |      14 |  1092028 |    65252 |    42968      2 |        1 |        1
880.78/881.07	c  880s |      14 |  1092943 |    65352 |    42968      2 |        1 |        1
885.29/885.51	c  884s |      14 |  1105277 |    65652 |    42968      2 |        1 |        1
887.78/888.06	c  887s |      14 |  1112655 |    65852 |    42968      2 |        1 |        1
889.88/890.11	c  889s |      14 |  1118691 |    65952 |    42968      2 |        1 |        1
892.78/893.05	c  892s |      14 |  1120812 |    66152 |    42968      2 |        1 |        1
895.88/896.12	c  895s |      14 |  1125488 |    66352 |    42968      2 |        1 |        1
898.18/898.47	c  897s |      14 |  1127563 |    66452 |    42968      2 |        1 |        1
900.69/900.98	c  900s |      14 |  1132149 |    66652 |    42968      2 |        1 |        1
905.08/905.32	c  904s |      14 |  1133332 |    66852 |    42968      2 |        1 |        1
907.38/907.66	c  907s |      14 |  1139210 |    67052 |    42968      2 |        1 |        1
910.88/911.18	c  910s |      14 |  1142477 |    67252 |    42968      2 |        1 |        1
913.28/913.57	c  912s |      14 |  1147521 |    67452 |    42968      2 |        1 |        1
915.77/916.10	c  915s |      14 |  1147596 |    67552 |    42968      2 |        1 |        1
918.77/919.01	c  918s |      14 |  1152446 |    67752 |    42968      2 |        1 |        1
921.37/921.60	c  920s |      14 |  1152497 |    67852 |    42968      2 |        1 |        1
925.47/925.78	c  925s |      14 |  1163540 |    68152 |    42968      2 |        1 |        1
928.07/928.34	c  927s |      14 |  1172011 |    68352 |    42968      2 |        1 |        1
930.67/930.95	c  930s |      14 |  1172525 |    68452 |    42968      2 |        1 |        1
933.37/933.66	c  933s |      14 |  1178272 |    68652 |    42968      2 |        1 |        1
936.77/937.07	c  936s |      14 |  1181070 |    68852 |    42968      2 |        1 |        1
938.87/939.17	c  938s |      14 |  1185682 |    68952 |    42968      2 |        1 |        1
942.08/942.37	c  941s |      14 |  1197763 |    69252 |    42968      2 |        1 |        1
944.18/944.41	c  943s |      14 |  1197933 |    69352 |    42968      2 |        1 |        1
946.48/946.71	c  946s |      14 |  1214087 |    69552 |    42968      2 |        1 |        1
950.28/950.57	c  949s |      14 |  1215950 |    69752 |    42968      2 |        1 |        1
952.98/953.27	c  952s |      14 |  1243058 |    70152 |    42968      2 |        1 |        1
956.88/957.10	c  956s |      14 |  1245023 |    70352 |    42968      2 |        1 |        1
960.37/960.63	c  959s |      14 |  1255218 |    70652 |    42968      2 |        1 |        1
962.67/962.98	c  962s |      14 |  1263394 |    70852 |    42968      2 |        1 |        1
964.77/965.03	c  964s |      14 |  1263394 |    70952 |    42968      2 |        1 |        1
967.78/968.09	c  967s |      14 |  1282381 |    71252 |    42968      2 |        1 |        1
970.37/970.66	c  970s |      14 |  1282636 |    71452 |    42968      2 |        1 |        1
972.87/973.13	c  972s |      14 |  1293673 |    71752 |    42968      2 |        1 |        1
975.17/975.49	c  974s |      14 |  1297284 |    71952 |    42968      2 |        1 |        1
977.97/978.21	c  977s |      14 |  1298386 |    72152 |    42968      2 |        1 |        1
981.27/981.58	c  980s |      14 |  1302043 |    72352 |    42968      2 |        1 |        1
983.57/983.83	c  983s |      14 |  1306209 |    72552 |    42968      2 |        1 |        1
985.67/985.98	c  985s |      14 |  1306298 |    72652 |    42968      2 |        1 |        1
988.17/988.49	c  987s |      14 |  1312405 |    72852 |    42968      2 |        1 |        1
991.47/991.74	c  991s |      14 |  1312630 |    73052 |    42968      2 |        1 |        1
995.07/995.38	c  994s |      14 |  1316351 |    73252 |    42968      2 |        1 |        1
997.27/997.52	c  996s |      14 |  1321815 |    73552 |    42968      2 |        1 |        1
1000.97/1001.25	c 1000s |      14 |  1322452 |    73752 |    42968      2 |        1 |        1
1003.97/1004.20	c 1003s |      14 |  1326983 |    73952 |    42968      2 |        1 |        1
1007.56/1007.83	c 1007s |      14 |  1333296 |    74252 |    42968      2 |        1 |        1
1010.26/1010.52	c 1009s |      14 |  1342232 |    74452 |    42968      2 |        1 |        1
1013.97/1014.22	c 1013s |      14 |  1346235 |    74652 |    42968      2 |        1 |        1
1016.76/1017.04	c 1016s |      14 |  1350197 |    74852 |    42968      2 |        1 |        1
1019.96/1020.27	c 1019s |      14 |  1355214 |    75052 |    42968      2 |        1 |        1
1022.36/1022.65	c 1021s |      14 |  1357272 |    75152 |    42968      2 |        1 |        1
1026.76/1027.01	c 1026s |      14 |  1370356 |    75452 |    42968      2 |        1 |        1
1028.96/1029.29	c 1028s |      14 |  1389379 |    75652 |    42968      2 |        1 |        1
1033.56/1033.87	c 1033s |      14 |  1389467 |    75852 |    42968      2 |        1 |        1
1035.76/1036.00	c 1035s |      14 |  1408722 |    76052 |    42968      2 |        1 |        1
1037.96/1038.20	c 1037s |      14 |  1408722 |    76152 |    42968      2 |        1 |        1
1040.06/1040.35	c 1039s |      14 |  1410125 |    76252 |    42968      2 |        1 |        1
1044.16/1044.48	c 1043s |      14 |  1426017 |    76552 |    42968      2 |        1 |        1
1046.76/1047.00	c 1046s |      14 |  1444998 |    76752 |    42968      2 |        1 |        1
1050.46/1050.72	c 1050s |      14 |  1445339 |    76952 |    42968      2 |        1 |        1
1052.86/1053.15	c 1052s |      14 |  1461430 |    77152 |    42968      2 |        1 |        1
1057.26/1057.52	c 1056s |      14 |  1465297 |    77352 |    42968      2 |        1 |        1
1060.55/1060.82	c 1060s |      14 |  1478814 |    77652 |    42968      2 |        1 |        1
1062.95/1063.22	c 1062s |      14 |  1485454 |    77752 |    42968      2 |        1 |        1
1065.45/1065.77	c 1065s |      14 |  1507766 |    78052 |    42968      2 |        1 |        1
1068.65/1068.99	c 1068s |      14 |  1511766 |    78252 |    42968      2 |        1 |        1
1070.95/1071.28	c 1070s |      14 |  1525082 |    78452 |    42968      2 |        1 |        1
1074.85/1075.16	c 1074s |      14 |  1527104 |    78652 |    42968      2 |        1 |        1
1078.96/1079.28	c 1078s |      14 |  1540214 |    78952 |    42968      2 |        1 |        1
1081.25/1081.50	c 1080s |      14 |  1548089 |    79152 |    42968      2 |        1 |        1
1083.75/1084.02	c 1083s |      14 |  1560085 |    79452 |    42968      2 |        1 |        1
1085.85/1086.11	c 1085s |      14 |  1564086 |    79652 |    42968      2 |        1 |        1
1089.45/1089.70	c 1089s |      14 |  1564486 |    79852 |    42968      2 |        1 |        1
1092.05/1092.32	c 1091s |      14 |  1567585 |    80052 |    42968      2 |        1 |        1
1094.85/1095.17	c 1094s |      14 |  1568532 |    80252 |    42968      2 |        1 |        1
1098.25/1098.51	c 1097s |      14 |  1569178 |    80452 |    42968      2 |        1 |        1
1100.35/1100.68	c 1100s |      14 |  1569178 |    80552 |    42968      2 |        1 |        1
1103.85/1104.17	c 1103s |      14 |  1570449 |    80752 |    42968      2 |        1 |        1
1107.34/1107.62	c 1106s |      14 |  1571075 |    80952 |    42968      2 |        1 |        1
1109.54/1109.88	c 1109s |      14 |  1571725 |    81052 |    42968      2 |        1 |        1
1112.64/1112.91	c 1112s |      14 |  1572647 |    81252 |    42968      2 |        1 |        1
1116.26/1116.51	c 1115s |      14 |  1573916 |    81452 |    42968      3 |        1 |        1
1119.05/1119.30	c 1118s |      14 |  1576530 |    81652 |    42968      3 |        1 |        1
1122.15/1122.41	c 1121s |      14 |  1577332 |    81852 |    42968      3 |        1 |        1
1124.65/1124.94	c 1124s |      14 |  1578288 |    82052 |    42968      3 |        1 |        1
1127.65/1127.91	c 1127s |      14 |  1579261 |    82252 |    42968      3 |        1 |        1
1130.65/1130.97	c 1130s |      14 |  1580037 |    82452 |    42968      3 |        1 |        1
1133.65/1133.97	c 1133s |      14 |  1580916 |    82652 |    42968      3 |        1 |        1
1136.35/1136.62	c 1135s |      14 |  1582000 |    82852 |    42968      3 |        1 |        1
1139.24/1139.50	c 1138s |      14 |  1582408 |    83052 |    42968      3 |        1 |        1
1142.54/1142.88	c 1142s |      14 |  1583859 |    83352 |    42968      3 |        1 |        1
1145.34/1145.61	c 1144s |      14 |  1586466 |    83552 |    42968      3 |        1 |        1
1147.94/1148.27	c 1147s |      14 |  1588407 |    83752 |    42968      3 |        1 |        1
1151.14/1151.42	c 1150s |      14 |  1588829 |    83952 |    42968      3 |        1 |        1
1154.04/1154.30	c 1153s |      14 |  1590683 |    84152 |    42968      3 |        1 |        1
1157.14/1157.47	c 1156s |      14 |  1593355 |    84352 |    42968      3 |        1 |        1
1160.44/1160.73	c 1160s |      14 |  1595100 |    84552 |    42968      3 |        1 |        1
1162.74/1163.03	c 1162s |      14 |  1595874 |    84752 |    42968      3 |        1 |        1
1164.75/1165.06	c 1164s |      14 |  1596413 |    84952 |    42968      3 |        1 |        1
1168.24/1168.52	c 1167s |      14 |  1597660 |    85152 |    42968      3 |        1 |        1
1170.94/1171.26	c 1170s |      14 |  1598276 |    85352 |    42968      3 |        1 |        1
1173.84/1174.17	c 1173s |      14 |  1599107 |    85552 |    42968      3 |        1 |        1
1177.24/1177.53	c 1176s |      14 |  1599678 |    85752 |    42968      3 |        1 |        1
1179.74/1180.09	c 1179s |      14 |  1600865 |    85952 |    42968      3 |        1 |        1
1182.64/1182.93	c 1182s |      14 |  1601365 |    86152 |    42968      3 |        1 |        1
1184.94/1185.29	c 1184s |      14 |  1602230 |    86352 |    42968      3 |        1 |        1
1187.14/1187.48	c 1186s |      14 |  1602980 |    86552 |    42968      3 |        1 |        1
1189.24/1189.59	c 1188s |      14 |  1604338 |    86752 |    42968      3 |        1 |        1
1191.74/1192.02	c 1191s |      14 |  1605835 |    86952 |    42968      3 |        1 |        1
1194.64/1194.99	c 1194s |      14 |  1606818 |    87152 |    47265      3 |        1 |        1
1197.44/1197.76	c 1197s |      14 |  1608667 |    87352 |    47265      3 |        1 |        1
1199.84/1200.19	c 1199s |      14 |  1609773 |    87552 |    47265      3 |        1 |        1
1201.04/1201.33	c 1200s |      15 |  1610393 |    87632 |    47265      3 |        1 |        1
1204.04/1204.35	c 1203s |      15 |  1612896 |    87732 |    47265      3 |        1 |        1
1207.33/1207.69	c 1207s |      15 |  1613756 |    87932 |    47265      3 |        1 |        1
1209.53/1209.89	c 1209s |      15 |  1620545 |    88132 |    47265      3 |        1 |        1
1211.73/1212.07	c 1211s |      15 |  1620790 |    88232 |    47265      3 |        1 |        1
1213.93/1214.21	c 1213s |      15 |  1627829 |    88332 |    47265      3 |        1 |        1
1217.13/1217.45	c 1216s |      15 |  1628768 |    88632 |    47265      3 |        1 |        1
1219.53/1219.89	c 1219s |      15 |  1630901 |    88832 |    47265      3 |        1 |        1
1221.94/1222.21	c 1221s |      15 |  1634608 |    89032 |    47265      3 |        1 |        1
1224.33/1224.67	c 1224s |      15 |  1635172 |    89232 |    47265      3 |        1 |        1
1227.73/1228.04	c 1227s |      15 |  1636542 |    89432 |    47265      3 |        1 |        1
1231.13/1231.40	c 1230s |      15 |  1643472 |    89732 |    47265      3 |        1 |        1
1235.73/1236.04	c 1235s |      15 |  1644094 |    89932 |    47265      3 |        1 |        1
1238.43/1238.72	c 1238s |      15 |  1650115 |    90132 |    47265      3 |        1 |        1
1241.12/1241.50	c 1240s |      15 |  1650115 |    90232 |    47265      3 |        1 |        1
1244.22/1244.55	c 1243s |      15 |  1656651 |    90532 |    47265      3 |        1 |        1
1247.42/1247.75	c 1247s |      15 |  1656830 |    90732 |    47265      3 |        1 |        1
1250.22/1250.51	c 1249s |      15 |  1661868 |    91032 |    47265      3 |        1 |        1
1252.92/1253.26	c 1252s |      15 |  1662928 |    91232 |    47265      3 |        1 |        1
1256.82/1257.10	c 1256s |      15 |  1672805 |    91432 |    47265      3 |        1 |        1
1258.82/1259.17	c 1258s |      15 |  1678249 |    91732 |    47265      3 |        1 |        1
1261.92/1262.27	c 1261s |      15 |  1679387 |    92032 |    47265      3 |        1 |        1
1264.42/1264.76	c 1264s |      15 |  1684706 |    92232 |    47265      3 |        1 |        1
1268.13/1268.43	c 1267s |      15 |  1685568 |    92532 |    47265      3 |        1 |        1
1272.13/1272.49	c 1271s |      15 |  1687787 |    92832 |    47265      3 |        1 |        1
1276.23/1276.60	c 1275s |      15 |  1688108 |    93032 |    47265      3 |        1 |        1
1278.63/1278.95	c 1278s |      15 |  1692992 |    93232 |    47265      3 |        1 |        1
1280.73/1281.09	c 1280s |      15 |  1694956 |    93332 |    47265      3 |        1 |        1
1284.63/1284.95	c 1284s |      15 |  1697523 |    93632 |    47265      3 |        1 |        1
1286.83/1287.12	c 1286s |      15 |  1703858 |    93832 |    47265      3 |        1 |        1
1288.83/1289.16	c 1288s |      15 |  1709625 |    94032 |    47265      3 |        1 |        1
1291.13/1291.48	c 1290s |      15 |  1712317 |    94232 |    47265      3 |        1 |        1
1295.53/1295.80	c 1295s |      15 |  1712696 |    94432 |    47265      3 |        1 |        1
1298.12/1298.40	c 1297s |      15 |  1718326 |    94632 |    47265      3 |        1 |        1
1301.92/1302.26	c 1301s |      15 |  1718874 |    94832 |    47265      3 |        1 |        1
1304.12/1304.42	c 1303s |      15 |  1723993 |    95032 |    47265      3 |        1 |        1
1307.02/1307.35	c 1306s |      15 |  1724743 |    95232 |    47265      3 |        1 |        1
1309.83/1310.11	c 1309s |      15 |  1726790 |    95532 |    47265      3 |        1 |        1
1312.32/1312.63	c 1311s |      15 |  1727896 |    95732 |    47265      3 |        1 |        1
1314.52/1314.80	c 1314s |      15 |  1728931 |    95932 |    47265      3 |        1 |        1
1317.53/1317.88	c 1317s |      15 |  1730827 |    96332 |    47265      3 |        1 |        1
1319.62/1319.99	c 1319s |      15 |  1733752 |    96532 |    47265      3 |        1 |        1
1323.42/1323.70	c 1323s |      15 |  1734570 |    96732 |    47265      3 |        1 |        1
1325.82/1326.18	c 1325s |      15 |  1737545 |    96932 |    47265      3 |        1 |        1
1328.82/1329.12	c 1328s |      15 |  1739000 |    97132 |    47265      3 |        1 |        1
1331.12/1331.44	c 1330s |      15 |  1741591 |    97332 |    47265      3 |        1 |        1
1333.42/1333.76	c 1333s |      15 |  1742796 |    97532 |    47265      3 |        1 |        1
1336.62/1336.95	c 1336s |      15 |  1744755 |    97732 |    47265      3 |        1 |        1
1338.82/1339.11	c 1338s |      15 |  1746784 |    97932 |    47265      3 |        1 |        1
1341.82/1342.13	c 1341s |      15 |  1748397 |    98132 |    47265      3 |        1 |        1
1344.72/1345.02	c 1344s |      15 |  1750119 |    98432 |    47265      3 |        1 |        1
1348.42/1348.77	c 1348s |      15 |  1753382 |    98632 |    47265      3 |        1 |        1
1351.41/1351.77	c 1351s |      15 |  1756648 |    98832 |    47265      3 |        1 |        1
1354.71/1355.07	c 1354s |      15 |  1759440 |    99232 |    47265      3 |        1 |        1
1357.31/1357.65	c 1356s |      15 |  1761594 |    99532 |    47265      3 |        1 |        1
1361.11/1361.44	c 1360s |      15 |  1766112 |    99832 |    47265      3 |        1 |        1
1363.61/1363.98	c 1363s |      15 |  1770132 |   100032 |    47265      3 |        1 |        1
1366.61/1366.95	c 1366s |      15 |  1770636 |   100232 |    47265      3 |        1 |        1
1369.32/1369.61	c 1368s |      15 |  1773867 |   100532 |    47265      3 |        1 |        1
1371.52/1371.89	c 1371s |      15 |  1774262 |   100732 |    47265      3 |        1 |        1
1373.91/1374.20	c 1373s |      15 |  1775659 |   100932 |    47265      3 |        1 |        1
1376.81/1377.18	c 1376s |      15 |  1776717 |   101132 |    47265      3 |        1 |        1
1379.31/1379.67	c 1379s |      15 |  1779262 |   101332 |    47265      3 |        1 |        1
1381.42/1381.73	c 1381s |      15 |  1781502 |   101532 |    47265      3 |        1 |        1
1384.61/1384.92	c 1384s |      15 |  1784020 |   101832 |    47265      3 |        1 |        1
1386.91/1387.29	c 1386s |      15 |  1786454 |   102032 |    47265      3 |        1 |        1
1389.51/1389.81	c 1389s |      15 |  1789878 |   102232 |    47265      3 |        1 |        1
1391.81/1392.10	c 1391s |      15 |  1791730 |   102432 |    47265      3 |        1 |        1
1394.61/1394.91	c 1394s |      15 |  1793080 |   102732 |    47265      3 |        1 |        1
1397.60/1397.90	c 1397s |      15 |  1796023 |   103032 |    47265      3 |        1 |        1
1400.51/1400.86	c 1400s |      15 |  1801549 |   103432 |    47265      3 |        1 |        1
1402.91/1403.23	c 1402s |      15 |  1802086 |   103632 |    47265      3 |        1 |        1
1404.91/1405.28	c 1404s |      15 |  1802920 |   103832 |    47265      3 |        1 |        1
1407.71/1408.09	c 1407s |      15 |  1803628 |   104032 |    47265      3 |        1 |        1
1410.10/1410.45	c 1409s |      15 |  1804989 |   104232 |    47265      3 |        1 |        1
1412.60/1412.98	c 1412s |      15 |  1806920 |   104432 |    47265      3 |        1 |        1
1415.41/1415.80	c 1415s |      15 |  1808811 |   104632 |    47265      3 |        1 |        1
1418.71/1419.07	c 1418s |      15 |  1809508 |   104832 |    47265      3 |        1 |        1
1421.90/1422.24	c 1421s |      15 |  1810645 |   105032 |    47265      3 |        1 |        1
1425.60/1425.94	c 1425s |      15 |  1811237 |   105232 |    47265      3 |        1 |        1
1428.20/1428.59	c 1427s |      15 |  1813314 |   105432 |    47265      3 |        1 |        1
1430.91/1431.21	c 1430s |      15 |  1814250 |   105632 |    47265      3 |        1 |        1
1433.40/1433.78	c 1433s |      15 |  1814866 |   105832 |    47265      3 |        1 |        1
1436.20/1436.58	c 1435s |      15 |  1815711 |   106032 |    47265      3 |        1 |        1
1440.00/1440.37	c 1439s |      15 |  1816495 |   106232 |    47265      3 |        1 |        1
1442.80/1443.12	c 1442s |      15 |  1818231 |   106432 |    47265      3 |        1 |        1
1445.80/1446.14	c 1445s |      15 |  1820132 |   106732 |    47265      3 |        1 |        1
1448.10/1448.49	c 1447s |      15 |  1821542 |   106932 |    47265      3 |        1 |        1
1451.00/1451.35	c 1450s |      15 |  1822925 |   107132 |    47265      3 |        1 |        1
1453.60/1453.96	c 1453s |      15 |  1824387 |   107332 |    47265      3 |        1 |        1
1456.20/1456.58	c 1455s |      15 |  1824833 |   107432 |    47265      4 |        1 |        1
1459.40/1459.80	c 1459s |      15 |  1826975 |   107732 |    47265      4 |        1 |        1
1461.60/1462.00	c 1461s |      15 |  1828210 |   107932 |    47265      4 |        1 |        1
1464.90/1465.28	c 1464s |      15 |  1828544 |   108132 |    47265      4 |        1 |        1
1467.50/1467.84	c 1467s |      15 |  1828829 |   108332 |    47265      4 |        1 |        1
1471.19/1471.57	c 1470s |      15 |  1837166 |   108532 |    47265      4 |        1 |        1
1475.09/1475.46	c 1474s |      15 |  1845571 |   108832 |    47265      4 |        1 |        1
1477.39/1477.75	c 1477s |      15 |  1845667 |   108932 |    47265      4 |        1 |        1
1479.69/1480.08	c 1479s |      15 |  1861828 |   109132 |    47265      4 |        1 |        1
1482.89/1483.22	c 1482s |      15 |  1862538 |   109332 |    47265      4 |        1 |        1
1485.39/1485.74	c 1485s |      15 |  1862604 |   109432 |    47265      4 |        1 |        1
1487.49/1487.81	c 1487s |      15 |  1878514 |   109632 |    47265      4 |        1 |        1
1491.69/1492.05	c 1491s |      15 |  1879506 |   109832 |    47265      4 |        1 |        1
1494.29/1494.69	c 1494s |      15 |  1887110 |   110032 |    47265      4 |        1 |        1
1496.90/1497.27	c 1496s |      15 |  1889147 |   110232 |    47265      4 |        1 |        1
1499.10/1499.43	c 1498s |      15 |  1899656 |   110332 |    47265      4 |        1 |        1
1501.49/1501.84	c 1501s |      15 |  1904123 |   110532 |    47265      4 |        1 |        1
1503.50/1503.89	c 1503s |      15 |  1904274 |   110632 |    47265      4 |        1 |        1
1505.59/1505.93	c 1505s |      15 |  1914207 |   110732 |    47265      4 |        1 |        1
1507.99/1508.34	c 1507s |      15 |  1921116 |   110932 |    47265      4 |        1 |        1
1510.59/1510.90	c 1510s |      15 |  1923551 |   111032 |    47265      4 |        1 |        1
1514.59/1514.95	c 1514s |      15 |  1938456 |   111332 |    47265      4 |        1 |        1
1516.99/1517.38	c 1516s |      15 |  1943010 |   111432 |    47265      4 |        1 |        1
1519.19/1519.53	c 1518s |      15 |  1953907 |   111632 |    47265      4 |        1 |        1
1521.78/1522.18	c 1521s |      15 |  1953957 |   111732 |    47265      4 |        1 |        1
1525.39/1525.73	c 1525s |      15 |  1968060 |   112032 |    47265      4 |        1 |        1
1527.88/1528.25	c 1527s |      15 |  1972594 |   112132 |    47265      4 |        1 |        1
1530.28/1530.67	c 1530s |      15 |  1982647 |   112332 |    47265      4 |        1 |        1
1532.58/1532.99	c 1532s |      15 |  1982890 |   112432 |    47265      4 |        1 |        1
1534.88/1535.27	c 1534s |      15 |  1997082 |   112632 |    47265      4 |        1 |        1
1538.18/1538.59	c 1537s |      15 |  1998150 |   112832 |    47265      4 |        1 |        1
1540.58/1540.95	c 1540s |      15 |  2002585 |   112932 |    47265      4 |        1 |        1
1544.38/1544.79	c 1544s |      15 |  2015192 |   113232 |    47265      4 |        1 |        1
1546.68/1547.02	c 1546s |      15 |  2022676 |   113332 |    47265      4 |        1 |        1
1548.88/1549.22	c 1548s |      15 |  2028873 |   113532 |    47265      4 |        1 |        1
1551.28/1551.64	c 1550s |      15 |  2028943 |   113632 |    47265      4 |        1 |        1
1554.48/1554.88	c 1554s |      15 |  2045336 |   113932 |    47265      4 |        1 |        1
1557.88/1558.27	c 1557s |      15 |  2047885 |   114132 |    47265      4 |        1 |        1
1561.58/1561.92	c 1561s |      15 |  2062392 |   114432 |    47265      4 |        1 |        1
1563.88/1564.28	c 1563s |      15 |  2062463 |   114532 |    47265      4 |        1 |        1
1565.88/1566.29	c 1565s |      15 |  2074022 |   114732 |    47265      4 |        1 |        1
1567.97/1568.39	c 1567s |      15 |  2074134 |   114832 |    47265      4 |        1 |        1
1570.37/1570.76	c 1570s |      15 |  2080082 |   114932 |    47265      4 |        1 |        1
1574.57/1574.91	c 1574s |      15 |  2088775 |   115232 |    47265      4 |        1 |        1
1576.77/1577.18	c 1576s |      15 |  2103934 |   115432 |    47265      4 |        1 |        1
1578.87/1579.20	c 1578s |      15 |  2103934 |   115532 |    47265      4 |        1 |        1
1581.17/1581.50	c 1580s |      15 |  2104043 |   115632 |    47265      4 |        1 |        1
1583.27/1583.67	c 1583s |      15 |  2116904 |   115832 |    47265      4 |        1 |        1
1585.58/1585.93	c 1585s |      15 |  2117098 |   115932 |    47265      4 |        1 |        1
1587.58/1587.99	c 1587s |      15 |  2125613 |   116032 |    47265      4 |        1 |        1
1590.18/1590.54	c 1589s |      15 |  2129890 |   116232 |    47265      4 |        1 |        1
1592.49/1592.88	c 1592s |      15 |  2129982 |   116332 |    47265      4 |        1 |        1
1595.58/1595.98	c 1595s |      15 |  2155060 |   116632 |    47265      4 |        1 |        1
1599.48/1599.85	c 1599s |      15 |  2160613 |   116832 |    47265      4 |        1 |        1
1602.08/1602.40	c 1601s |      15 |  2163306 |   117032 |    47265      4 |        1 |        1
1604.98/1605.32	c 1604s |      15 |  2173503 |   117232 |    47265      4 |        1 |        1
1608.68/1609.05	c 1608s |      15 |  2179211 |   117432 |    47265      4 |        1 |        1
1611.48/1611.80	c 1611s |      15 |  2183259 |   117632 |    47265      4 |        1 |        1
1613.48/1613.86	c 1613s |      15 |  2183304 |   117732 |    47265      4 |        1 |        1
1616.48/1616.81	c 1616s |      15 |  2192645 |   118032 |    47265      4 |        1 |        1
1620.18/1620.56	c 1619s |      15 |  2201163 |   118232 |    47265      4 |        1 |        1
1622.18/1622.60	c 1621s |      15 |  2203726 |   118432 |    47265      4 |        1 |        1
1625.48/1625.89	c 1625s |      15 |  2211989 |   118632 |    47265      4 |        1 |        1
1628.47/1628.80	c 1628s |      15 |  2212654 |   118832 |    47265      4 |        1 |        1
1630.98/1631.40	c 1630s |      15 |  2223217 |   119032 |    47265      4 |        1 |        1
1634.57/1634.95	c 1634s |      15 |  2229651 |   119232 |    47265      4 |        1 |        1
1637.87/1638.22	c 1637s |      15 |  2230053 |   119432 |    47265      4 |        1 |        1
1640.47/1640.83	c 1640s |      15 |  2240904 |   119632 |    47265      4 |        1 |        1
1643.67/1644.08	c 1643s |      15 |  2250610 |   119832 |    47265      4 |        1 |        1
1646.77/1647.19	c 1646s |      15 |  2250868 |   120032 |    47265      4 |        1 |        1
1649.27/1649.65	c 1648s |      15 |  2261322 |   120232 |    47265      4 |        1 |        1
1651.37/1651.78	c 1651s |      15 |  2261426 |   120332 |    47265      4 |        1 |        1
1653.87/1654.21	c 1653s |      15 |  2268842 |   120532 |    47265      4 |        1 |        1
1656.28/1656.69	c 1656s |      15 |  2269781 |   120732 |    47265      4 |        1 |        1
1658.87/1659.29	c 1658s |      15 |  2282227 |   120932 |    47265      4 |        1 |        1
1661.27/1661.60	c 1660s |      15 |  2289170 |   121132 |    47265      4 |        1 |        1
1663.27/1663.68	c 1663s |      15 |  2289346 |   121232 |    47265      4 |        1 |        1
1665.97/1666.39	c 1665s |      15 |  2297553 |   121432 |    47265      4 |        1 |        1
1668.17/1668.57	c 1667s |      15 |  2297632 |   121532 |    47265      4 |        1 |        1
1670.57/1670.91	c 1670s |      15 |  2306385 |   121732 |    47265      4 |        1 |        1
1673.57/1673.94	c 1673s |      15 |  2312651 |   121932 |    47265      4 |        1 |        1
1675.87/1676.21	c 1675s |      15 |  2312651 |   122032 |    47265      4 |        1 |        1
1678.56/1678.98	c 1678s |      15 |  2321249 |   122232 |    47265      4 |        1 |        1
1681.67/1682.06	c 1681s |      15 |  2328936 |   122432 |    47265      4 |        1 |        1
1684.66/1685.03	c 1684s |      15 |  2337404 |   122632 |    47265      4 |        1 |        1
1687.56/1687.98	c 1687s |      15 |  2346026 |   122832 |    47265      4 |        1 |        1
1690.37/1690.77	c 1690s |      15 |  2354851 |   123032 |    47265      4 |        1 |        1
1693.46/1693.87	c 1693s |      15 |  2359642 |   123232 |    47265      4 |        1 |        1
1696.26/1696.62	c 1695s |      15 |  2367700 |   123432 |    47265      4 |        1 |        1
1698.96/1699.33	c 1698s |      15 |  2374696 |   123632 |    47265      4 |        1 |        1
1701.16/1701.53	c 1700s |      15 |  2381261 |   123832 |    47265      4 |        1 |        1
1703.26/1703.63	c 1702s |      15 |  2381767 |   124032 |    47265      4 |        1 |        1
1705.56/1705.91	c 1705s |      15 |  2389731 |   124232 |    47265      4 |        1 |        1
1707.56/1707.98	c 1707s |      15 |  2398401 |   124432 |    47265      4 |        1 |        1
1709.76/1710.16	c 1709s |      15 |  2405082 |   124632 |    47265      4 |        1 |        1
1712.16/1712.55	c 1711s |      15 |  2411171 |   124832 |    47265      4 |        1 |        1
1714.16/1714.59	c 1713s |      15 |  2418791 |   125032 |    47265      4 |        1 |        1
1716.16/1716.60	c 1715s |      15 |  2425760 |   125232 |    47265      4 |        1 |        1
1719.06/1719.48	c 1718s |      15 |  2434282 |   125532 |    47265      4 |        1 |        1
1721.96/1722.31	c 1721s |      15 |  2442573 |   125832 |    47265      4 |        1 |        1
1724.56/1724.96	c 1724s |      15 |  2451724 |   126132 |    47265      4 |        1 |        1
1727.16/1727.59	c 1726s |      15 |  2460815 |   126432 |    47265      4 |        1 |        1
1729.76/1730.15	c 1729s |      15 |  2470327 |   126732 |    47265      4 |        1 |        1
1732.16/1732.55	c 1731s |      15 |  2480223 |   127032 |    47265      4 |        1 |        1
1734.76/1735.15	c 1734s |      15 |  2487178 |   127332 |    47265      4 |        1 |        1
1737.76/1738.14	c 1737s |      15 |  2488626 |   127632 |    47265      4 |        1 |        1
1739.86/1740.25	c 1739s |      15 |  2489511 |   127832 |    47265      4 |        1 |        1
1742.45/1742.80	c 1742s |      15 |  2493122 |   128132 |    47265      4 |        1 |        1
1744.85/1745.24	c 1744s |      15 |  2498550 |   128432 |    47265      4 |        1 |        1
1747.25/1747.62	c 1746s |      15 |  2504833 |   128732 |    47265      4 |        1 |        1
1749.45/1749.83	c 1749s |      15 |  2513485 |   129032 |    47265      4 |        1 |        1
1751.96/1752.37	c 1751s |      15 |  2521793 |   129332 |    47265      4 |        1 |        1
1754.55/1754.92	c 1754s |      15 |  2530018 |   129632 |    47265      4 |        1 |        1
1757.56/1757.92	c 1757s |      15 |  2539959 |   129932 |    47265      4 |        1 |        1
1759.76/1760.15	c 1759s |      15 |  2545310 |   130132 |    47265      4 |        1 |        1
1761.96/1762.35	c 1761s |      15 |  2550034 |   130332 |    47265      4 |        1 |        1
1764.35/1764.71	c 1764s |      15 |  2555526 |   130532 |    47265      4 |        1 |        1
1766.35/1766.76	c 1766s |      15 |  2560674 |   130732 |    51992      4 |        1 |        1
1768.85/1769.22	c 1768s |      15 |  2566088 |   130932 |    51992      4 |        1 |        1
1770.95/1771.38	c 1770s |      15 |  2569962 |   131132 |    51992      4 |        1 |        1
1773.55/1773.98	c 1773s |      15 |  2573847 |   131332 |    51992      4 |        1 |        1
1775.65/1776.08	c 1775s |      15 |  2581254 |   131532 |    51992      4 |        1 |        1
1775.95/1776.38	c 1775s |      16 |  2581254 |   131552 |    51992      4 |        1 |        1
1779.45/1779.83	c 1779s |      16 |  2593784 |   131752 |    51992      4 |        1 |        1
1782.55/1782.94	c 1782s |      16 |  2594452 |   131952 |    51992      4 |        1 |        1
1785.64/1786.08	c 1785s |      16 |  2619088 |   132252 |    51992      4 |        1 |        1
1787.74/1788.13	c 1787s |      16 |  2619308 |   132352 |    51992      4 |        1 |        1
1790.55/1790.92	c 1790s |      16 |  2619565 |   132452 |    51992      4 |        1 |        1
1793.64/1794.08	c 1793s |      16 |  2636792 |   132752 |    51992      4 |        1 |        1
1797.24/1797.67	c 1797s |      16 |  2637349 |   132952 |    51992      4 |        1 |        1

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

pid=24916
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.26 2.24 2.14 3/172 24919
/proc/meminfo: memFree=30240972/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=754244 CPUtime=0 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 29725120 772345856 3689 33554432000 4194304 16246674 140736783771424 140736783770848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 189073 3699 442 2943 0 185967 0
[pid=24919/tid=24920] ppid=24916 vsize=771652 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 790171648 3760 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=776772 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 795414528 3777 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=780868 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29725120 799608832 3794 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.26 2.24 2.14 3/172 24919
/proc/meminfo: memFree=30240972/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 25877 0 0 0 6 3 0 0 20 0 4 0 29725120 1332285440 26687 33554432000 4194304 16246674 140736783771424 140736783770736 7853005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 325265 26702 800 2943 0 322159 0
[pid=24919/tid=24920] ppid=24916 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1332285440 26713 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1332285440 26726 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1332285440 26737 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200477 s]
/proc/loadavg: 2.26 2.24 2.14 3/172 24919
/proc/meminfo: memFree=30240972/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 47263 0 0 0 13 6 0 0 20 0 4 0 29725120 1342771200 48072 33554432000 4194304 16246674 140736783771424 140736783770736 4221418 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 327825 48076 837 2943 0 324719 0
[pid=24919/tid=24920] ppid=24916 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1342771200 48079 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1342771200 48082 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1342771200 48084 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300388 s]
/proc/loadavg: 2.26 2.24 2.14 3/172 24919
/proc/meminfo: memFree=30240972/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 47751 0 0 0 23 6 0 0 20 0 4 0 29725120 1343819776 48560 33554432000 4194304 16246674 140736783771424 140736783770736 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328081 48560 839 2943 0 324975 0
[pid=24919/tid=24920] ppid=24916 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1343819776 48560 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1343819776 48560 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1343819776 48560 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700389 s]
/proc/loadavg: 2.26 2.24 2.14 3/172 24919
/proc/meminfo: memFree=30240972/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 65535 0 0 0 61 8 0 0 20 0 4 0 29725120 1345916928 66344 33554432000 4194304 16246674 140736783771424 140736783769280 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 66344 912 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 66344 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 66344 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 66344 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.26 2.24 2.14 3/183 24955
/proc/meminfo: memFree=29464404/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 218439 0 0 0 121 28 0 0 20 0 4 0 29725120 1345916928 219248 33554432000 4194304 16246674 140736783771424 140736783753344 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 219257 912 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 219262 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 219270 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 219275 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10044 s]
/proc/loadavg: 2.26 2.24 2.14 3/183 24955
/proc/meminfo: memFree=28607688/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 269806 0 0 0 274 35 0 0 20 0 4 0 29725120 1345916928 270615 33554432000 4194304 16246674 140736783771424 140736783753344 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 270615 915 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270615 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270615 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270615 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 2.24 2.23 2.14 3/183 24955
/proc/meminfo: memFree=28076000/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 269809 0 0 0 594 35 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140736783753344 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 270618 918 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.30 2.25 2.15 3/183 24955
/proc/meminfo: memFree=28076836/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 269809 0 0 0 1234 35 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140736783753344 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 270618 918 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270618 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.24 2.23 2.14 3/183 24955
/proc/meminfo: memFree=28078180/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 269810 0 0 0 2514 35 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140736783753344 12478342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 270621 918 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.22 2.23 2.15 3/183 24955
/proc/meminfo: memFree=28078192/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 269810 0 0 0 5073 35 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140736783753344 6011936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 270621 918 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.34 2.25 2.16 3/183 24957
/proc/meminfo: memFree=28078264/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 269810 0 0 0 10193 35 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140736783753344 12477688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 328593 270621 918 2943 0 325487 0
[pid=24919/tid=24920] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1345916928 270621 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1360452

[startup+1302.3 s]
/proc/loadavg: 2.08 2.17 2.17 4/183 24987
/proc/meminfo: memFree=27934472/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1360452 CPUtime=1302.02 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 281409 0 0 0 130160 42 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140736783753344 5673717 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 340113 282083 919 2943 0 337007 0
[pid=24919/tid=24920] ppid=24916 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1360452

[startup+1362.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 24989
/proc/meminfo: memFree=27934360/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1360452 CPUtime=1362.01 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 281409 0 0 0 136159 42 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140736783753344 12483345 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 340113 282083 919 2943 0 337007 0
[pid=24919/tid=24920] ppid=24916 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1393102848 282083 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1360452

[startup+1422.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/184 24993
/proc/meminfo: memFree=27908512/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1386052 CPUtime=1422.01 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 287710 0 0 0 142158 43 0 0 20 0 4 0 29725120 1419317248 288384 33554432000 4194304 16246674 140736783771424 140736783753344 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 346513 288384 919 2943 0 343407 0
[pid=24919/tid=24920] ppid=24916 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1419317248 288384 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1419317248 288384 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1419317248 288384 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1386052

[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.18 4/183 24994
/proc/meminfo: memFree=27879068/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1396292 CPUtime=1481.99 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 290424 0 0 0 148155 44 0 0 20 0 4 0 29725120 1429803008 291098 33554432000 4194304 16246674 140736783771424 140736783753344 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 349073 291098 919 2943 0 345967 0
[pid=24919/tid=24920] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291098 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291098 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291098 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1396292

[startup+1542.31 s]
/proc/loadavg: 2.24 2.21 2.18 4/183 24995
/proc/meminfo: memFree=27879072/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1396292 CPUtime=1541.99 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 290429 0 0 0 154155 44 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140736783753344 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 349073 291103 919 2943 0 345967 0
[pid=24919/tid=24920] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1396292

[startup+1602.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 24996
/proc/meminfo: memFree=27879112/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1396292 CPUtime=1601.98 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 290429 0 0 0 160153 45 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140736783753344 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 349073 291103 919 2943 0 345967 0
[pid=24919/tid=24920] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1396292

[startup+1662.3 s]
/proc/loadavg: 2.36 2.26 2.20 4/183 24998
/proc/meminfo: memFree=27871424/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1396292 CPUtime=1661.97 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 290429 0 0 0 166152 45 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140736783753344 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 349073 291103 919 2943 0 345967 0
[pid=24919/tid=24920] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1396292

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 24999
/proc/meminfo: memFree=27861008/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1396292 CPUtime=1721.96 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 290429 0 0 0 172151 45 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140736783753344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 349073 291103 919 2943 0 345967 0
[pid=24919/tid=24920] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1429803008 291103 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1396292

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 25000
/proc/meminfo: memFree=27854360/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1402436 CPUtime=1781.95 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 291918 0 0 0 178150 45 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140736783753344 6012051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 350609 292592 919 2943 0 347503 0
[pid=24919/tid=24920] ppid=24916 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1402436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.25 2.19 4/183 25000
/proc/meminfo: memFree=27854360/32872528 swapFree=1370848/1518016
[pid=24919] ppid=24916 vsize=1402436 CPUtime=1800.04 cores=1,3,5,7
/proc/24919/stat : 24919 (toysat) R 24916 24919 24737 0 -1 4202496 291918 0 0 0 179959 45 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140736783753344 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24919/statm: 350609 292592 919 2943 0 347503 0
[pid=24919/tid=24920] ppid=24916 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24920/stat : 24920 (toysat) S 24916 24919 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140642814504176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24919/tid=24921] ppid=24916 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24921/stat : 24921 (toysat) S 24916 24919 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140642730618096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24919/tid=24922] ppid=24916 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/24919/task/24922/stat : 24922 (toysat) S 24916 24919 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29725120 1436094464 292592 33554432000 4194304 16246674 140736783771424 140642720144560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1402436

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.6
CPU system time (s): 0.45693
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 1402436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.45693
maximum resident set size= 1170368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291918
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= 154
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5803 second user time and 6.95194 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-18 21:06:26
IDJOB=4106742
IDBENCH=48224
IDSOLVER=2542
FILE ID=node129/4106742-1466276786
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106742-1466276786/watcher-4106742-1466276786 -o /tmp/evaluation-result-4106742-1466276786/solver-4106742-1466276786 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106742-1466276786.opb

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

MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add
RANDOM SEED=1972330689

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30241724 kB
Buffers:          158216 kB
Cached:           213048 kB
SwapCached:         1940 kB
Active:           132752 kB
Inactive:         243096 kB
Active(anon):       5352 kB
Inactive(anon):     1076 kB
Active(file):     127400 kB
Inactive(file):   242020 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       1629916 kB
Mapped:             7636 kB
Shmem:                 0 kB
Slab:             603248 kB
SReclaimable:      47448 kB
SUnreclaim:       555800 kB
KernelStack:        1520 kB
PageTables:         6664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1615760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-18 21:36:27