Trace number 4117312

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.04 1800.42

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
MD5SUM1828d4554e755f4459d92d0b5e02da5c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1330
Best CPU time to get the best result obtained on this benchmark1800.61
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27553
Number of constraints which are cardinality constraints (but not clauses)247
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T16:05:16+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-4117312-1467209088.opb"]
0.00/0.01	c use --random-gen="3409964944 155779243 500103329 487004363 2268527147 3808321465 197182618 4137330551 2155984942 1998708014 3797756109 3053267293 3786003451 3324181945 3206237737 2522427602 3985817786 657559379 3867944448 1263369412 926478350 2453067044 1773910973 354175219 3203982514 836224124 829722501 1144282095 54055465 1509979290 3155677773 1872713825 2151622849 2663633092 2732212674 3671835650 192772656 440588367 767720118 3445754679 2418838626 2963041460 2839116187 2624271967 1537797224 3898779427 4014013847 3150210329 2392696983 4021361069 4105387352 60357551 1381010975 2116497607 1134010489 3238274370 637196606 678307294 122432322 923110110 3381363304 2063554 816292223 772567080 2427715962 1456462428 3295786808 424451373 3704890644 1596826224 2991613937 493716752 3421479872 2396787068 1485185503 157397328 877629395 3937791274 1452230938 3021141118 1572175113 1547298731 2864035121 188483655 3038259966 132224121 1838551217 3320226761 245072364 2440847152 1293383305 1756914041 1054885290 2665460209 2609331301 2971973663 3640271494 3640552415 1869427271 3087065117 2493849412 3667547162 207104493 3271825930 3155198630 4046012325 1801115369 438342511 4154651549 2983759507 3336611686 2857838361 1592410907 1812735895 4061956738 2159091475 3503031122 3265480268 3446481277 3961923704 853958900 1595430382 211366827 2123059470 1834534719 3071512554 3168261022 1552943244 978599864 2114206544 928369696 1217603045 1252587692 1323029476 2083204603 592072652 4186547657 1374206628 1032161077 2839729614 1397109474 4089781489 4237991137 871229676 1309754571 3213819403 697093316 819797870 3451223827 475012364 36661122 2006478402 4272050439 601141257 586697499 961108287 690976202 195803241 2330786407 3961860189 3055106220 3195775925 3126912264 1395980767 861158264 2354608081 944148415 2418343966 551940486 1372363800 1398494535 1517244851 2875450943 3695493940 1146734344 1173634362 2170621947 2451200647 1163869962 4243929460 154685663 4125454531 2802056439 4027779243 1158578699 2648472419 2485607653 3934050482 2675112025 4180903584 615618005 2505270571 3652362554 194165938 2745632935 3159609032 1346830869 192710911 931478349 1016928885 4106919062 3704892873 1388627614 1730790468 3211068286 3549690908 3213910824 3478034842 1917821158 2254472002 1671653119 3061329706 1575869988 1247268155 2275007240 4037477030 665336455 2639224777 2329824242 1386789485 3415635047 1910006119 354912098 1287931314 3890912030 2225355485 3513676182 1605621172 1338140980 1685318589 2442014106 39211674 2084836966 3310987730 318088879 1949416210 549631119 727294734 1854702745 1571289101 682146880 1550232874 1373396687 2205946406 3171890408 1311066761 3037466808 455989632 1413425665 4250681233 1458836581 3881178212 3156094773 4128151153 655645322 3882495553 255 362436" option to reproduce the execution
0.19/0.23	c #vars 9632
0.19/0.23	c #constraints 29620
0.59/0.66	c BCD2: Hardening is enabled.
0.59/0.66	c BCD2: BiasedSearch is enabled.
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.66	c  0.0s |       0 |        0 |        0 |    13084      0 |        0 |        0
0.99/1.10	c  0.4s |       1 |    33883 |      100 |    13084      0 |        0 |        0
1.10/1.17	c  0.5s |       2 |    36047 |      250 |    14393      0 |        0 |        0
1.39/1.46	c  0.8s |       3 |    57165 |      475 |    15833      0 |        0 |        0
1.79/1.86	c  1.2s |       4 |    84857 |      813 |    17417      0 |        0 |        0
2.09/2.19	c  1.5s |       5 |   105414 |     1320 |    19159      0 |        0 |        0
2.29/2.34	c  1.7s |       6 |   106396 |     2081 |    23183      0 |        0 |        0
2.99/3.02	c  2.4s |       7 |   158853 |     3223 |    25502      0 |        0 |        0
4.99/5.07	c  4.4s |       7 |   310652 |     4116 |    25502      0 |        0 |        0
4.99/5.07	c #cpu_time = 4.399s
4.99/5.07	c #wall_clock_time = 4.399s
4.99/5.07	c #decision = 310652
4.99/5.07	c #random_decision = 908
4.99/5.07	c #conflict = 4116
4.99/5.07	c #restart = 7
4.99/5.07	o 2110
4.99/5.07	c BCD2: refineUB: 2109 -> 2090
4.99/5.07	c BCD2: updating upper bound: 2110 -> 2090
4.99/5.07	c BCD2: 0 <= obj <= 2090
4.99/5.07	c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0
4.99/5.07	c BCD2: #sat=1 #unsat=1 bias=1/2
4.99/5.07	c Solving starts ...
4.99/5.07	c ============================[ Search Statistics ]============================
4.99/5.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.99/5.07	c       |         |          |          |    Limit     GC | Var      | Constra 
4.99/5.07	c =============================================================================
4.99/5.07	c  0.0s |       0 |        0 |        0 |    25502      0 |        0 |        0
5.09/5.12	c  0.1s |       1 |      317 |      100 |    25502      0 |        0 |        0
5.09/5.19	c  0.1s |       2 |      508 |      250 |    25502      0 |        0 |        0
5.19/5.28	c  0.2s |       3 |      833 |      475 |    25502      0 |        0 |        0
5.29/5.40	c  0.3s |       4 |     1211 |      813 |    28053      0 |        0 |        0
5.49/5.57	c  0.5s |       5 |     1817 |     1320 |    28053      0 |        0 |        0
5.79/5.82	c  0.8s |       6 |     2650 |     2081 |    28053      0 |        0 |        0
6.19/6.23	c  1.2s |       7 |     3916 |     3223 |    28053      0 |        0 |        0
6.88/6.99	c  1.9s |       8 |     5697 |     4936 |    30859      0 |        0 |        0
7.98/8.09	c  3.0s |       9 |     8458 |     7506 |    33945      0 |        0 |        0
9.89/9.99	c  4.9s |      10 |    12633 |    11361 |    33945      0 |        0 |        0
11.98/12.05	c  7.0s |      10 |    16052 |    14561 |    37340      0 |        0 |        0
13.38/13.45	c  8.4s |      11 |    18802 |    17144 |    37340      0 |        0 |        0
15.39/15.48	c 10.4s |      11 |    21188 |    19344 |    37340      0 |        0 |        0
17.48/17.52	c 12.5s |      11 |    24213 |    22144 |    41074      0 |        0 |        0
19.48/19.58	c 14.5s |      11 |    27022 |    24744 |    41074      0 |        0 |        0
20.58/20.67	c 15.6s |      12 |    28190 |    25819 |    41074      0 |        0 |        0
22.28/22.30	c 17.2s |      12 |    30108 |    27556 |    41074      0 |        0 |        0
22.28/22.30	c #cpu_time = 17.231s
22.28/22.30	c #wall_clock_time = 17.231s
22.28/22.30	c #decision = 30108
22.28/22.30	c #random_decision = 98
22.28/22.30	c #conflict = 27556
22.28/22.30	c #restart = 12
22.28/22.30	c BCD2: found a new core of size 13: cost of the new core is >=20
22.28/22.30	c lower bound updated to 20
22.28/22.30	c BCD2: refineUB: 2109 -> 2090
22.28/22.30	c BCD2: 20 <= obj <= 2090
22.28/22.30	c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0
22.28/22.30	c BCD2: #sat=1 #unsat=2 bias=2/3
22.28/22.30	c Solving starts ...
22.28/22.30	c ============================[ Search Statistics ]============================
22.28/22.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.28/22.30	c       |         |          |          |    Limit     GC | Var      | Constra 
22.28/22.30	c =============================================================================
22.28/22.30	c  0.0s |       0 |        0 |        0 |    41074      0 |        0 |        0
22.38/22.42	c  0.1s |       0 |       13 |        0 |    41074      0 |        0 |        0
22.38/22.42	c #cpu_time = 0.112s
22.38/22.42	c #wall_clock_time = 0.112s
22.38/22.42	c #decision = 13
22.38/22.42	c #random_decision = 0
22.38/22.42	c #conflict = 0
22.38/22.42	c #restart = 0
22.38/22.42	c BCD2: found a new core of size 13: cost of the new core is >=50
22.38/22.42	c lower bound updated to 70
22.38/22.42	c BCD2: refineUB: 2109 -> 2090
22.38/22.42	c BCD2: 70 <= obj <= 2090
22.38/22.42	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
22.38/22.42	c BCD2: #sat=1 #unsat=3 bias=3/4
22.38/22.42	c Solving starts ...
22.38/22.42	c ============================[ Search Statistics ]============================
22.38/22.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.38/22.42	c       |         |          |          |    Limit     GC | Var      | Constra 
22.38/22.42	c =============================================================================
22.38/22.42	c  0.0s |       0 |        0 |        0 |    41074      0 |        0 |        0
22.68/22.72	c  0.3s |       1 |      160 |      100 |    41074      0 |        0 |        0
22.88/22.91	c  0.5s |       2 |     6232 |      250 |    41074      0 |        0 |        0
23.09/23.15	c  0.7s |       3 |    14478 |      475 |    41074      0 |        0 |        0
23.58/23.60	c  1.2s |       4 |    42363 |      813 |    41074      0 |        0 |        0
24.29/24.32	c  1.9s |       5 |    76059 |     1320 |    41074      0 |        0 |        0
25.48/25.53	c  3.1s |       6 |   100511 |     2081 |    41074      0 |        0 |        0
26.18/26.24	c  3.8s |       7 |   117151 |     3223 |    41074      0 |        0 |        0
26.98/27.09	c  4.7s |       8 |   124662 |     4936 |    41074      0 |        0 |        0
28.38/28.46	c  6.0s |       9 |   134676 |     7506 |    45182      0 |        0 |        0
30.18/30.21	c  7.8s |      10 |   140089 |    11361 |    45182      0 |        0 |        0
30.89/30.97	c  8.6s |      10 |   169288 |    11707 |    45182      0 |        0 |        0
30.89/30.97	c #cpu_time = 8.542s
30.89/30.97	c #wall_clock_time = 8.542s
30.89/30.97	c #decision = 169288
30.89/30.97	c #random_decision = 496
30.89/30.97	c #conflict = 11707
30.89/30.97	c #restart = 10
30.89/30.97	o 1600
30.89/30.97	c BCD2: refineUB: 1599 -> 1590
30.89/30.97	c BCD2: updating upper bound: 2090 -> 1590
30.89/30.97	c BCD2: 70 <= obj <= 1590
30.89/30.97	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
30.89/30.97	c BCD2: #sat=2 #unsat=3 bias=3/5
30.89/30.97	c Solving starts ...
30.89/30.97	c ============================[ Search Statistics ]============================
30.89/30.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.89/30.97	c       |         |          |          |    Limit     GC | Var      | Constra 
30.89/30.97	c =============================================================================
30.89/30.97	c  0.0s |       0 |        0 |        0 |    45182      0 |        0 |        0
31.08/31.15	c  0.2s |       1 |      843 |      100 |    45182      0 |        0 |        0
31.38/31.41	c  0.4s |       2 |     4463 |      250 |    45182      0 |        0 |        0
31.78/31.80	c  0.8s |       3 |     4743 |      475 |    45182      0 |        0 |        0
32.48/32.55	c  1.6s |       4 |     5159 |      813 |    45182      0 |        0 |        0
33.38/33.40	c  2.4s |       5 |     5724 |     1320 |    45182      0 |        0 |        0
34.48/34.56	c  3.6s |       6 |     6573 |     2081 |    45182      1 |        0 |        0
35.88/35.99	c  5.0s |       7 |     7801 |     3223 |    45182      1 |        0 |        0
37.98/38.09	c  7.1s |       7 |     9379 |     4623 |    45182      1 |        0 |        0
38.49/38.57	c  7.6s |       8 |     9714 |     4936 |    45182      1 |        0 |        0
39.38/39.45	c  8.5s |       9 |    12824 |     7506 |    45182      1 |        0 |        0
41.48/41.53	c 10.6s |       9 |    14990 |     9206 |    45182      1 |        0 |        0
43.58/43.62	c 12.7s |       9 |    16802 |    10906 |    45182      1 |        0 |        0
44.18/44.21	c 13.2s |      10 |    17298 |    11361 |    45182      1 |        0 |        0
46.19/46.23	c 15.3s |      10 |    18456 |    12461 |    45182      1 |        0 |        0
48.28/48.40	c 17.4s |      10 |    19700 |    13461 |    45182      1 |        0 |        0
50.38/50.49	c 19.5s |      10 |    20747 |    14461 |    45182      1 |        0 |        0
52.48/52.51	c 21.5s |      10 |    22149 |    15761 |    49701      1 |        0 |        0
54.48/54.54	c 23.6s |      10 |    23497 |    16961 |    49701      1 |        0 |        0
54.88/54.91	c 23.9s |      11 |    23721 |    17144 |    49701      1 |        0 |        0
56.98/57.06	c 26.1s |      11 |    25411 |    18344 |    49701      1 |        0 |        0
58.98/59.07	c 28.1s |      11 |    26990 |    19444 |    49701      1 |        0 |        0
61.08/61.12	c 30.1s |      11 |    29098 |    21044 |    49701      1 |        0 |        0
63.18/63.26	c 32.3s |      11 |    31202 |    22644 |    49701      1 |        0 |        0
65.28/65.30	c 34.3s |      11 |    32881 |    24244 |    49701      1 |        0 |        0
67.27/67.37	c 36.4s |      11 |    34329 |    25644 |    49701      1 |        0 |        0
67.57/67.62	c 36.6s |      12 |    34510 |    25819 |    49701      1 |        0 |        0
69.67/69.76	c 38.8s |      12 |    35906 |    26919 |    49701      1 |        0 |        0
71.77/71.88	c 40.9s |      12 |    37234 |    28119 |    49701      1 |        0 |        0
73.87/73.99	c 43.0s |      12 |    38355 |    29219 |    49701      1 |        0 |        0
75.98/76.07	c 45.1s |      12 |    39593 |    30419 |    49701      2 |        0 |        0
78.09/78.14	c 47.2s |      12 |    40553 |    31319 |    49701      2 |        0 |        0
80.18/80.20	c 49.2s |      12 |    41635 |    32319 |    49701      2 |        0 |        0
82.28/82.34	c 51.4s |      12 |    42882 |    33519 |    49701      2 |        0 |        0
84.38/84.42	c 53.4s |      12 |    44127 |    34719 |    49701      2 |        0 |        0
86.48/86.52	c 55.5s |      12 |    45277 |    35819 |    49701      2 |        0 |        0
88.57/88.61	c 57.6s |      12 |    46336 |    36819 |    49701      2 |        0 |        0
90.57/90.62	c 59.7s |      12 |    47441 |    37919 |    49701      2 |        0 |        0
92.17/92.21	c 61.2s |      13 |    48362 |    38832 |    49701      2 |        0 |        0
94.27/94.30	c 63.3s |      13 |    50638 |    40532 |    49701      2 |        0 |        0
96.27/96.39	c 65.4s |      13 |    53487 |    42732 |    49701      2 |        0 |        0
98.27/98.39	c 67.4s |      13 |    55615 |    44132 |    54672      2 |        0 |        0
100.37/100.48	c 69.5s |      13 |    57109 |    45032 |    54672      2 |        0 |        0
102.57/102.67	c 71.7s |      13 |    58517 |    46032 |    54672      2 |        0 |        0
104.67/104.76	c 73.8s |      13 |    59583 |    46932 |    54672      2 |        0 |        0
106.97/107.01	c 76.0s |      13 |    60821 |    47932 |    54672      2 |        0 |        0
109.07/109.12	c 78.1s |      13 |    62132 |    49032 |    54672      2 |        0 |        0
111.07/111.17	c 80.2s |      13 |    63408 |    50132 |    54672      2 |        0 |        0
113.17/113.25	c 82.3s |      13 |    64829 |    51432 |    54672      2 |        0 |        0
115.37/115.40	c 84.4s |      13 |    66140 |    52632 |    54672      2 |        0 |        0
117.37/117.45	c 86.5s |      13 |    67834 |    54132 |    54672      2 |        0 |        0
119.47/119.53	c 88.6s |      13 |    69429 |    55532 |    54672      2 |        0 |        0
121.47/121.59	c 90.6s |      13 |    71132 |    57032 |    54672      2 |        0 |        0
123.07/123.17	c 92.2s |      14 |    72656 |    58352 |    54672      2 |        0 |        0
125.37/125.43	c 94.5s |      14 |    74081 |    59252 |    54672      3 |        0 |        0
128.36/128.44	c 97.5s |      14 |    74204 |    59352 |    54672      3 |        0 |        0
130.47/130.54	c 99.6s |      14 |    74712 |    59852 |    54672      3 |        0 |        0
132.67/132.70	c  101s |      14 |    75517 |    60652 |    54672      3 |        0 |        0
134.67/134.77	c  103s |      14 |    77345 |    62152 |    54672      3 |        0 |        0
136.87/136.95	c  105s |      14 |    79060 |    63752 |    54672      3 |        0 |        0
138.96/139.07	c  108s |      14 |    80474 |    65052 |    54672      3 |        0 |        0
140.96/141.09	c  110s |      14 |    81789 |    66352 |    54672      3 |        0 |        0
143.07/143.14	c  112s |      14 |    83008 |    67552 |    54672      3 |        0 |        0
145.17/145.26	c  114s |      14 |    84474 |    68652 |    54672      3 |        0 |        0
147.26/147.39	c  116s |      14 |    85944 |    69852 |    54672      3 |        0 |        0
149.36/149.42	c  118s |      14 |    87391 |    70952 |    54672      3 |        0 |        0
151.46/151.55	c  120s |      14 |    88796 |    72152 |    54672      3 |        0 |        0
153.46/153.56	c  122s |      14 |    90247 |    73152 |    54672      3 |        0 |        0
155.56/155.64	c  124s |      14 |    91455 |    74052 |    54672      3 |        0 |        0
157.56/157.67	c  126s |      14 |    92558 |    75052 |    54672      3 |        0 |        0
159.66/159.75	c  128s |      14 |    93810 |    76252 |    54672      3 |        0 |        0
161.76/161.82	c  130s |      14 |    94875 |    77252 |    54672      3 |        0 |        0
163.86/163.99	c  133s |      14 |    95966 |    78252 |    54672      3 |        0 |        0
165.96/166.05	c  135s |      14 |    97090 |    79252 |    54672      3 |        0 |        0
168.16/168.22	c  137s |      14 |    98475 |    80452 |    54672      3 |        0 |        0
170.35/170.40	c  139s |      14 |    99737 |    81552 |    54672      3 |        0 |        0
172.45/172.56	c  141s |      14 |   100866 |    82452 |    54672      3 |        0 |        0
174.65/174.79	c  143s |      14 |   102245 |    83452 |    54672      3 |        0 |        0
176.95/177.06	c  146s |      14 |   103659 |    84552 |    54672      3 |        0 |        0
179.05/179.16	c  148s |      14 |   104719 |    85452 |    54672      3 |        0 |        0
181.05/181.18	c  150s |      14 |   105704 |    86352 |    54672      3 |        0 |        0
189.65/189.75	c  158s |      14 |   106331 |    86952 |    54672      4 |        0 |        0
191.85/191.98	c  161s |      14 |   106977 |    87552 |    60140      4 |        0 |        0
192.05/192.16	c  161s |      15 |   107060 |    87632 |    60140      4 |        0 |        0
208.14/208.22	c  177s |      15 |   107196 |    87732 |    60140      4 |        0 |        0
219.04/219.17	c  188s |      15 |   107728 |    88032 |    60140      4 |        0 |        0
221.05/221.20	c  190s |      15 |   109883 |    89832 |    60140      4 |        0 |        0
223.15/223.22	c  192s |      15 |   113139 |    92532 |    60140      4 |        0 |        0
225.14/225.28	c  194s |      15 |   115366 |    93932 |    60140      4 |        0 |        0
227.34/227.43	c  196s |      15 |   116824 |    94832 |    60140      4 |        0 |        0
229.54/229.60	c  198s |      15 |   117944 |    95732 |    60140      4 |        0 |        0
231.54/231.67	c  200s |      15 |   118916 |    96532 |    60140      4 |        0 |        0
233.54/233.69	c  202s |      15 |   119866 |    97332 |    60140      4 |        0 |        0
235.84/235.93	c  204s |      15 |   121020 |    98432 |    60140      4 |        0 |        0
237.94/238.05	c  207s |      15 |   121979 |    99332 |    60140      4 |        0 |        0
240.14/240.21	c  209s |      15 |   123029 |   100332 |    60140      4 |        0 |        0
242.34/242.47	c  211s |      15 |   124183 |   101432 |    60140      4 |        0 |        0
244.54/244.61	c  213s |      15 |   125422 |   102432 |    60140      4 |        0 |        0
246.54/246.66	c  215s |      15 |   126478 |   103432 |    60140      4 |        0 |        0
248.74/248.82	c  217s |      15 |   127633 |   104532 |    60140      4 |        0 |        0
250.84/250.92	c  219s |      15 |   128604 |   105432 |    60140      4 |        0 |        0
252.94/253.10	c  222s |      15 |   129491 |   106232 |    60140      4 |        0 |        0
255.14/255.28	c  224s |      15 |   130444 |   107132 |    60140      4 |        0 |        0
257.13/257.29	c  226s |      15 |   132623 |   109032 |    60140      4 |        0 |        0
259.23/259.32	c  228s |      15 |   135566 |   111132 |    60140      4 |        0 |        0
261.23/261.34	c  230s |      15 |   137036 |   112432 |    60140      4 |        0 |        0
263.33/263.42	c  232s |      15 |   139189 |   114032 |    60140      4 |        0 |        0
265.33/265.42	c  234s |      15 |   141470 |   115932 |    60140      4 |        0 |        0
267.34/267.44	c  236s |      15 |   143651 |   117832 |    60140      4 |        0 |        0
269.33/269.46	c  238s |      15 |   146013 |   119832 |    60140      4 |        0 |        0
273.13/273.22	c  242s |      15 |   146501 |   120232 |    60140      5 |        0 |        0
280.33/280.44	c  249s |      15 |   147335 |   120932 |    60140      5 |        0 |        0
282.42/282.51	c  251s |      15 |   148846 |   122232 |    60140      5 |        0 |        0
284.42/284.56	c  253s |      15 |   152466 |   125332 |    60140      5 |        0 |        0
286.42/286.58	c  255s |      15 |   154608 |   127232 |    60140      5 |        0 |        0
288.42/288.60	c  257s |      15 |   157241 |   129532 |    60140      5 |        0 |        0
290.22/290.38	c  259s |      16 |   159729 |   131552 |    60140      5 |        0 |        0
299.02/299.17	c  268s |      16 |   159872 |   131652 |    60140      5 |        0 |        0
303.31/303.45	c  272s |      16 |   160296 |   132052 |    60140      5 |        0 |        0
305.61/305.72	c  274s |      16 |   161279 |   132852 |    60140      5 |        0 |        0
307.61/307.77	c  276s |      16 |   162466 |   133852 |    60140      5 |        0 |        0
309.71/309.82	c  278s |      16 |   163777 |   135052 |    60140      5 |        0 |        0
311.81/311.93	c  280s |      16 |   164688 |   135952 |    60140      5 |        0 |        0
314.01/314.11	c  283s |      16 |   165708 |   136952 |    60140      5 |        0 |        0
316.21/316.31	c  285s |      16 |   166773 |   137752 |    60140      5 |        0 |        0
318.21/318.37	c  287s |      16 |   167829 |   138552 |    60140      5 |        0 |        0
320.31/320.47	c  289s |      16 |   168941 |   139452 |    60140      5 |        0 |        0
322.61/322.74	c  291s |      16 |   170184 |   140452 |    60140      5 |        0 |        0
324.71/324.83	c  293s |      16 |   171529 |   141552 |    60140      5 |        0 |        0
326.91/327.03	c  296s |      16 |   172832 |   142752 |    60140      5 |        0 |        0
328.91/329.05	c  298s |      16 |   173883 |   143752 |    60140      5 |        0 |        0
331.01/331.12	c  300s |      16 |   174979 |   144752 |    60140      5 |        0 |        0
333.21/333.36	c  302s |      16 |   175850 |   145552 |    60140      5 |        0 |        0
335.51/335.67	c  304s |      16 |   176484 |   146152 |    60140      5 |        0 |        0
337.81/337.93	c  306s |      16 |   177201 |   146752 |    60140      5 |        0 |        0
340.11/340.25	c  309s |      16 |   177982 |   147452 |    60140      5 |        0 |        0
342.21/342.34	c  311s |      16 |   178664 |   148052 |    60140      5 |        0 |        0
344.40/344.56	c  313s |      16 |   179488 |   148852 |    60140      5 |        0 |        0
346.70/346.80	c  315s |      16 |   180305 |   149652 |    60140      5 |        0 |        0
349.01/349.12	c  318s |      16 |   180715 |   150052 |    60140      6 |        0 |        0
352.81/352.90	c  321s |      16 |   181139 |   150452 |    60140      6 |        0 |        0
361.31/361.41	c  330s |      16 |   182201 |   151352 |    60140      6 |        0 |        0
363.51/363.67	c  332s |      16 |   183402 |   152452 |    60140      6 |        0 |        0
365.71/365.86	c  334s |      16 |   184518 |   153452 |    66154      6 |        0 |        0
367.81/367.91	c  336s |      16 |   185570 |   154452 |    66154      6 |        0 |        0
369.80/369.98	c  339s |      16 |   186702 |   155452 |    66154      6 |        0 |        0
372.00/372.12	c  341s |      16 |   187688 |   156352 |    66154      6 |        0 |        0
374.20/374.31	c  343s |      16 |   188939 |   157552 |    66154      6 |        0 |        0
376.21/376.34	c  345s |      16 |   190093 |   158652 |    66154      6 |        0 |        0
378.41/378.58	c  347s |      16 |   191151 |   159552 |    66154      6 |        0 |        0
380.61/380.79	c  349s |      16 |   192207 |   160452 |    66154      6 |        0 |        0
382.81/382.99	c  352s |      16 |   193179 |   161252 |    66154      6 |        0 |        0
385.01/385.14	c  354s |      16 |   194197 |   162052 |    66154      6 |        0 |        0
387.21/387.35	c  356s |      16 |   195030 |   162752 |    66154      6 |        0 |        0
389.41/389.52	c  358s |      16 |   195985 |   163552 |    66154      6 |        0 |        0
391.60/391.73	c  360s |      16 |   196839 |   164252 |    66154      6 |        0 |        0
393.90/394.00	c  363s |      16 |   198120 |   165352 |    66154      6 |        0 |        0
396.10/396.22	c  365s |      16 |   199092 |   166152 |    66154      6 |        0 |        0
398.40/398.51	c  367s |      16 |   200065 |   167052 |    66154      6 |        0 |        0
400.40/400.59	c  369s |      16 |   201051 |   167852 |    66154      6 |        0 |        0
402.69/402.84	c  371s |      16 |   201890 |   168552 |    66154      6 |        0 |        0
404.80/404.92	c  373s |      16 |   202919 |   169352 |    66154      6 |        0 |        0
406.79/407.00	c  376s |      16 |   203948 |   170152 |    66154      6 |        0 |        0
408.99/409.14	c  378s |      16 |   204852 |   170852 |    66154      6 |        0 |        0
411.09/411.24	c  380s |      16 |   205728 |   171652 |    66154      6 |        0 |        0
413.09/413.27	c  382s |      16 |   206551 |   172352 |    66154      6 |        0 |        0
415.29/415.46	c  384s |      16 |   207292 |   173052 |    66154      6 |        0 |        0
417.59/417.75	c  386s |      16 |   208145 |   173852 |    66154      6 |        0 |        0
419.68/419.85	c  388s |      16 |   209004 |   174552 |    66154      6 |        0 |        0
421.68/421.86	c  390s |      16 |   209669 |   175152 |    66154      6 |        0 |        0
423.78/423.95	c  392s |      16 |   210434 |   175852 |    66154      6 |        0 |        0
425.98/426.15	c  395s |      16 |   211271 |   176652 |    66154      6 |        0 |        0
428.08/428.20	c  397s |      16 |   211999 |   177352 |    66154      6 |        0 |        0
430.28/430.45	c  399s |      16 |   212855 |   178152 |    66154      6 |        0 |        0
432.38/432.55	c  401s |      16 |   213788 |   179052 |    66154      6 |        0 |        0
434.68/434.83	c  403s |      16 |   214886 |   180052 |    66154      6 |        0 |        0
436.78/436.98	c  406s |      16 |   215675 |   180752 |    66154      6 |        0 |        0
438.98/439.18	c  408s |      16 |   216714 |   181752 |    66154      6 |        0 |        0
441.08/441.27	c  410s |      16 |   217874 |   182852 |    66154      6 |        0 |        0
443.18/443.35	c  412s |      16 |   218714 |   183552 |    66154      6 |        0 |        0
445.27/445.50	c  414s |      16 |   219449 |   184152 |    66154      6 |        0 |        0
447.58/447.72	c  416s |      16 |   220230 |   184852 |    66154      6 |        0 |        0
449.88/450.04	c  419s |      16 |   221047 |   185552 |    66154      6 |        0 |        0
498.66/498.88	c  467s |      16 |   221147 |   185652 |    66154      6 |        0 |        0
504.06/504.25	c  473s |      16 |   221892 |   186252 |    66154      7 |        0 |        0
506.26/506.41	c  475s |      16 |   222094 |   186352 |    66154      7 |        0 |        0
519.86/520.04	c  489s |      16 |   222244 |   186452 |    66154      7 |        0 |        0
522.06/522.22	c  491s |      16 |   223410 |   187452 |    66154      7 |        0 |        0
524.16/524.33	c  493s |      16 |   224171 |   188152 |    66154      7 |        0 |        0
526.26/526.47	c  495s |      16 |   225125 |   189052 |    66154      7 |        0 |        0
528.36/528.59	c  497s |      16 |   226160 |   189852 |    66154      7 |        0 |        0
530.56/530.79	c  499s |      16 |   227399 |   190852 |    66154      7 |        0 |        0
532.66/532.86	c  501s |      16 |   228150 |   191452 |    66154      7 |        0 |        0
534.85/535.06	c  504s |      16 |   229296 |   192252 |    66154      7 |        0 |        0
536.95/537.15	c  506s |      16 |   230687 |   193252 |    66154      7 |        0 |        0
539.25/539.46	c  508s |      16 |   231851 |   194252 |    66154      7 |        0 |        0
541.35/541.55	c  510s |      16 |   232698 |   195052 |    66154      7 |        0 |        0
543.55/543.73	c  512s |      16 |   233890 |   196152 |    66154      7 |        0 |        0
545.75/545.97	c  515s |      16 |   234761 |   196952 |    66154      7 |        0 |        0
546.95/547.19	c  516s |      17 |   235333 |   197432 |    66154      7 |        0 |        0
556.56/556.79	c  525s |      17 |   235602 |   197632 |    66154      7 |        0 |        0
558.66/558.84	c  527s |      17 |   237953 |   199632 |    66154      7 |        0 |        0
560.75/560.96	c  529s |      17 |   239570 |   201032 |    66154      7 |        0 |        0
562.75/562.98	c  532s |      17 |   241246 |   202332 |    66154      7 |        0 |        0
564.85/565.03	c  534s |      17 |   242760 |   203632 |    66154      7 |        0 |        0
566.95/567.11	c  536s |      17 |   244440 |   205032 |    66154      7 |        0 |        0
568.95/569.18	c  538s |      17 |   246151 |   206432 |    66154      7 |        0 |        0
571.25/571.46	c  540s |      17 |   247752 |   207732 |    66154      7 |        0 |        0
573.35/573.50	c  542s |      17 |   249032 |   208832 |    66154      7 |        0 |        0
575.35/575.53	c  544s |      17 |   250377 |   210032 |    66154      7 |        0 |        0
577.35/577.53	c  546s |      17 |   251897 |   211332 |    66154      7 |        0 |        0
579.44/579.63	c  548s |      17 |   253643 |   212832 |    66154      7 |        0 |        0
581.44/581.65	c  550s |      17 |   255270 |   214232 |    66154      7 |        0 |        0
583.54/583.70	c  552s |      17 |   256897 |   215632 |    66154      7 |        0 |        0
585.64/585.87	c  554s |      17 |   258541 |   217032 |    66154      7 |        0 |        0
587.94/588.12	c  557s |      17 |   260165 |   218432 |    66154      7 |        0 |        0
591.94/592.13	c  561s |      17 |   261711 |   219732 |    66154      8 |        0 |        0
593.94/594.19	c  563s |      17 |   262598 |   220532 |    66154      8 |        0 |        0
599.44/599.65	c  568s |      17 |   263161 |   221032 |    66154      8 |        0 |        0
601.54/601.73	c  570s |      17 |   264992 |   222632 |    66154      8 |        0 |        0
603.53/603.76	c  572s |      17 |   266989 |   224432 |    66154      8 |        0 |        0
605.63/605.85	c  574s |      17 |   269015 |   226232 |    66154      8 |        0 |        0
607.73/607.96	c  576s |      17 |   270668 |   227732 |    66154      8 |        0 |        0
609.83/610.02	c  579s |      17 |   272320 |   229232 |    66154      8 |        0 |        0
611.93/612.16	c  581s |      17 |   273754 |   230532 |    66154      8 |        0 |        0
613.93/614.19	c  583s |      17 |   275175 |   231832 |    66154      8 |        0 |        0
616.03/616.29	c  585s |      17 |   276611 |   233132 |    66154      8 |        0 |        0
618.14/618.36	c  587s |      17 |   277400 |   233832 |    66154      8 |        0 |        0
620.92/621.17	c  590s |      17 |   278561 |   234832 |    66154      8 |        0 |        0
623.92/624.17	c  593s |      17 |   278764 |   235032 |    66154      8 |        0 |        0
635.12/635.30	c  604s |      17 |   278979 |   235232 |    66154      8 |        0 |        0
637.12/637.32	c  606s |      17 |   280141 |   236232 |    66154      8 |        0 |        0
639.12/639.39	c  608s |      17 |   281118 |   237132 |    66154      8 |        0 |        0
641.23/641.48	c  610s |      17 |   282263 |   238132 |    66154      8 |        0 |        0
643.52/643.72	c  612s |      17 |   283173 |   238932 |    66154      8 |        0 |        0
645.63/645.88	c  614s |      17 |   284225 |   239832 |    66154      8 |        0 |        0
647.73/647.95	c  616s |      17 |   284911 |   240432 |    66154      8 |        0 |        0
650.62/650.87	c  619s |      17 |   285489 |   240932 |    66154      8 |        0 |        0
653.81/654.05	c  623s |      17 |   285691 |   241132 |    66154      8 |        0 |        0
655.91/656.16	c  625s |      17 |   286388 |   241732 |    66154      8 |        0 |        0
657.91/658.19	c  627s |      17 |   287250 |   242532 |    66154      8 |        0 |        0
660.11/660.38	c  629s |      17 |   288980 |   244032 |    66154      8 |        0 |        0
662.21/662.48	c  631s |      17 |   289997 |   244932 |    66154      8 |        0 |        0
664.32/664.52	c  633s |      17 |   290445 |   245332 |    66154      8 |        0 |        0
666.31/666.58	c  635s |      17 |   291013 |   245832 |    66154      8 |        0 |        0
668.51/668.71	c  637s |      17 |   291469 |   246232 |    66154      8 |        0 |        0
671.31/671.54	c  640s |      17 |   291773 |   246532 |    66154      8 |        0 |        0
673.71/673.99	c  643s |      17 |   292311 |   247032 |    66154      8 |        0 |        0
676.11/676.33	c  645s |      17 |   292866 |   247532 |    66154      8 |        0 |        0
678.21/678.49	c  647s |      17 |   293825 |   248332 |    66154      8 |        0 |        0
680.60/680.81	c  649s |      17 |   294958 |   249232 |    66154      8 |        0 |        0
682.80/683.07	c  652s |      17 |   295609 |   249832 |    66154      8 |        0 |        0
684.80/685.09	c  654s |      17 |   296357 |   250532 |    66154      8 |        0 |        0
687.20/687.47	c  656s |      17 |   297222 |   251332 |    72770      8 |        0 |        0
689.40/689.61	c  658s |      17 |   298362 |   252232 |    72770      8 |        0 |        0
691.50/691.75	c  660s |      17 |   299032 |   252832 |    72770      8 |        0 |        0
693.91/694.19	c  663s |      17 |   299832 |   253532 |    72770      8 |        0 |        0
696.11/696.36	c  665s |      17 |   300678 |   254232 |    72770      8 |        0 |        0
698.10/698.38	c  667s |      17 |   301843 |   255232 |    72770      8 |        0 |        0
700.50/700.71	c  669s |      17 |   302602 |   255932 |    72770      8 |        0 |        0
702.60/702.86	c  671s |      17 |   303164 |   256432 |    72770      8 |        0 |        0
704.69/704.97	c  673s |      17 |   304204 |   257332 |    72770      8 |        0 |        0
706.99/707.26	c  676s |      17 |   306042 |   258932 |    72770      8 |        0 |        0
721.60/721.86	c  690s |      17 |   306458 |   259332 |    72770      9 |        0 |        0
723.71/723.95	c  692s |      17 |   307420 |   260132 |    72770      9 |        0 |        0
725.81/726.05	c  695s |      17 |   309035 |   261532 |    72770      9 |        0 |        0
790.58/790.87	c  759s |      17 |   309494 |   261932 |    72770      9 |        0 |        0
792.68/792.99	c  762s |      17 |   310374 |   262732 |    72770      9 |        0 |        0
794.78/795.06	c  764s |      17 |   311625 |   263832 |    72770      9 |        0 |        0
796.88/797.11	c  766s |      17 |   312484 |   264632 |    72770      9 |        0 |        0
798.98/799.21	c  768s |      17 |   313769 |   265832 |    72770      9 |        0 |        0
800.98/801.24	c  770s |      17 |   316287 |   268032 |    72770      9 |        0 |        0
803.18/803.40	c  772s |      17 |   318420 |   269932 |    72770      9 |        0 |        0
805.18/805.44	c  774s |      17 |   319805 |   271232 |    72770      9 |        0 |        0
807.38/807.70	c  776s |      17 |   321545 |   272832 |    72770      9 |        0 |        0
809.49/809.72	c  778s |      17 |   322974 |   274132 |    72770      9 |        0 |        0
811.59/811.84	c  780s |      17 |   324646 |   275632 |    72770      9 |        0 |        0
813.68/813.93	c  782s |      17 |   326817 |   277532 |    72770      9 |        0 |        0
815.68/815.93	c  784s |      17 |   328588 |   279132 |    72770      9 |        0 |        0
817.88/818.17	c  787s |      17 |   330569 |   280932 |    72770      9 |        0 |        0
819.98/820.25	c  789s |      17 |   331867 |   282032 |    72770      9 |        0 |        0
822.08/822.33	c  791s |      17 |   333427 |   283432 |    72770      9 |        0 |        0
824.08/824.37	c  793s |      17 |   335156 |   285032 |    72770      9 |        0 |        0
826.18/826.43	c  795s |      17 |   337075 |   286732 |    72770      9 |        0 |        0
828.19/828.46	c  797s |      17 |   338129 |   287732 |    72770      9 |        0 |        0
830.28/830.52	c  799s |      17 |   340178 |   289532 |    72770      9 |        0 |        0
832.38/832.60	c  801s |      17 |   341212 |   290432 |    72770      9 |        0 |        0
834.58/834.83	c  803s |      17 |   341856 |   291032 |    72770      9 |        0 |        0
836.88/837.13	c  806s |      17 |   342703 |   291832 |    72770      9 |        0 |        0
838.98/839.21	c  808s |      17 |   343710 |   292732 |    72770      9 |        0 |        0
841.08/841.39	c  810s |      17 |   344489 |   293432 |    72770      9 |        0 |        0
843.38/843.68	c  812s |      17 |   345248 |   294132 |    72770      9 |        0 |        0
845.48/845.77	c  814s |      17 |   346191 |   295032 |    72770      9 |        0 |        0
848.07/848.35	c  817s |      17 |   347042 |   295832 |    72770     10 |        0 |        0
854.18/854.43	c  823s |      17 |   347479 |   296232 |    72770     10 |        0 |        0
854.18/854.44	c  823s |      18 |   347502 |   296252 |    72770     10 |        0 |        0
975.25/975.59	c  944s |      18 |   347718 |   296352 |    72770     10 |        0 |        0
977.35/977.66	c  946s |      18 |   348877 |   297352 |    72770     10 |        0 |        0
979.55/979.85	c  948s |      18 |   349994 |   298352 |    72770     10 |        0 |        0
981.65/981.93	c  950s |      18 |   351306 |   299352 |    72770     10 |        0 |        0
983.75/984.02	c  953s |      18 |   352847 |   300652 |    72770     10 |        0 |        0
985.75/986.05	c  955s |      18 |   354288 |   301852 |    72770     10 |        0 |        0
987.85/988.19	c  957s |      18 |   355145 |   302652 |    72770     10 |        0 |        0
990.05/990.30	c  959s |      18 |   356133 |   303552 |    72770     10 |        0 |        0
992.25/992.56	c  961s |      18 |   357079 |   304452 |    72770     10 |        0 |        0
994.45/994.70	c  963s |      18 |   358287 |   305552 |    72770     10 |        0 |        0
996.55/996.85	c  965s |      18 |   359358 |   306552 |    72770     10 |        0 |        0
998.75/999.01	c  968s |      18 |   360432 |   307552 |    72770     10 |        0 |        0
1000.86/1001.16	c  970s |      18 |   361607 |   308652 |    72770     10 |        0 |        0
1002.96/1003.28	c  972s |      18 |   362796 |   309752 |    72770     10 |        0 |        0
1005.16/1005.49	c  974s |      18 |   363895 |   310752 |    72770     10 |        0 |        0
1007.25/1007.52	c  976s |      18 |   365089 |   311752 |    72770     10 |        0 |        0
1009.25/1009.55	c  978s |      18 |   366324 |   312752 |    72770     10 |        0 |        0
1011.35/1011.67	c  980s |      18 |   367272 |   313652 |    72770     10 |        0 |        0
1013.55/1013.81	c  982s |      18 |   368208 |   314552 |    72770     10 |        0 |        0
1015.65/1015.95	c  984s |      18 |   369260 |   315552 |    72770     10 |        0 |        0
1017.75/1018.04	c  987s |      18 |   370494 |   316752 |    72770     10 |        0 |        0
1019.75/1020.08	c  989s |      18 |   371798 |   318052 |    72770     10 |        0 |        0
1021.95/1022.25	c  991s |      18 |   372832 |   319052 |    72770     10 |        0 |        0
1024.15/1024.42	c  993s |      18 |   373932 |   320152 |    72770     10 |        0 |        0
1026.15/1026.47	c  995s |      18 |   374779 |   320952 |    72770     10 |        0 |        0
1028.55/1028.88	c  997s |      18 |   375559 |   321652 |    72770     10 |        0 |        0
1030.85/1031.15	c 1000s |      18 |   376223 |   322252 |    72770     10 |        0 |        0
1033.15/1033.49	c 1002s |      18 |   376970 |   322952 |    72770     10 |        0 |        0
1035.35/1035.63	c 1004s |      18 |   377717 |   323652 |    72770     10 |        0 |        0
1037.55/1037.89	c 1006s |      18 |   378431 |   324252 |    72770     10 |        0 |        0
1039.85/1040.12	c 1009s |      18 |   378995 |   324752 |    72770     10 |        0 |        0
1042.14/1042.46	c 1011s |      18 |   379640 |   325352 |    72770     10 |        0 |        0
1044.24/1044.51	c 1013s |      18 |   380389 |   326052 |    72770     10 |        0 |        0
1046.44/1046.76	c 1015s |      18 |   381389 |   326952 |    72770     10 |        0 |        0
1048.54/1048.86	c 1017s |      18 |   382259 |   327752 |    72770     10 |        0 |        0
1050.74/1051.04	c 1020s |      18 |   383259 |   328652 |    72770     10 |        0 |        0
1052.84/1053.16	c 1022s |      18 |   383996 |   329352 |    72770     10 |        0 |        0
1054.94/1055.22	c 1024s |      18 |   384783 |   330052 |    72770     10 |        0 |        0
1057.14/1057.49	c 1026s |      18 |   385545 |   330752 |    72770     10 |        0 |        0
1059.15/1059.49	c 1028s |      18 |   386470 |   331452 |    72770     10 |        0 |        0
1061.25/1061.53	c 1030s |      18 |   387377 |   332152 |    72770     10 |        0 |        0
1063.74/1064.01	c 1033s |      18 |   387638 |   332352 |    72770     11 |        0 |        0
1066.04/1066.37	c 1035s |      18 |   388079 |   332752 |    72770     11 |        0 |        0
1068.14/1068.43	c 1037s |      18 |   389166 |   333652 |    72770     11 |        0 |        0
1070.34/1070.64	c 1039s |      18 |   390324 |   334652 |    72770     11 |        0 |        0
1072.34/1072.68	c 1041s |      18 |   391233 |   335452 |    72770     11 |        0 |        0
1074.54/1074.84	c 1043s |      18 |   392086 |   336252 |    72770     11 |        0 |        0
1076.54/1076.86	c 1045s |      18 |   393041 |   337152 |    72770     11 |        0 |        0
1078.54/1078.89	c 1047s |      18 |   394286 |   338152 |    72770     11 |        0 |        0
1092.15/1092.42	c 1061s |      18 |   395388 |   339152 |    72770     11 |        0 |        0
1094.14/1094.45	c 1063s |      18 |   395960 |   339652 |    72770     11 |        0 |        0
1096.24/1096.54	c 1065s |      18 |   396672 |   340252 |    72770     11 |        0 |        0
1098.44/1098.70	c 1067s |      18 |   397389 |   340852 |    72770     11 |        0 |        0
1100.54/1100.81	c 1069s |      18 |   398306 |   341552 |    72770     11 |        0 |        0
1102.74/1103.05	c 1072s |      18 |   399140 |   342152 |    72770     11 |        0 |        0
1104.94/1105.28	c 1074s |      18 |   399959 |   342752 |    72770     11 |        0 |        0
1107.14/1107.44	c 1076s |      18 |   400738 |   343352 |    72770     11 |        0 |        0
1109.14/1109.47	c 1078s |      18 |   401327 |   343852 |    72770     11 |        0 |        0
1111.24/1111.58	c 1080s |      18 |   402011 |   344452 |    72770     11 |        0 |        0
1113.64/1113.97	c 1082s |      18 |   402804 |   345152 |    72770     11 |        0 |        0
1115.84/1116.18	c 1085s |      18 |   403439 |   345752 |    72770     11 |        0 |        0
1118.14/1118.41	c 1087s |      18 |   404283 |   346552 |    72770     11 |        0 |        0
1120.33/1120.60	c 1089s |      18 |   405021 |   347252 |    72770     11 |        0 |        0
1122.53/1122.83	c 1091s |      18 |   405914 |   348052 |    72770     11 |        0 |        0
1124.83/1125.13	c 1094s |      18 |   406672 |   348752 |    72770     11 |        0 |        0
1126.83/1127.18	c 1096s |      18 |   407569 |   349452 |    72770     11 |        0 |        0
1128.83/1129.18	c 1098s |      18 |   408329 |   350152 |    72770     11 |        0 |        0
1131.13/1131.47	c 1100s |      18 |   409265 |   350952 |    72770     11 |        0 |        0
1133.43/1133.71	c 1102s |      18 |   410245 |   351852 |    72770     11 |        0 |        0
1135.53/1135.87	c 1104s |      18 |   411069 |   352652 |    72770     11 |        0 |        0
1137.73/1138.05	c 1107s |      18 |   411997 |   353552 |    72770     11 |        0 |        0
1139.93/1140.23	c 1109s |      18 |   412959 |   354452 |    72770     11 |        0 |        0
1141.93/1142.24	c 1111s |      18 |   413771 |   355252 |    72770     11 |        0 |        0
1144.23/1144.54	c 1113s |      18 |   414408 |   355852 |    72770     11 |        0 |        0
1146.23/1146.57	c 1115s |      18 |   414931 |   356352 |    72770     11 |        0 |        0
1148.43/1148.73	c 1117s |      18 |   415581 |   356952 |    72770     11 |        0 |        0
1150.53/1150.82	c 1119s |      18 |   416273 |   357552 |    72770     11 |        0 |        0
1152.64/1152.98	c 1122s |      18 |   416881 |   358152 |    72770     11 |        0 |        0
1154.93/1155.22	c 1124s |      18 |   417598 |   358852 |    72770     11 |        0 |        0
1157.13/1157.42	c 1126s |      18 |   418431 |   359652 |    72770     11 |        0 |        0
1159.24/1159.58	c 1128s |      18 |   419053 |   360252 |    72770     11 |        0 |        0
1161.44/1161.76	c 1130s |      18 |   419582 |   360752 |    72770     11 |        0 |        0
1163.64/1163.99	c 1133s |      18 |   420138 |   361252 |    72770     11 |        0 |        0
1165.84/1166.16	c 1135s |      18 |   420894 |   361952 |    72770     11 |        0 |        0
1168.03/1168.35	c 1137s |      18 |   421634 |   362652 |    72770     11 |        0 |        0
1170.33/1170.61	c 1139s |      18 |   422445 |   363452 |    72770     11 |        0 |        0
1172.33/1172.70	c 1141s |      18 |   423163 |   364152 |    72770     11 |        0 |        0
1174.63/1174.93	c 1143s |      18 |   423874 |   364852 |    72770     11 |        0 |        0
1176.63/1176.95	c 1145s |      18 |   424489 |   365452 |    72770     11 |        0 |        0
1181.72/1182.08	c 1151s |      18 |   424824 |   365752 |    72770     11 |        0 |        0
1184.02/1184.39	c 1153s |      18 |   425524 |   366352 |    72770     11 |        0 |        0
1186.42/1186.70	c 1155s |      18 |   426034 |   366852 |    72770     11 |        0 |        0
1188.42/1188.70	c 1157s |      18 |   426562 |   367352 |    72770     11 |        0 |        0
1190.52/1190.84	c 1159s |      18 |   427178 |   367952 |    72770     11 |        0 |        0
1193.52/1193.88	c 1162s |      18 |   428033 |   368752 |    72770     12 |        0 |        0
1195.82/1196.11	c 1165s |      18 |   428135 |   368852 |    72770     12 |        0 |        0
1200.32/1200.69	c 1169s |      18 |   428575 |   369252 |    72770     12 |        0 |        0
1202.62/1202.95	c 1171s |      18 |   429795 |   370352 |    72770     12 |        0 |        0
1204.62/1204.99	c 1174s |      18 |   430902 |   371352 |    72770     12 |        0 |        0
1206.72/1207.06	c 1176s |      18 |   431831 |   372252 |    72770     12 |        0 |        0
1208.82/1209.12	c 1178s |      18 |   432652 |   373052 |    72770     12 |        0 |        0
1329.40/1329.77	c 1298s |      18 |   433480 |   373852 |    72770     12 |        0 |        0
1331.60/1331.93	c 1300s |      18 |   434213 |   374552 |    72770     12 |        0 |        0
1333.90/1334.20	c 1303s |      18 |   434865 |   375152 |    72770     12 |        0 |        0
1335.90/1336.21	c 1305s |      18 |   435605 |   375852 |    72770     12 |        0 |        0
1338.00/1338.38	c 1307s |      18 |   436365 |   376552 |    72770     12 |        0 |        0
1340.10/1340.43	c 1309s |      18 |   437200 |   377352 |    72770     12 |        0 |        0
1342.10/1342.46	c 1311s |      18 |   438020 |   378152 |    72770     12 |        0 |        0
1344.30/1344.61	c 1313s |      18 |   438840 |   378952 |    72770     12 |        0 |        0
1346.60/1346.97	c 1315s |      18 |   439534 |   379552 |    72770     12 |        0 |        0
1348.70/1349.02	c 1318s |      18 |   440107 |   380052 |    72770     12 |        0 |        0
1350.80/1351.18	c 1320s |      18 |   440968 |   380852 |    72770     12 |        0 |        0
1353.10/1353.47	c 1322s |      18 |   441726 |   381552 |    72770     12 |        0 |        0
1355.20/1355.51	c 1324s |      18 |   442475 |   382152 |    72770     12 |        0 |        0
1357.29/1357.69	c 1326s |      18 |   443369 |   382952 |    72770     12 |        0 |        0
1359.40/1359.79	c 1328s |      18 |   444077 |   383552 |    72770     12 |        0 |        0
1361.69/1362.00	c 1331s |      18 |   445015 |   384352 |    72770     12 |        0 |        0
1363.89/1364.27	c 1333s |      18 |   445700 |   384952 |    72770     12 |        0 |        0
1366.09/1366.49	c 1335s |      18 |   446674 |   385752 |    72770     12 |        0 |        0
1375.10/1375.43	c 1344s |      18 |   447144 |   386152 |    72770     12 |        0 |        0
1377.40/1377.73	c 1346s |      18 |   447685 |   386652 |    72770     12 |        0 |        0
1379.50/1379.82	c 1348s |      18 |   448218 |   387152 |    72770     12 |        0 |        0
1381.90/1382.24	c 1351s |      18 |   449137 |   387952 |    72770     12 |        0 |        0
1384.19/1384.51	c 1353s |      18 |   449797 |   388552 |    72770     12 |        0 |        0
1386.29/1386.68	c 1355s |      18 |   450527 |   389252 |    72770     12 |        0 |        0
1388.59/1388.95	c 1357s |      18 |   451273 |   389952 |    72770     12 |        0 |        0
1390.69/1391.09	c 1360s |      18 |   452007 |   390652 |    72770     12 |        0 |        0
1392.79/1393.10	c 1362s |      18 |   452626 |   391252 |    72770     12 |        0 |        0
1394.89/1395.25	c 1364s |      18 |   453342 |   391952 |    72770     12 |        0 |        0
1397.19/1397.57	c 1366s |      18 |   454061 |   392652 |    72770     12 |        0 |        0
1399.39/1399.73	c 1368s |      18 |   454692 |   393252 |    72770     12 |        0 |        0
1401.59/1401.96	c 1370s |      18 |   455263 |   393752 |    72770     12 |        0 |        0
1403.89/1404.21	c 1373s |      18 |   455871 |   394252 |    72770     12 |        0 |        0
1406.19/1406.51	c 1375s |      18 |   456453 |   394752 |    72770     12 |        0 |        0
1408.39/1408.73	c 1377s |      18 |   457188 |   395352 |    72770     12 |        0 |        0
1410.39/1410.76	c 1379s |      18 |   457768 |   395852 |    72770     12 |        0 |        0
1412.39/1412.78	c 1381s |      18 |   458375 |   396352 |    72770     12 |        0 |        0
1414.49/1414.81	c 1383s |      18 |   458814 |   396752 |    72770     12 |        0 |        0
1416.50/1416.84	c 1385s |      18 |   459387 |   397252 |    72770     12 |        0 |        0
1418.70/1419.10	c 1388s |      18 |   459973 |   397752 |    72770     12 |        0 |        0
1421.00/1421.36	c 1390s |      18 |   460566 |   398252 |    80047     12 |        0 |        0
1423.19/1423.54	c 1392s |      18 |   461436 |   398952 |    80047     12 |        0 |        0
1425.40/1425.73	c 1394s |      18 |   462136 |   399552 |    80047     12 |        0 |        0
1427.60/1427.90	c 1396s |      18 |   462701 |   400052 |    80047     12 |        0 |        0
1429.79/1430.12	c 1399s |      18 |   463365 |   400652 |    80047     12 |        0 |        0
1431.99/1432.36	c 1401s |      18 |   464171 |   401252 |    80047     12 |        0 |        0
1434.19/1434.56	c 1403s |      18 |   464950 |   401852 |    80047     12 |        0 |        0
1436.29/1436.65	c 1405s |      18 |   465266 |   402152 |    80047     12 |        0 |        0
1438.69/1439.09	c 1408s |      18 |   465737 |   402552 |    80047     12 |        0 |        0
1441.19/1441.56	c 1410s |      18 |   466209 |   402952 |    80047     12 |        0 |        0
1443.58/1443.93	c 1412s |      18 |   466657 |   403352 |    80047     12 |        0 |        0
1446.08/1446.46	c 1415s |      18 |   467483 |   403952 |    80047     12 |        0 |        0
1448.28/1448.61	c 1417s |      18 |   467982 |   404352 |    80047     12 |        0 |        0
1450.59/1450.98	c 1420s |      18 |   468552 |   404852 |    80047     12 |        0 |        0
1452.68/1453.10	c 1422s |      18 |   469298 |   405452 |    80047     12 |        0 |        0
1455.28/1455.65	c 1424s |      18 |   470107 |   406152 |    80047     12 |        0 |        0
1457.48/1457.83	c 1426s |      18 |   470554 |   406552 |    80047     12 |        0 |        0
1459.78/1460.15	c 1429s |      18 |   471151 |   407052 |    80047     12 |        0 |        0
1461.98/1462.31	c 1431s |      18 |   471887 |   407652 |    80047     12 |        0 |        0
1463.98/1464.32	c 1433s |      18 |   472645 |   408252 |    80047     12 |        0 |        0
1465.99/1466.35	c 1435s |      18 |   473243 |   408752 |    80047     12 |        0 |        0
1468.38/1468.72	c 1437s |      18 |   473827 |   409252 |    80047     12 |        0 |        0
1470.58/1470.94	c 1439s |      18 |   474391 |   409752 |    80047     12 |        0 |        0
1472.68/1473.03	c 1442s |      18 |   474972 |   410252 |    80047     12 |        0 |        0
1474.88/1475.24	c 1444s |      18 |   475681 |   410852 |    80047     12 |        0 |        0
1476.98/1477.33	c 1446s |      18 |   476303 |   411352 |    80047     12 |        0 |        0
1479.28/1479.64	c 1448s |      18 |   476884 |   411852 |    80047     12 |        0 |        0
1483.17/1483.56	c 1452s |      18 |   477601 |   412452 |    80047     13 |        0 |        0
1485.28/1485.69	c 1454s |      18 |   478032 |   412752 |    80047     13 |        0 |        0
1487.38/1487.70	c 1456s |      18 |   478268 |   412952 |    80047     13 |        0 |        0
1489.87/1490.29	c 1459s |      18 |   478886 |   413452 |    80047     13 |        0 |        0
1492.07/1492.47	c 1461s |      18 |   480412 |   414652 |    80047     13 |        0 |        0
1532.97/1533.37	c 1502s |      18 |   481498 |   415452 |    80047     13 |        0 |        0
1535.17/1535.52	c 1504s |      18 |   482408 |   416252 |    80047     13 |        0 |        0
1537.17/1537.56	c 1506s |      18 |   483698 |   417352 |    80047     13 |        0 |        0
1539.27/1539.60	c 1508s |      18 |   484467 |   418052 |    80047     13 |        0 |        0
1541.47/1541.89	c 1510s |      18 |   485379 |   418852 |    80047     13 |        0 |        0
1543.57/1543.92	c 1512s |      18 |   486461 |   419752 |    80047     13 |        0 |        0
1545.77/1546.18	c 1515s |      18 |   487387 |   420552 |    80047     13 |        0 |        0
1547.87/1548.20	c 1517s |      18 |   488076 |   421152 |    80047     13 |        0 |        0
1550.07/1550.49	c 1519s |      18 |   488910 |   421852 |    80047     13 |        0 |        0
1552.17/1552.51	c 1521s |      18 |   489796 |   422552 |    80047     13 |        0 |        0
1554.27/1554.61	c 1523s |      18 |   490619 |   423252 |    80047     13 |        0 |        0
1556.47/1556.84	c 1525s |      18 |   491567 |   424052 |    80047     13 |        0 |        0
1558.57/1558.93	c 1527s |      18 |   492641 |   424952 |    80047     13 |        0 |        0
1560.57/1560.96	c 1529s |      18 |   493881 |   425952 |    80047     13 |        0 |        0
1562.67/1563.00	c 1532s |      18 |   495757 |   427252 |    80047     13 |        0 |        0
1564.67/1565.01	c 1534s |      18 |   496484 |   427852 |    80047     13 |        0 |        0
1566.76/1567.11	c 1536s |      18 |   497125 |   428452 |    80047     13 |        0 |        0
1568.86/1569.22	c 1538s |      18 |   498176 |   429352 |    80047     13 |        0 |        0
1570.96/1571.32	c 1540s |      18 |   499701 |   430652 |    80047     13 |        0 |        0
1573.06/1573.45	c 1542s |      18 |   501127 |   431852 |    80047     13 |        0 |        0
1575.16/1575.50	c 1544s |      18 |   502301 |   432852 |    80047     13 |        0 |        0
1577.17/1577.58	c 1546s |      18 |   503500 |   433852 |    80047     13 |        0 |        0
1579.27/1579.69	c 1548s |      18 |   504458 |   434652 |    80047     13 |        0 |        0
1581.36/1581.71	c 1550s |      18 |   505173 |   435252 |    80047     13 |        0 |        0
1583.46/1583.86	c 1552s |      18 |   506066 |   436052 |    80047     13 |        0 |        0
1585.56/1585.91	c 1554s |      18 |   506643 |   436552 |    80047     13 |        0 |        0
1587.76/1588.14	c 1557s |      18 |   507512 |   437352 |    80047     13 |        0 |        0
1589.96/1590.39	c 1559s |      18 |   508293 |   438052 |    80047     13 |        0 |        0
1592.16/1592.50	c 1561s |      18 |   509541 |   439152 |    80047     13 |        0 |        0
1594.26/1594.65	c 1563s |      18 |   510457 |   439952 |    80047     13 |        0 |        0
1596.26/1596.65	c 1565s |      18 |   511691 |   441052 |    80047     13 |        0 |        0
1598.36/1598.78	c 1567s |      18 |   512562 |   441852 |    80047     13 |        0 |        0
1600.46/1600.86	c 1569s |      18 |   513671 |   442852 |    80047     13 |        0 |        0
1602.56/1602.92	c 1571s |      18 |   514631 |   443652 |    80047     13 |        0 |        0
1604.67/1605.07	c 1574s |      18 |   515334 |   444252 |    80047     13 |        0 |        0
1605.16/1605.59	c 1574s |      19 |   515618 |   444482 |    80047     13 |        0 |        0
1610.66/1611.05	c 1580s |      19 |   515886 |   444682 |    80047     13 |        0 |        0
1612.95/1613.34	c 1582s |      19 |   516505 |   445282 |    80047     13 |        0 |        0
1615.25/1615.62	c 1584s |      19 |   517216 |   445882 |    80047     13 |        0 |        0
1617.45/1617.80	c 1586s |      19 |   518045 |   446482 |    80047     13 |        0 |        0
1619.55/1619.97	c 1588s |      19 |   518714 |   447082 |    80047     13 |        0 |        0
1621.85/1622.23	c 1591s |      19 |   519466 |   447782 |    80047     13 |        0 |        0
1623.85/1624.23	c 1593s |      19 |   520242 |   448482 |    80047     13 |        0 |        0
1626.25/1626.60	c 1595s |      19 |   520973 |   449182 |    80047     13 |        0 |        0
1628.45/1628.82	c 1597s |      19 |   521605 |   449782 |    80047     13 |        0 |        0
1630.65/1631.01	c 1600s |      19 |   522297 |   450382 |    80047     13 |        0 |        0
1632.65/1633.03	c 1602s |      19 |   523063 |   450982 |    80047     13 |        0 |        0
1634.75/1635.15	c 1604s |      19 |   523771 |   451582 |    80047     13 |        0 |        0
1637.15/1637.50	c 1606s |      19 |   524533 |   452282 |    80047     13 |        0 |        0
1642.76/1643.11	c 1612s |      19 |   524879 |   452582 |    80047     14 |        0 |        0
1644.85/1645.27	c 1614s |      19 |   525490 |   453082 |    80047     14 |        0 |        0
1647.05/1647.49	c 1616s |      19 |   526630 |   453982 |    80047     14 |        0 |        0
1649.15/1649.54	c 1618s |      19 |   527656 |   454882 |    80047     14 |        0 |        0
1664.25/1664.66	c 1633s |      19 |   527876 |   455082 |    80047     14 |        0 |        0
1666.35/1666.70	c 1635s |      19 |   528923 |   455982 |    80047     14 |        0 |        0
1668.36/1668.74	c 1637s |      19 |   530080 |   456982 |    80047     14 |        0 |        0
1670.56/1670.95	c 1639s |      19 |   531400 |   457882 |    80047     14 |        0 |        0
1672.65/1673.06	c 1642s |      19 |   532337 |   458682 |    80047     14 |        0 |        0
1674.75/1675.15	c 1644s |      19 |   533416 |   459482 |    80047     14 |        0 |        0
1676.75/1677.17	c 1646s |      19 |   534244 |   460282 |    80047     14 |        0 |        0
1689.04/1689.46	c 1658s |      19 |   534468 |   460482 |    80047     14 |        0 |        0
1691.04/1691.47	c 1660s |      19 |   535421 |   461382 |    80047     14 |        0 |        0
1693.24/1693.64	c 1662s |      19 |   536337 |   462282 |    80047     14 |        0 |        0
1695.34/1695.78	c 1664s |      19 |   537342 |   463282 |    80047     14 |        0 |        0
1697.54/1697.99	c 1667s |      19 |   538298 |   464182 |    80047     14 |        0 |        0
1699.94/1700.30	c 1669s |      19 |   539170 |   464982 |    80047     14 |        0 |        0
1701.94/1702.31	c 1671s |      19 |   539999 |   465682 |    80047     14 |        0 |        0
1704.14/1704.59	c 1673s |      19 |   540873 |   466382 |    80047     14 |        0 |        0
1706.44/1706.81	c 1675s |      19 |   541719 |   467182 |    80047     14 |        0 |        0
1708.74/1709.10	c 1678s |      19 |   542684 |   467982 |    80047     14 |        0 |        0
1710.94/1711.39	c 1680s |      19 |   543687 |   468882 |    80047     14 |        0 |        0
1713.24/1713.62	c 1682s |      19 |   544516 |   469682 |    80047     14 |        0 |        0
1715.24/1715.65	c 1684s |      19 |   545404 |   470382 |    80047     14 |        0 |        0
1717.34/1717.75	c 1686s |      19 |   546183 |   471082 |    80047     14 |        0 |        0
1719.44/1719.87	c 1688s |      19 |   546930 |   471682 |    80047     14 |        0 |        0
1721.54/1721.97	c 1690s |      19 |   547817 |   472482 |    80047     14 |        0 |        0
1723.84/1724.26	c 1693s |      19 |   548464 |   473082 |    80047     14 |        0 |        0
1726.23/1726.61	c 1695s |      19 |   549392 |   473882 |    80047     14 |        0 |        0
1728.23/1728.62	c 1697s |      19 |   550032 |   474482 |    80047     14 |        0 |        0
1730.23/1730.66	c 1699s |      19 |   550680 |   475082 |    80047     14 |        0 |        0
1732.34/1732.75	c 1701s |      19 |   551393 |   475682 |    80047     14 |        0 |        0
1734.54/1734.93	c 1703s |      19 |   552094 |   476282 |    80047     14 |        0 |        0
1736.65/1737.08	c 1706s |      19 |   552992 |   477082 |    80047     14 |        0 |        0
1738.85/1739.28	c 1708s |      19 |   553822 |   477782 |    80047     14 |        0 |        0
1740.95/1741.32	c 1710s |      19 |   554612 |   478482 |    80047     14 |        0 |        0
1742.94/1743.38	c 1712s |      19 |   555382 |   479182 |    80047     14 |        0 |        0
1745.24/1745.68	c 1714s |      19 |   556145 |   479882 |    80047     14 |        0 |        0
1747.34/1747.77	c 1716s |      19 |   557085 |   480682 |    80047     14 |        0 |        0
1749.44/1749.88	c 1718s |      19 |   557839 |   481382 |    80047     14 |        0 |        0
1751.84/1752.20	c 1721s |      19 |   558485 |   481982 |    80047     14 |        0 |        0
1753.84/1754.24	c 1723s |      19 |   559243 |   482682 |    80047     14 |        0 |        0
1756.04/1756.48	c 1725s |      19 |   560395 |   483582 |    80047     14 |        0 |        0
1758.34/1758.71	c 1727s |      19 |   561040 |   484182 |    80047     14 |        0 |        0
1760.34/1760.71	c 1729s |      19 |   561672 |   484782 |    80047     14 |        0 |        0
1762.54/1762.98	c 1732s |      19 |   562281 |   485282 |    80047     14 |        0 |        0
1764.74/1765.15	c 1734s |      19 |   563054 |   485882 |    80047     14 |        0 |        0
1767.04/1767.41	c 1736s |      19 |   563745 |   486482 |    80047     14 |        0 |        0
1769.34/1769.72	c 1738s |      19 |   564510 |   487182 |    80047     14 |        0 |        0
1771.44/1771.89	c 1740s |      19 |   565061 |   487682 |    80047     14 |        0 |        0
1773.84/1774.24	c 1743s |      19 |   565870 |   488382 |    80047     14 |        0 |        0
1776.04/1776.42	c 1745s |      19 |   566576 |   488982 |    80047     14 |        0 |        0
1778.14/1778.55	c 1747s |      19 |   567170 |   489482 |    80047     14 |        0 |        0
1780.34/1780.75	c 1749s |      19 |   567818 |   490082 |    80047     14 |        0 |        0
1782.34/1782.77	c 1751s |      19 |   568521 |   490682 |    80047     14 |        0 |        0
1784.43/1784.81	c 1753s |      19 |   569300 |   491282 |    80047     14 |        0 |        0
1786.43/1786.81	c 1755s |      19 |   569857 |   491782 |    80047     14 |        0 |        0
1788.73/1789.16	c 1758s |      19 |   570514 |   492382 |    80047     14 |        0 |        0
1794.94/1795.33	c 1764s |      19 |   570865 |   492682 |    80047     15 |        0 |        0
1797.03/1797.50	c 1766s |      19 |   571442 |   493182 |    80047     15 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=5493
running on 4 cores: 0,2,4,6

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: 0.68 0.28 1.03 3/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=645564 CPUtime=0 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 2397 0 0 0 0 0 0 0 20 0 4 0 1807770 661057536 2758 33554432000 4194304 16246674 140736989463920 140736989463344 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 162159 2767 441 2943 0 159053 0
[pid=5498/tid=5500] ppid=5493 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 686223360 2853 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 691466240 2871 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1807770 695660544 2889 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100148 s]
/proc/loadavg: 0.68 0.28 1.03 3/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 26529 0 0 0 4 4 0 0 20 0 4 0 1807770 1333334016 26828 33554432000 4194304 16246674 140736989463920 140736989463232 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 325521 26844 799 2943 0 322415 0
[pid=5498/tid=5500] ppid=5493 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1333334016 26855 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1333334016 26867 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1333334016 26878 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200497 s]
/proc/loadavg: 0.68 0.28 1.03 3/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 45615 0 0 0 12 7 0 0 20 0 4 0 1807770 1344868352 46424 33554432000 4194304 16246674 140736989463920 140736989463232 7853032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 328337 46424 800 2943 0 325231 0
[pid=5498/tid=5500] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 46424 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 46424 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 46424 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300493 s]
/proc/loadavg: 0.68 0.28 1.03 3/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 50933 0 0 0 21 8 0 0 20 0 4 0 1807770 1344868352 51742 33554432000 4194304 16246674 140736989463920 140736989463232 13927423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 328337 51742 842 2943 0 325231 0
[pid=5498/tid=5500] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 51742 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 51742 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 51742 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700352 s]
/proc/loadavg: 0.68 0.28 1.03 3/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 111697 0 0 0 52 17 0 0 20 0 4 0 1807770 1344868352 112506 33554432000 4194304 16246674 140736989463920 140736989463232 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 328337 112515 890 2943 0 325231 0
[pid=5498/tid=5500] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 112521 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 112525 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 112528 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 0.79 0.30 1.04 4/184 5507
/proc/meminfo: memFree=29050552/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 220276 0 0 0 117 32 0 0 20 0 4 0 1807770 1344868352 221085 33554432000 4194304 16246674 140736989463920 140736989445824 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 328337 221091 890 2943 0 325231 0
[pid=5498/tid=5500] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 221095 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 221099 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1344868352 221102 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 0.79 0.30 1.04 6/184 5507
/proc/meminfo: memFree=28248008/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1318468 CPUtime=3.09 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 270156 0 0 0 270 39 0 0 20 0 4 0 1807770 1350111232 270965 33554432000 4194304 16246674 140736989463920 140736989446920 6861779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 329617 270965 893 2943 0 326511 0
[pid=5498/tid=5500] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 270965 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 270965 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 270965 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30039 s]
/proc/loadavg: 0.79 0.30 1.04 4/184 5507
/proc/meminfo: memFree=28247520/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1318468 CPUtime=6.29 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 270308 0 0 0 590 39 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140736989445824 13192245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 329617 271117 906 2943 0 326511 0
[pid=5498/tid=5500] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 0.97 0.36 1.05 4/184 5507
/proc/meminfo: memFree=28247296/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1318468 CPUtime=12.68 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 270308 0 0 0 1229 39 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140736989445824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 329617 271117 906 2943 0 326511 0
[pid=5498/tid=5500] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271117 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 1.13 0.41 1.06 4/183 5507
/proc/meminfo: memFree=28247560/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 270318 0 0 0 2509 39 0 0 20 0 4 0 1807770 1350111232 271127 33554432000 4194304 16246674 140736989463920 140736989445824 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 329617 271127 915 2943 0 326511 0
[pid=5498/tid=5500] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271127 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271127 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271127 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 1.65 0.59 1.10 4/183 5508
/proc/meminfo: memFree=28224004/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 270325 0 0 0 5069 39 0 0 20 0 4 0 1807770 1350111232 271134 33554432000 4194304 16246674 140736989463920 140736989445824 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 329617 271134 919 2943 0 326511 0
[pid=5498/tid=5500] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271134 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271134 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1350111232 271134 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 1.86 0.82 1.15 4/183 5508
/proc/meminfo: memFree=28153888/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1332804 CPUtime=102.28 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 273922 0 0 0 10188 40 0 0 20 0 4 0 1807770 1364791296 274719 33554432000 4194304 16246674 140736989463920 140736989445824 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 333201 274719 920 2943 0 330095 0
[pid=5498/tid=5500] ppid=5493 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1364791296 274719 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1364791296 274719 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1364791296 274719 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804


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

/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1416772

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 1.81 4/182 5535
/proc/meminfo: memFree=28065272/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1302 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295084 0 0 0 130110 90 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140736989461824 4222260 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295712 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1416772

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.82 4/182 5536
/proc/meminfo: memFree=28065300/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1361.99 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295084 0 0 0 136106 93 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140736989445824 5674088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295712 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1416772

[startup+1422.3 s]
/proc/loadavg: 2.16 2.05 1.83 4/182 5537
/proc/meminfo: memFree=28065516/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1421.99 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295084 0 0 0 142105 94 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140736989445824 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295712 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1416772

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 1.84 4/182 5538
/proc/meminfo: memFree=28066072/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1481.97 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295084 0 0 0 148103 94 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140736989461824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295712 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295712 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1416772

[startup+1542.31 s]
/proc/loadavg: 2.06 2.05 1.85 4/183 5542
/proc/meminfo: memFree=28064548/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1541.98 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295085 0 0 0 154099 99 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140736989445824 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295968 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1416772

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.86 4/182 5543
/proc/meminfo: memFree=28064680/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1601.96 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295085 0 0 0 160097 99 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140736989445824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295968 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1416772

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 1.87 4/182 5544
/proc/meminfo: memFree=28064436/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1661.95 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295085 0 0 0 166094 101 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140736989463096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295968 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1416772

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.87 4/182 5545
/proc/meminfo: memFree=28064432/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1721.94 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295085 0 0 0 172092 102 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140736989445824 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295968 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1416772

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.88 4/182 5546
/proc/meminfo: memFree=28064304/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1781.94 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295085 0 0 0 178091 103 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140736989445824 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295968 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1416772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 1.88 3/182 5546
/proc/meminfo: memFree=28064308/32872528 swapFree=7620/7620
[pid=5498] ppid=5493 vsize=1416772 CPUtime=1800.02 cores=0,2,4,6
/proc/5498/stat : 5498 (toysat) R 5493 5498 5453 0 -1 4202496 295085 0 0 0 179899 103 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140736989463096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5498/statm: 354193 295968 921 2943 0 351087 0
[pid=5498/tid=5500] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5500/stat : 5500 (toysat) S 5493 5498 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217875934448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5498/tid=5504] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5504/stat : 5504 (toysat) S 5493 5498 5453 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217797291248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5498/tid=5505] ppid=5493 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/5498/task/5505/stat : 5505 (toysat) S 5493 5498 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1450774528 295968 33554432000 4194304 16246674 140736989463920 140217786817712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1416772

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 5498 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.42
CPU time (s): 1800.04
CPU user time (s): 1799
CPU system time (s): 1.03884
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1416772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.03884
maximum resident set size= 1183872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295085
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= 198
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60015 second user time and 8.11477 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 16:05:03
IDJOB=4117312
IDBENCH=111561
IDSOLVER=2542
FILE ID=node106/4117312-1467209088
RUNJOBID= node106-1467209087-5469
PBS_JOBID= 19997588
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= 1828d4554e755f4459d92d0b5e02da5c
RANDOM SEED=1583085343

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30410564 kB
Buffers:           92648 kB
Cached:          1592268 kB
SwapCached:            0 kB
Active:          1143404 kB
Inactive:         556520 kB
Active(anon):      17960 kB
Inactive(anon):        0 kB
Active(file):    1125444 kB
Inactive(file):   556520 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34788 kB
Writeback:             0 kB
AnonPages:         23032 kB
Mapped:            15104 kB
Shmem:               204 kB
Slab:             625992 kB
SReclaimable:      68988 kB
SUnreclaim:       557004 kB
KernelStack:        1400 kB
PageTables:         3448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71712 MiB
End job on node106 at 2016-06-29 16:35:17