Trace number 4093716

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
MD5SUM01a077d3621ba64f6c6e6b6c3ebb8e99
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.57446
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints121
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 5857
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5856
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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-16T18:06:23+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","--wbo","--search=bcd2","HOME/instance-4093716-1466093183.wbo"]
0.00/0.01	c use --random-gen="2066710512 3346286740 1260868495 419992989 1108359066 3091315384 3536478766 2518434012 3436592644 627752752 3026683110 656939163 782289732 4098218567 1518519402 3029965452 1544146209 1094314999 187477386 3302248467 1111109531 1020058822 2914780376 3707901659 3302757323 714492751 2982088485 2358564827 1826749853 3525167712 1403415957 236168945 2038999216 3983277608 2864179572 488843009 1988078102 769059641 457475146 1166191916 3912977668 431542267 2291688913 2255332491 2748037508 2502128138 1413660166 1156214147 3351632370 42716201 2643199819 383241325 2899263251 2114834483 2683528981 2824785929 1060612872 1696580016 958100157 4190280521 1260452496 676604147 2340737643 2446754028 2445754446 2907284896 263287711 3812224439 2743298991 738521187 803406656 2621344269 1478533980 288537707 1931462000 4071941159 1743707185 4257478793 535522205 1650001690 1312811859 3988497452 739228663 2952197988 2862172616 2901216522 3231812665 2421457881 3980564485 1227936627 3956601507 724652169 2260687816 130656893 1639583574 1782855152 3528202861 3399254708 3708171422 4167314365 3308257379 2995860626 2476807795 1099124777 118746214 273561129 1840619215 1939576175 1203689928 3496075460 619977421 4171005571 1008889507 1096846490 1469422201 1091229474 4085702907 2209505348 3742380556 3608286317 1239011686 1067138581 1759379931 2509669683 3908652925 948703890 1521421252 1702707295 2537672657 2406796768 3593376839 2785749826 166304242 66593129 1686318924 2913049469 44622460 2530726831 1327728391 1384125420 3044948969 78197670 609479149 2198399063 2627360483 2696126726 708241300 2598297623 3384169311 4026915574 3857745765 1481262097 420728071 542089332 2342916580 4149880805 1613149454 1834215419 3083968118 3509401909 2583238943 2514099659 1003981603 2821290720 1208254613 2971159867 3061247792 3392682583 3894343333 1032104856 706642261 2160872171 916367993 1550419160 2903284760 103223754 3749401481 2085083083 864313288 3719678652 3756007918 2345166410 2614379160 3672164780 3422295549 3145885806 3145193850 918832636 2973855105 597612707 1423028428 3961797185 2922254978 440049259 3432170117 2634691445 2430766229 2741694056 69477915 3968572623 2868893100 3912338321 1003752969 2440792803 4155340574 491806580 1290297849 2445424183 1482725963 954498962 955335322 3172174392 3235441144 2745515823 3689676674 967061685 37586006 1792710613 1823359723 2727672132 4207618599 2255757831 1992039242 879037689 4033000467 4266439837 1175125515 3157023287 2672387468 2347775733 3597458323 3315117799 117143419 2963036020 1617558050 1454418743 52549560 3978122554 2139957858 3441176023 2447278964 2861272414 3251588359 4253931137 1995706778 2662275729 3659171040 2871630138 2818160999 3525365769 2422417905 3067744207 3719772112 3319903784 3892618614 1638272938 255 362436" option to reproduce the execution
0.09/0.18	c #vars 3660
0.09/0.18	c #constraints 121
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1300      0 |        0 |        0
0.19/0.21	c  0.0s |       0 |      181 |        0 |     1300      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.005s
0.19/0.21	c #wall_clock_time = 0.005s
0.19/0.21	c #decision = 181
0.19/0.21	c #random_decision = 1
0.19/0.21	c #conflict = 0
0.19/0.21	c #restart = 0
0.19/0.21	o 2813
0.19/0.21	c BCD2: updating upper bound: 5856 -> 2812
0.19/0.21	c BCD2: 0 <= obj <= 2812
0.19/0.21	c BCD2: #cores=0, #unrelaxed=121, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1300      0 |        0 |        0
0.19/0.29	c  0.1s |       1 |      294 |      100 |     1300      0 |        0 |        0
0.39/0.45	c  0.2s |       2 |     1404 |      250 |     1431      0 |        0 |        0
0.89/0.91	c  0.7s |       3 |     3594 |      475 |     1575      0 |        0 |        0
1.59/1.63	c  1.4s |       4 |     6327 |      813 |     1733      0 |        0 |        0
2.59/2.62	c  2.4s |       5 |     9448 |     1320 |     1907      0 |        0 |        0
3.89/3.92	c  3.7s |       6 |    12504 |     2081 |     2308      0 |        0 |        0
5.89/5.95	c  5.7s |       6 |    15670 |     3081 |     2308      0 |        0 |        0
6.19/6.29	c  6.1s |       7 |    15826 |     3223 |     2539      0 |        0 |        0
8.39/8.45	c  8.2s |       7 |    19115 |     4323 |     2539      1 |        0 |        0
9.79/9.88	c  9.7s |       8 |    19802 |     4936 |     2793      1 |        0 |        0
11.99/12.04	c 11.8s |       8 |    23138 |     6136 |     2793      2 |        0 |        0
14.09/14.18	c 14.0s |       8 |    24395 |     7236 |     2793      2 |        0 |        0
14.69/14.76	c 14.5s |       9 |    24677 |     7506 |     3073      2 |        0 |        0
16.79/16.82	c 16.6s |       9 |    27981 |     8506 |     3073      3 |        0 |        0
18.89/18.94	c 18.7s |       9 |    28877 |     9306 |     3073      3 |        0 |        0
20.99/21.05	c 20.8s |       9 |    30032 |    10306 |     3073      3 |        0 |        0
23.19/23.21	c 23.0s |       9 |    31182 |    11306 |     3381      3 |        0 |        0
23.29/23.35	c 23.1s |      10 |    31249 |    11361 |     3381      3 |        0 |        0
25.29/25.39	c 25.2s |      10 |    34578 |    12161 |     3381      4 |        0 |        0
27.39/27.48	c 27.3s |      10 |    35773 |    13161 |     3381      4 |        0 |        0
29.49/29.55	c 29.3s |      10 |    36785 |    14061 |     3381      4 |        0 |        0
31.49/31.56	c 31.3s |      10 |    37692 |    14861 |     3381      4 |        0 |        0
33.59/33.66	c 33.5s |      10 |    38633 |    15661 |     3381      5 |        0 |        0
35.59/35.66	c 35.5s |      10 |    39505 |    16461 |     3381      5 |        0 |        0
37.68/37.72	c 37.5s |      10 |    40189 |    17061 |     3720      5 |        0 |        0
37.98/38.04	c 37.8s |      11 |    40287 |    17144 |     3720      5 |        0 |        0
40.18/40.20	c 40.0s |      11 |    43693 |    18344 |     3720      6 |        0 |        0
42.18/42.27	c 42.1s |      11 |    44926 |    19444 |     3720      6 |        0 |        0
44.18/44.29	c 44.1s |      11 |    45899 |    20344 |     3720      6 |        0 |        0
46.38/46.40	c 46.2s |      11 |    46944 |    21244 |     3720      6 |        0 |        0
48.48/48.59	c 48.4s |      11 |    47866 |    22044 |     3720      7 |        0 |        0
50.58/50.70	c 50.5s |      11 |    48751 |    22844 |     3720      7 |        0 |        0
52.88/52.92	c 52.7s |      11 |    49686 |    23644 |     3720      7 |        0 |        0
54.88/54.99	c 54.8s |      11 |    50495 |    24344 |     3720      7 |        0 |        0
57.08/57.14	c 56.9s |      11 |    51265 |    25044 |     3720      7 |        0 |        0
59.28/59.33	c 59.1s |      12 |    52147 |    25819 |     4093      7 |        0 |        0
61.27/61.36	c 61.1s |      12 |    55267 |    26819 |     4093      8 |        0 |        0
63.47/63.51	c 63.3s |      12 |    56525 |    27919 |     4093      8 |        0 |        0
65.67/65.73	c 65.5s |      12 |    57533 |    28819 |     4093      8 |        0 |        0
67.87/67.96	c 67.8s |      12 |    58508 |    29719 |     4093      8 |        0 |        0
70.07/70.16	c 69.9s |      12 |    59376 |    30519 |     4093      9 |        0 |        0
72.27/72.37	c 72.2s |      12 |    60284 |    31319 |     4093      9 |        0 |        0
74.47/74.57	c 74.4s |      12 |    61170 |    32119 |     4093      9 |        0 |        0
76.77/76.80	c 76.6s |      12 |    62082 |    32919 |     4093      9 |        0 |        0
78.87/78.90	c 78.7s |      12 |    62857 |    33619 |     4093      9 |        0 |        0
80.87/80.95	c 80.7s |      12 |    63652 |    34319 |     4093     10 |        0 |        0
82.87/82.99	c 82.8s |      12 |    64553 |    35119 |     4093     10 |        0 |        0
85.17/85.20	c 85.0s |      12 |    65457 |    35919 |     4093     10 |        0 |        0
87.17/87.25	c 87.0s |      12 |    66272 |    36619 |     4093     10 |        0 |        0
89.36/89.45	c 89.2s |      12 |    67055 |    37319 |     4093     10 |        0 |        0
91.56/91.66	c 91.5s |      12 |    67816 |    38019 |     4093     11 |        0 |        0
93.76/93.84	c 93.6s |      12 |    68678 |    38819 |     4503     11 |        0 |        0
93.76/93.87	c 93.7s |      13 |    68693 |    38832 |     4503     11 |        0 |        0
95.96/96.04	c 95.8s |      13 |    71516 |    39732 |     4503     12 |        0 |        0
98.06/98.18	c 98.0s |      13 |    72368 |    40532 |     4503     12 |        0 |        0
100.35/100.46	c  100s |      13 |    73274 |    41332 |     4503     12 |        0 |        0
102.45/102.59	c  102s |      13 |    74174 |    42132 |     4503     12 |        0 |        0
104.56/104.62	c  104s |      13 |    74953 |    42832 |     4503     12 |        0 |        0
106.76/106.83	c  106s |      13 |    75704 |    43532 |     4503     12 |        0 |        0
108.76/108.84	c  108s |      13 |    76361 |    44132 |     4503     12 |        0 |        0
110.75/110.86	c  110s |      13 |    77020 |    44732 |     4503     13 |        0 |        0
112.95/113.02	c  112s |      13 |    77798 |    45432 |     4503     13 |        0 |        0
115.15/115.29	c  115s |      13 |    78570 |    46132 |     4503     13 |        0 |        0
117.45/117.55	c  117s |      13 |    79234 |    46732 |     4503     13 |        0 |        0
119.45/119.59	c  119s |      13 |    79918 |    47332 |     4503     13 |        0 |        0
121.75/121.86	c  121s |      13 |    80603 |    47932 |     4503     13 |        0 |        0
123.85/123.97	c  123s |      13 |    81150 |    48432 |     4503     13 |        0 |        0
126.15/126.29	c  126s |      13 |    81707 |    48932 |     4503     14 |        0 |        0
128.55/128.63	c  128s |      13 |    82362 |    49532 |     4503     14 |        0 |        0
130.75/130.82	c  130s |      13 |    83033 |    50132 |     4503     14 |        0 |        0
132.84/132.95	c  132s |      13 |    83583 |    50632 |     4503     14 |        0 |        0
134.94/135.02	c  134s |      13 |    84120 |    51132 |     4503     14 |        0 |        0
137.04/137.13	c  136s |      13 |    84771 |    51732 |     4503     14 |        0 |        0
139.24/139.35	c  139s |      13 |    85451 |    52332 |     4503     14 |        0 |        0
141.34/141.46	c  141s |      13 |    86012 |    52832 |     4503     15 |        0 |        0
143.44/143.60	c  143s |      13 |    86665 |    53432 |     4503     15 |        0 |        0
145.64/145.73	c  145s |      13 |    87336 |    54032 |     4503     15 |        0 |        0
147.64/147.77	c  147s |      13 |    87985 |    54632 |     4503     15 |        0 |        0
149.84/149.94	c  149s |      13 |    88633 |    55232 |     4503     15 |        0 |        0
151.84/151.99	c  151s |      13 |    89167 |    55732 |     4503     15 |        0 |        0
153.94/154.07	c  153s |      13 |    89710 |    56232 |     4503     15 |        0 |        0
156.04/156.17	c  155s |      13 |    90159 |    56632 |     4503     16 |        0 |        0
158.45/158.52	c  158s |      13 |    90912 |    57332 |     4503     16 |        0 |        0
160.64/160.79	c  160s |      13 |    91559 |    57932 |     4503     16 |        0 |        0
162.24/162.32	c  162s |      14 |    92029 |    58352 |     4954     16 |        0 |        0
164.24/164.38	c  164s |      14 |    94890 |    59252 |     4954     17 |        0 |        0
166.34/166.43	c  166s |      14 |    95923 |    60152 |     4954     17 |        0 |        0
168.44/168.54	c  168s |      14 |    96821 |    60952 |     4954     17 |        0 |        0
170.54/170.67	c  170s |      14 |    97725 |    61752 |     4954     17 |        0 |        0
172.83/172.91	c  172s |      14 |    98671 |    62552 |     4954     17 |        0 |        0
175.03/175.20	c  174s |      14 |    99458 |    63252 |     4954     17 |        0 |        0
177.14/177.23	c  177s |      14 |   100108 |    63852 |     4954     17 |        0 |        0
179.43/179.53	c  179s |      14 |   100774 |    64452 |     4954     18 |        0 |        0
181.53/181.68	c  181s |      14 |   101555 |    65152 |     4954     18 |        0 |        0
183.63/183.80	c  183s |      14 |   102350 |    65852 |     4954     18 |        0 |        0
185.93/186.09	c  185s |      14 |   103133 |    66552 |     4954     18 |        0 |        0
188.13/188.23	c  188s |      14 |   103788 |    67152 |     4954     18 |        0 |        0
190.22/190.32	c  190s |      14 |   104470 |    67752 |     4954     18 |        0 |        0
192.32/192.46	c  192s |      14 |   105192 |    68352 |     4954     19 |        0 |        0
194.63/194.80	c  194s |      14 |   105983 |    69052 |     4954     19 |        0 |        0
197.02/197.12	c  196s |      14 |   106810 |    69752 |     4954     19 |        0 |        0
199.13/199.29	c  199s |      14 |   107566 |    70352 |     4954     19 |        0 |        0
201.52/201.61	c  201s |      14 |   108272 |    70952 |     4954     19 |        0 |        0
203.53/203.69	c  203s |      14 |   108824 |    71452 |     4954     19 |        0 |        0
205.62/205.74	c  205s |      14 |   109382 |    71952 |     4954     19 |        0 |        0
207.92/208.01	c  207s |      14 |   109952 |    72452 |     4954     20 |        0 |        0
210.02/210.19	c  209s |      14 |   110813 |    73152 |     4954     20 |        0 |        0
212.12/212.23	c  212s |      14 |   111523 |    73752 |     4954     20 |        0 |        0
214.43/214.56	c  214s |      14 |   112359 |    74452 |     4954     20 |        0 |        0
216.62/216.79	c  216s |      14 |   113044 |    75052 |     4954     20 |        0 |        0
218.82/218.94	c  218s |      14 |   113728 |    75652 |     4954     20 |        0 |        0
220.82/220.95	c  220s |      14 |   114263 |    76152 |     4954     20 |        0 |        0
223.41/223.57	c  223s |      14 |   114929 |    76752 |     4954     21 |        0 |        0
225.71/225.89	c  225s |      14 |   115596 |    77352 |     4954     21 |        0 |        0
227.92/228.03	c  227s |      14 |   116303 |    77952 |     4954     21 |        0 |        0
230.12/230.23	c  230s |      14 |   116971 |    78552 |     4954     21 |        0 |        0
232.31/232.48	c  232s |      14 |   117666 |    79152 |     4954     21 |        0 |        0
234.61/234.79	c  234s |      14 |   118350 |    79752 |     4954     21 |        0 |        0
236.71/236.89	c  236s |      14 |   118874 |    80252 |     4954     21 |        0 |        0
239.01/239.18	c  238s |      14 |   119430 |    80752 |     4954     21 |        0 |        0
241.41/241.53	c  241s |      14 |   120106 |    81352 |     4954     22 |        0 |        0
243.61/243.75	c  243s |      14 |   120783 |    81952 |     4954     22 |        0 |        0
245.80/245.94	c  245s |      14 |   121460 |    82552 |     4954     22 |        0 |        0
248.01/248.11	c  247s |      14 |   122277 |    83252 |     4954     22 |        0 |        0
250.11/250.20	c  249s |      14 |   122942 |    83852 |     4954     22 |        0 |        0
252.11/252.21	c  251s |      14 |   123656 |    84452 |     4954     22 |        0 |        0
254.31/254.45	c  254s |      14 |   124302 |    85052 |     4954     22 |        0 |        0
256.40/256.51	c  256s |      14 |   124871 |    85552 |     4954     23 |        0 |        0
258.60/258.72	c  258s |      14 |   125650 |    86252 |     4954     23 |        0 |        0
260.71/260.82	c  260s |      14 |   126316 |    86852 |     4954     23 |        0 |        0
262.81/262.95	c  262s |      14 |   126985 |    87452 |     5450     23 |        0 |        0
263.50/263.60	c  263s |      15 |   127199 |    87632 |     5450     23 |        0 |        0
265.50/265.68	c  265s |      15 |   131142 |    88232 |     5450     24 |        0 |        0
267.80/267.98	c  267s |      15 |   132092 |    88932 |     5450     24 |        0 |        0
269.90/270.01	c  269s |      15 |   132933 |    89632 |     5450     24 |        0 |        0
271.99/272.11	c  271s |      15 |   133755 |    90332 |     5450     24 |        0 |        0
273.99/274.19	c  273s |      15 |   134442 |    90932 |     5450     24 |        0 |        0
276.29/276.47	c  276s |      15 |   135120 |    91532 |     5450     24 |        0 |        0
278.50/278.63	c  278s |      15 |   135660 |    92032 |     5450     24 |        0 |        0
280.90/281.04	c  280s |      15 |   136378 |    92632 |     5450     24 |        0 |        0
283.50/283.68	c  283s |      15 |   137106 |    93232 |     5450     25 |        0 |        0
285.80/285.95	c  285s |      15 |   137804 |    93832 |     5450     25 |        0 |        0
287.90/288.04	c  287s |      15 |   138428 |    94332 |     5450     25 |        0 |        0
290.09/290.22	c  290s |      15 |   139021 |    94832 |     5450     25 |        0 |        0
292.39/292.52	c  292s |      15 |   139601 |    95332 |     5450     25 |        0 |        0
294.70/294.82	c  294s |      15 |   140159 |    95832 |     5450     25 |        0 |        0
296.79/296.95	c  296s |      15 |   140847 |    96432 |     5450     25 |        0 |        0
298.99/299.16	c  298s |      15 |   141552 |    97032 |     5450     25 |        0 |        0
300.98/301.17	c  300s |      15 |   142124 |    97532 |     5450     25 |        0 |        0
303.28/303.47	c  303s |      15 |   142697 |    98032 |     5450     26 |        0 |        0
305.48/305.68	c  305s |      15 |   143402 |    98632 |     5450     26 |        0 |        0
307.90/308.03	c  307s |      15 |   144095 |    99232 |     5450     26 |        0 |        0
310.19/310.38	c  310s |      15 |   144770 |    99832 |     5450     26 |        0 |        0
312.69/312.84	c  312s |      15 |   145464 |   100432 |     5450     26 |        0 |        0
314.79/314.99	c  314s |      15 |   146008 |   100932 |     5450     26 |        0 |        0
317.18/317.33	c  317s |      15 |   146556 |   101432 |     5450     26 |        0 |        0
319.18/319.34	c  319s |      15 |   147138 |   101932 |     5450     26 |        0 |        0
321.28/321.49	c  321s |      15 |   147545 |   102332 |     5450     27 |        0 |        0
323.28/323.49	c  323s |      15 |   148102 |   102832 |     5450     27 |        0 |        0
325.38/325.59	c  325s |      15 |   148687 |   103332 |     5450     27 |        0 |        0
327.58/327.70	c  327s |      15 |   149246 |   103832 |     5450     27 |        0 |        0
329.57/329.72	c  329s |      15 |   149833 |   104332 |     5450     27 |        0 |        0
331.87/332.02	c  331s |      15 |   150389 |   104832 |     5450     27 |        0 |        0
334.07/334.28	c  334s |      15 |   150937 |   105332 |     5450     27 |        0 |        0
336.37/336.51	c  336s |      15 |   151495 |   105832 |     5450     27 |        0 |        0
338.57/338.73	c  338s |      15 |   152210 |   106432 |     5450     27 |        0 |        0
340.67/340.82	c  340s |      15 |   152834 |   106932 |     5450     28 |        0 |        0
342.77/342.91	c  342s |      15 |   153407 |   107432 |     5450     28 |        0 |        0
344.77/344.93	c  344s |      15 |   153972 |   107932 |     5450     28 |        0 |        0
347.07/347.23	c  347s |      15 |   154619 |   108532 |     5450     28 |        0 |        0
349.06/349.27	c  349s |      15 |   155176 |   109032 |     5450     28 |        0 |        0
351.46/351.61	c  351s |      15 |   155838 |   109632 |     5450     28 |        0 |        0
353.77/353.94	c  353s |      15 |   156511 |   110232 |     5450     28 |        0 |        0
356.07/356.22	c  356s |      15 |   157206 |   110832 |     5450     28 |        0 |        0
358.07/358.29	c  358s |      15 |   157662 |   111232 |     5450     29 |        0 |        0
360.46/360.61	c  360s |      15 |   158335 |   111832 |     5450     29 |        0 |        0
362.46/362.65	c  362s |      15 |   158947 |   112332 |     5450     29 |        0 |        0
364.76/364.98	c  364s |      15 |   159643 |   112932 |     5450     29 |        0 |        0
367.16/367.30	c  367s |      15 |   160195 |   113432 |     5450     29 |        0 |        0
369.36/369.52	c  369s |      15 |   160779 |   113932 |     5450     29 |        0 |        0
371.66/371.81	c  371s |      15 |   161346 |   114432 |     5450     29 |        0 |        0
373.96/374.12	c  373s |      15 |   161919 |   114932 |     5450     29 |        0 |        0
376.35/376.54	c  376s |      15 |   162358 |   115332 |     5450     30 |        0 |        0
378.45/378.64	c  378s |      15 |   162912 |   115832 |     5450     30 |        0 |        0
380.85/381.05	c  380s |      15 |   163464 |   116332 |     5450     30 |        0 |        0
383.26/383.40	c  383s |      15 |   164050 |   116832 |     5450     30 |        0 |        0
385.36/385.54	c  385s |      15 |   164589 |   117332 |     5450     30 |        0 |        0
387.55/387.75	c  387s |      15 |   165141 |   117832 |     5450     30 |        0 |        0
389.65/389.88	c  389s |      15 |   165687 |   118332 |     5450     30 |        0 |        0
391.95/392.11	c  391s |      15 |   166254 |   118832 |     5450     30 |        0 |        0
394.35/394.50	c  394s |      15 |   166790 |   119332 |     5450     30 |        0 |        0
396.34/396.58	c  396s |      15 |   167257 |   119732 |     5450     31 |        0 |        0
398.54/398.77	c  398s |      15 |   167971 |   120332 |     5450     31 |        0 |        0
400.94/401.11	c  400s |      15 |   168656 |   120932 |     5450     31 |        0 |        0
403.13/403.31	c  403s |      15 |   169226 |   121432 |     5450     31 |        0 |        0
405.24/405.45	c  405s |      15 |   169816 |   121932 |     5450     31 |        0 |        0
407.54/407.78	c  407s |      15 |   170397 |   122432 |     5450     31 |        0 |        0
409.94/410.12	c  409s |      15 |   170973 |   122932 |     5450     31 |        0 |        0
412.13/412.33	c  412s |      15 |   171522 |   123432 |     5450     31 |        0 |        0
414.54/414.78	c  414s |      15 |   172082 |   123932 |     5450     31 |        0 |        0
416.63/416.88	c  416s |      15 |   172546 |   124332 |     5450     32 |        0 |        0
418.83/419.03	c  418s |      15 |   173116 |   124832 |     5450     32 |        0 |        0
420.93/421.10	c  420s |      15 |   173676 |   125332 |     5450     32 |        0 |        0
422.93/423.19	c  422s |      15 |   174222 |   125832 |     5450     32 |        0 |        0
425.23/425.40	c  425s |      15 |   174797 |   126332 |     5450     32 |        0 |        0
427.43/427.64	c  427s |      15 |   175349 |   126832 |     5450     32 |        0 |        0
429.62/429.89	c  429s |      15 |   175925 |   127332 |     5450     32 |        0 |        0
431.92/432.15	c  431s |      15 |   176511 |   127832 |     5450     32 |        0 |        0
434.12/434.36	c  434s |      15 |   177057 |   128332 |     5450     32 |        0 |        0
436.33/436.53	c  436s |      15 |   177490 |   128732 |     5450     33 |        0 |        0
438.63/438.90	c  438s |      15 |   178053 |   129232 |     5450     33 |        0 |        0
440.72/440.98	c  440s |      15 |   178613 |   129732 |     5450     33 |        0 |        0
443.02/443.30	c  443s |      15 |   179254 |   130332 |     5450     33 |        0 |        0
445.22/445.49	c  445s |      15 |   179974 |   130932 |     5996     33 |        0 |        0
447.42/447.63	c  447s |      15 |   180664 |   131532 |     5996     33 |        0 |        0
447.53/447.71	c  447s |      16 |   180685 |   131552 |     5996     33 |        0 |        0
449.61/449.83	c  449s |      16 |   183735 |   132352 |     5996     34 |        0 |        0
451.71/451.92	c  451s |      16 |   184698 |   133252 |     5996     34 |        0 |        0
453.81/454.05	c  453s |      16 |   185594 |   134052 |     5996     34 |        0 |        0
455.91/456.17	c  455s |      16 |   186500 |   134852 |     5996     34 |        0 |        0
458.21/458.48	c  458s |      16 |   187278 |   135552 |     5996     34 |        0 |        0
460.51/460.71	c  460s |      16 |   188050 |   136252 |     5996     34 |        0 |        0
462.61/462.88	c  462s |      16 |   188740 |   136852 |     5996     34 |        0 |        0
465.31/465.54	c  465s |      16 |   189410 |   137452 |     5996     35 |        0 |        0
467.61/467.87	c  467s |      16 |   190080 |   138052 |     5996     35 |        0 |        0
469.80/470.07	c  469s |      16 |   190740 |   138652 |     5996     35 |        0 |        0
472.21/472.43	c  472s |      16 |   191395 |   139252 |     5996     35 |        0 |        0
474.30/474.51	c  474s |      16 |   191941 |   139752 |     5996     35 |        0 |        0
476.30/476.59	c  476s |      16 |   192484 |   140252 |     5996     35 |        0 |        0
478.41/478.64	c  478s |      16 |   193013 |   140752 |     5996     35 |        0 |        0
480.39/480.66	c  480s |      16 |   193558 |   141252 |     5996     35 |        0 |        0
482.70/483.00	c  482s |      16 |   194079 |   141752 |     5996     35 |        0 |        0
485.50/485.78	c  485s |      16 |   194627 |   142252 |     5996     36 |        0 |        0
487.70/487.91	c  487s |      16 |   195281 |   142852 |     5996     36 |        0 |        0
489.79/490.01	c  489s |      16 |   195946 |   143452 |     5996     36 |        0 |        0
491.89/492.13	c  491s |      16 |   196615 |   144052 |     5996     36 |        0 |        0
494.09/494.31	c  494s |      16 |   197145 |   144552 |     5996     36 |        0 |        0
496.39/496.67	c  496s |      16 |   197672 |   145052 |     5996     36 |        0 |        0
498.79/499.03	c  498s |      16 |   198232 |   145552 |     5996     36 |        0 |        0
500.79/501.09	c  500s |      16 |   198793 |   146052 |     5996     36 |        0 |        0
502.89/503.19	c  502s |      16 |   199366 |   146552 |     5996     36 |        0 |        0
505.38/505.64	c  505s |      16 |   199918 |   147052 |     5996     37 |        0 |        0
507.68/507.97	c  507s |      16 |   200672 |   147752 |     5996     37 |        0 |        0
509.88/510.18	c  509s |      16 |   201222 |   148252 |     5996     37 |        0 |        0
511.98/512.22	c  512s |      16 |   201790 |   148752 |     5996     37 |        0 |        0
514.08/514.36	c  514s |      16 |   202358 |   149252 |     5996     37 |        0 |        0
516.17/516.47	c  516s |      16 |   202906 |   149752 |     5996     37 |        0 |        0
518.27/518.58	c  518s |      16 |   203433 |   150252 |     5996     37 |        0 |        0
520.47/520.73	c  520s |      16 |   204006 |   150752 |     5996     37 |        0 |        0
522.58/522.82	c  522s |      16 |   204544 |   151252 |     5996     37 |        0 |        0
524.58/524.84	c  524s |      16 |   204979 |   151652 |     5996     37 |        0 |        0
526.97/527.21	c  527s |      16 |   205412 |   152052 |     5996     38 |        0 |        0
529.17/529.41	c  529s |      16 |   205952 |   152552 |     5996     38 |        0 |        0
531.18/531.46	c  531s |      16 |   206511 |   153052 |     5996     38 |        0 |        0
533.27/533.56	c  533s |      16 |   207062 |   153552 |     5996     38 |        0 |        0
535.67/535.94	c  535s |      16 |   207729 |   154152 |     5996     38 |        0 |        0
537.78/538.06	c  537s |      16 |   208279 |   154652 |     5996     38 |        0 |        0
540.06/540.38	c  540s |      16 |   208832 |   155152 |     5996     38 |        0 |        0
542.36/542.66	c  542s |      16 |   209364 |   155652 |     5996     38 |        0 |        0
544.66/544.95	c  544s |      16 |   209910 |   156152 |     5996     38 |        0 |        0
546.96/547.22	c  547s |      16 |   210360 |   156552 |     5996     39 |        0 |        0
548.95/549.29	c  549s |      16 |   211075 |   157152 |     5996     39 |        0 |        0
551.15/551.48	c  551s |      16 |   211715 |   157752 |     5996     39 |        0 |        0
553.26/553.54	c  553s |      16 |   212401 |   158352 |     5996     39 |        0 |        0
555.55/555.83	c  555s |      16 |   213050 |   158952 |     5996     39 |        0 |        0
557.65/557.93	c  557s |      16 |   213599 |   159452 |     5996     39 |        0 |        0
559.94/560.23	c  560s |      16 |   214241 |   160052 |     5996     39 |        0 |        0
562.24/562.54	c  562s |      16 |   214910 |   160652 |     5996     39 |        0 |        0
564.94/565.29	c  565s |      16 |   215546 |   161252 |     5996     40 |        0 |        0
567.15/567.42	c  567s |      16 |   216088 |   161752 |     5996     40 |        0 |        0
569.14/569.48	c  569s |      16 |   216623 |   162252 |     5996     40 |        0 |        0
571.24/571.58	c  571s |      16 |   217154 |   162752 |     5996     40 |        0 |        0
573.54/573.80	c  573s |      16 |   217687 |   163252 |     5996     40 |        0 |        0
575.54/575.83	c  575s |      16 |   218240 |   163752 |     5996     40 |        0 |        0
577.84/578.16	c  577s |      16 |   218905 |   164352 |     5996     40 |        0 |        0
580.23/580.55	c  580s |      16 |   219552 |   164952 |     5996     40 |        0 |        0
582.63/582.92	c  582s |      16 |   220099 |   165452 |     5996     40 |        0 |        0
584.64/584.97	c  584s |      16 |   220785 |   166052 |     5996     40 |        0 |        0
586.94/587.22	c  587s |      16 |   221464 |   166652 |     5996     41 |        0 |        0
588.93/589.28	c  589s |      16 |   222141 |   167252 |     5996     41 |        0 |        0
591.23/591.50	c  591s |      16 |   222827 |   167852 |     5996     41 |        0 |        0
593.23/593.57	c  593s |      16 |   223478 |   168452 |     5996     41 |        0 |        0
595.53/595.85	c  595s |      16 |   224142 |   169052 |     5996     41 |        0 |        0
597.52/597.86	c  597s |      16 |   224686 |   169552 |     5996     41 |        0 |        0
599.83/600.18	c  599s |      16 |   225347 |   170152 |     5996     41 |        0 |        0
601.92/602.23	c  602s |      16 |   225898 |   170652 |     5996     41 |        0 |        0
604.22/604.60	c  604s |      16 |   226448 |   171152 |     5996     42 |        0 |        0
606.52/606.86	c  606s |      16 |   227108 |   171752 |     5996     42 |        0 |        0
608.63/608.96	c  608s |      16 |   227667 |   172252 |     5996     42 |        0 |        0
610.82/611.10	c  610s |      16 |   228217 |   172752 |     5996     42 |        0 |        0
612.92/613.27	c  613s |      16 |   228780 |   173252 |     5996     42 |        0 |        0
615.22/615.55	c  615s |      16 |   229487 |   173852 |     5996     42 |        0 |        0
617.62/617.92	c  617s |      16 |   230209 |   174452 |     5996     42 |        0 |        0
620.01/620.31	c  620s |      16 |   230893 |   175052 |     5996     42 |        0 |        0
622.11/622.44	c  622s |      16 |   231443 |   175552 |     5996     42 |        0 |        0
624.41/624.77	c  624s |      16 |   232129 |   176152 |     5996     43 |        0 |        0
626.72/627.07	c  626s |      16 |   232783 |   176752 |     5996     43 |        0 |        0
628.71/629.10	c  628s |      16 |   233338 |   177252 |     5996     43 |        0 |        0
630.81/631.14	c  630s |      16 |   233867 |   177752 |     5996     43 |        0 |        0
633.10/633.45	c  633s |      16 |   234544 |   178352 |     5996     43 |        0 |        0
635.20/635.56	c  635s |      16 |   235237 |   178952 |     5996     43 |        0 |        0
637.40/637.72	c  637s |      16 |   235931 |   179552 |     5996     43 |        0 |        0
639.50/639.86	c  639s |      16 |   236585 |   180152 |     5996     43 |        0 |        0
641.80/642.16	c  641s |      16 |   237143 |   180652 |     5996     44 |        0 |        0
644.00/644.31	c  644s |      16 |   237787 |   181252 |     5996     44 |        0 |        0
646.20/646.58	c  646s |      16 |   238440 |   181852 |     5996     44 |        0 |        0
648.50/648.89	c  648s |      16 |   239078 |   182452 |     5996     44 |        0 |        0
650.60/650.97	c  650s |      16 |   239624 |   182952 |     5996     44 |        0 |        0
652.69/653.07	c  652s |      16 |   240180 |   183452 |     5996     44 |        0 |        0
654.99/655.36	c  655s |      16 |   240721 |   183952 |     5996     44 |        0 |        0
657.29/657.68	c  657s |      16 |   241294 |   184452 |     5996     44 |        0 |        0
659.59/659.90	c  659s |      16 |   241834 |   184952 |     5996     44 |        0 |        0
661.69/662.10	c  661s |      16 |   242386 |   185452 |     5996     45 |        0 |        0
663.99/664.36	c  664s |      16 |   243035 |   186052 |     5996     45 |        0 |        0
666.09/666.47	c  666s |      16 |   243685 |   186652 |     5996     45 |        0 |        0
668.29/668.68	c  668s |      16 |   244241 |   187152 |     5996     45 |        0 |        0
670.58/670.93	c  670s |      16 |   244791 |   187652 |     5996     45 |        0 |        0
672.99/673.37	c  673s |      16 |   245325 |   188152 |     5996     45 |        0 |        0
675.19/675.59	c  675s |      16 |   245863 |   188652 |     5996     45 |        0 |        0
677.68/678.03	c  677s |      16 |   246396 |   189152 |     5996     45 |        0 |        0
679.78/680.14	c  679s |      16 |   246816 |   189552 |     5996     45 |        0 |        0
682.08/682.44	c  682s |      16 |   247243 |   189952 |     5996     46 |        0 |        0
684.38/684.76	c  684s |      16 |   247785 |   190452 |     5996     46 |        0 |        0
686.47/686.80	c  686s |      16 |   248461 |   191052 |     5996     46 |        0 |        0
688.58/688.96	c  688s |      16 |   249127 |   191652 |     5996     46 |        0 |        0
690.78/691.15	c  690s |      16 |   249692 |   192152 |     5996     46 |        0 |        0
693.18/693.55	c  693s |      16 |   250377 |   192752 |     5996     46 |        0 |        0
695.27/695.61	c  695s |      16 |   251057 |   193352 |     5996     46 |        0 |        0
697.57/697.93	c  697s |      16 |   251730 |   193952 |     5996     46 |        0 |        0
699.67/700.08	c  699s |      16 |   252375 |   194552 |     5996     46 |        0 |        0
702.08/702.42	c  702s |      16 |   252903 |   195052 |     5996     47 |        0 |        0
704.38/704.74	c  704s |      16 |   253556 |   195652 |     5996     47 |        0 |        0
706.77/707.13	c  706s |      16 |   254200 |   196252 |     6596     47 |        0 |        0
708.77/709.13	c  708s |      16 |   254736 |   196752 |     6596     47 |        0 |        0
711.17/711.53	c  711s |      16 |   255394 |   197352 |     6596     47 |        0 |        0
711.48/711.88	c  711s |      17 |   255486 |   197432 |     6596     47 |        0 |        0
713.58/713.96	c  713s |      17 |   257902 |   198232 |     6596     48 |        0 |        0
715.78/716.19	c  715s |      17 |   258924 |   199132 |     6596     48 |        0 |        0
717.97/718.31	c  718s |      17 |   259811 |   199932 |     6596     48 |        0 |        0
719.97/720.32	c  720s |      17 |   260600 |   200632 |     6596     48 |        0 |        0
722.07/722.42	c  722s |      17 |   261361 |   201332 |     6596     48 |        0 |        0
724.17/724.55	c  724s |      17 |   262228 |   202132 |     6596     48 |        0 |        0
726.37/726.72	c  726s |      17 |   262979 |   202832 |     6596     48 |        0 |        0
728.47/728.82	c  728s |      17 |   263769 |   203532 |     6596     48 |        0 |        0
730.46/730.82	c  730s |      17 |   264458 |   204132 |     6596     49 |        0 |        0
732.57/732.98	c  732s |      17 |   265247 |   204832 |     6596     49 |        0 |        0
734.67/735.09	c  734s |      17 |   265904 |   205432 |     6596     49 |        0 |        0
736.87/737.27	c  737s |      17 |   266554 |   206032 |     6596     49 |        0 |        0
738.87/739.27	c  739s |      17 |   267092 |   206532 |     6596     49 |        0 |        0
740.97/741.33	c  741s |      17 |   267667 |   207032 |     6596     49 |        0 |        0
743.27/743.68	c  743s |      17 |   268299 |   207632 |     6596     49 |        0 |        0
745.57/745.94	c  745s |      17 |   268948 |   208232 |     6596     49 |        0 |        0
747.86/748.21	c  748s |      17 |   269619 |   208832 |     6596     49 |        0 |        0
749.87/750.22	c  750s |      17 |   270170 |   209332 |     6596     50 |        0 |        0
752.18/752.53	c  752s |      17 |   270956 |   210032 |     6596     50 |        0 |        0
754.27/754.70	c  754s |      17 |   271600 |   210632 |     6596     50 |        0 |        0
756.66/757.08	c  756s |      17 |   272380 |   211332 |     6596     50 |        0 |        0
758.96/759.38	c  759s |      17 |   273050 |   211932 |     6596     50 |        0 |        0
761.36/761.77	c  761s |      17 |   273707 |   212532 |     6596     50 |        0 |        0
763.66/764.03	c  763s |      17 |   274470 |   213232 |     6596     50 |        0 |        0
765.66/766.09	c  765s |      17 |   275127 |   213832 |     6596     50 |        0 |        0
767.86/768.22	c  768s |      17 |   275680 |   214332 |     6596     51 |        0 |        0
769.96/770.37	c  770s |      17 |   276316 |   214932 |     6596     51 |        0 |        0
772.07/772.44	c  772s |      17 |   276973 |   215532 |     6596     51 |        0 |        0
774.27/774.61	c  774s |      17 |   277625 |   216132 |     6596     51 |        0 |        0
776.37/776.79	c  776s |      17 |   278190 |   216632 |     6596     51 |        0 |        0
778.47/778.88	c  778s |      17 |   278737 |   217132 |     6596     51 |        0 |        0
780.67/781.03	c  780s |      17 |   279282 |   217632 |     6596     51 |        0 |        0
783.06/783.48	c  783s |      17 |   279947 |   218232 |     6596     51 |        0 |        0
785.26/785.65	c  785s |      17 |   280490 |   218732 |     6596     51 |        0 |        0
787.37/787.77	c  787s |      17 |   280948 |   219132 |     6596     52 |        0 |        0
789.47/789.84	c  789s |      17 |   281620 |   219732 |     6596     52 |        0 |        0
791.56/791.96	c  791s |      17 |   282279 |   220332 |     6596     52 |        0 |        0
793.66/794.04	c  793s |      17 |   282954 |   220932 |     6596     52 |        0 |        0
795.86/796.25	c  796s |      17 |   283591 |   221532 |     6596     52 |        0 |        0
798.16/798.53	c  798s |      17 |   284363 |   222232 |     6596     52 |        0 |        0
800.36/800.71	c  800s |      17 |   285015 |   222832 |     6596     52 |        0 |        0
802.56/802.90	c  802s |      17 |   285670 |   223432 |     6596     52 |        0 |        0
804.76/805.12	c  804s |      17 |   286307 |   224032 |     6596     52 |        0 |        0
806.86/807.25	c  807s |      17 |   286737 |   224432 |     6596     53 |        0 |        0
809.06/809.48	c  809s |      17 |   287444 |   225032 |     6596     53 |        0 |        0
811.15/811.50	c  811s |      17 |   288277 |   225732 |     6596     53 |        0 |        0
813.45/813.81	c  813s |      17 |   289090 |   226432 |     6596     53 |        0 |        0
815.55/815.94	c  815s |      17 |   289769 |   227032 |     6596     53 |        0 |        0
817.65/818.05	c  817s |      17 |   290450 |   227632 |     6596     53 |        0 |        0
819.75/820.18	c  819s |      17 |   291145 |   228232 |     6596     53 |        0 |        0
821.96/822.34	c  822s |      17 |   291825 |   228832 |     6596     53 |        0 |        0
824.46/824.87	c  824s |      17 |   292410 |   229332 |     6596     54 |        0 |        0
826.65/827.07	c  826s |      17 |   293111 |   229932 |     6596     54 |        0 |        0
828.75/829.10	c  828s |      17 |   293766 |   230532 |     6596     54 |        0 |        0
830.85/831.25	c  831s |      17 |   294483 |   231132 |     6596     54 |        0 |        0
832.85/833.29	c  833s |      17 |   295180 |   231732 |     6596     54 |        0 |        0
835.05/835.49	c  835s |      17 |   295961 |   232432 |     6596     54 |        0 |        0
837.16/837.54	c  837s |      17 |   296662 |   233032 |     6596     54 |        0 |        0
839.26/839.69	c  839s |      17 |   297333 |   233632 |     6596     54 |        0 |        0
841.36/841.72	c  841s |      17 |   298022 |   234232 |     6596     54 |        0 |        0
843.46/843.85	c  843s |      17 |   298701 |   234832 |     6596     55 |        0 |        0
845.66/846.09	c  845s |      17 |   299368 |   235432 |     6596     55 |        0 |        0
847.76/848.10	c  847s |      17 |   300078 |   236032 |     6596     55 |        0 |        0
849.75/850.17	c  849s |      17 |   300766 |   236632 |     6596     55 |        0 |        0
851.85/852.22	c  852s |      17 |   301453 |   237232 |     6596     55 |        0 |        0
854.15/854.59	c  854s |      17 |   302228 |   237932 |     6596     55 |        0 |        0
856.56/856.91	c  856s |      17 |   302950 |   238532 |     6596     55 |        0 |        0
858.76/859.20	c  858s |      17 |   303651 |   239132 |     6596     55 |        0 |        0
861.06/861.46	c  861s |      17 |   304230 |   239632 |     6596     56 |        0 |        0
863.15/863.59	c  863s |      17 |   305056 |   240332 |     6596     56 |        0 |        0
865.25/865.70	c  865s |      17 |   305915 |   241032 |     6596     56 |        0 |        0
867.55/867.98	c  867s |      17 |   306612 |   241632 |     6596     56 |        0 |        0
869.65/870.10	c  869s |      17 |   307306 |   242232 |     6596     56 |        0 |        0
871.95/872.32	c  872s |      17 |   307991 |   242832 |     6596     56 |        0 |        0
874.35/874.73	c  874s |      17 |   308690 |   243432 |     6596     56 |        0 |        0
876.65/877.09	c  876s |      17 |   309382 |   244032 |     6596     56 |        0 |        0
879.14/879.58	c  879s |      17 |   310007 |   244532 |     6596     57 |        0 |        0
881.25/881.68	c  881s |      17 |   310660 |   245132 |     6596     57 |        0 |        0
883.35/883.75	c  883s |      17 |   311334 |   245732 |     6596     57 |        0 |        0
885.45/885.89	c  885s |      17 |   312016 |   246332 |     6596     57 |        0 |        0
887.55/888.00	c  887s |      17 |   312718 |   246932 |     6596     57 |        0 |        0
889.65/890.07	c  889s |      17 |   313394 |   247532 |     6596     57 |        0 |        0
891.64/892.08	c  891s |      17 |   314092 |   248132 |     6596     57 |        0 |        0
893.95/894.40	c  894s |      17 |   314900 |   248832 |     6596     57 |        0 |        0
896.05/896.44	c  896s |      17 |   315582 |   249432 |     6596     57 |        0 |        0
898.15/898.51	c  898s |      17 |   316155 |   249932 |     6596     58 |        0 |        0
900.24/900.63	c  900s |      17 |   316836 |   250532 |     6596     58 |        0 |        0
902.44/902.83	c  902s |      17 |   317613 |   251232 |     6596     58 |        0 |        0
904.54/904.94	c  904s |      17 |   318293 |   251832 |     6596     58 |        0 |        0
906.64/907.04	c  906s |      17 |   318950 |   252432 |     6596     58 |        0 |        0
908.84/909.20	c  908s |      17 |   319609 |   253032 |     6596     58 |        0 |        0
911.15/911.52	c  911s |      17 |   320266 |   253632 |     6596     58 |        0 |        0
913.34/913.78	c  913s |      17 |   320908 |   254232 |     6596     58 |        0 |        0
915.84/916.28	c  916s |      17 |   321436 |   254732 |     6596     59 |        0 |        0
918.15/918.59	c  918s |      17 |   322097 |   255332 |     6596     59 |        0 |        0
920.45/920.82	c  920s |      17 |   322766 |   255932 |     6596     59 |        0 |        0
922.64/923.06	c  922s |      17 |   323452 |   256532 |     6596     59 |        0 |        0
924.93/925.31	c  925s |      17 |   324164 |   257132 |     6596     59 |        0 |        0
927.05/927.44	c  927s |      17 |   324834 |   257732 |     6596     59 |        0 |        0
929.25/929.62	c  929s |      17 |   325507 |   258332 |     6596     59 |        0 |        0
931.54/931.97	c  931s |      17 |   326350 |   259032 |     6596     59 |        0 |        0
933.84/934.26	c  934s |      17 |   327009 |   259632 |     6596     59 |        0 |        0
936.14/936.51	c  936s |      17 |   327561 |   260132 |     6596     60 |        0 |        0
938.33/938.77	c  938s |      17 |   328232 |   260732 |     6596     60 |        0 |        0
940.43/940.85	c  940s |      17 |   329065 |   261432 |     6596     60 |        0 |        0
942.54/942.97	c  942s |      17 |   329793 |   262032 |     6596     60 |        0 |        0
944.94/945.30	c  945s |      17 |   330627 |   262732 |     6596     60 |        0 |        0
946.94/947.32	c  947s |      17 |   331191 |   263232 |     6596     60 |        0 |        0
949.04/949.44	c  949s |      17 |   331759 |   263732 |     6596     60 |        0 |        0
951.43/951.80	c  951s |      17 |   332435 |   264332 |     6596     60 |        0 |        0
953.53/953.93	c  953s |      17 |   333032 |   264832 |     6596     61 |        0 |        0
955.83/956.24	c  956s |      17 |   333700 |   265432 |     6596     61 |        0 |        0
958.04/958.43	c  958s |      17 |   334356 |   266032 |     6596     61 |        0 |        0
960.13/960.58	c  960s |      17 |   334894 |   266532 |     6596     61 |        0 |        0
962.53/962.93	c  962s |      17 |   335540 |   267132 |     6596     61 |        0 |        0
964.73/965.17	c  964s |      17 |   336193 |   267732 |     6596     61 |        0 |        0
967.13/967.55	c  967s |      17 |   336980 |   268432 |     6596     61 |        0 |        0
969.13/969.56	c  969s |      17 |   337533 |   268932 |     6596     61 |        0 |        0
971.43/971.86	c  971s |      17 |   338194 |   269532 |     6596     61 |        0 |        0
973.54/973.93	c  973s |      17 |   338614 |   269932 |     6596     62 |        0 |        0
975.74/976.14	c  975s |      17 |   339264 |   270532 |     6596     62 |        0 |        0
977.94/978.32	c  978s |      17 |   339945 |   271132 |     6596     62 |        0 |        0
980.14/980.59	c  980s |      17 |   340607 |   271732 |     6596     62 |        0 |        0
982.33/982.71	c  982s |      17 |   341181 |   272232 |     6596     62 |        0 |        0
984.33/984.76	c  984s |      17 |   341718 |   272732 |     6596     62 |        0 |        0
986.44/986.89	c  986s |      17 |   342272 |   273232 |     6596     62 |        0 |        0
989.03/989.41	c  989s |      17 |   342828 |   273732 |     6596     62 |        0 |        0
991.13/991.59	c  991s |      17 |   343256 |   274132 |     6596     62 |        0 |        0
993.53/993.96	c  993s |      17 |   343783 |   274632 |     6596     62 |        0 |        0
996.03/996.42	c  996s |      17 |   344228 |   275032 |     6596     63 |        0 |        0
998.03/998.48	c  998s |      17 |   344762 |   275532 |     6596     63 |        0 |        0
1000.13/1000.58	c 1000s |      17 |   345311 |   276032 |     6596     63 |        0 |        0
1002.32/1002.76	c 1002s |      17 |   346111 |   276732 |     6596     63 |        0 |        0
1004.63/1005.02	c 1004s |      17 |   346762 |   277332 |     6596     63 |        0 |        0
1006.73/1007.15	c 1006s |      17 |   347425 |   277932 |     6596     63 |        0 |        0
1008.93/1009.30	c 1009s |      17 |   348101 |   278532 |     6596     63 |        0 |        0
1010.93/1011.38	c 1011s |      17 |   348914 |   279232 |     6596     63 |        0 |        0
1013.23/1013.64	c 1013s |      17 |   349565 |   279832 |     6596     63 |        0 |        0
1015.43/1015.88	c 1015s |      17 |   350135 |   280332 |     6596     64 |        0 |        0
1017.53/1017.90	c 1017s |      17 |   350682 |   280832 |     6596     64 |        0 |        0
1019.63/1020.08	c 1019s |      17 |   351335 |   281432 |     6596     64 |        0 |        0
1021.73/1022.17	c 1021s |      17 |   352034 |   282032 |     6596     64 |        0 |        0
1023.73/1024.20	c 1023s |      17 |   352580 |   282532 |     6596     64 |        0 |        0
1026.12/1026.53	c 1026s |      17 |   353228 |   283132 |     6596     64 |        0 |        0
1028.33/1028.78	c 1028s |      17 |   353772 |   283632 |     6596     64 |        0 |        0
1030.43/1030.81	c 1030s |      17 |   354324 |   284132 |     6596     64 |        0 |        0
1032.53/1033.00	c 1032s |      17 |   354885 |   284632 |     6596     64 |        0 |        0
1035.42/1035.80	c 1035s |      17 |   355427 |   285132 |     6596     65 |        0 |        0
1037.52/1037.97	c 1037s |      17 |   355965 |   285632 |     6596     65 |        0 |        0
1039.72/1040.10	c 1039s |      17 |   356502 |   286132 |     6596     65 |        0 |        0
1041.82/1042.20	c 1041s |      17 |   357030 |   286632 |     6596     65 |        0 |        0
1043.82/1044.27	c 1044s |      17 |   357556 |   287132 |     6596     65 |        0 |        0
1046.02/1046.41	c 1046s |      17 |   358096 |   287632 |     6596     65 |        0 |        0
1048.22/1048.64	c 1048s |      17 |   358773 |   288232 |     6596     65 |        0 |        0
1050.42/1050.82	c 1050s |      17 |   359337 |   288732 |     6596     65 |        0 |        0
1052.62/1053.06	c 1052s |      17 |   359904 |   289232 |     6596     65 |        0 |        0
1054.82/1055.24	c 1055s |      17 |   360448 |   289732 |     6596     65 |        0 |        0
1057.42/1057.89	c 1057s |      17 |   360981 |   290232 |     6596     66 |        0 |        0
1059.72/1060.10	c 1059s |      17 |   361728 |   290832 |     6596     66 |        0 |        0
1061.92/1062.33	c 1062s |      17 |   362407 |   291432 |     6596     66 |        0 |        0
1064.12/1064.55	c 1064s |      17 |   363084 |   292032 |     6596     66 |        0 |        0
1066.32/1066.70	c 1066s |      17 |   363632 |   292532 |     6596     66 |        0 |        0
1068.62/1069.06	c 1068s |      17 |   364308 |   293132 |     6596     66 |        0 |        0
1070.81/1071.25	c 1071s |      17 |   364850 |   293632 |     6596     66 |        0 |        0
1072.82/1073.29	c 1073s |      17 |   365276 |   294032 |     6596     66 |        0 |        0
1075.02/1075.48	c 1075s |      17 |   365810 |   294532 |     7256     66 |        0 |        0
1077.11/1077.51	c 1077s |      17 |   366380 |   295032 |     7256     66 |        0 |        0
1079.41/1079.87	c 1079s |      17 |   367048 |   295632 |     7256     66 |        0 |        0
1081.52/1081.91	c 1081s |      17 |   367488 |   296032 |     7256     67 |        0 |        0
1082.22/1082.67	c 1082s |      18 |   367735 |   296252 |     7256     67 |        0 |        0
1084.42/1084.86	c 1084s |      18 |   370428 |   297352 |     7256     67 |        0 |        0
1086.52/1086.97	c 1086s |      18 |   371540 |   298352 |     7256     67 |        0 |        0
1088.62/1089.04	c 1088s |      18 |   372469 |   299152 |     7256     67 |        0 |        0
1090.61/1091.06	c 1090s |      18 |   373245 |   299852 |     7256     67 |        0 |        0
1092.61/1093.09	c 1092s |      18 |   374183 |   300652 |     7256     67 |        0 |        0
1094.91/1095.38	c 1095s |      18 |   374991 |   301352 |     7256     68 |        0 |        0
1097.32/1097.71	c 1097s |      18 |   375896 |   302152 |     7256     68 |        0 |        0
1099.41/1099.80	c 1099s |      18 |   376684 |   302852 |     7256     68 |        0 |        0
1101.51/1101.90	c 1101s |      18 |   377360 |   303452 |     7256     68 |        0 |        0
1103.71/1104.11	c 1103s |      18 |   378136 |   304152 |     7256     68 |        0 |        0
1105.91/1106.33	c 1106s |      18 |   378808 |   304752 |     7256     68 |        0 |        0
1108.21/1108.64	c 1108s |      18 |   379582 |   305452 |     7256     68 |        0 |        0
1110.31/1110.79	c 1110s |      18 |   380392 |   306152 |     7256     68 |        0 |        0
1112.51/1112.96	c 1112s |      18 |   381074 |   306752 |     7256     69 |        0 |        0
1115.21/1115.68	c 1115s |      18 |   381850 |   307452 |     7256     69 |        0 |        0
1117.61/1118.07	c 1117s |      18 |   382700 |   308152 |     7256     69 |        0 |        0
1119.61/1120.08	c 1119s |      18 |   383388 |   308752 |     7256     69 |        0 |        0
1121.91/1122.31	c 1122s |      18 |   384188 |   309452 |     7256     69 |        0 |        0
1124.21/1124.62	c 1124s |      18 |   384909 |   310052 |     7256     69 |        0 |        0
1126.31/1126.71	c 1126s |      18 |   385493 |   310552 |     7256     69 |        0 |        0
1128.51/1128.91	c 1128s |      18 |   386063 |   311052 |     7256     69 |        0 |        0
1130.81/1131.25	c 1131s |      18 |   386762 |   311652 |     7256     69 |        0 |        0
1133.41/1133.83	c 1133s |      18 |   387375 |   312152 |     7256     70 |        0 |        0
1135.81/1136.20	c 1135s |      18 |   388136 |   312752 |     7256     70 |        0 |        0
1138.11/1138.54	c 1138s |      18 |   388911 |   313452 |     7256     70 |        0 |        0
1140.31/1140.73	c 1140s |      18 |   389600 |   314052 |     7256     70 |        0 |        0
1142.51/1142.97	c 1142s |      18 |   390155 |   314552 |     7256     70 |        0 |        0
1144.82/1145.26	c 1145s |      18 |   390843 |   315152 |     7256     70 |        0 |        0
1146.81/1147.26	c 1147s |      18 |   391424 |   315652 |     7256     70 |        0 |        0
1149.01/1149.43	c 1149s |      18 |   391967 |   316152 |     7256     70 |        0 |        0
1151.01/1151.50	c 1151s |      18 |   392549 |   316652 |     7256     70 |        0 |        0
1153.20/1153.68	c 1153s |      18 |   393121 |   317152 |     7256     70 |        0 |        0
1155.30/1155.70	c 1155s |      18 |   393584 |   317552 |     7256     71 |        0 |        0
1157.40/1157.84	c 1157s |      18 |   394279 |   318152 |     7256     71 |        0 |        0
1159.40/1159.89	c 1159s |      18 |   394949 |   318752 |     7256     71 |        0 |        0
1161.61/1162.05	c 1161s |      18 |   395635 |   319352 |     7256     71 |        0 |        0
1163.90/1164.39	c 1164s |      18 |   396297 |   319952 |     7256     71 |        0 |        0
1166.20/1166.61	c 1166s |      18 |   396874 |   320452 |     7256     71 |        0 |        0
1168.60/1169.06	c 1168s |      18 |   397451 |   320952 |     7256     71 |        0 |        0
1170.80/1171.25	c 1171s |      18 |   398038 |   321452 |     7256     71 |        0 |        0
1172.90/1173.30	c 1173s |      18 |   398602 |   321952 |     7256     71 |        0 |        0
1174.90/1175.39	c 1175s |      18 |   399158 |   322452 |     7256     71 |        0 |        0
1177.80/1178.24	c 1178s |      18 |   399738 |   322952 |     7256     72 |        0 |        0
1180.00/1180.43	c 1180s |      18 |   400429 |   323552 |     7256     72 |        0 |        0
1182.30/1182.78	c 1182s |      18 |   401080 |   324152 |     7256     72 |        0 |        0
1184.60/1185.04	c 1184s |      18 |   401730 |   324752 |     7256     72 |        0 |        0
1186.80/1187.23	c 1187s |      18 |   402294 |   325252 |     7256     72 |        0 |        0
1188.90/1189.37	c 1189s |      18 |   402734 |   325652 |     7256     72 |        0 |        0
1191.19/1191.64	c 1191s |      18 |   403168 |   326052 |     7256     72 |        0 |        0
1193.21/1193.67	c 1193s |      18 |   403612 |   326452 |     7256     72 |        0 |        0
1195.50/1195.94	c 1195s |      18 |   404053 |   326852 |     7256     72 |        0 |        0
1197.70/1198.18	c 1197s |      18 |   404756 |   327452 |     7256     72 |        0 |        0
1200.00/1200.42	c 1200s |      18 |   405448 |   328052 |     7256     72 |        0 |        0
1202.10/1202.57	c 1202s |      18 |   406008 |   328552 |     7256     73 |        0 |        0
1204.40/1204.82	c 1204s |      18 |   406794 |   329252 |     7256     73 |        0 |        0
1206.70/1207.11	c 1206s |      18 |   407571 |   329952 |     7256     73 |        0 |        0
1208.90/1209.38	c 1209s |      18 |   408237 |   330552 |     7256     73 |        0 |        0
1211.10/1211.52	c 1211s |      18 |   408896 |   331152 |     7256     73 |        0 |        0
1213.29/1213.76	c 1213s |      18 |   409571 |   331752 |     7256     73 |        0 |        0
1215.49/1215.96	c 1215s |      18 |   410217 |   332352 |     7256     73 |        0 |        0
1217.79/1218.29	c 1218s |      18 |   410852 |   332952 |     7256     73 |        0 |        0
1219.79/1220.29	c 1220s |      18 |   411430 |   333452 |     7256     73 |        0 |        0
1222.10/1222.53	c 1222s |      18 |   411986 |   333952 |     7256     74 |        0 |        0
1224.20/1224.62	c 1224s |      18 |   412779 |   334652 |     7256     74 |        0 |        0
1226.30/1226.72	c 1226s |      18 |   413437 |   335252 |     7256     74 |        0 |        0
1228.30/1228.77	c 1228s |      18 |   414084 |   335852 |     7256     74 |        0 |        0
1230.60/1231.02	c 1230s |      18 |   414729 |   336452 |     7256     74 |        0 |        0
1232.70/1233.17	c 1232s |      18 |   415416 |   337052 |     7256     74 |        0 |        0
1234.90/1235.35	c 1235s |      18 |   416073 |   337652 |     7256     74 |        0 |        0
1237.10/1237.51	c 1237s |      18 |   416757 |   338252 |     7256     74 |        0 |        0
1239.09/1239.56	c 1239s |      18 |   417436 |   338852 |     7256     74 |        0 |        0
1241.29/1241.73	c 1241s |      18 |   417889 |   339252 |     7256     75 |        0 |        0
1243.29/1243.75	c 1243s |      18 |   418543 |   339852 |     7256     75 |        0 |        0
1245.59/1246.09	c 1245s |      18 |   419322 |   340552 |     7256     75 |        0 |        0
1247.89/1248.36	c 1248s |      18 |   420102 |   341252 |     7256     75 |        0 |        0
1250.09/1250.51	c 1250s |      18 |   420770 |   341852 |     7256     75 |        0 |        0
1252.19/1252.61	c 1252s |      18 |   421568 |   342552 |     7256     75 |        0 |        0
1254.19/1254.64	c 1254s |      18 |   422232 |   343152 |     7256     75 |        0 |        0
1256.29/1256.71	c 1256s |      18 |   422905 |   343752 |     7256     75 |        0 |        0
1258.39/1258.86	c 1258s |      18 |   423545 |   344352 |     7256     75 |        0 |        0
1260.49/1260.93	c 1260s |      18 |   423981 |   344752 |     7256     76 |        0 |        0
1262.50/1262.99	c 1262s |      18 |   424657 |   345352 |     7256     76 |        0 |        0
1264.89/1265.33	c 1265s |      18 |   425421 |   346052 |     7256     76 |        0 |        0
1266.90/1267.33	c 1267s |      18 |   426082 |   346652 |     7256     76 |        0 |        0
1269.09/1269.53	c 1269s |      18 |   426734 |   347252 |     7256     76 |        0 |        0
1271.39/1271.83	c 1271s |      18 |   427388 |   347852 |     7256     76 |        0 |        0
1273.68/1274.16	c 1273s |      18 |   428049 |   348452 |     7256     76 |        0 |        0
1275.69/1276.16	c 1275s |      18 |   428711 |   349052 |     7256     76 |        0 |        0
1277.89/1278.38	c 1278s |      18 |   429354 |   349652 |     7256     76 |        0 |        0
1279.99/1280.45	c 1280s |      18 |   429922 |   350152 |     7256     77 |        0 |        0
1282.19/1282.63	c 1282s |      18 |   430561 |   350752 |     7256     77 |        0 |        0
1284.49/1284.92	c 1284s |      18 |   431462 |   351552 |     7256     77 |        0 |        0
1286.70/1287.11	c 1286s |      18 |   432232 |   352252 |     7256     77 |        0 |        0
1288.79/1289.27	c 1289s |      18 |   432887 |   352852 |     7256     77 |        0 |        0
1291.09/1291.51	c 1291s |      18 |   433657 |   353552 |     7256     77 |        0 |        0
1293.19/1293.66	c 1293s |      18 |   434319 |   354152 |     7256     77 |        0 |        0
1295.39/1295.87	c 1295s |      18 |   434978 |   354752 |     7256     77 |        0 |        0
1297.78/1298.22	c 1298s |      18 |   435527 |   355252 |     7256     78 |        0 |        0
1299.79/1300.24	c 1300s |      18 |   436213 |   355852 |     7256     78 |        0 |        0
1302.09/1302.53	c 1302s |      18 |   436985 |   356552 |     7256     78 |        0 |        0
1304.19/1304.68	c 1304s |      18 |   437640 |   357152 |     7256     78 |        0 |        0
1306.39/1306.85	c 1306s |      18 |   438333 |   357752 |     7256     78 |        0 |        0
1308.59/1309.06	c 1308s |      18 |   439024 |   358352 |     7256     78 |        0 |        0
1310.88/1311.32	c 1311s |      18 |   439781 |   359052 |     7256     78 |        0 |        0
1312.88/1313.34	c 1313s |      18 |   440435 |   359652 |     7256     78 |        0 |        0
1314.98/1315.48	c 1315s |      18 |   441101 |   360252 |     7256     78 |        0 |        0
1317.28/1317.76	c 1317s |      18 |   441758 |   360852 |     7256     79 |        0 |        0
1319.48/1319.91	c 1319s |      18 |   442439 |   361452 |     7256     79 |        0 |        0
1321.57/1322.02	c 1321s |      18 |   443103 |   362052 |     7256     79 |        0 |        0
1323.78/1324.25	c 1324s |      18 |   443652 |   362552 |     7256     79 |        0 |        0
1325.88/1326.32	c 1326s |      18 |   444420 |   363252 |     7256     79 |        0 |        0
1328.08/1328.55	c 1328s |      18 |   445292 |   364052 |     7256     79 |        0 |        0
1330.28/1330.76	c 1330s |      18 |   446072 |   364752 |     7256     79 |        0 |        0
1332.37/1332.83	c 1332s |      18 |   446841 |   365452 |     7256     79 |        0 |        0
1334.67/1335.13	c 1334s |      18 |   447495 |   366052 |     7256     80 |        0 |        0
1336.68/1337.15	c 1336s |      18 |   448147 |   366652 |     7256     80 |        0 |        0
1338.88/1339.34	c 1339s |      18 |   448812 |   367252 |     7256     80 |        0 |        0
1341.08/1341.51	c 1341s |      18 |   449620 |   367952 |     7256     80 |        0 |        0
1343.28/1343.74	c 1343s |      18 |   450273 |   368552 |     7256     80 |        0 |        0
1345.57/1346.01	c 1345s |      18 |   450915 |   369152 |     7256     80 |        0 |        0
1347.77/1348.28	c 1348s |      18 |   451586 |   369752 |     7256     80 |        0 |        0
1350.17/1350.62	c 1350s |      18 |   452142 |   370252 |     7256     80 |        0 |        0
1352.27/1352.73	c 1352s |      18 |   452826 |   370852 |     7256     80 |        0 |        0
1354.37/1354.87	c 1354s |      18 |   453377 |   371352 |     7256     81 |        0 |        0
1356.57/1357.07	c 1356s |      18 |   454167 |   372052 |     7256     81 |        0 |        0
1358.88/1359.33	c 1359s |      18 |   454985 |   372752 |     7256     81 |        0 |        0
1360.98/1361.49	c 1361s |      18 |   455640 |   373352 |     7256     81 |        0 |        0
1363.28/1363.72	c 1363s |      18 |   456321 |   373952 |     7256     81 |        0 |        0
1365.58/1366.03	c 1365s |      18 |   456954 |   374552 |     7256     81 |        0 |        0
1367.78/1368.24	c 1368s |      18 |   457771 |   375252 |     7256     81 |        0 |        0
1369.87/1370.32	c 1370s |      18 |   458416 |   375852 |     7256     81 |        0 |        0
1371.97/1372.40	c 1372s |      18 |   459065 |   376452 |     7256     81 |        0 |        0
1374.07/1374.54	c 1374s |      18 |   459607 |   376952 |     7256     82 |        0 |        0
1376.27/1376.76	c 1376s |      18 |   460275 |   377552 |     7256     82 |        0 |        0
1378.37/1378.81	c 1378s |      18 |   460944 |   378152 |     7256     82 |        0 |        0
1380.57/1381.08	c 1380s |      18 |   461396 |   378552 |     7256     82 |        0 |        0
1382.77/1383.25	c 1383s |      18 |   462202 |   379252 |     7256     82 |        0 |        0
1385.07/1385.52	c 1385s |      18 |   463007 |   379952 |     7256     82 |        0 |        0
1387.16/1387.62	c 1387s |      18 |   463731 |   380552 |     7256     82 |        0 |        0
1389.37/1389.80	c 1389s |      18 |   464415 |   381152 |     7256     82 |        0 |        0
1391.57/1392.00	c 1391s |      18 |   465087 |   381752 |     7256     82 |        0 |        0
1393.77/1394.21	c 1394s |      18 |   465639 |   382252 |     7256     83 |        0 |        0
1395.97/1396.44	c 1396s |      18 |   466308 |   382852 |     7256     83 |        0 |        0
1398.17/1398.66	c 1398s |      18 |   466970 |   383452 |     7256     83 |        0 |        0
1400.27/1400.72	c 1400s |      18 |   467617 |   384052 |     7256     83 |        0 |        0
1402.56/1403.01	c 1402s |      18 |   468255 |   384652 |     7256     83 |        0 |        0
1404.76/1405.24	c 1405s |      18 |   468885 |   385252 |     7256     83 |        0 |        0
1406.86/1407.34	c 1407s |      18 |   469437 |   385752 |     7256     83 |        0 |        0
1409.07/1409.50	c 1409s |      18 |   470080 |   386252 |     7256     83 |        0 |        0
1411.37/1411.80	c 1411s |      18 |   470861 |   386952 |     7256     83 |        0 |        0
1413.97/1414.42	c 1414s |      18 |   471523 |   387552 |     7256     84 |        0 |        0
1416.17/1416.60	c 1416s |      18 |   472605 |   388352 |     7256     84 |        0 |        0
1418.47/1418.97	c 1418s |      18 |   473480 |   389052 |     7256     84 |        0 |        0
1420.57/1421.06	c 1420s |      18 |   474235 |   389652 |     7256     84 |        0 |        0
1422.86/1423.34	c 1423s |      18 |   474952 |   390252 |     7256     84 |        0 |        0
1425.06/1425.55	c 1425s |      18 |   475651 |   390852 |     7256     84 |        0 |        0
1427.26/1427.74	c 1427s |      18 |   476327 |   391452 |     7256     84 |        0 |        0
1429.46/1429.99	c 1429s |      18 |   477153 |   392152 |     7256     84 |        0 |        0
1431.67/1432.13	c 1431s |      18 |   477797 |   392752 |     7256     84 |        0 |        0
1433.86/1434.36	c 1434s |      18 |   478476 |   393352 |     7256     85 |        0 |        0
1436.17/1436.68	c 1436s |      18 |   479291 |   394052 |     7256     85 |        0 |        0
1438.26/1438.78	c 1438s |      18 |   479995 |   394652 |     7256     85 |        0 |        0
1440.66/1441.15	c 1440s |      18 |   480540 |   395152 |     7256     85 |        0 |        0
1442.77/1443.28	c 1443s |      18 |   481128 |   395652 |     7256     85 |        0 |        0
1445.07/1445.53	c 1445s |      18 |   481940 |   396352 |     7256     85 |        0 |        0
1447.36/1447.84	c 1447s |      18 |   482728 |   396952 |     7256     85 |        0 |        0
1449.36/1449.90	c 1449s |      18 |   483263 |   397452 |     7256     85 |        0 |        0
1451.56/1452.05	c 1451s |      18 |   483822 |   397952 |     7256     85 |        0 |        0
1453.96/1454.42	c 1454s |      18 |   484434 |   398452 |     7256     86 |        0 |        0
1456.07/1456.54	c 1456s |      18 |   485007 |   398852 |     7256     86 |        0 |        0
1458.36/1458.88	c 1458s |      18 |   485788 |   399552 |     7256     86 |        0 |        0
1460.66/1461.17	c 1460s |      18 |   486482 |   400152 |     7256     86 |        0 |        0
1462.76/1463.28	c 1463s |      18 |   487029 |   400652 |     7256     86 |        0 |        0
1464.96/1465.47	c 1465s |      18 |   487680 |   401152 |     7256     86 |        0 |        0
1467.26/1467.79	c 1467s |      18 |   488525 |   401852 |     7256     86 |        0 |        0
1469.36/1469.87	c 1469s |      18 |   489167 |   402452 |     7256     86 |        0 |        0
1471.65/1472.11	c 1471s |      18 |   489847 |   403052 |     7256     86 |        0 |        0
1474.67/1475.13	c 1474s |      18 |   490532 |   403652 |     7256     87 |        0 |        0
1476.86/1477.35	c 1477s |      18 |   491217 |   404252 |     7256     87 |        0 |        0
1479.26/1479.76	c 1479s |      18 |   491873 |   404852 |     7256     87 |        0 |        0
1481.36/1481.84	c 1481s |      18 |   492416 |   405352 |     7256     87 |        0 |        0
1483.46/1484.00	c 1483s |      18 |   492977 |   405852 |     7256     87 |        0 |        0
1485.76/1486.26	c 1486s |      18 |   493508 |   406352 |     7256     87 |        0 |        0
1487.96/1488.49	c 1488s |      18 |   494067 |   406852 |     7256     87 |        0 |        0
1490.06/1490.56	c 1490s |      18 |   494624 |   407352 |     7256     87 |        0 |        0
1492.25/1492.80	c 1492s |      18 |   495279 |   407952 |     7256     87 |        0 |        0
1494.35/1494.87	c 1494s |      18 |   495813 |   408452 |     7256     87 |        0 |        0
1496.45/1496.98	c 1496s |      18 |   496363 |   408952 |     7256     87 |        0 |        0
1498.56/1499.00	c 1498s |      18 |   496792 |   409352 |     7256     88 |        0 |        0
1500.66/1501.18	c 1500s |      18 |   497446 |   409952 |     7256     88 |        0 |        0
1502.85/1503.38	c 1503s |      18 |   498090 |   410552 |     7256     88 |        0 |        0
1504.85/1505.38	c 1505s |      18 |   498622 |   411052 |     7256     88 |        0 |        0
1507.35/1507.82	c 1507s |      18 |   499167 |   411552 |     7256     88 |        0 |        0
1509.55/1510.01	c 1509s |      18 |   499834 |   412152 |     7256     88 |        0 |        0
1511.55/1512.01	c 1511s |      18 |   500511 |   412752 |     7256     88 |        0 |        0
1513.55/1514.04	c 1513s |      18 |   501060 |   413252 |     7256     88 |        0 |        0
1515.75/1516.20	c 1515s |      18 |   501607 |   413752 |     7256     88 |        0 |        0
1518.15/1518.63	c 1518s |      18 |   502150 |   414252 |     7256     88 |        0 |        0
1520.45/1520.96	c 1520s |      18 |   502863 |   414852 |     7256     89 |        0 |        0
1522.45/1522.98	c 1522s |      18 |   503421 |   415352 |     7256     89 |        0 |        0
1524.85/1525.35	c 1525s |      18 |   504082 |   415952 |     7256     89 |        0 |        0
1527.04/1527.59	c 1527s |      18 |   504618 |   416452 |     7256     89 |        0 |        0
1529.24/1529.76	c 1529s |      18 |   505177 |   416952 |     7256     89 |        0 |        0
1531.55/1532.04	c 1531s |      18 |   505728 |   417452 |     7256     89 |        0 |        0
1533.55/1534.05	c 1533s |      18 |   506175 |   417852 |     7256     89 |        0 |        0
1535.94/1536.43	c 1536s |      18 |   506704 |   418352 |     7256     89 |        0 |        0
1538.34/1538.82	c 1538s |      18 |   507241 |   418852 |     7256     89 |        0 |        0
1540.55/1541.08	c 1540s |      18 |   507794 |   419352 |     7256     89 |        0 |        0
1542.55/1543.08	c 1542s |      18 |   508234 |   419752 |     7256     89 |        0 |        0
1545.05/1545.52	c 1545s |      18 |   508668 |   420152 |     7256     90 |        0 |        0
1547.35/1547.86	c 1547s |      18 |   509232 |   420652 |     7256     90 |        0 |        0
1549.64/1550.15	c 1549s |      18 |   509940 |   421252 |     7256     90 |        0 |        0
1551.65/1552.17	c 1551s |      18 |   510545 |   421752 |     7256     90 |        0 |        0
1553.95/1554.44	c 1554s |      18 |   511142 |   422252 |     7256     90 |        0 |        0
1555.94/1556.48	c 1556s |      18 |   511621 |   422652 |     7256     90 |        0 |        0
1558.44/1558.95	c 1558s |      18 |   512189 |   423152 |     7256     90 |        0 |        0
1560.85/1561.35	c 1561s |      18 |   512799 |   423652 |     7256     90 |        0 |        0
1563.35/1563.80	c 1563s |      18 |   513376 |   424152 |     7256     90 |        0 |        0
1565.44/1565.93	c 1565s |      18 |   513830 |   424552 |     7256     90 |        0 |        0
1567.44/1567.98	c 1567s |      18 |   514261 |   424952 |     7256     90 |        0 |        0
1569.64/1570.13	c 1569s |      18 |   514592 |   425252 |     7256     91 |        0 |        0
1571.64/1572.13	c 1571s |      18 |   515039 |   425652 |     7256     91 |        0 |        0
1573.94/1574.47	c 1574s |      18 |   515611 |   426152 |     7256     91 |        0 |        0
1576.04/1576.51	c 1576s |      18 |   516046 |   426552 |     7256     91 |        0 |        0
1578.15/1578.69	c 1578s |      18 |   516476 |   426952 |     7256     91 |        0 |        0
1580.35/1580.84	c 1580s |      18 |   516914 |   427352 |     7256     91 |        0 |        0
1582.34/1582.89	c 1582s |      18 |   517362 |   427752 |     7256     91 |        0 |        0
1584.44/1584.96	c 1584s |      18 |   517804 |   428152 |     7256     91 |        0 |        0
1586.64/1587.12	c 1586s |      18 |   518218 |   428552 |     7256     91 |        0 |        0
1588.74/1589.29	c 1589s |      18 |   518666 |   428952 |     7256     91 |        0 |        0
1590.93/1591.45	c 1591s |      18 |   519104 |   429352 |     7256     91 |        0 |        0
1593.45/1593.95	c 1593s |      18 |   519653 |   429852 |     7256     91 |        0 |        0
1595.65/1596.19	c 1595s |      18 |   520087 |   430252 |     7256     91 |        0 |        0
1597.95/1598.48	c 1598s |      18 |   520536 |   430652 |     7256     92 |        0 |        0
1600.34/1600.83	c 1600s |      18 |   521229 |   431252 |     7256     92 |        0 |        0
1602.84/1603.38	c 1603s |      18 |   521816 |   431752 |     7256     92 |        0 |        0
1605.04/1605.55	c 1605s |      18 |   522376 |   432252 |     7256     92 |        0 |        0
1607.24/1607.76	c 1607s |      18 |   523029 |   432852 |     7256     92 |        0 |        0
1609.64/1610.17	c 1609s |      18 |   523592 |   433352 |     7256     92 |        0 |        0
1611.63/1612.18	c 1611s |      18 |   524033 |   433752 |     7256     92 |        0 |        0
1614.13/1614.66	c 1614s |      18 |   524565 |   434252 |     7256     92 |        0 |        0
1616.33/1616.80	c 1616s |      18 |   524995 |   434652 |     7256     92 |        0 |        0
1618.33/1618.87	c 1618s |      18 |   525416 |   435052 |     7256     92 |        0 |        0
1620.54/1621.01	c 1620s |      18 |   525858 |   435452 |     7256     92 |        0 |        0
1623.24/1623.77	c 1623s |      18 |   526283 |   435852 |     7256     93 |        0 |        0
1625.73/1626.27	c 1626s |      18 |   526817 |   436352 |     7256     93 |        0 |        0
1627.93/1628.47	c 1628s |      18 |   527277 |   436752 |     7256     93 |        0 |        0
1630.23/1630.74	c 1630s |      18 |   527867 |   437252 |     7256     93 |        0 |        0
1632.43/1632.94	c 1632s |      18 |   528427 |   437752 |     7256     93 |        0 |        0
1634.63/1635.16	c 1634s |      18 |   528891 |   438152 |     7256     93 |        0 |        0
1636.83/1637.31	c 1637s |      18 |   529413 |   438652 |     7256     93 |        0 |        0
1638.93/1639.44	c 1639s |      18 |   529979 |   439152 |     7256     93 |        0 |        0
1641.33/1641.88	c 1641s |      18 |   530664 |   439752 |     7256     93 |        0 |        0
1643.83/1644.33	c 1644s |      18 |   531218 |   440252 |     7256     93 |        0 |        0
1646.13/1646.67	c 1646s |      18 |   531769 |   440752 |     7256     93 |        0 |        0
1648.23/1648.78	c 1648s |      18 |   532229 |   441152 |     7256     93 |        0 |        0
1650.23/1650.79	c 1650s |      18 |   532576 |   441452 |     7982     94 |        0 |        0
1652.73/1653.25	c 1653s |      18 |   533117 |   441952 |     7982     94 |        0 |        0
1654.73/1655.26	c 1655s |      18 |   533579 |   442352 |     7982     94 |        0 |        0
1656.82/1657.34	c 1657s |      18 |   533993 |   442752 |     7982     94 |        0 |        0
1658.92/1659.43	c 1659s |      18 |   534420 |   443152 |     7982     94 |        0 |        0
1660.93/1661.47	c 1661s |      18 |   534849 |   443552 |     7982     94 |        0 |        0
1663.23/1663.70	c 1663s |      18 |   535280 |   443952 |     7982     94 |        0 |        0
1665.53/1666.05	c 1665s |      18 |   535707 |   444352 |     7982     94 |        0 |        0
1666.23/1666.78	c 1666s |      19 |   535851 |   444482 |     7982     94 |        0 |        0
1668.33/1668.90	c 1668s |      19 |   537155 |   444882 |     7982     95 |        0 |        0
1670.53/1671.03	c 1670s |      19 |   538439 |   445982 |     7982     95 |        0 |        0
1672.73/1673.24	c 1673s |      19 |   539616 |   446982 |     7982     95 |        0 |        0
1674.83/1675.33	c 1675s |      19 |   540512 |   447782 |     7982     95 |        0 |        0
1677.03/1677.53	c 1677s |      19 |   541396 |   448582 |     7982     95 |        0 |        0
1679.02/1679.58	c 1679s |      19 |   542122 |   449182 |     7982     96 |        0 |        0
1681.23/1681.73	c 1681s |      19 |   543019 |   449982 |     7982     96 |        0 |        0
1683.32/1683.84	c 1683s |      19 |   544060 |   450882 |     7982     96 |        0 |        0
1685.42/1685.99	c 1685s |      19 |   544968 |   451682 |     7982     96 |        0 |        0
1687.52/1688.06	c 1687s |      19 |   545743 |   452382 |     7982     96 |        0 |        0
1689.82/1690.33	c 1690s |      19 |   546509 |   453082 |     7982     96 |        0 |        0
1692.02/1692.51	c 1692s |      19 |   547177 |   453682 |     7982     97 |        0 |        0
1694.02/1694.59	c 1694s |      19 |   548103 |   454482 |     7982     97 |        0 |        0
1696.32/1696.86	c 1696s |      19 |   548972 |   455282 |     7982     97 |        0 |        0
1698.62/1699.11	c 1698s |      19 |   549861 |   456082 |     7982     97 |        0 |        0
1700.72/1701.21	c 1700s |      19 |   550608 |   456782 |     7982     97 |        0 |        0
1702.82/1703.31	c 1703s |      19 |   551284 |   457382 |     7982     97 |        0 |        0
1704.92/1705.41	c 1705s |      19 |   552117 |   458082 |     7982     98 |        0 |        0
1706.92/1707.45	c 1707s |      19 |   553010 |   458882 |     7982     98 |        0 |        0
1709.12/1709.64	c 1709s |      19 |   554008 |   459782 |     7982     98 |        0 |        0
1711.22/1711.71	c 1711s |      19 |   554909 |   460582 |     7982     98 |        0 |        0
1713.42/1713.95	c 1713s |      19 |   555787 |   461382 |     7982     98 |        0 |        0
1715.62/1716.17	c 1715s |      19 |   556552 |   462082 |     7982     98 |        0 |        0
1717.82/1718.39	c 1718s |      19 |   557206 |   462682 |     7982     99 |        0 |        0
1720.02/1720.51	c 1720s |      19 |   558081 |   463482 |     7982     99 |        0 |        0
1722.12/1722.66	c 1722s |      19 |   559246 |   464482 |     7982     99 |        0 |        0
1724.32/1724.86	c 1724s |      19 |   560398 |   465482 |     7982     99 |        0 |        0
1726.41/1726.91	c 1726s |      19 |   561395 |   466382 |     7982     99 |        0 |        0
1728.42/1728.98	c 1728s |      19 |   562172 |   467082 |     7982    100 |        0 |        0
1730.62/1731.17	c 1730s |      19 |   563323 |   468082 |     7982    100 |        0 |        0
1732.72/1733.26	c 1733s |      19 |   564214 |   468882 |     7982    100 |        0 |        0
1734.91/1735.47	c 1735s |      19 |   565072 |   469682 |     7982    100 |        0 |        0
1737.21/1737.79	c 1737s |      19 |   565925 |   470482 |     7982    100 |        0 |        0
1739.42/1739.95	c 1739s |      19 |   566689 |   471182 |     7982    100 |        0 |        0
1741.52/1742.04	c 1741s |      19 |   567335 |   471782 |     7982    101 |        0 |        0
1743.71/1744.22	c 1744s |      19 |   568105 |   472482 |     7982    101 |        0 |        0
1745.91/1746.41	c 1746s |      19 |   568906 |   473182 |     7982    101 |        0 |        0
1748.01/1748.57	c 1748s |      19 |   569809 |   473982 |     7982    101 |        0 |        0
1750.01/1750.58	c 1750s |      19 |   570489 |   474582 |     7982    101 |        0 |        0
1752.01/1752.58	c 1752s |      19 |   571058 |   475082 |     7982    101 |        0 |        0
1754.12/1754.68	c 1754s |      19 |   571753 |   475682 |     7982    101 |        0 |        0
1756.22/1756.71	c 1756s |      19 |   572174 |   476082 |     7982    102 |        0 |        0
1758.42/1758.93	c 1758s |      19 |   572840 |   476682 |     7982    102 |        0 |        0
1760.62/1761.14	c 1760s |      19 |   573752 |   477482 |     7982    102 |        0 |        0
1762.71/1763.21	c 1763s |      19 |   574970 |   478482 |     7982    102 |        0 |        0
1764.71/1765.28	c 1765s |      19 |   575767 |   479182 |     7982    102 |        0 |        0
1766.91/1767.40	c 1767s |      19 |   576574 |   479882 |     7982    102 |        0 |        0
1769.71/1770.21	c 1769s |      19 |   577304 |   480482 |     7982    103 |        0 |        0
1771.81/1772.32	c 1772s |      19 |   579067 |   481482 |     7982    103 |        0 |        0
1773.91/1774.44	c 1774s |      19 |   580089 |   482382 |     7982    103 |        0 |        0
1776.11/1776.63	c 1776s |      19 |   580966 |   483182 |     7982    103 |        0 |        0
1778.32/1778.83	c 1778s |      19 |   581756 |   483882 |     7982    103 |        0 |        0
1780.52/1781.05	c 1780s |      19 |   582547 |   484582 |     7982    103 |        0 |        0
1782.51/1783.10	c 1782s |      19 |   583216 |   485182 |     7982    103 |        0 |        0
1784.71/1785.25	c 1785s |      19 |   584117 |   485982 |     7982    103 |        0 |        0
1786.91/1787.46	c 1787s |      19 |   585000 |   486782 |     7982    103 |        0 |        0
1789.61/1790.19	c 1789s |      19 |   585825 |   487482 |     7982    104 |        0 |        0
1792.01/1792.51	c 1792s |      19 |   586589 |   488182 |     7982    104 |        0 |        0
1794.21/1794.78	c 1794s |      19 |   587285 |   488782 |     7982    104 |        0 |        0
1796.60/1797.12	c 1796s |      19 |   587944 |   489382 |     7982    104 |        0 |        0
1798.60/1799.15	c 1798s |      19 |   588478 |   489882 |     7982    104 |        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-4093716-1466093183/watcher-4093716-1466093183 -o /tmp/evaluation-result-4093716-1466093183/solver-4093716-1466093183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466093183-25011 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093716-1466093183.wbo 

pid=25032
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: 2.67 3.77 4.00 3/173 25035
/proc/meminfo: memFree=30580976/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 2518 0 0 0 0 0 0 0 20 0 4 0 11365079 693563392 2879 33554432000 4194304 16246674 140735177659344 140735177658768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 169839 2888 441 2943 0 166733 0
[pid=25035/tid=25036] ppid=25032 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 714534912 2961 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 720826368 2982 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11365079 725020672 3000 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.67 3.77 4.00 3/173 25035
/proc/meminfo: memFree=30580976/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 25727 0 0 0 6 3 0 0 20 0 4 0 11365079 1247350784 26080 33554432000 4194304 16246674 140735177659344 140735177658768 12459048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 304529 26088 603 2943 0 301423 0
[pid=25035/tid=25036] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 26092 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 26099 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 26104 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200471 s]
/proc/loadavg: 2.67 3.77 4.00 3/173 25035
/proc/meminfo: memFree=30580976/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 47753 0 0 0 13 6 0 0 20 0 4 0 11365079 1247350784 48103 33554432000 4194304 16246674 140735177659344 140735177658768 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 304529 48117 676 2943 0 301423 0
[pid=25035/tid=25036] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 48125 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 48135 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 48144 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300436 s]
/proc/loadavg: 2.67 3.77 4.00 3/173 25035
/proc/meminfo: memFree=30580976/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 67790 0 0 0 20 8 0 0 20 0 4 0 11365079 1247350784 68136 33554432000 4194304 16246674 140735177659344 140735177658768 5515837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 304529 68140 805 2943 0 301423 0
[pid=25035/tid=25036] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 68142 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 68145 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11365079 1247350784 68148 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.67 3.77 4.00 3/173 25035
/proc/meminfo: memFree=30580976/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 87078 0 0 0 58 11 0 0 20 0 4 0 11365079 1338576896 87402 33554432000 4194304 16246674 140735177659344 140735177658656 5546243 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 326801 87402 866 2943 0 323695 0
[pid=25035/tid=25036] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 87402 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 87402 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 87402 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.67 3.77 4.00 4/183 25048
/proc/meminfo: memFree=29819764/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 94310 0 0 0 137 12 0 0 20 0 4 0 11365079 1338576896 94634 33554432000 4194304 16246674 140735177659344 140735177658520 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 326801 94634 866 2943 0 323695 0
[pid=25035/tid=25036] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 94634 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 94634 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 94634 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.70 3.76 3.99 3/183 25048
/proc/meminfo: memFree=28901544/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 267792 0 0 0 274 35 0 0 20 0 4 0 11365079 1338576896 268116 33554432000 4194304 16246674 140735177659344 140735177641216 5711636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 326801 268116 866 2943 0 323695 0
[pid=25035/tid=25036] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 268116 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 268116 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 268116 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.70 3.76 3.99 3/183 25048
/proc/meminfo: memFree=28435648/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 267910 0 0 0 594 35 0 0 20 0 4 0 11365079 1338576896 268234 33554432000 4194304 16246674 140735177659344 140735177641216 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 326801 268234 866 2943 0 323695 0
[pid=25035/tid=25036] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 268234 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 268234 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1338576896 268234 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.59 3.70 3.97 4/183 25048
/proc/meminfo: memFree=28431336/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 268688 0 0 0 1234 35 0 0 20 0 4 0 11365079 1341722624 269012 33554432000 4194304 16246674 140735177659344 140735177641216 13950188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 327569 269012 871 2943 0 324463 0
[pid=25035/tid=25036] ppid=25032 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1341722624 269012 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1341722624 269012 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1341722624 269012 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.58 3.66 3.96 3/183 25048
/proc/meminfo: memFree=28429592/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 268959 0 0 0 2514 35 0 0 20 0 4 0 11365079 1343819776 269283 33554432000 4194304 16246674 140735177659344 140735177641216 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 328081 269283 873 2943 0 324975 0
[pid=25035/tid=25036] ppid=25032 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1343819776 269283 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1343819776 269283 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1343819776 269283 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.46 3.55 3.91 3/183 25048
/proc/meminfo: memFree=28426840/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1314372 CPUtime=51.07 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 269551 0 0 0 5072 35 0 0 20 0 4 0 11365079 1345916928 269861 33554432000 4194304 16246674 140735177659344 140735177641216 5717660 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 328593 269861 873 2943 0 325487 0
[pid=25035/tid=25036] ppid=25032 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1345916928 269861 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1345916928 269861 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1345916928 269861 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.42 3.35 3.82 3/183 25050
/proc/meminfo: memFree=28419320/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1315396 CPUtime=102.26 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 270002 0 0 0 10190 36 0 0 20 0 4 0 11365079 1346965504 270294 33554432000 4194304 16246674 140735177659344 140735177641216 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 328849 270294 873 2943 0 325743 0
[pid=25035/tid=25036] ppid=25032 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1346965504 270294 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1346965504 270294 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1346965504 270294 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1315396


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

/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1357451264 272734 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.31 2.27 2.64 4/183 25082
/proc/meminfo: memFree=28385956/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1361.88 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275148 0 0 0 136077 111 0 0 20 0 4 0 11365079 1366888448 275121 33554432000 4194304 16246674 140735177659344 140735177641216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275121 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275121 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275121 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275121 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.28 2.26 2.61 3/184 25086
/proc/meminfo: memFree=28385964/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1421.87 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 142074 113 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177658440 6012176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.16 2.23 2.58 3/183 25087
/proc/meminfo: memFree=28386408/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1481.86 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 148069 117 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177641216 5546160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.27 2.25 2.56 3/183 25088
/proc/meminfo: memFree=28386652/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1541.86 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 154064 122 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177657152 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.53 3/183 25089
/proc/meminfo: memFree=28386668/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1601.84 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 160059 125 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177641216 12477869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.51 3/183 25091
/proc/meminfo: memFree=28385940/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1661.83 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 166054 129 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177658520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.49 3/183 25092
/proc/meminfo: memFree=28385904/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1721.81 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 172050 131 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177658440 12477844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.47 3/183 25093
/proc/meminfo: memFree=28385292/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1781.81 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 178046 135 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177641216 12477798 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.20 2.46 3/183 25093
/proc/meminfo: memFree=28385540/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1800 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 179865 135 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177658520 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1334852

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.20 2.46 3/183 25093
/proc/meminfo: memFree=28385540/32872528 swapFree=1286144/1433312
[pid=25035] ppid=25032 vsize=1334852 CPUtime=1800 cores=0,2,4,6
/proc/25035/stat : 25035 (toysat) R 25032 25035 8056 0 -1 4202496 275185 0 0 0 179865 135 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 140735177658520 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25035/statm: 333713 275158 873 2943 0 330607 0
[pid=25035/tid=25036] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25036/stat : 25036 (toysat) S 25032 25035 8056 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923870952688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25035/tid=25037] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25037/stat : 25037 (toysat) S 25032 25035 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923860462832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25035/tid=25039] ppid=25032 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25035/task/25039/stat : 25039 (toysat) S 25032 25035 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11365079 1366888448 275158 33554432000 4194304 16246674 140735177659344 139923849989296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.66
CPU system time (s): 1.35979
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.35979
maximum resident set size= 1100632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275185
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= 367
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2149 second user time and 8.40872 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-16 18:06:23
IDJOB=4093716
IDBENCH=79177
IDSOLVER=2553
FILE ID=node130/4093716-1466093183
RUNJOBID= node130-1466093183-25011
PBS_JOBID= 19904009
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093716-1466093183/watcher-4093716-1466093183 -o /tmp/evaluation-result-4093716-1466093183/solver-4093716-1466093183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466093183-25011 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093716-1466093183.wbo

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

MD5SUM BENCH= 01a077d3621ba64f6c6e6b6c3ebb8e99
RANDOM SEED=1124680990

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        30581520 kB
Buffers:           39480 kB
Cached:           113484 kB
SwapCached:          940 kB
Active:            80424 kB
Inactive:          74588 kB
Active(anon):       4360 kB
Inactive(anon):      584 kB
Active(file):      76064 kB
Inactive(file):    74004 kB
Unevictable:     1433312 kB
Mlocked:         1286144 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             33032 kB
Writeback:             0 kB
AnonPages:       1435524 kB
Mapped:             7144 kB
Shmem:                 0 kB
Slab:             569628 kB
SReclaimable:      12864 kB
SUnreclaim:       556764 kB
KernelStack:        1384 kB
PageTables:         6600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1530040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71716 MiB
End job on node130 at 2016-06-16 18:36:24