Trace number 4078645

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUM7f5f10f1b8aeee16c5b46dadab8c5b22
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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-06T15:22:40+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078645-1465219360.opb"]
0.00/0.01	c use --random-gen="680307066 2307502051 2189882342 2876902343 4113533733 769698970 3430266816 2198050565 2898959785 396441662 3357703665 2217874538 2627046911 1723595060 297103611 2868435789 3992837650 3104635343 3308463976 4130410071 77145101 2566391441 3747212748 2132853490 4117088154 974354202 1481674220 195056705 2751164151 1752561920 3274652147 2851477763 3138017659 2964844629 3689018146 3460990318 4257147963 3070970676 4018023054 4234953247 3800183329 3576479492 3961129753 4238091055 243177761 786230286 16846879 1759993637 512679965 3553838815 1065085384 332973515 703009806 3189576990 2686234188 3462736807 2508892205 1781269906 2390179205 4133690069 1065378762 2788908780 1692843512 3852388203 1928783634 2994584177 186796982 3115459736 2533072818 4087011067 4096960927 2440866751 886383670 1578922309 3602247286 3222593113 2002607212 801410430 127998502 804919434 2681807499 1769598935 2809273578 3310127231 171252918 1296179165 3646070225 3684323753 772706951 3995880722 1723200412 1728735351 2620828524 215989116 857749494 2299496561 1011347622 3185371520 2868708444 764680124 3848713163 1969259352 2495225063 514877401 2256706995 1022410764 1993047283 3388087647 1350917139 2688128635 659094236 496381904 269641270 584211753 3810914557 2863448947 3393155708 627224349 70309995 950727370 2247447947 3058297889 2046518280 21506181 718611198 1854422856 2229196442 2640258138 3107171910 2977681448 1387362396 3434665880 1926309133 4215959250 2494335575 3446395572 125043790 2550043564 1084622094 3186942684 1987569223 1859349647 2083836460 1259524003 4247698774 3481680938 1358926086 1822738930 280672341 2614294485 327760444 2344881021 1828954440 847413932 3830746703 1051967749 4279551756 4100117068 1713004082 2382776848 4019998699 640573704 645290312 392098158 649329805 3387715312 2310369130 3623966175 125096434 2123512632 2720880174 1510454884 2981707868 212520276 1325772362 4154630403 3694036015 3696196272 616756923 204183910 3058332228 1785311696 2297676777 2778138854 3964478034 3517606345 517501858 1234695732 4287389298 4114198367 4283340749 718615239 36223661 266883637 868663354 2533277151 2653265749 1219557820 4279264289 4240259614 2809452980 656081313 2126311715 1403629144 125921628 3293004022 2578380195 2235608569 3023108010 1857998325 2109709783 3175481334 1187423391 3584351469 3395939382 4206430165 3141583397 3472850414 327524918 4087236547 676498501 2990715723 1913834295 4026756733 2548651410 793568715 201925989 1244109640 3359226925 3260070654 160770091 1964583959 3298628529 945293904 614955516 303465789 24493503 2676249348 2216071644 912050240 1651430332 656536215 2960304499 990399388 2896889239 1723945498 3236026832 984785724 4061129528 3184360979 987231710 1889612962 1404597610 279765784 2804729584 2251195283 255 362436" option to reproduce the execution
0.29/0.34	c #vars 1020
0.29/0.34	c #constraints 43010
0.89/0.98	c Solving starts ...
0.89/0.98	c ============================[ Search Statistics ]============================
0.89/0.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.98	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.98	c =============================================================================
0.89/0.98	c  0.0s |       0 |        0 |        0 |    14733      0 |        0 |        0
0.99/1.09	c  0.1s |       1 |      189 |      100 |    14733      0 |        0 |        0
1.20/1.24	c  0.3s |       2 |      543 |      250 |    16207      0 |        0 |        0
1.39/1.47	c  0.5s |       3 |      949 |      475 |    17828      0 |        0 |        0
1.79/1.83	c  0.8s |       4 |     1483 |      813 |    19611      0 |        0 |        0
2.09/2.13	c  1.2s |       5 |     2238 |     1320 |    21573      0 |        0 |        0
2.59/2.63	c  1.7s |       6 |     3240 |     2081 |    26105      0 |        0 |        0
3.39/3.41	c  2.4s |       7 |     4698 |     3223 |    28716      0 |        0 |        0
4.69/4.76	c  3.8s |       8 |     6777 |     4936 |    31588      0 |        0 |        0
6.69/6.79	c  5.8s |       8 |     9929 |     7436 |    31588      0 |        0 |        0
6.79/6.86	c  5.9s |       9 |    10010 |     7506 |    34747      0 |        0 |        0
8.79/8.88	c  7.9s |       9 |    12943 |     9806 |    34747      0 |        0 |        0
10.29/10.34	c  9.4s |      10 |    14823 |    11361 |    38222      0 |        0 |        0
12.39/12.41	c 11.4s |      10 |    17413 |    13461 |    38222      0 |        0 |        0
14.39/14.43	c 13.4s |      10 |    19653 |    15361 |    38222      0 |        0 |        0
16.49/16.51	c 15.5s |      10 |    21617 |    17061 |    42045      0 |        0 |        0
16.59/16.61	c 15.6s |      11 |    21708 |    17144 |    42045      0 |        0 |        0
18.58/18.67	c 17.7s |      11 |    23703 |    18744 |    42045      0 |        0 |        0
20.68/20.74	c 19.8s |      11 |    25724 |    20444 |    42045      0 |        0 |        0
22.78/22.85	c 21.9s |      11 |    27413 |    21944 |    42045      0 |        0 |        0
24.78/24.86	c 23.9s |      11 |    29062 |    23344 |    42045      0 |        0 |        0
26.88/26.95	c 26.0s |      11 |    30706 |    24744 |    42045      0 |        0 |        0
28.59/28.69	c 27.7s |      12 |    31976 |    25819 |    46250      0 |        0 |        0
30.68/30.73	c 29.7s |      12 |    33636 |    27119 |    46250      0 |        0 |        0
32.78/32.83	c 31.9s |      12 |    35472 |    28619 |    46250      0 |        0 |        0
34.88/34.96	c 34.0s |      12 |    37156 |    30019 |    46250      0 |        0 |        0
37.08/37.11	c 36.1s |      12 |    38679 |    31319 |    46250      0 |        0 |        0
39.18/39.20	c 38.2s |      12 |    40097 |    32519 |    46250      0 |        0 |        0
41.28/41.36	c 40.4s |      12 |    41502 |    33719 |    46250      0 |        0 |        0
43.48/43.52	c 42.5s |      12 |    42751 |    34819 |    46250      0 |        0 |        0
45.58/45.60	c 44.6s |      12 |    44047 |    35919 |    46250      0 |        0 |        0
47.68/47.77	c 46.8s |      12 |    45301 |    37019 |    46250      0 |        0 |        0
49.77/49.85	c 48.9s |      12 |    46443 |    38019 |    46250      0 |        0 |        0
51.37/51.47	c 50.5s |      13 |    47394 |    38832 |    50876      0 |        0 |        0
53.47/53.52	c 52.5s |      13 |    48782 |    39932 |    50876      0 |        0 |        0
55.47/55.56	c 54.6s |      13 |    50387 |    41232 |    50876      0 |        0 |        0
57.57/57.63	c 56.6s |      13 |    51825 |    42432 |    50876      0 |        0 |        0
59.57/59.64	c 58.7s |      13 |    53166 |    43532 |    50876      0 |        0 |        0
61.77/61.82	c 60.8s |      13 |    54583 |    44732 |    50876      0 |        0 |        0
63.77/63.89	c 62.9s |      13 |    55773 |    45732 |    50876      0 |        0 |        0
65.87/65.96	c 65.0s |      13 |    57001 |    46732 |    50876      0 |        0 |        0
67.97/68.05	c 67.1s |      13 |    58207 |    47732 |    50876      0 |        0 |        0
70.16/70.21	c 69.2s |      13 |    59395 |    48732 |    50876      0 |        0 |        0
72.26/72.31	c 71.3s |      13 |    60488 |    49632 |    50876      0 |        0 |        0
74.26/74.37	c 73.4s |      13 |    61436 |    50432 |    50876      0 |        0 |        0
76.36/76.50	c 75.5s |      13 |    62506 |    51332 |    50876      0 |        0 |        0
78.46/78.59	c 77.6s |      13 |    63450 |    52132 |    50876      1 |        0 |        0
80.57/80.64	c 79.7s |      13 |    64870 |    53332 |    50876      1 |        0 |        0
82.77/82.80	c 81.8s |      13 |    66314 |    54532 |    50876      1 |        0 |        0
84.77/84.85	c 83.9s |      13 |    67635 |    55632 |    50876      1 |        0 |        0
86.87/86.95	c 86.0s |      13 |    68798 |    56632 |    50876      1 |        0 |        0
89.07/89.13	c 88.2s |      13 |    69917 |    57632 |    50876      1 |        0 |        0
90.57/90.68	c 89.7s |      14 |    70750 |    58352 |    55964      1 |        0 |        0
92.76/92.87	c 91.9s |      14 |    72147 |    59452 |    55964      1 |        0 |        0
94.86/94.90	c 93.9s |      14 |    73833 |    60852 |    55964      1 |        0 |        0
96.87/96.98	c 96.0s |      14 |    75360 |    62152 |    55964      1 |        0 |        0
98.86/98.99	c 98.0s |      14 |    76859 |    63352 |    55964      1 |        0 |        0
100.96/101.04	c  100s |      14 |    78212 |    64452 |    55964      1 |        0 |        0
103.06/103.15	c  102s |      14 |    79538 |    65552 |    55964      1 |        0 |        0
105.16/105.23	c  104s |      14 |    80674 |    66552 |    55964      1 |        0 |        0
107.16/107.27	c  106s |      14 |    81874 |    67552 |    55964      1 |        0 |        0
109.26/109.34	c  108s |      14 |    82931 |    68452 |    55964      1 |        0 |        0
111.46/111.55	c  110s |      14 |    83951 |    69352 |    55964      1 |        0 |        0
113.46/113.56	c  112s |      14 |    84993 |    70252 |    55964      1 |        0 |        0
115.66/115.71	c  114s |      14 |    86056 |    71152 |    55964      1 |        0 |        0
117.76/117.83	c  116s |      14 |    87268 |    72152 |    55964      1 |        0 |        0
119.75/119.88	c  118s |      14 |    88283 |    73052 |    55964      1 |        0 |        0
121.95/122.00	c  121s |      14 |    89322 |    73952 |    55964      1 |        0 |        0
123.95/124.07	c  123s |      14 |    90406 |    74852 |    55964      1 |        0 |        0
126.05/126.17	c  125s |      14 |    91499 |    75752 |    55964      1 |        0 |        0
128.15/128.20	c  127s |      14 |    92616 |    76652 |    55964      1 |        0 |        0
130.25/130.30	c  129s |      14 |    93709 |    77552 |    55964      1 |        0 |        0
132.35/132.42	c  131s |      14 |    94771 |    78452 |    55964      1 |        0 |        0
134.35/134.48	c  133s |      14 |    95711 |    79252 |    55964      1 |        0 |        0
136.55/136.62	c  135s |      14 |    96712 |    80052 |    55964      1 |        0 |        0
138.75/138.83	c  137s |      14 |    97487 |    80752 |    55964      1 |        0 |        0
141.05/141.12	c  140s |      14 |    98427 |    81552 |    55964      1 |        0 |        0
143.05/143.19	c  142s |      14 |    99254 |    82252 |    55964      1 |        0 |        0
145.15/145.29	c  144s |      14 |   100064 |    82952 |    55964      2 |        0 |        0
147.35/147.45	c  146s |      14 |   101105 |    83852 |    55964      2 |        0 |        0
149.44/149.58	c  148s |      14 |   102167 |    84752 |    55964      2 |        0 |        0
151.64/151.74	c  150s |      14 |   103236 |    85652 |    55964      2 |        0 |        0
153.74/153.84	c  152s |      14 |   104193 |    86452 |    55964      2 |        0 |        0
155.84/155.92	c  154s |      14 |   105099 |    87252 |    61561      2 |        0 |        0
156.94/157.03	c  156s |      15 |   105526 |    87632 |    61561      2 |        0 |        0
159.14/159.23	c  158s |      15 |   106837 |    88632 |    61561      2 |        0 |        0
161.24/161.30	c  160s |      15 |   108088 |    89632 |    61561      2 |        0 |        0
163.24/163.37	c  162s |      15 |   109506 |    90832 |    61561      2 |        0 |        0
165.34/165.41	c  164s |      15 |   110812 |    91932 |    61561      2 |        0 |        0
167.34/167.49	c  166s |      15 |   112106 |    93032 |    61561      2 |        0 |        0
169.53/169.63	c  168s |      15 |   113369 |    94132 |    61561      2 |        0 |        0
171.64/171.77	c  170s |      15 |   114523 |    95132 |    61561      2 |        0 |        0
173.84/173.91	c  172s |      15 |   115671 |    96132 |    61561      2 |        0 |        0
175.94/176.01	c  175s |      15 |   116840 |    97132 |    61561      2 |        0 |        0
178.14/178.20	c  177s |      15 |   117997 |    98132 |    61561      2 |        0 |        0
180.13/180.29	c  179s |      15 |   119003 |    99032 |    61561      2 |        0 |        0
182.33/182.44	c  181s |      15 |   120037 |    99932 |    61561      2 |        0 |        0
184.43/184.56	c  183s |      15 |   121070 |   100832 |    61561      2 |        0 |        0
186.63/186.70	c  185s |      15 |   122107 |   101732 |    61561      2 |        0 |        0
188.62/188.76	c  187s |      15 |   123108 |   102632 |    61561      2 |        0 |        0
190.82/190.94	c  189s |      15 |   124107 |   103532 |    61561      2 |        0 |        0
192.82/192.97	c  191s |      15 |   125037 |   104332 |    61561      2 |        0 |        0
194.92/195.01	c  194s |      15 |   126099 |   105232 |    61561      2 |        0 |        0
197.02/197.19	c  196s |      15 |   127177 |   106132 |    61561      2 |        0 |        0
199.22/199.36	c  198s |      15 |   128099 |   106932 |    61561      2 |        0 |        0
201.42/201.56	c  200s |      15 |   129033 |   107732 |    61561      2 |        0 |        0
203.43/203.56	c  202s |      15 |   129836 |   108432 |    61561      2 |        0 |        0
205.52/205.61	c  204s |      15 |   130779 |   109232 |    61561      2 |        0 |        0
207.72/207.86	c  206s |      15 |   131691 |   110032 |    61561      2 |        0 |        0
209.81/209.92	c  208s |      15 |   132482 |   110732 |    61561      2 |        0 |        0
211.81/211.94	c  210s |      15 |   133283 |   111432 |    61561      2 |        0 |        0
213.91/214.06	c  213s |      15 |   134071 |   112132 |    61561      2 |        0 |        0
216.11/216.21	c  215s |      15 |   134993 |   112932 |    61561      2 |        0 |        0
218.31/218.42	c  217s |      15 |   135944 |   113732 |    61561      2 |        0 |        0
220.31/220.48	c  219s |      15 |   136863 |   114532 |    61561      2 |        0 |        0
222.61/222.75	c  221s |      15 |   137759 |   115332 |    61561      2 |        0 |        0
224.91/225.03	c  224s |      15 |   138553 |   116032 |    61561      2 |        0 |        0
227.01/227.19	c  226s |      15 |   139222 |   116632 |    61561      3 |        0 |        0
229.21/229.32	c  228s |      15 |   140117 |   117432 |    61561      3 |        0 |        0
231.21/231.34	c  230s |      15 |   141164 |   118332 |    61561      3 |        0 |        0
233.31/233.42	c  232s |      15 |   142069 |   119132 |    61561      3 |        0 |        0
235.51/235.67	c  234s |      15 |   143068 |   120032 |    61561      3 |        0 |        0
237.71/237.86	c  236s |      15 |   143996 |   120832 |    61561      3 |        0 |        0
239.81/239.95	c  238s |      15 |   144903 |   121632 |    61561      3 |        0 |        0
241.80/241.97	c  240s |      15 |   145853 |   122432 |    61561      3 |        0 |        0
243.90/244.06	c  243s |      15 |   146885 |   123332 |    61561      3 |        0 |        0
246.00/246.17	c  245s |      15 |   147811 |   124132 |    61561      3 |        0 |        0
248.20/248.30	c  247s |      15 |   148864 |   125032 |    61561      3 |        0 |        0
250.20/250.39	c  249s |      15 |   149794 |   125832 |    61561      3 |        0 |        0
252.40/252.51	c  251s |      15 |   150742 |   126632 |    61561      3 |        0 |        0
254.50/254.64	c  253s |      15 |   151664 |   127432 |    61561      3 |        0 |        0
256.70/256.83	c  255s |      15 |   152672 |   128332 |    61561      3 |        0 |        0
258.70/258.87	c  257s |      15 |   153515 |   129032 |    61561      3 |        0 |        0
261.00/261.10	c  260s |      15 |   154444 |   129832 |    61561      3 |        0 |        0
263.00/263.18	c  262s |      15 |   155296 |   130532 |    61561      3 |        0 |        0
265.30/265.45	c  264s |      15 |   156199 |   131332 |    67718      3 |        0 |        0
266.00/266.14	c  265s |      16 |   156444 |   131552 |    67718      3 |        0 |        0
268.00/268.16	c  267s |      16 |   157228 |   132152 |    67718      3 |        0 |        0
270.29/270.40	c  269s |      16 |   158279 |   133052 |    67718      3 |        0 |        0
272.29/272.40	c  271s |      16 |   159168 |   133852 |    67718      3 |        0 |        0
274.29/274.44	c  273s |      16 |   160083 |   134652 |    67718      3 |        0 |        0
276.49/276.67	c  275s |      16 |   161028 |   135452 |    67718      3 |        0 |        0
278.49/278.69	c  277s |      16 |   161936 |   136252 |    67718      3 |        0 |        0
280.59/280.79	c  279s |      16 |   162871 |   137052 |    67718      3 |        0 |        0
282.60/282.79	c  281s |      16 |   163689 |   137752 |    67718      3 |        0 |        0
284.69/284.89	c  283s |      16 |   164484 |   138452 |    67718      3 |        0 |        0
287.00/287.18	c  286s |      16 |   165402 |   139252 |    67718      3 |        0 |        0
289.09/289.25	c  288s |      16 |   166197 |   139952 |    67718      3 |        0 |        0
291.19/291.30	c  290s |      16 |   166985 |   140652 |    67718      3 |        0 |        0
293.19/293.35	c  292s |      16 |   167807 |   141352 |    67718      3 |        0 |        0
295.39/295.53	c  294s |      16 |   168698 |   142152 |    67718      3 |        0 |        0
297.39/297.56	c  296s |      16 |   169529 |   142852 |    67718      3 |        0 |        0
299.59/299.74	c  298s |      16 |   170342 |   143552 |    67718      3 |        0 |        0
301.79/301.95	c  300s |      16 |   171277 |   144352 |    67718      3 |        0 |        0
303.89/304.07	c  303s |      16 |   172105 |   145052 |    67718      3 |        0 |        0
305.99/306.12	c  305s |      16 |   172753 |   145652 |    67718      3 |        0 |        0
308.09/308.23	c  307s |      16 |   173446 |   146252 |    67718      3 |        0 |        0
310.09/310.23	c  309s |      16 |   174166 |   146852 |    67718      3 |        0 |        0
312.29/312.42	c  311s |      16 |   174984 |   147552 |    67718      3 |        0 |        0
314.38/314.50	c  313s |      16 |   175760 |   148252 |    67718      3 |        0 |        0
316.69/316.82	c  315s |      16 |   176582 |   148952 |    67718      3 |        0 |        0
318.98/319.14	c  318s |      16 |   177364 |   149652 |    67718      3 |        0 |        0
321.08/321.21	c  320s |      16 |   178062 |   150252 |    67718      3 |        0 |        0
323.08/323.24	c  322s |      16 |   178750 |   150852 |    67718      3 |        0 |        0
325.28/325.49	c  324s |      16 |   179561 |   151552 |    67718      3 |        0 |        0
327.38/327.55	c  326s |      16 |   180227 |   152152 |    67718      3 |        0 |        0
329.57/329.74	c  328s |      16 |   180900 |   152752 |    67718      3 |        0 |        0
331.67/331.88	c  330s |      16 |   181592 |   153352 |    67718      3 |        0 |        0
333.88/334.09	c  333s |      16 |   182056 |   153752 |    67718      4 |        0 |        0
335.98/336.14	c  335s |      16 |   182953 |   154552 |    67718      4 |        0 |        0
338.08/338.20	c  337s |      16 |   183986 |   155452 |    67718      4 |        0 |        0
340.17/340.32	c  339s |      16 |   185023 |   156352 |    67718      4 |        0 |        0
342.27/342.41	c  341s |      16 |   186056 |   157252 |    67718      4 |        0 |        0
344.47/344.68	c  343s |      16 |   187099 |   158152 |    67718      4 |        0 |        0
346.57/346.70	c  345s |      16 |   188035 |   158952 |    67718      4 |        0 |        0
348.67/348.80	c  347s |      16 |   188952 |   159752 |    67718      4 |        0 |        0
350.66/350.88	c  349s |      16 |   189881 |   160552 |    67718      4 |        0 |        0
352.86/353.07	c  352s |      16 |   190806 |   161352 |    67718      4 |        0 |        0
355.06/355.30	c  354s |      16 |   191698 |   162152 |    67718      4 |        0 |        0
357.16/357.33	c  356s |      16 |   192454 |   162852 |    67718      4 |        0 |        0
359.36/359.54	c  358s |      16 |   193356 |   163652 |    67718      4 |        0 |        0
361.56/361.77	c  360s |      16 |   194250 |   164452 |    67718      4 |        0 |        0
363.56/363.79	c  362s |      16 |   194919 |   165052 |    67718      4 |        0 |        0
365.96/366.12	c  365s |      16 |   195824 |   165852 |    67718      4 |        0 |        0
367.96/368.18	c  367s |      16 |   196656 |   166552 |    67718      4 |        0 |        0
370.05/370.28	c  369s |      16 |   197582 |   167352 |    67718      4 |        0 |        0
372.25/372.40	c  371s |      16 |   198359 |   168052 |    67718      4 |        0 |        0
374.45/374.68	c  373s |      16 |   199273 |   168852 |    67718      4 |        0 |        0
376.55/376.71	c  375s |      16 |   200058 |   169552 |    67718      4 |        0 |        0
378.85/379.05	c  378s |      16 |   200996 |   170352 |    67718      4 |        0 |        0
380.95/381.13	c  380s |      16 |   201781 |   171052 |    67718      4 |        0 |        0
383.05/383.25	c  382s |      16 |   202479 |   171652 |    67718      4 |        0 |        0
385.15/385.32	c  384s |      16 |   203166 |   172252 |    67718      4 |        0 |        0
387.35/387.52	c  386s |      16 |   203975 |   172952 |    67718      4 |        0 |        0
389.64/389.80	c  388s |      16 |   204747 |   173652 |    67718      4 |        0 |        0
391.64/391.85	c  390s |      16 |   205450 |   174252 |    67718      4 |        0 |        0
393.84/394.04	c  393s |      16 |   206260 |   174952 |    67718      4 |        0 |        0
396.24/396.44	c  395s |      16 |   207063 |   175652 |    67718      4 |        0 |        0
398.33/398.53	c  397s |      16 |   207744 |   176252 |    67718      4 |        0 |        0
400.34/400.59	c  399s |      16 |   208424 |   176852 |    67718      4 |        0 |        0
402.54/402.76	c  401s |      16 |   209118 |   177452 |    67718      4 |        0 |        0
404.74/404.98	c  403s |      16 |   209817 |   178052 |    67718      4 |        0 |        0
406.84/407.09	c  406s |      16 |   210481 |   178652 |    67718      4 |        0 |        0
408.93/409.15	c  408s |      16 |   211024 |   179152 |    67718      4 |        0 |        0
411.24/411.41	c  410s |      16 |   211730 |   179752 |    67718      4 |        0 |        0
413.44/413.61	c  412s |      16 |   212427 |   180352 |    67718      4 |        0 |        0
415.74/415.91	c  414s |      16 |   213111 |   180952 |    67718      4 |        0 |        0
417.73/417.99	c  417s |      16 |   213666 |   181452 |    67718      4 |        0 |        0
420.04/420.29	c  419s |      16 |   214337 |   182052 |    67718      4 |        0 |        0
422.24/422.50	c  421s |      16 |   215005 |   182652 |    67718      4 |        0 |        0
424.54/424.78	c  423s |      16 |   215667 |   183252 |    67718      4 |        0 |        0
426.83/427.05	c  426s |      16 |   216332 |   183852 |    67718      4 |        0 |        0
429.02/429.20	c  428s |      16 |   217012 |   184452 |    67718      4 |        0 |        0
431.22/431.41	c  430s |      16 |   217676 |   185052 |    67718      4 |        0 |        0
433.23/433.46	c  432s |      16 |   218245 |   185552 |    67718      4 |        0 |        0
435.22/435.47	c  434s |      16 |   218801 |   186052 |    67718      4 |        0 |        0
437.32/437.51	c  436s |      16 |   219388 |   186552 |    67718      4 |        0 |        0
439.62/439.86	c  438s |      16 |   220067 |   187152 |    67718      4 |        0 |        0
441.91/442.17	c  441s |      16 |   220526 |   187552 |    67718      5 |        0 |        0
444.11/444.32	c  443s |      16 |   221303 |   188252 |    67718      5 |        0 |        0
446.21/446.48	c  445s |      16 |   221763 |   188652 |    67718      5 |        0 |        0
448.41/448.69	c  447s |      16 |   223028 |   189752 |    67718      5 |        0 |        0
450.61/450.85	c  449s |      16 |   224143 |   190752 |    67718      5 |        0 |        0
452.71/452.94	c  451s |      16 |   225024 |   191552 |    67718      5 |        0 |        0
454.91/455.14	c  454s |      16 |   226069 |   192452 |    67718      5 |        0 |        0
457.21/457.41	c  456s |      16 |   227045 |   193352 |    67718      5 |        0 |        0
459.31/459.57	c  458s |      16 |   227938 |   194152 |    67718      5 |        0 |        0
461.82/462.09	c  461s |      16 |   228829 |   194952 |    67718      5 |        0 |        0
464.02/464.23	c  463s |      16 |   229858 |   195852 |    67718      5 |        0 |        0
466.01/466.28	c  465s |      16 |   230795 |   196652 |    74490      5 |        0 |        0
468.21/468.45	c  467s |      17 |   231662 |   197432 |    74490      5 |        0 |        0
470.41/470.61	c  469s |      17 |   232715 |   198232 |    74490      5 |        0 |        0
472.41/472.64	c  471s |      17 |   233946 |   199232 |    74490      5 |        0 |        0
474.51/474.77	c  473s |      17 |   235243 |   200332 |    74490      5 |        0 |        0
476.71/476.90	c  475s |      17 |   236554 |   201432 |    74490      5 |        0 |        0
478.81/479.05	c  478s |      17 |   237831 |   202532 |    74490      5 |        0 |        0
481.01/481.21	c  480s |      17 |   238981 |   203532 |    74490      5 |        0 |        0
483.11/483.38	c  482s |      17 |   240144 |   204532 |    74490      5 |        0 |        0
485.31/485.53	c  484s |      17 |   241421 |   205632 |    74490      5 |        0 |        0
487.41/487.63	c  486s |      17 |   242578 |   206632 |    74490      5 |        0 |        0
489.60/489.86	c  488s |      17 |   243712 |   207632 |    74490      5 |        0 |        0
491.61/491.87	c  490s |      17 |   244648 |   208432 |    74490      5 |        0 |        0
493.71/493.91	c  492s |      17 |   245605 |   209232 |    74490      5 |        0 |        0
495.70/495.94	c  494s |      17 |   246512 |   210032 |    74490      5 |        0 |        0
498.00/498.21	c  497s |      17 |   247579 |   210932 |    74490      5 |        0 |        0
500.10/500.32	c  499s |      17 |   248489 |   211732 |    74490      5 |        0 |        0
502.10/502.34	c  501s |      17 |   249419 |   212532 |    74490      5 |        0 |        0
504.20/504.46	c  503s |      17 |   250298 |   213332 |    74490      5 |        0 |        0
506.50/506.73	c  505s |      17 |   251174 |   214132 |    74490      5 |        0 |        0
508.59/508.85	c  507s |      17 |   252004 |   214832 |    74490      5 |        0 |        0
510.69/510.98	c  509s |      17 |   252910 |   215632 |    74490      5 |        0 |        0
512.79/513.09	c  512s |      17 |   253844 |   216432 |    74490      5 |        0 |        0
514.89/515.19	c  514s |      17 |   254784 |   217232 |    74490      5 |        0 |        0
516.99/517.26	c  516s |      17 |   255716 |   218032 |    74490      5 |        0 |        0
519.09/519.34	c  518s |      17 |   256656 |   218832 |    74490      5 |        0 |        0
521.29/521.51	c  520s |      17 |   257553 |   219632 |    74490      5 |        0 |        0
523.39/523.67	c  522s |      17 |   258499 |   220432 |    74490      5 |        0 |        0
525.79/526.00	c  525s |      17 |   259408 |   221232 |    74490      5 |        0 |        0
527.89/528.11	c  527s |      17 |   260212 |   221932 |    74490      5 |        0 |        0
529.99/530.25	c  529s |      17 |   261009 |   222632 |    74490      5 |        0 |        0
532.08/532.32	c  531s |      17 |   261799 |   223332 |    74490      5 |        0 |        0
534.18/534.49	c  533s |      17 |   262608 |   224032 |    74490      5 |        0 |        0
536.38/536.63	c  535s |      17 |   263407 |   224732 |    74490      5 |        0 |        0
538.48/538.74	c  537s |      17 |   264203 |   225432 |    74490      5 |        0 |        0
540.68/540.99	c  540s |      17 |   265021 |   226132 |    74490      5 |        0 |        0
542.98/543.23	c  542s |      17 |   265828 |   226832 |    74490      5 |        0 |        0
545.28/545.54	c  544s |      17 |   266648 |   227532 |    74490      5 |        0 |        0
547.28/547.54	c  546s |      17 |   267343 |   228132 |    74490      5 |        0 |        0
549.47/549.72	c  548s |      17 |   267802 |   228532 |    74490      6 |        0 |        0
551.57/551.82	c  550s |      17 |   268605 |   229232 |    74490      6 |        0 |        0
553.77/554.01	c  553s |      17 |   269630 |   230132 |    74490      6 |        0 |        0
555.77/556.01	c  555s |      17 |   270408 |   230832 |    74490      6 |        0 |        0
557.77/558.04	c  557s |      17 |   271213 |   231532 |    74490      6 |        0 |        0
559.97/560.28	c  559s |      17 |   272098 |   232332 |    74490      6 |        0 |        0
561.97/562.29	c  561s |      17 |   272903 |   233032 |    74490      6 |        0 |        0
564.17/564.43	c  563s |      17 |   273844 |   233832 |    74490      6 |        0 |        0
566.37/566.61	c  565s |      17 |   275018 |   234832 |    74490      6 |        0 |        0
568.47/568.77	c  567s |      17 |   276188 |   235832 |    74490      6 |        0 |        0
570.67/570.94	c  569s |      17 |   277197 |   236732 |    74490      6 |        0 |        0
572.76/573.01	c  572s |      17 |   278246 |   237632 |    74490      6 |        0 |        0
574.96/575.21	c  574s |      17 |   279157 |   238432 |    74490      6 |        0 |        0
577.06/577.35	c  576s |      17 |   280157 |   239232 |    74490      6 |        0 |        0
579.15/579.46	c  578s |      17 |   281039 |   240032 |    74490      6 |        0 |        0
581.35/581.68	c  580s |      17 |   282060 |   240932 |    74490      6 |        0 |        0
583.55/583.86	c  582s |      17 |   282847 |   241632 |    74490      6 |        0 |        0
585.85/586.12	c  585s |      17 |   283769 |   242432 |    74490      6 |        0 |        0
587.95/588.21	c  587s |      17 |   284561 |   243132 |    74490      6 |        0 |        0
590.05/590.34	c  589s |      17 |   285385 |   243832 |    74490      6 |        0 |        0
592.15/592.40	c  591s |      17 |   286197 |   244532 |    74490      6 |        0 |        0
594.24/594.57	c  593s |      17 |   287116 |   245332 |    74490      6 |        0 |        0
596.44/596.72	c  595s |      17 |   288052 |   246132 |    74490      6 |        0 |        0
598.54/598.86	c  597s |      17 |   288998 |   246932 |    74490      6 |        0 |        0
600.84/601.10	c  600s |      17 |   289919 |   247732 |    74490      6 |        0 |        0
602.94/603.29	c  602s |      17 |   290863 |   248532 |    74490      6 |        0 |        0
605.24/605.55	c  604s |      17 |   291658 |   249232 |    74490      6 |        0 |        0
607.34/607.63	c  606s |      17 |   292316 |   249832 |    74490      6 |        0 |        0
609.63/609.90	c  608s |      17 |   293263 |   250632 |    74490      6 |        0 |        0
611.63/611.94	c  610s |      17 |   294068 |   251332 |    74490      6 |        0 |        0
613.64/613.98	c  613s |      17 |   294899 |   252032 |    74490      6 |        0 |        0
615.74/616.03	c  615s |      17 |   295701 |   252732 |    74490      6 |        0 |        0
617.83/618.18	c  617s |      17 |   296380 |   253332 |    74490      6 |        0 |        0
620.13/620.45	c  619s |      17 |   297063 |   253932 |    74490      6 |        0 |        0
622.33/622.69	c  621s |      17 |   297893 |   254632 |    74490      6 |        0 |        0
624.63/624.95	c  623s |      17 |   298597 |   255232 |    74490      6 |        0 |        0
626.83/627.12	c  626s |      17 |   299258 |   255832 |    74490      6 |        0 |        0
628.93/629.26	c  628s |      17 |   299926 |   256432 |    74490      6 |        0 |        0
631.23/631.58	c  630s |      17 |   300608 |   257032 |    74490      6 |        0 |        0
633.52/633.83	c  632s |      17 |   301418 |   257732 |    74490      6 |        0 |        0
635.53/635.84	c  634s |      17 |   302085 |   258332 |    74490      6 |        0 |        0
637.62/637.97	c  636s |      17 |   302650 |   258832 |    74490      6 |        0 |        0
639.92/640.22	c  639s |      17 |   303339 |   259432 |    74490      6 |        0 |        0
642.31/642.65	c  641s |      17 |   304006 |   260032 |    74490      6 |        0 |        0
644.32/644.67	c  643s |      17 |   304569 |   260532 |    74490      6 |        0 |        0
646.41/646.70	c  645s |      17 |   305136 |   261032 |    74490      6 |        0 |        0
648.41/648.78	c  647s |      17 |   305708 |   261532 |    74490      6 |        0 |        0
650.71/651.06	c  650s |      17 |   306399 |   262132 |    74490      6 |        0 |        0
653.01/653.34	c  652s |      17 |   307084 |   262732 |    74490      6 |        0 |        0
655.31/655.64	c  654s |      17 |   307781 |   263332 |    74490      6 |        0 |        0
657.61/657.97	c  656s |      17 |   308454 |   263932 |    74490      6 |        0 |        0
659.81/660.13	c  659s |      17 |   309158 |   264532 |    74490      6 |        0 |        0
661.91/662.30	c  661s |      17 |   309825 |   265132 |    74490      6 |        0 |        0
664.11/664.41	c  663s |      17 |   310387 |   265632 |    74490      6 |        0 |        0
666.31/666.64	c  665s |      17 |   310719 |   265932 |    74490      7 |        0 |        0
668.52/668.81	c  667s |      17 |   311297 |   266432 |    74490      7 |        0 |        0
671.31/671.61	c  670s |      17 |   312078 |   267132 |    74490      7 |        0 |        0
673.41/673.77	c  672s |      17 |   312755 |   267732 |    74490      7 |        0 |        0
675.51/675.85	c  674s |      17 |   313808 |   268632 |    74490      7 |        0 |        0
677.61/677.94	c  676s |      17 |   314792 |   269532 |    74490      7 |        0 |        0
679.61/679.96	c  678s |      17 |   315687 |   270332 |    74490      7 |        0 |        0
681.71/682.07	c  681s |      17 |   316698 |   271232 |    74490      7 |        0 |        0
683.80/684.15	c  683s |      17 |   317752 |   272132 |    74490      7 |        0 |        0
686.00/686.31	c  685s |      17 |   318783 |   273032 |    74490      7 |        0 |        0
688.20/688.56	c  687s |      17 |   319789 |   273932 |    74490      7 |        0 |        0
690.20/690.57	c  689s |      17 |   320686 |   274732 |    74490      7 |        0 |        0
692.40/692.71	c  691s |      17 |   321585 |   275532 |    74490      7 |        0 |        0
694.50/694.89	c  693s |      17 |   322504 |   276332 |    74490      7 |        0 |        0
696.60/696.98	c  695s |      17 |   323270 |   277032 |    74490      7 |        0 |        0
698.90/699.23	c  698s |      17 |   324178 |   277832 |    74490      7 |        0 |        0
701.00/701.36	c  700s |      17 |   325057 |   278632 |    74490      7 |        0 |        0
703.10/703.47	c  702s |      17 |   325979 |   279432 |    74490      7 |        0 |        0
705.40/705.74	c  704s |      17 |   326868 |   280232 |    74490      7 |        0 |        0
707.70/708.04	c  707s |      17 |   327777 |   281032 |    74490      7 |        0 |        0
709.80/710.11	c  709s |      17 |   328551 |   281732 |    74490      7 |        0 |        0
711.90/712.27	c  711s |      17 |   329570 |   282632 |    74490      7 |        0 |        0
714.00/714.37	c  713s |      17 |   330477 |   283432 |    74490      7 |        0 |        0
716.10/716.44	c  715s |      17 |   331403 |   284232 |    74490      7 |        0 |        0
718.19/718.55	c  717s |      17 |   332390 |   285132 |    74490      7 |        0 |        0
720.30/720.65	c  719s |      17 |   333265 |   285932 |    74490      7 |        0 |        0
722.40/722.74	c  721s |      17 |   334161 |   286732 |    74490      7 |        0 |        0
724.49/724.89	c  723s |      17 |   335074 |   287532 |    74490      7 |        0 |        0
726.69/727.02	c  726s |      17 |   335852 |   288232 |    74490      7 |        0 |        0
728.79/729.19	c  728s |      17 |   336655 |   288932 |    74490      7 |        0 |        0
730.89/731.29	c  730s |      17 |   337500 |   289632 |    74490      7 |        0 |        0
733.19/733.55	c  732s |      17 |   338420 |   290432 |    74490      7 |        0 |        0
735.39/735.71	c  734s |      17 |   339343 |   291232 |    74490      7 |        0 |        0
737.49/737.80	c  736s |      17 |   340122 |   291932 |    74490      7 |        0 |        0
739.69/740.03	c  739s |      17 |   340829 |   292532 |    74490      7 |        0 |        0
741.89/742.29	c  741s |      17 |   341514 |   293132 |    74490      7 |        0 |        0
743.99/744.31	c  743s |      17 |   342186 |   293732 |    74490      7 |        0 |        0
746.19/746.57	c  745s |      17 |   342980 |   294432 |    81939      7 |        0 |        0
748.49/748.82	c  747s |      17 |   343772 |   295132 |    81939      7 |        0 |        0
750.79/751.16	c  750s |      17 |   344566 |   295832 |    81939      7 |        0 |        0
752.10/752.43	c  751s |      18 |   345053 |   296252 |    81939      7 |        0 |        0
754.30/754.60	c  753s |      18 |   346061 |   297052 |    81939      7 |        0 |        0
756.29/756.65	c  755s |      18 |   347115 |   297952 |    81939      7 |        0 |        0
758.29/758.70	c  757s |      18 |   348282 |   298952 |    81939      7 |        0 |        0
760.39/760.78	c  759s |      18 |   349379 |   299852 |    81939      7 |        0 |        0
762.59/762.97	c  761s |      18 |   350585 |   300852 |    81939      7 |        0 |        0
764.59/764.98	c  764s |      18 |   351668 |   301752 |    81939      7 |        0 |        0
766.69/767.05	c  766s |      18 |   352715 |   302652 |    81939      7 |        0 |        0
768.89/769.22	c  768s |      18 |   353775 |   303552 |    81939      7 |        0 |        0
770.99/771.30	c  770s |      18 |   354833 |   304452 |    81939      7 |        0 |        0
773.09/773.47	c  772s |      18 |   355877 |   305352 |    81939      7 |        0 |        0
775.29/775.64	c  774s |      18 |   356920 |   306252 |    81939      7 |        0 |        0
777.39/777.71	c  776s |      18 |   357868 |   307052 |    81939      7 |        0 |        0
779.38/779.77	c  778s |      18 |   358802 |   307852 |    81939      7 |        0 |        0
781.48/781.87	c  780s |      18 |   359759 |   308652 |    81939      7 |        0 |        0
783.68/784.08	c  783s |      18 |   360715 |   309452 |    81939      7 |        0 |        0
785.78/786.17	c  785s |      18 |   361652 |   310252 |    81939      7 |        0 |        0
789.49/789.81	c  788s |      18 |   362434 |   310952 |    81939      8 |        0 |        0
791.48/791.87	c  790s |      18 |   363352 |   311752 |    81939      8 |        0 |        0
793.58/793.98	c  793s |      18 |   364629 |   312852 |    81939      8 |        0 |        0
795.68/796.05	c  795s |      18 |   365796 |   313852 |    81939      8 |        0 |        0
797.68/798.07	c  797s |      18 |   366989 |   314852 |    81939      8 |        0 |        0
799.88/800.25	c  799s |      18 |   368129 |   315852 |    81939      8 |        0 |        0
801.98/802.32	c  801s |      18 |   369319 |   316852 |    81939      8 |        0 |        0
803.98/804.34	c  803s |      18 |   370506 |   317852 |    81939      8 |        0 |        0
805.99/806.35	c  805s |      18 |   371543 |   318752 |    81939      8 |        0 |        0
808.08/808.42	c  807s |      18 |   372575 |   319652 |    81939      8 |        0 |        0
810.08/810.47	c  809s |      18 |   373632 |   320552 |    81939      8 |        0 |        0
812.18/812.55	c  811s |      18 |   374539 |   321352 |    81939      8 |        0 |        0
814.18/814.55	c  813s |      18 |   375608 |   322252 |    81939      8 |        0 |        0
816.28/816.68	c  815s |      18 |   376641 |   323152 |    81939      8 |        0 |        0
818.48/818.84	c  817s |      18 |   377691 |   324052 |    81939      8 |        0 |        0
820.48/820.84	c  819s |      18 |   378629 |   324852 |    81939      8 |        0 |        0
822.78/823.14	c  822s |      18 |   379671 |   325752 |    81939      8 |        0 |        0
824.98/825.33	c  824s |      18 |   380615 |   326552 |    81939      8 |        0 |        0
827.18/827.53	c  826s |      18 |   381790 |   327552 |    81939      8 |        0 |        0
829.27/829.62	c  828s |      18 |   382725 |   328352 |    81939      8 |        0 |        0
831.28/831.68	c  830s |      18 |   383704 |   329152 |    81939      8 |        0 |        0
833.58/833.91	c  832s |      18 |   384752 |   330052 |    81939      8 |        0 |        0
835.57/835.98	c  834s |      18 |   385686 |   330852 |    81939      8 |        0 |        0
837.77/838.18	c  837s |      18 |   386637 |   331652 |    81939      8 |        0 |        0
839.97/840.32	c  839s |      18 |   387604 |   332452 |    81939      8 |        0 |        0
841.97/842.37	c  841s |      18 |   388403 |   333152 |    81939      8 |        0 |        0
844.07/844.46	c  843s |      18 |   389188 |   333852 |    81939      8 |        0 |        0
846.17/846.59	c  845s |      18 |   389956 |   334552 |    81939      8 |        0 |        0
848.37/848.75	c  847s |      18 |   390778 |   335252 |    81939      8 |        0 |        0
850.57/850.92	c  849s |      18 |   391546 |   335952 |    81939      8 |        0 |        0
852.67/853.07	c  852s |      18 |   392321 |   336652 |    81939      8 |        0 |        0
855.07/855.43	c  854s |      18 |   393123 |   337352 |    81939      8 |        0 |        0
857.27/857.68	c  856s |      18 |   393929 |   338052 |    81939      8 |        0 |        0
859.47/859.87	c  858s |      18 |   394738 |   338752 |    81939      8 |        0 |        0
861.57/861.96	c  860s |      18 |   395561 |   339452 |    81939      8 |        0 |        0
863.67/864.07	c  863s |      18 |   396398 |   340152 |    81939      8 |        0 |        0
865.87/866.28	c  865s |      18 |   397228 |   340852 |    81939      8 |        0 |        0
868.07/868.44	c  867s |      18 |   398066 |   341552 |    81939      8 |        0 |        0
870.37/870.75	c  869s |      18 |   398876 |   342252 |    81939      8 |        0 |        0
872.57/872.92	c  871s |      18 |   399578 |   342852 |    81939      8 |        0 |        0
874.77/875.10	c  874s |      18 |   400392 |   343552 |    81939      8 |        0 |        0
876.77/877.10	c  876s |      18 |   401112 |   344152 |    81939      8 |        0 |        0
878.87/879.20	c  878s |      18 |   401817 |   344752 |    81939      8 |        0 |        0
880.87/881.26	c  880s |      18 |   402524 |   345352 |    81939      8 |        0 |        0
882.97/883.34	c  882s |      18 |   403224 |   345952 |    81939      8 |        0 |        0
885.07/885.46	c  884s |      18 |   403898 |   346552 |    81939      8 |        0 |        0
887.37/887.76	c  886s |      18 |   404564 |   347152 |    81939      8 |        0 |        0
889.37/889.76	c  888s |      18 |   405261 |   347752 |    81939      8 |        0 |        0
891.47/891.83	c  890s |      18 |   405931 |   348352 |    81939      8 |        0 |        0
893.57/893.97	c  892s |      18 |   406626 |   348952 |    81939      8 |        0 |        0
895.96/896.31	c  895s |      18 |   407433 |   349652 |    81939      8 |        0 |        0
898.06/898.44	c  897s |      18 |   408119 |   350252 |    81939      8 |        0 |        0
900.36/900.77	c  899s |      18 |   408821 |   350852 |    81939      8 |        0 |        0
902.56/902.97	c  901s |      18 |   409550 |   351452 |    81939      8 |        0 |        0
904.76/905.17	c  904s |      18 |   410269 |   352052 |    81939      8 |        0 |        0
906.96/907.34	c  906s |      18 |   410741 |   352452 |    81939      9 |        0 |        0
909.47/909.86	c  908s |      18 |   411633 |   353252 |    81939      9 |        0 |        0
911.67/912.04	c  911s |      18 |   412561 |   354052 |    81939      9 |        0 |        0
913.77/914.17	c  913s |      18 |   413499 |   354852 |    81939      9 |        0 |        0
916.26/916.60	c  915s |      18 |   414410 |   355652 |    81939      9 |        0 |        0
918.36/918.71	c  917s |      18 |   415227 |   356352 |    81939      9 |        0 |        0
920.66/921.02	c  920s |      18 |   416166 |   357152 |    81939      9 |        0 |        0
922.76/923.13	c  922s |      18 |   416986 |   357852 |    81939      9 |        0 |        0
924.96/925.35	c  924s |      18 |   417865 |   358652 |    81939      9 |        0 |        0
927.16/927.57	c  926s |      18 |   418747 |   359452 |    81939      9 |        0 |        0
929.46/929.81	c  928s |      18 |   419657 |   360252 |    81939      9 |        0 |        0
931.56/931.95	c  930s |      18 |   420554 |   361052 |    81939      9 |        0 |        0
934.26/934.62	c  933s |      18 |   420936 |   361352 |    81939      9 |        0 |        0
936.46/936.84	c  935s |      18 |   421901 |   362152 |    81939      9 |        0 |        0
938.56/938.91	c  937s |      18 |   422903 |   362952 |    81939      9 |        0 |        0
940.66/941.01	c  940s |      18 |   423981 |   363852 |    81939      9 |        0 |        0
942.66/943.03	c  942s |      18 |   424905 |   364652 |    81939      9 |        0 |        0
944.86/945.21	c  944s |      18 |   425858 |   365452 |    81939      9 |        0 |        0
946.96/947.31	c  946s |      18 |   426772 |   366252 |    81939      9 |        0 |        0
949.06/949.42	c  948s |      18 |   427705 |   367052 |    81939      9 |        0 |        0
951.26/951.65	c  950s |      18 |   428644 |   367852 |    81939      9 |        0 |        0
953.55/953.90	c  952s |      18 |   429575 |   368652 |    81939      9 |        0 |        0
955.56/955.97	c  954s |      18 |   430538 |   369452 |    81939      9 |        0 |        0
957.86/958.28	c  957s |      18 |   431472 |   370252 |    81939      9 |        0 |        0
960.15/960.56	c  959s |      18 |   432412 |   371052 |    81939      9 |        0 |        0
962.45/962.83	c  961s |      18 |   433346 |   371852 |    81939      9 |        0 |        0
964.65/965.02	c  964s |      18 |   434331 |   372652 |    81939      9 |        0 |        0
966.75/967.11	c  966s |      18 |   435163 |   373352 |    81939      9 |        0 |        0
968.76/969.13	c  968s |      18 |   435865 |   373952 |    81939      9 |        0 |        0
970.85/971.21	c  970s |      18 |   436691 |   374652 |    81939      9 |        0 |        0
973.05/973.45	c  972s |      18 |   437506 |   375352 |    81939      9 |        0 |        0
975.36/975.71	c  974s |      18 |   438353 |   376052 |    81939      9 |        0 |        0
977.45/977.86	c  976s |      18 |   439151 |   376752 |    81939      9 |        0 |        0
979.65/980.05	c  979s |      18 |   439946 |   377452 |    81939      9 |        0 |        0
981.96/982.38	c  981s |      18 |   440740 |   378152 |    81939      9 |        0 |        0
984.26/984.69	c  983s |      18 |   441559 |   378852 |    81939      9 |        0 |        0
986.36/986.72	c  985s |      18 |   442244 |   379452 |    81939      9 |        0 |        0
988.35/988.78	c  987s |      18 |   442931 |   380052 |    81939      9 |        0 |        0
990.45/990.83	c  989s |      18 |   443670 |   380652 |    81939      9 |        0 |        0
992.45/992.83	c  991s |      18 |   444337 |   381252 |    81939      9 |        0 |        0
994.75/995.12	c  994s |      18 |   445183 |   381952 |    81939      9 |        0 |        0
996.75/997.17	c  996s |      18 |   445883 |   382552 |    81939      9 |        0 |        0
998.85/999.27	c  998s |      18 |   446575 |   383152 |    81939      9 |        0 |        0
1001.25/1001.61	c 1000s |      18 |   447261 |   383752 |    81939      9 |        0 |        0
1003.45/1003.81	c 1002s |      18 |   447961 |   384352 |    81939      9 |        0 |        0
1005.75/1006.14	c 1005s |      18 |   448663 |   384952 |    81939      9 |        0 |        0
1007.85/1008.28	c 1007s |      18 |   449391 |   385552 |    81939      9 |        0 |        0
1010.05/1010.48	c 1009s |      18 |   450226 |   386252 |    81939      9 |        0 |        0
1012.35/1012.73	c 1011s |      18 |   451033 |   386952 |    81939      9 |        0 |        0
1014.54/1014.99	c 1014s |      18 |   451895 |   387652 |    81939      9 |        0 |        0
1016.84/1017.23	c 1016s |      18 |   452708 |   388352 |    81939      9 |        0 |        0
1019.14/1019.53	c 1018s |      18 |   453532 |   389052 |    81939      9 |        0 |        0
1021.14/1021.56	c 1020s |      18 |   454216 |   389652 |    81939      9 |        0 |        0
1023.44/1023.86	c 1022s |      18 |   454899 |   390252 |    81939      9 |        0 |        0
1025.64/1026.01	c 1025s |      18 |   455592 |   390852 |    81939      9 |        0 |        0
1027.84/1028.29	c 1027s |      18 |   456455 |   391552 |    81939      9 |        0 |        0
1029.94/1030.37	c 1029s |      18 |   457186 |   392152 |    81939      9 |        0 |        0
1032.04/1032.49	c 1031s |      18 |   457873 |   392752 |    81939      9 |        0 |        0
1034.34/1034.74	c 1033s |      18 |   458538 |   393352 |    81939      9 |        0 |        0
1036.44/1036.84	c 1035s |      18 |   458778 |   393552 |    81939     10 |        0 |        0
1038.54/1038.98	c 1038s |      18 |   459684 |   394352 |    81939     10 |        0 |        0
1040.54/1040.99	c 1040s |      18 |   460730 |   395252 |    81939     10 |        0 |        0
1042.74/1043.17	c 1042s |      18 |   461920 |   396252 |    81939     10 |        0 |        0
1044.94/1045.32	c 1044s |      18 |   463068 |   397252 |    81939     10 |        0 |        0
1046.95/1047.36	c 1046s |      18 |   463988 |   398052 |    81939     10 |        0 |        0
1049.05/1049.46	c 1048s |      18 |   464911 |   398852 |    81939     10 |        0 |        0
1051.14/1051.52	c 1050s |      18 |   465831 |   399652 |    81939     10 |        0 |        0
1053.24/1053.69	c 1052s |      18 |   466775 |   400452 |    81939     10 |        0 |        0
1055.44/1055.86	c 1054s |      18 |   467678 |   401252 |    81939     10 |        0 |        0
1057.64/1058.06	c 1057s |      18 |   468579 |   402052 |    81939     10 |        0 |        0
1059.94/1060.31	c 1059s |      18 |   469502 |   402852 |    81939     10 |        0 |        0
1062.14/1062.52	c 1061s |      18 |   470419 |   403652 |    81939     10 |        0 |        0
1064.34/1064.75	c 1063s |      18 |   471353 |   404452 |    81939     10 |        0 |        0
1066.64/1067.06	c 1066s |      18 |   472263 |   405252 |    81939     10 |        0 |        0
1068.84/1069.22	c 1068s |      18 |   473186 |   406052 |    81939     10 |        0 |        0
1070.84/1071.26	c 1070s |      18 |   473876 |   406652 |    81939     10 |        0 |        0
1073.03/1073.49	c 1072s |      18 |   474686 |   407352 |    81939     10 |        0 |        0
1075.23/1075.69	c 1074s |      18 |   475485 |   408052 |    81939     10 |        0 |        0
1077.53/1077.98	c 1076s |      18 |   476262 |   408752 |    81939     10 |        0 |        0
1079.73/1080.12	c 1079s |      18 |   477069 |   409452 |    81939     10 |        0 |        0
1081.73/1082.13	c 1081s |      18 |   477757 |   410052 |    81939     10 |        0 |        0
1083.73/1084.19	c 1083s |      18 |   478308 |   410552 |    81939     10 |        0 |        0
1085.83/1086.29	c 1085s |      18 |   479034 |   411152 |    81939     10 |        0 |        0
1088.13/1088.59	c 1087s |      18 |   479828 |   411852 |    81939     10 |        0 |        0
1090.23/1090.64	c 1089s |      18 |   480544 |   412452 |    81939     10 |        0 |        0
1092.33/1092.72	c 1091s |      18 |   481257 |   413052 |    81939     10 |        0 |        0
1094.63/1095.06	c 1094s |      18 |   482065 |   413752 |    81939     10 |        0 |        0
1096.83/1097.27	c 1096s |      18 |   482751 |   414352 |    81939     10 |        0 |        0
1099.03/1099.44	c 1098s |      18 |   483436 |   414952 |    81939     10 |        0 |        0
1101.33/1101.71	c 1100s |      18 |   484111 |   415552 |    81939     10 |        0 |        0
1103.43/1103.88	c 1102s |      18 |   484834 |   416152 |    81939     10 |        0 |        0
1105.83/1106.20	c 1105s |      18 |   485521 |   416752 |    81939     10 |        0 |        0
1108.03/1108.46	c 1107s |      18 |   486198 |   417352 |    81939     10 |        0 |        0
1110.33/1110.73	c 1109s |      18 |   486873 |   417952 |    81939     10 |        0 |        0
1112.43/1112.88	c 1111s |      18 |   487549 |   418552 |    81939     10 |        0 |        0
1114.63/1115.08	c 1114s |      18 |   488251 |   419152 |    81939     10 |        0 |        0
1116.83/1117.27	c 1116s |      18 |   488934 |   419752 |    81939     10 |        0 |        0
1118.93/1119.38	c 1118s |      18 |   489617 |   420352 |    81939     10 |        0 |        0
1121.23/1121.62	c 1120s |      18 |   490283 |   420952 |    81939     10 |        0 |        0
1123.33/1123.74	c 1122s |      18 |   491008 |   421552 |    81939     10 |        0 |        0
1125.63/1126.06	c 1125s |      18 |   491673 |   422152 |    81939     10 |        0 |        0
1127.93/1128.34	c 1127s |      18 |   492341 |   422752 |    81939     10 |        0 |        0
1130.33/1130.72	c 1129s |      18 |   493019 |   423352 |    81939     10 |        0 |        0
1132.63/1133.01	c 1132s |      18 |   493724 |   423952 |    81939     10 |        0 |        0
1134.72/1135.14	c 1134s |      18 |   494257 |   424452 |    81939     10 |        0 |        0
1136.82/1137.21	c 1136s |      18 |   494845 |   424952 |    81939     10 |        0 |        0
1138.92/1139.36	c 1138s |      18 |   495411 |   425452 |    81939     10 |        0 |        0
1141.02/1141.46	c 1140s |      18 |   495989 |   425952 |    81939     10 |        0 |        0
1143.12/1143.50	c 1142s |      18 |   496548 |   426452 |    81939     10 |        0 |        0
1145.12/1145.55	c 1144s |      18 |   497146 |   426952 |    81939     10 |        0 |        0
1147.22/1147.65	c 1146s |      18 |   497711 |   427452 |    81939     10 |        0 |        0
1149.42/1149.81	c 1148s |      18 |   498285 |   427952 |    81939     10 |        0 |        0
1151.43/1151.89	c 1150s |      18 |   498881 |   428452 |    81939     10 |        0 |        0
1153.63/1154.03	c 1153s |      18 |   499441 |   428952 |    81939     10 |        0 |        0
1156.02/1156.43	c 1155s |      18 |   500129 |   429552 |    81939     10 |        0 |        0
1158.12/1158.57	c 1157s |      18 |   500704 |   430052 |    81939     10 |        0 |        0
1160.32/1160.74	c 1159s |      18 |   501289 |   430552 |    81939     10 |        0 |        0
1162.43/1162.86	c 1161s |      18 |   501874 |   431052 |    81939     10 |        0 |        0
1164.42/1164.88	c 1163s |      18 |   502444 |   431552 |    81939     10 |        0 |        0
1166.52/1166.91	c 1165s |      18 |   503038 |   432052 |    81939     10 |        0 |        0
1168.72/1169.17	c 1168s |      18 |   503610 |   432552 |    81939     10 |        0 |        0
1171.13/1171.55	c 1170s |      18 |   504171 |   433052 |    81939     10 |        0 |        0
1173.52/1173.97	c 1172s |      18 |   504738 |   433552 |    81939     10 |        0 |        0
1175.92/1176.33	c 1175s |      18 |   505310 |   434052 |    81939     10 |        0 |        0
1177.92/1178.33	c 1177s |      18 |   505761 |   434452 |    81939     10 |        0 |        0
1180.52/1180.92	c 1179s |      18 |   506226 |   434852 |    81939     11 |        0 |        0
1182.52/1182.98	c 1182s |      18 |   506917 |   435452 |    81939     11 |        0 |        0
1184.62/1185.07	c 1184s |      18 |   507839 |   436252 |    81939     11 |        0 |        0
1186.82/1187.22	c 1186s |      18 |   508726 |   437052 |    81939     11 |        0 |        0
1188.92/1189.31	c 1188s |      18 |   509200 |   437452 |    81939     11 |        0 |        0
1190.92/1191.36	c 1190s |      18 |   510104 |   438252 |    81939     11 |        0 |        0
1193.02/1193.47	c 1192s |      18 |   511154 |   439152 |    81939     11 |        0 |        0
1195.32/1195.71	c 1194s |      18 |   512222 |   440052 |    81939     11 |        0 |        0
1197.42/1197.90	c 1196s |      18 |   513176 |   440852 |    81939     11 |        0 |        0
1199.72/1200.14	c 1199s |      18 |   514251 |   441752 |    90133     11 |        0 |        0
1201.81/1202.29	c 1201s |      18 |   515159 |   442552 |    90133     11 |        0 |        0
1204.12/1204.53	c 1203s |      18 |   516216 |   443452 |    90133     11 |        0 |        0
1206.32/1206.79	c 1205s |      18 |   517168 |   444252 |    90133     11 |        0 |        0
1207.01/1207.41	c 1206s |      19 |   517443 |   444482 |    90133     11 |        0 |        0
1209.12/1209.58	c 1208s |      19 |   517646 |   444582 |    90133     11 |        0 |        0
1211.52/1211.98	c 1211s |      19 |   518788 |   445582 |    90133     11 |        0 |        0
1213.72/1214.15	c 1213s |      19 |   520082 |   446682 |    90133     11 |        0 |        0
1215.72/1216.17	c 1215s |      19 |   521289 |   447682 |    90133     11 |        0 |        0
1217.82/1218.25	c 1217s |      19 |   522419 |   448682 |    90133     11 |        0 |        0
1220.02/1220.44	c 1219s |      19 |   523592 |   449682 |    90133     11 |        0 |        0
1222.02/1222.48	c 1221s |      19 |   524624 |   450582 |    90133     11 |        0 |        0
1224.12/1224.52	c 1223s |      19 |   525685 |   451482 |    90133     11 |        0 |        0
1226.32/1226.71	c 1225s |      19 |   526863 |   452482 |    90133     11 |        0 |        0
1228.32/1228.77	c 1227s |      19 |   527895 |   453382 |    90133     11 |        0 |        0
1230.52/1230.92	c 1229s |      19 |   528943 |   454282 |    90133     11 |        0 |        0
1232.52/1232.95	c 1231s |      19 |   529892 |   455082 |    90133     11 |        0 |        0
1234.62/1235.09	c 1234s |      19 |   530823 |   455882 |    90133     11 |        0 |        0
1236.72/1237.17	c 1236s |      19 |   531745 |   456682 |    90133     11 |        0 |        0
1238.92/1239.35	c 1238s |      19 |   532560 |   457382 |    90133     11 |        0 |        0
1241.02/1241.46	c 1240s |      19 |   533489 |   458182 |    90133     11 |        0 |        0
1243.22/1243.68	c 1242s |      19 |   534513 |   459082 |    90133     11 |        0 |        0
1245.41/1245.85	c 1244s |      19 |   535407 |   459882 |    90133     11 |        0 |        0
1247.51/1247.91	c 1246s |      19 |   536337 |   460682 |    90133     11 |        0 |        0
1249.61/1250.07	c 1249s |      19 |   537266 |   461482 |    90133     11 |        0 |        0
1251.71/1252.15	c 1251s |      19 |   538229 |   462282 |    90133     11 |        0 |        0
1254.01/1254.42	c 1253s |      19 |   539197 |   463082 |    90133     11 |        0 |        0
1256.11/1256.55	c 1255s |      19 |   540169 |   463882 |    90133     11 |        0 |        0
1258.31/1258.72	c 1257s |      19 |   540970 |   464582 |    90133     11 |        0 |        0
1260.41/1260.89	c 1259s |      19 |   541768 |   465282 |    90133     11 |        0 |        0
1262.71/1263.18	c 1262s |      19 |   542579 |   465982 |    90133     11 |        0 |        0
1264.81/1265.24	c 1264s |      19 |   543393 |   466682 |    90133     11 |        0 |        0
1266.92/1267.37	c 1266s |      19 |   544190 |   467382 |    90133     11 |        0 |        0
1269.21/1269.61	c 1268s |      19 |   544973 |   468082 |    90133     11 |        0 |        0
1271.51/1271.93	c 1270s |      19 |   545778 |   468782 |    90133     11 |        0 |        0
1273.61/1274.08	c 1273s |      19 |   546584 |   469482 |    90133     11 |        0 |        0
1275.81/1276.22	c 1275s |      19 |   547406 |   470182 |    90133     11 |        0 |        0
1278.11/1278.56	c 1277s |      19 |   548196 |   470882 |    90133     11 |        0 |        0
1280.41/1280.89	c 1279s |      19 |   548998 |   471582 |    90133     11 |        0 |        0
1282.61/1283.06	c 1282s |      19 |   549662 |   472182 |    90133     11 |        0 |        0
1284.91/1285.39	c 1284s |      19 |   550361 |   472782 |    90133     11 |        0 |        0
1287.01/1287.47	c 1286s |      19 |   551054 |   473382 |    90133     11 |        0 |        0
1289.01/1289.50	c 1288s |      19 |   551755 |   473982 |    90133     11 |        0 |        0
1291.21/1291.65	c 1290s |      19 |   552451 |   474582 |    90133     11 |        0 |        0
1293.31/1293.75	c 1292s |      19 |   553127 |   475182 |    90133     11 |        0 |        0
1295.51/1295.97	c 1294s |      19 |   553932 |   475882 |    90133     11 |        0 |        0
1297.71/1298.13	c 1297s |      19 |   554619 |   476482 |    90133     11 |        0 |        0
1299.70/1300.17	c 1299s |      19 |   555337 |   477082 |    90133     11 |        0 |        0
1302.11/1302.52	c 1301s |      19 |   556130 |   477782 |    90133     11 |        0 |        0
1304.21/1304.64	c 1303s |      19 |   556836 |   478382 |    90133     11 |        0 |        0
1306.20/1306.65	c 1305s |      19 |   557538 |   478982 |    90133     11 |        0 |        0
1308.30/1308.75	c 1307s |      19 |   558236 |   479582 |    90133     11 |        0 |        0
1310.40/1310.83	c 1309s |      19 |   558947 |   480182 |    90133     11 |        0 |        0
1312.60/1313.05	c 1312s |      19 |   559656 |   480782 |    90133     11 |        0 |        0
1314.90/1315.30	c 1314s |      19 |   560245 |   481282 |    90133     11 |        0 |        0
1317.00/1317.40	c 1316s |      19 |   560863 |   481782 |    90133     11 |        0 |        0
1319.30/1319.71	c 1318s |      19 |   561413 |   482282 |    90133     11 |        0 |        0
1321.70/1322.16	c 1321s |      19 |   562075 |   482882 |    90133     11 |        0 |        0
1324.01/1324.40	c 1323s |      19 |   562646 |   483382 |    90133     11 |        0 |        0
1326.21/1326.67	c 1325s |      19 |   563314 |   483982 |    90133     11 |        0 |        0
1328.30/1328.74	c 1327s |      19 |   563650 |   484282 |    90133     12 |        0 |        0
1330.61/1331.01	c 1330s |      19 |   564214 |   484782 |    90133     12 |        0 |        0
1332.81/1333.22	c 1332s |      19 |   565009 |   485482 |    90133     12 |        0 |        0
1334.90/1335.40	c 1334s |      19 |   565807 |   486182 |    90133     12 |        0 |        0
1337.10/1337.51	c 1336s |      19 |   566473 |   486782 |    90133     12 |        0 |        0
1339.20/1339.66	c 1338s |      19 |   567167 |   487382 |    90133     12 |        0 |        0
1341.30/1341.74	c 1340s |      19 |   567953 |   488082 |    90133     12 |        0 |        0
1343.60/1344.07	c 1343s |      19 |   568761 |   488782 |    90133     12 |        0 |        0
1345.70/1346.12	c 1345s |      19 |   569410 |   489382 |    90133     12 |        0 |        0
1347.90/1348.32	c 1347s |      19 |   570196 |   490082 |    90133     12 |        0 |        0
1350.10/1350.54	c 1349s |      19 |   570847 |   490682 |    90133     12 |        0 |        0
1352.30/1352.73	c 1351s |      19 |   571545 |   491282 |    90133     12 |        0 |        0
1354.30/1354.74	c 1353s |      19 |   572374 |   491982 |    90133     12 |        0 |        0
1356.59/1357.06	c 1356s |      19 |   573339 |   492782 |    90133     12 |        0 |        0
1358.69/1359.14	c 1358s |      19 |   574044 |   493382 |    90133     12 |        0 |        0
1360.79/1361.20	c 1360s |      19 |   574864 |   494082 |    90133     12 |        0 |        0
1362.79/1363.24	c 1362s |      19 |   575597 |   494682 |    90133     12 |        0 |        0
1364.89/1365.38	c 1364s |      19 |   576426 |   495382 |    90133     12 |        0 |        0
1367.29/1367.70	c 1366s |      19 |   577206 |   496082 |    90133     12 |        0 |        0
1369.29/1369.78	c 1368s |      19 |   578044 |   496782 |    90133     12 |        0 |        0
1371.59/1372.07	c 1371s |      19 |   578882 |   497482 |    90133     12 |        0 |        0
1373.89/1374.32	c 1373s |      19 |   579587 |   498082 |    90133     12 |        0 |        0
1376.19/1376.66	c 1375s |      19 |   580263 |   498682 |    90133     12 |        0 |        0
1378.39/1378.82	c 1377s |      19 |   580981 |   499282 |    90133     12 |        0 |        0
1380.59/1381.03	c 1380s |      19 |   581676 |   499882 |    90133     12 |        0 |        0
1382.59/1383.07	c 1382s |      19 |   582241 |   500382 |    90133     12 |        0 |        0
1384.89/1385.38	c 1384s |      19 |   582902 |   500982 |    90133     12 |        0 |        0
1387.19/1387.67	c 1386s |      19 |   583559 |   501582 |    90133     12 |        0 |        0
1389.49/1389.90	c 1388s |      19 |   584227 |   502182 |    90133     12 |        0 |        0
1391.49/1391.94	c 1390s |      19 |   584948 |   502782 |    90133     12 |        0 |        0
1393.79/1394.20	c 1393s |      19 |   585650 |   503382 |    90133     12 |        0 |        0
1395.89/1396.38	c 1395s |      19 |   586328 |   503982 |    90133     12 |        0 |        0
1398.19/1398.68	c 1397s |      19 |   587024 |   504582 |    90133     12 |        0 |        0
1400.49/1400.92	c 1399s |      19 |   587705 |   505182 |    90133     12 |        0 |        0
1402.69/1403.15	c 1402s |      19 |   588386 |   505782 |    90133     12 |        0 |        0
1404.99/1405.47	c 1404s |      19 |   589225 |   506482 |    90133     12 |        0 |        0
1407.09/1407.54	c 1406s |      19 |   589791 |   506982 |    90133     12 |        0 |        0
1409.39/1409.89	c 1408s |      19 |   590472 |   507582 |    90133     12 |        0 |        0
1411.69/1412.11	c 1411s |      19 |   591171 |   508182 |    90133     12 |        0 |        0
1413.69/1414.19	c 1413s |      19 |   591727 |   508682 |    90133     12 |        0 |        0
1416.09/1416.51	c 1415s |      19 |   592419 |   509282 |    90133     12 |        0 |        0
1418.29/1418.80	c 1417s |      19 |   592970 |   509782 |    90133     12 |        0 |        0
1420.49/1420.93	c 1419s |      19 |   593538 |   510282 |    90133     12 |        0 |        0
1422.88/1423.39	c 1422s |      19 |   594128 |   510782 |    90133     12 |        0 |        0
1425.08/1425.50	c 1424s |      19 |   594704 |   511282 |    90133     12 |        0 |        0
1427.18/1427.60	c 1426s |      19 |   595266 |   511782 |    90133     12 |        0 |        0
1429.18/1429.68	c 1428s |      19 |   595854 |   512282 |    90133     12 |        0 |        0
1431.58/1432.08	c 1431s |      19 |   596542 |   512882 |    90133     12 |        0 |        0
1434.09/1434.56	c 1433s |      19 |   597112 |   513382 |    90133     12 |        0 |        0
1436.19/1436.67	c 1435s |      19 |   597545 |   513782 |    90133     12 |        0 |        0
1438.49/1438.96	c 1437s |      19 |   598088 |   514282 |    90133     12 |        0 |        0
1440.88/1441.36	c 1440s |      19 |   598662 |   514782 |    90133     12 |        0 |        0
1443.18/1443.60	c 1442s |      19 |   599215 |   515282 |    90133     12 |        0 |        0
1445.28/1445.77	c 1444s |      19 |   599785 |   515782 |    90133     12 |        0 |        0
1447.48/1447.99	c 1447s |      19 |   600356 |   516282 |    90133     12 |        0 |        0
1449.78/1450.23	c 1449s |      19 |   600935 |   516782 |    90133     12 |        0 |        0
1451.88/1452.37	c 1451s |      19 |   601500 |   517282 |    90133     12 |        0 |        0
1454.28/1454.78	c 1453s |      19 |   602069 |   517782 |    90133     12 |        0 |        0
1456.48/1456.96	c 1455s |      19 |   602637 |   518282 |    90133     12 |        0 |        0
1458.78/1459.22	c 1458s |      19 |   603316 |   518882 |    90133     12 |        0 |        0
1461.08/1461.56	c 1460s |      19 |   604000 |   519482 |    90133     12 |        0 |        0
1463.18/1463.65	c 1462s |      19 |   604589 |   519982 |    90133     12 |        0 |        0
1465.28/1465.79	c 1464s |      19 |   605148 |   520482 |    90133     12 |        0 |        0
1467.58/1468.09	c 1467s |      19 |   605837 |   521082 |    90133     12 |        0 |        0
1469.98/1470.40	c 1469s |      19 |   606443 |   521582 |    90133     12 |        0 |        0
1472.08/1472.52	c 1471s |      19 |   607027 |   522082 |    90133     12 |        0 |        0
1474.08/1474.56	c 1473s |      19 |   607610 |   522582 |    90133     12 |        0 |        0
1476.08/1476.56	c 1475s |      19 |   608052 |   522982 |    90133     12 |        0 |        0
1478.18/1478.64	c 1477s |      19 |   608624 |   523482 |    90133     12 |        0 |        0
1480.28/1480.72	c 1479s |      19 |   609193 |   523982 |    90133     12 |        0 |        0
1482.67/1483.14	c 1482s |      19 |   609882 |   524582 |    90133     12 |        0 |        0
1485.07/1485.51	c 1484s |      19 |   610431 |   525082 |    90133     12 |        0 |        0
1487.47/1487.94	c 1486s |      19 |   611010 |   525582 |    90133     12 |        0 |        0
1489.77/1490.28	c 1489s |      19 |   611570 |   526082 |    90133     12 |        0 |        0
1492.17/1492.60	c 1491s |      19 |   612146 |   526582 |    90133     12 |        0 |        0
1494.17/1494.64	c 1493s |      19 |   612618 |   526982 |    90133     12 |        0 |        0
1496.37/1496.81	c 1495s |      19 |   613181 |   527482 |    90133     12 |        0 |        0
1498.67/1499.17	c 1498s |      19 |   613770 |   527982 |    90133     12 |        0 |        0
1500.97/1501.40	c 1500s |      19 |   614342 |   528482 |    90133     12 |        0 |        0
1502.97/1503.46	c 1502s |      19 |   614799 |   528882 |    90133     12 |        0 |        0
1505.27/1505.73	c 1504s |      19 |   615350 |   529382 |    90133     12 |        0 |        0
1507.57/1508.08	c 1507s |      19 |   615579 |   529582 |    90133     13 |        0 |        0
1509.77/1510.20	c 1509s |      19 |   616151 |   530082 |    90133     13 |        0 |        0
1511.97/1512.43	c 1511s |      19 |   617073 |   530882 |    90133     13 |        0 |        0
1513.97/1514.43	c 1513s |      19 |   617738 |   531482 |    90133     13 |        0 |        0
1515.97/1516.46	c 1515s |      19 |   618203 |   531882 |    90133     13 |        0 |        0
1518.07/1518.58	c 1517s |      19 |   619013 |   532582 |    90133     13 |        0 |        0
1520.27/1520.75	c 1519s |      19 |   619930 |   533382 |    90133     13 |        0 |        0
1522.37/1522.81	c 1521s |      19 |   620746 |   534082 |    90133     13 |        0 |        0
1524.67/1525.10	c 1524s |      19 |   621661 |   534882 |    90133     13 |        0 |        0
1526.87/1527.30	c 1526s |      19 |   622580 |   535682 |    90133     13 |        0 |        0
1529.07/1529.55	c 1528s |      19 |   623529 |   536482 |    90133     13 |        0 |        0
1531.07/1531.56	c 1530s |      19 |   624200 |   537082 |    90133     13 |        0 |        0
1533.17/1533.67	c 1532s |      19 |   624999 |   537782 |    90133     13 |        0 |        0
1535.37/1535.89	c 1534s |      19 |   625937 |   538582 |    90133     13 |        0 |        0
1537.57/1538.08	c 1537s |      19 |   626863 |   539382 |    90133     13 |        0 |        0
1539.97/1540.41	c 1539s |      19 |   627664 |   540082 |    90133     13 |        0 |        0
1541.97/1542.43	c 1541s |      19 |   628324 |   540682 |    90133     13 |        0 |        0
1544.17/1544.60	c 1543s |      19 |   629132 |   541382 |    90133     13 |        0 |        0
1546.18/1546.63	c 1545s |      19 |   629946 |   542082 |    90133     13 |        0 |        0
1548.27/1548.80	c 1547s |      19 |   630736 |   542782 |    90133     13 |        0 |        0
1550.37/1550.84	c 1549s |      19 |   631548 |   543482 |    90133     13 |        0 |        0
1552.57/1553.07	c 1552s |      19 |   632358 |   544182 |    90133     13 |        0 |        0
1554.57/1555.08	c 1554s |      19 |   633181 |   544882 |    90133     13 |        0 |        0
1556.87/1557.33	c 1556s |      19 |   634103 |   545682 |    90133     13 |        0 |        0
1559.17/1559.60	c 1558s |      19 |   634903 |   546382 |    90133     13 |        0 |        0
1561.17/1561.64	c 1560s |      19 |   635624 |   546982 |    90133     13 |        0 |        0
1563.37/1563.84	c 1562s |      19 |   636423 |   547682 |    90133     13 |        0 |        0
1565.77/1566.20	c 1565s |      19 |   637257 |   548382 |    90133     13 |        0 |        0
1567.77/1568.29	c 1567s |      19 |   637909 |   548982 |    90133     13 |        0 |        0
1569.97/1570.44	c 1569s |      19 |   638695 |   549682 |    90133     13 |        0 |        0
1571.97/1572.48	c 1571s |      19 |   639407 |   550282 |    90133     13 |        0 |        0
1574.37/1574.82	c 1573s |      19 |   640219 |   550982 |    90133     13 |        0 |        0
1576.57/1577.03	c 1576s |      19 |   640935 |   551582 |    90133     13 |        0 |        0
1578.77/1579.24	c 1578s |      19 |   641587 |   552182 |    90133     13 |        0 |        0
1581.06/1581.50	c 1580s |      19 |   642388 |   552882 |    90133     13 |        0 |        0
1583.36/1583.87	c 1582s |      19 |   643214 |   553582 |    90133     13 |        0 |        0
1585.66/1586.17	c 1585s |      19 |   644013 |   554282 |    90133     13 |        0 |        0
1588.07/1588.51	c 1587s |      19 |   644716 |   554882 |    90133     13 |        0 |        0
1590.36/1590.81	c 1589s |      19 |   645537 |   555582 |    90133     13 |        0 |        0
1592.66/1593.16	c 1592s |      19 |   646375 |   556282 |    90133     13 |        0 |        0
1594.86/1595.32	c 1594s |      19 |   647204 |   556982 |    90133     13 |        0 |        0
1597.06/1597.52	c 1596s |      19 |   648006 |   557682 |    90133     13 |        0 |        0
1599.16/1599.63	c 1598s |      19 |   648687 |   558282 |    90133     13 |        0 |        0
1601.36/1601.81	c 1600s |      19 |   649366 |   558882 |    90133     13 |        0 |        0
1603.86/1604.34	c 1603s |      19 |   650194 |   559582 |    90133     13 |        0 |        0
1605.96/1606.44	c 1605s |      19 |   650745 |   560082 |    90133     13 |        0 |        0
1607.96/1608.48	c 1607s |      19 |   651304 |   560582 |    90133     13 |        0 |        0
1610.36/1610.88	c 1609s |      19 |   651993 |   561182 |    90133     13 |        0 |        0
1612.76/1613.25	c 1612s |      19 |   652702 |   561782 |    90133     13 |        0 |        0
1614.96/1615.40	c 1614s |      19 |   653268 |   562282 |    90133     13 |        0 |        0
1617.26/1617.78	c 1616s |      19 |   653944 |   562882 |    90133     13 |        0 |        0
1619.66/1620.15	c 1619s |      19 |   654543 |   563382 |    90133     13 |        0 |        0
1621.96/1622.43	c 1621s |      19 |   655107 |   563882 |    90133     13 |        0 |        0
1623.96/1624.48	c 1623s |      19 |   655675 |   564382 |    90133     13 |        0 |        0
1626.26/1626.77	c 1625s |      19 |   656235 |   564882 |    90133     13 |        0 |        0
1628.26/1628.79	c 1627s |      19 |   656808 |   565382 |    90133     13 |        0 |        0
1630.76/1631.21	c 1630s |      19 |   657483 |   565982 |    90133     13 |        0 |        0
1632.76/1633.22	c 1632s |      19 |   658040 |   566482 |    90133     13 |        0 |        0
1634.86/1635.31	c 1634s |      19 |   658606 |   566982 |    90133     13 |        0 |        0
1637.06/1637.50	c 1636s |      19 |   659163 |   567482 |    90133     13 |        0 |        0
1639.15/1639.64	c 1638s |      19 |   659731 |   567982 |    90133     13 |        0 |        0
1641.25/1641.73	c 1640s |      19 |   660332 |   568482 |    90133     13 |        0 |        0
1643.65/1644.14	c 1643s |      19 |   661016 |   569082 |    90133     13 |        0 |        0
1645.95/1646.43	c 1645s |      19 |   661605 |   569582 |    90133     13 |        0 |        0
1648.15/1648.66	c 1647s |      19 |   662170 |   570082 |    90133     13 |        0 |        0
1650.45/1650.92	c 1649s |      19 |   662846 |   570682 |    90133     13 |        0 |        0
1652.75/1653.22	c 1652s |      19 |   663419 |   571182 |    90133     13 |        0 |        0
1654.95/1655.44	c 1654s |      19 |   663993 |   571682 |    90133     13 |        0 |        0
1657.26/1657.80	c 1656s |      19 |   664575 |   572182 |    90133     13 |        0 |        0
1659.56/1660.07	c 1659s |      19 |   665149 |   572682 |    90133     13 |        0 |        0
1661.76/1662.23	c 1661s |      19 |   665702 |   573182 |    90133     13 |        0 |        0
1664.15/1664.68	c 1663s |      19 |   666256 |   573682 |    90133     13 |        0 |        0
1666.25/1666.76	c 1665s |      19 |   666730 |   574082 |    90133     13 |        0 |        0
1668.65/1669.10	c 1668s |      19 |   667293 |   574582 |    90133     13 |        0 |        0
1672.35/1672.85	c 1671s |      19 |   667628 |   574882 |    90133     14 |        0 |        0
1674.45/1674.96	c 1673s |      19 |   668562 |   575682 |    90133     14 |        0 |        0
1676.65/1677.16	c 1676s |      19 |   669150 |   576182 |    90133     14 |        0 |        0
1678.85/1679.38	c 1678s |      19 |   670059 |   576982 |    90133     14 |        0 |        0
1681.15/1681.66	c 1680s |      19 |   670999 |   577782 |    90133     14 |        0 |        0
1683.15/1683.68	c 1682s |      19 |   671844 |   578482 |    90133     14 |        0 |        0
1685.24/1685.72	c 1684s |      19 |   672960 |   579382 |    90133     14 |        0 |        0
1687.34/1687.80	c 1686s |      19 |   673867 |   580182 |    90133     14 |        0 |        0
1689.64/1690.13	c 1689s |      19 |   674810 |   580982 |    90133     14 |        0 |        0
1691.74/1692.26	c 1691s |      19 |   675599 |   581682 |    90133     14 |        0 |        0
1693.84/1694.32	c 1693s |      19 |   676401 |   582382 |    90133     14 |        0 |        0
1696.04/1696.55	c 1695s |      19 |   677185 |   583082 |    90133     14 |        0 |        0
1698.34/1698.83	c 1697s |      19 |   678005 |   583782 |    90133     14 |        0 |        0
1700.54/1701.01	c 1700s |      19 |   678800 |   584482 |    90133     14 |        0 |        0
1702.64/1703.10	c 1702s |      19 |   679487 |   585082 |    90133     14 |        0 |        0
1704.74/1705.29	c 1704s |      19 |   680267 |   585782 |    90133     14 |        0 |        0
1707.04/1707.52	c 1706s |      19 |   681107 |   586482 |    90133     14 |        0 |        0
1709.24/1709.75	c 1708s |      19 |   681907 |   587182 |    90133     14 |        0 |        0
1711.34/1711.84	c 1710s |      19 |   682715 |   587882 |    90133     14 |        0 |        0
1713.74/1714.20	c 1713s |      19 |   683488 |   588582 |    90133     14 |        0 |        0
1715.94/1716.45	c 1715s |      19 |   684293 |   589282 |    90133     14 |        0 |        0
1718.24/1718.70	c 1717s |      19 |   685106 |   589982 |    90133     14 |        0 |        0
1720.54/1721.02	c 1720s |      19 |   685896 |   590682 |    90133     14 |        0 |        0
1722.54/1723.04	c 1722s |      19 |   686581 |   591282 |    90133     14 |        0 |        0
1724.74/1725.20	c 1724s |      19 |   687240 |   591882 |    90133     14 |        0 |        0
1726.84/1727.39	c 1726s |      19 |   687913 |   592482 |    90133     14 |        0 |        0
1729.04/1729.54	c 1728s |      19 |   688581 |   593082 |    90133     14 |        0 |        0
1731.44/1731.90	c 1730s |      19 |   689299 |   593682 |    90133     14 |        0 |        0
1733.64/1734.13	c 1733s |      19 |   690008 |   594282 |    90133     14 |        0 |        0
1735.74/1736.27	c 1735s |      19 |   690583 |   594782 |    90133     14 |        0 |        0
1737.94/1738.41	c 1737s |      19 |   691149 |   595282 |    90133     14 |        0 |        0
1739.94/1740.48	c 1739s |      19 |   691725 |   595782 |    90133     14 |        0 |        0
1742.24/1742.76	c 1741s |      19 |   692381 |   596382 |    90133     14 |        0 |        0
1744.54/1745.05	c 1744s |      19 |   693059 |   596982 |    90133     14 |        0 |        0
1746.54/1747.07	c 1746s |      19 |   693632 |   597482 |    90133     14 |        0 |        0
1748.74/1749.27	c 1748s |      19 |   694321 |   598082 |    90133     14 |        0 |        0
1751.03/1751.56	c 1750s |      19 |   694977 |   598682 |    90133     14 |        0 |        0
1753.23/1753.74	c 1752s |      19 |   695663 |   599282 |    90133     14 |        0 |        0
1755.43/1755.98	c 1754s |      19 |   696356 |   599882 |    90133     14 |        0 |        0
1757.83/1758.36	c 1757s |      19 |   697032 |   600482 |    90133     14 |        0 |        0
1760.13/1760.67	c 1759s |      19 |   697739 |   601082 |    90133     14 |        0 |        0
1762.33/1762.88	c 1761s |      19 |   698308 |   601582 |    90133     14 |        0 |        0
1764.63/1765.12	c 1764s |      19 |   698980 |   602182 |    90133     14 |        0 |        0
1766.83/1767.31	c 1766s |      19 |   699676 |   602782 |    90133     14 |        0 |        0
1768.93/1769.45	c 1768s |      19 |   700336 |   603382 |    90133     14 |        0 |        0
1771.33/1771.82	c 1770s |      19 |   701002 |   603982 |    90133     14 |        0 |        0
1773.53/1774.01	c 1773s |      19 |   701570 |   604482 |    90133     14 |        0 |        0
1775.83/1776.32	c 1775s |      19 |   702259 |   605082 |    90133     14 |        0 |        0
1778.03/1778.51	c 1777s |      19 |   702817 |   605582 |    90133     14 |        0 |        0
1780.23/1780.72	c 1779s |      19 |   703378 |   606082 |    90133     14 |        0 |        0
1782.53/1783.04	c 1782s |      19 |   703951 |   606582 |    90133     14 |        0 |        0
1784.63/1785.16	c 1784s |      19 |   704410 |   606982 |    90133     14 |        0 |        0
1786.73/1787.23	c 1786s |      19 |   704859 |   607382 |    90133     14 |        0 |        0
1789.03/1789.50	c 1788s |      19 |   705425 |   607882 |    90133     14 |        0 |        0
1791.23/1791.70	c 1790s |      19 |   705988 |   608382 |    90133     14 |        0 |        0
1793.53/1794.00	c 1793s |      19 |   706555 |   608882 |    90133     14 |        0 |        0
1795.53/1796.09	c 1795s |      19 |   706999 |   609282 |    90133     14 |        0 |        0
1798.03/1798.51	c 1797s |      19 |   707571 |   609782 |    90133     14 |        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-4078645-1465219360/watcher-4078645-1465219360 -o /tmp/evaluation-result-4078645-1465219360/solver-4078645-1465219360 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078645-1465219360.opb 

pid=13602
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.39 2.28 2.26 3/179 13605
/proc/meminfo: memFree=29436272/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 2696 0 0 0 0 0 0 0 20 0 4 0 103868325 740749312 3058 33554432000 4194304 16246674 140736684880000 140736684879424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 181359 3067 441 2943 0 178253 0
[pid=13605/tid=13606] ppid=13602 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 763817984 3147 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 769060864 3164 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103868325 773255168 3182 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100198 s]
/proc/loadavg: 2.39 2.28 2.26 3/179 13605
/proc/meminfo: memFree=29436272/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 25088 0 0 0 6 3 0 0 20 0 4 0 103868325 1332285440 25387 33554432000 4194304 16246674 140736684880000 140736684879312 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 325265 25403 802 2943 0 322159 0
[pid=13605/tid=13606] ppid=13602 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1332285440 25414 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1332285440 25426 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1332285440 25436 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200471 s]
/proc/loadavg: 2.39 2.28 2.26 3/179 13605
/proc/meminfo: memFree=29436272/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 48790 0 0 0 13 6 0 0 20 0 4 0 103868325 1342771200 49600 33554432000 4194304 16246674 140736684880000 140736684879312 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 327825 49606 803 2943 0 324719 0
[pid=13605/tid=13606] ppid=13602 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1342771200 49610 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1342771200 49614 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1342771200 49619 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.30047 s]
/proc/loadavg: 2.39 2.28 2.26 3/179 13605
/proc/meminfo: memFree=29436272/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 68437 0 0 0 20 9 0 0 20 0 4 0 103868325 1345916928 69247 33554432000 4194304 16246674 140736684880000 140736684879312 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328593 69247 803 2943 0 325487 0
[pid=13605/tid=13606] ppid=13602 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1345916928 69247 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1345916928 69247 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1345916928 69248 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700405 s]
/proc/loadavg: 2.39 2.28 2.26 3/179 13605
/proc/meminfo: memFree=29436272/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 108347 0 0 0 55 14 0 0 20 0 4 0 103868325 1346965504 109158 33554432000 4194304 16246674 140736684880000 140736684861888 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 109165 835 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 109171 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 109177 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 109183 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 2.39 2.28 2.26 4/183 13609
/proc/meminfo: memFree=28717020/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 240758 0 0 0 115 34 0 0 20 0 4 0 103868325 1346965504 241569 33554432000 4194304 16246674 140736684880000 140736684861888 5532589 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 241576 875 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 241580 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 241585 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 241590 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10041 s]
/proc/loadavg: 2.39 2.28 2.26 4/183 13609
/proc/meminfo: memFree=28355800/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 269514 0 0 0 271 38 0 0 20 0 4 0 103868325 1346965504 270324 33554432000 4194304 16246674 140736684880000 140736684861888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 270324 882 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270324 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270324 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270324 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.36 2.28 2.25 4/183 13609
/proc/meminfo: memFree=28355804/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 269516 0 0 0 591 38 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140736684861888 6022736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 270326 882 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.33 2.27 2.25 4/183 13609
/proc/meminfo: memFree=28356092/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 269516 0 0 0 1231 38 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140736684861888 6023094 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 270326 882 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.40 2.29 2.26 4/183 13609
/proc/meminfo: memFree=28356716/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 269516 0 0 0 2510 38 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140736684861888 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 270326 882 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.34 2.28 2.26 4/183 13609
/proc/meminfo: memFree=28356324/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1315396 CPUtime=51.07 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 269528 0 0 0 5069 38 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140736684861888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 328849 270326 882 2943 0 325743 0
[pid=13605/tid=13606] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1346965504 270326 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.19 2.25 2.25 5/183 13610
/proc/meminfo: memFree=28349892/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1321540 CPUtime=102.27 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 271087 0 0 0 10188 39 0 0 20 0 4 0 103868325 1353256960 271868 33554432000 4194304 16246674 140736684880000 140736684861888 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 330385 271868 886 2943 0 327279 0
[pid=13605/tid=13606] ppid=13602 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1353256960 271868 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1353256960 271868 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1353256960 271868 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1321540


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

/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1417796

[startup+1362.3 s]
/proc/loadavg: 2.16 2.24 2.25 3/183 13885
/proc/meminfo: memFree=28243584/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1361.89 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 136144 45 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 5822171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1417796

[startup+1422.3 s]
/proc/loadavg: 2.35 2.28 2.27 3/183 13886
/proc/meminfo: memFree=28243580/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1421.89 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 142144 45 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1417796

[startup+1482.3 s]
/proc/loadavg: 2.19 2.24 2.25 3/183 13888
/proc/meminfo: memFree=28243340/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1481.87 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 148142 45 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1417796

[startup+1542.31 s]
/proc/loadavg: 2.15 2.22 2.25 3/183 13889
/proc/meminfo: memFree=28243460/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1541.88 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 154142 46 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1417796

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 2.25 4/183 13890
/proc/meminfo: memFree=28243228/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1601.86 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 160140 46 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1417796

[startup+1662.3 s]
/proc/loadavg: 2.28 2.24 2.25 3/184 13894
/proc/meminfo: memFree=28239116/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1661.85 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 166139 46 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1417796

[startup+1722.3 s]
/proc/loadavg: 2.32 2.27 2.26 4/183 13895
/proc/meminfo: memFree=28239000/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1721.84 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295503 0 0 0 172138 46 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140736684861888 5823682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295933 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295933 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1417796

[startup+1782.3 s]
/proc/loadavg: 2.31 2.26 2.26 4/183 13897
/proc/meminfo: memFree=28238444/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1781.83 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295504 0 0 0 178137 46 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140736684861888 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295936 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1417796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.25 2.25 3/183 13898
/proc/meminfo: memFree=28238552/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1800.02 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295504 0 0 0 179956 46 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140736684861888 5675226 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295936 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1417796

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.25 2.25 3/183 13898
/proc/meminfo: memFree=28238552/32872528 swapFree=16636/1570076
[pid=13605] ppid=13602 vsize=1417796 CPUtime=1800.02 cores=0,2,4,6
/proc/13605/stat : 13605 (toysat) R 13602 13605 13075 0 -1 4202496 295504 0 0 0 179956 46 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140736684861888 5675226 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13605/statm: 354449 295936 887 2943 0 351343 0
[pid=13605/tid=13606] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13606/stat : 13606 (toysat) S 13602 13605 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085760601328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13605/tid=13607] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13607/stat : 13607 (toysat) S 13602 13605 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085750111472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13605/tid=13608] ppid=13602 vsize=1417796 CPUtime=0 cores=0,2,4,6
/proc/13605/task/13608/stat : 13608 (toysat) S 13602 13605 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103868325 1451823104 295936 33554432000 4194304 16246674 140736684880000 140085739637936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1417796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.57
CPU system time (s): 0.468928
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1417796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.468928
maximum resident set size= 1183744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295504
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= 397
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37733 second user time and 7.13591 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 15:22:40
IDJOB=4078645
IDBENCH=1369
IDSOLVER=2542
FILE ID=node140/4078645-1465219360
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078645-1465219360/watcher-4078645-1465219360 -o /tmp/evaluation-result-4078645-1465219360/solver-4078645-1465219360 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078645-1465219360.opb

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

MD5SUM BENCH= 7f5f10f1b8aeee16c5b46dadab8c5b22
RANDOM SEED=940409586

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29437240 kB
Buffers:            5876 kB
Cached:            72412 kB
SwapCached:         1748 kB
Active:          1141676 kB
Inactive:          21888 kB
Active(anon):    1084608 kB
Inactive(anon):     2644 kB
Active(file):      57068 kB
Inactive(file):    19244 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097912 kB
Dirty:             17476 kB
Writeback:             0 kB
AnonPages:       2656436 kB
Mapped:            10256 kB
Shmem:                 0 kB
Slab:             566980 kB
SReclaimable:      10772 kB
SUnreclaim:       556208 kB
KernelStack:        1520 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2796492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2637824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-06 15:52:40